载波相位整周模糊度解算与 LAMBDA 降相关搜索估计算法

双频双差观测方程推导、方差协方差矩阵 Z 变换降相关技术以及比率检验(Ratio Test)基线闭合验证算法。