此文档详细介绍 INS/GPS 组合定位中扩展卡尔曼滤波 (EKF) 的递推过程,包括状态方程、观测方差及其线性化。