GPS的观测量包括伪距观测值和载波相位观测值.伪距的精度较低,载波相位的精度较高,常用于各种精密测量中,但是其前提是要预先解出相位的整周模糊度——初始历元的相位整周数,一旦整周模糊度正确固定,载波相位观测值即可转换为高精度的测相伪距,从而实现厘米级的定位精度.因此,整周模糊度的快速、正确求解是利用GPS载波相位进行高精度定位中最为关键的问题.本文首先对于GPS概况作了简要的介绍,指出了导航定位中存在的关键问题,对GPS现代化及其对导航定位产生的影响作了比较详细的论述和分析.在对GPS的观测模型和误差基本理论进行深入研究的基础上,对于整周模糊度求解方法也作了一些讨论.系统阐述了载波相位观测值的线性组合理论,介绍了双频组合观测值和三频组合观测值的一般定义,分析了它们的误差影响,并且讨论了一些具有特殊意义的组合观测值及特性.并在此基础上,着重讨论了利用特性良好的载波相位三频组合观测值结合伪距观测值求解双差线性组合模糊度,从而利用矩阵变换,反求出初始频率上的双差模糊度的理论和算法.在进行理论探讨的基础上,本文主要针对短基线,在真实观测数据的基础上,对观测值进行了模拟.然后利用模拟数据验证了算法的正确性和可行性.