引力向量及梯度张量在坐标系之间的变换

引力向量和引力梯度张量在局部和全局坐标系间的转换过程是对卫星重力梯度测量进行模拟研究的主要手段和重要步骤.提出了利用计算机符号运算辅助推导该转换过程的新思想.首先通过对该过程进行分析,指出其运算繁琐复杂;然后通过对理论推导过程的分解,确定了引力向量和引力梯度张量在局部和全局坐标系之间转换的各关键步骤;并借助于计算机符号运算实现了这一转换过程的计算机推演,成功地得到了完整的符号公式结果.所编写的符号推演程序在多台计算机的多种平台上获得了一致的结果.实验结果表明,计算机符号运算对于公式体系繁杂的卫星重力学理论研究来说具有极大的增效作用.     

有色噪声作用下的卡尔曼滤波

利用GPS载波相位三差观测量进行动态定位(或精密导航),就必须研究有色噪声滤波的理论问题.根据需求,推导了动态噪声、观测噪声为有色噪声的线性系统滤波公式,并证明白噪声卡尔曼滤波是有色噪声卡尔曼滤波的特例,或者说有色噪声的卡尔曼滤波是白噪声卡尔曼滤波的推广.     

高斯投影公式的机助推导

随着GPS应用的普及,高斯投影在测量中出现的机会越来越多。许多文献上都给出了推导过程,这个推导过程的运算量是非常大的,而且计算精度难于提高。经过研究,一种易于编程的递推公式被发现,虽然这个公式在计算量上没有减少,但是可以较好地解决精度问题。     

边角网平差中方差分量估计改进算法

基于单位权中误差的先验估值与验后估值一致,对边角网提出一种改进的赫尔默特方差分量估计算法,该算法可直接计算角度和边长的方差分量估值,克服了原公式计算过程繁琐、占有内存量大的不足,通过采用Newton法进行迭代计算,收敛效果好,算例表明该方法是有效的。     

采用最小二乘法建立平面坐标系统转换公式

本采用最小二乘法推导了平面坐标系统转换公式，坐标转换严密，计算简便，可供生产单位参考。     

子午线弧长公式的简化及通用高斯投影计算程序介绍

通过简化子午线弧长公式，给出适用于各种椭球的通用高斯投影实用公式，并简单介绍依此编制的通用高斯投影计算程序。     

垂线偏差时间变化的精度估计

对于利用Vening-Meinesz微分公式计算垂线偏差随时间变化的测定精度进行了初步估计。通过对地形改正项的影响、代表误差的影响、远区域重力异常的影响等3种主要误差的分析和实际估计，论证了它们对计算结果的综合影响不超过0.01″，比铅垂线的时间变化0.1″要高一个量级。因此认为重力方法在实践中是可行的。     

测高数据在计算海平面时的取权

根据卫星测高数据分布所具有的低纬时稀疏、高纬时密集的特点,提出了计算平均海平面时非交叉点数据的解析定权公式和交叉点数据的解析定权公式。     

Helmert方差分量估计严密公式与简化公式等价性的证明

在分析了Helmert方差分量估计严密公式与简化公式迭代收敛结果一些统计性质的基础上,导出了关于收敛结果共同的求解方程,从理论上证明了两种结果的等价性,为使用简化公式提供了依据。