·上一文章：一种GPS的智能移动终端的应用
·下一文章：OPC2OPC在远程监控中的实现
根据第1节中建立的系统模型，系统测量值yt为2参数，系统状态参量xt为8参数，为了得到准确解，故而需要至少4颗有效卫星的测量值。为了能够满足用户需求的定位精度，本文提出利用一般车辆行人等用户在垂直地面方向上的位置变化缓慢这一运动特性，增加如下方程：
式(17)中，R1为从用户在ECEF坐标系下的状态参量xt到用户在NED坐标系下的状态参量mt的转换矩阵，利用坐标系旋转的原理可以求得。A2为用户在NED坐标系下的状态参量mt的一步转移矩阵。它们的表达式如下：
综上所述，得到改进的EKF算法的计算过程如下：
根据理论分析可以得出，改进的EKF相对于普通的EKF来说，增加了一项先验信息，故而使得只有3颗有效卫星时的定位解算有了4个解算方程，因此可以相对准确地解算出4个未知数的值;而在有效卫星数不少于4颗时，增加的方程(15)仍然满足，故而也不会影响定位精度。
3 算法仿真和分析
在本文的算法验证实验中，使用了Leika GPS1200测量型接收机在车载动态下采集的GPS信号的伪距和伪距增量的测量值，其中伪距测量值经过伪距增量测量值的平滑。算法的验证是在PC机上使用Matlab完成的。
在算法验证中，设置采样时间间隔为T=1 s。接收机的运动状态为从静止状态变化到在地面上高速运动最后又逐步静止。测试数据长度为2 500 s。参考轨迹是接收机使用动态实时差分(RTK)方法测定的，方差精确至毫米级。分别在有效卫星不少于4颗和只有3颗的情况下，比较了几种定位解算算法的定位结果。
