Fixed point theorems of GPS carrier phase ambiguity resolution

本文提出了一种整周模糊度的快速求解方法，将差分GPs的测量值分配到主要测量值集合和次要测量值集合中，用主要集合中的相位测量值限定简约搜索空间，而次要集合中的相位测量值用来验证候选集合。利用已知的基线长度的约束条件，对搜索空间进行了简约，提高了求解整周模糊度的速度，同时，通过Ch01esky分解提高搜索效率。