在载波相位双差（先测站之间求差，后卫星之间求差）观测方程中，整周未知数已被消去