5.4 载波相位观测方程