基于同步参考坐标系的三相数字锁相环的动态性能取决于比例积分环节的参数设计、角频率静态偏置补偿误差及相位静态偏置补偿误差,本文通过构造李雅普诺夫函数验证了三相数字锁相环的非线性模型全局渐进稳定性,保证基于线性模型设计的PI参数的有效性;提出了基于过零检测的电网三相电压相序识别方法以保证角频率静态偏置的正确补偿,推导出了该方法下综合抗干扰能力最强的过零检测滞环幅值的求解公式,将相序识别时获得的初始相位用于锁相环的相位静态偏置补偿,使锁相环的调整时间缩短到过零点的等待时间及滞环电压引起的过零点误差调整时间。最后,仿真和实验证明了该方法的可行性。