摘要：为了解决大旋转角三维坐标转换方法在误差方程基础上引入13未知参数(3个平移参数、1个尺度参数和旋转矩阵中9个元素)之间的虚拟观测方程存在无法准确定权和若虚拟观测方程作为约束条件引入时构成的约束条件法方程不可逆的问题,该文只建立旋转矩阵中9个元素之间的约束条件,提出了附有约束条件的大旋转角三维坐标转换方法。详细推导了该方法中未知参数(3个平移参数和1个尺度参数与旋转矩阵中9个元素)估计及其精度评定公式。最后用算例对该方法进行了验证。结果表明:该方法适用于任何角度旋转的空间直角坐标转换,其解算理论正确,模型严密,过程简单,易于程序设计。

摘要：在总结已有的RAIM可用性评估的矩阵最大特征值方法(MMEM)基础上,改进已有的双星故障条件下RAIM可用性方法中的数学模型,提出RAIM可用性评估的极大值方法(MM)。基于给定的完好性风险参数和国际GNSS监测评估系统(IGMAS)提供的2020-09-06中国境内8个跟踪站的BDS实测数据,利用2种方法计算双星故障条件下水平保护级别(HPL),比较并分析2种方法在双星故障条件下BDS的RAIM可用性性能。结果表明,在中国境内,MMEM除在非精密进近(NPA)计算的RAIM可用性不及MM外,整体可用性高于MM,但MM耗时较少;MM计算的可用性能够完全满足航路和远洋2个阶段,MMEM计算的可用性可以完全满足终端、航路和远洋3个阶段;基于MM的RAIM可用性评估方法理论严密、数学模型简单、易于进行程序设计,是除MMEM外的另一种RAIM可用性评估方法。

摘要：为进一步分析北斗三号全球卫星导航系统(BDS-3)B3I、B1C、B2a和B1I单频差分定位精度,利用全球14个MGEX测站构成基线长度在30km以下的7条基线2022-09-01到2022-09-30共30d观测数据,在评估可视卫星数和信噪比基础上,初步评估了BDS-3B3I、B1C、B2a和B1I单频伪距差分、载波平滑伪距差分和载波相位差分定位精度。结果表明:数据质量方面,BDS-3B3I、B1C、B2a和B1I可见卫星数和信噪比基本符合解算需求;差分性能方面,B1C和B2a相当,B3I和B1I略差;伪距差分E、N、U方向优于0.6m,点位精度优于0.8m,单频平滑效果B1C优于B3I、B1I和B2a,在E、N、U方向分别平均提升21.34%、22.2%和17.17%。设置平滑值和原始伪距阈值定位精度得到较好的提升;BDS-3载波相位差分B3I定位精度优于7 cm,B1C定位精度优于5 cm,B2a定位精度优于6 cm,B1I定位精度优于5cm。总体定位精度随着基线长度逐渐下降,单频伪距差分定位精度达到分米级,载波平滑伪距中短基线定位精度相较于伪距差分能够提升40%,长基线提升20%,载波相位差分为用户提供厘米级定位精度。

摘要：介绍研制的高速铁路沉降观测评估预测系统。该系统适应我国目前的沉降观测特点,以确保外业数据采集质量,减少工作人员劳动强度,提高工作效率为中心进行设计,其主要功能模块包括沉降数据预测计算、最优预测模型选择、沉降曲线图可视化、预测成果输出、单点分析和其他信息输出等。

摘要：针对全球卫星导航系统(GNSS)时间序列精密数据处理分析、降噪等过程繁琐且算法复杂的问题,基于矩阵实验室(MATLAB)图形用户界面,设计了一款GNSS时间序列分析与降噪的数据处理软件。该软件实现了三种改进的经验模态分解(EMD)降噪算法,可有效剔除GNSS时间序列中的噪声;其次,软件中实现了多种共模误差分离算法,可为不同尺度的GNSS观测网进行共模误差分析。结果表明:软件功能完善、界面友好、可靠性高,且改进的方法有效提高了降噪精度,为GNSS时间序列数据处理分析提供参考。

摘要：为了及时评估北斗卫星导航系统(BDS)的空间信号(SIS)可用性和连续性,采用2020-10-01至2021-10-01共1 a的BDS广播星历数据,对BDS中的地球静止轨道卫星(GEO)、倾斜地球同步轨道卫星(IGSO)和中圆地球轨道卫星(MEO)3类卫星进行了可用性和连续性评估。结果表明:3类卫星的单星可用性最优为0.993,平均可用性达到0.991,但也存在如C07、C14号卫星的可用性未达到预期标准(0.98)的现象;SIS的连续性评估中,除个别卫星未达到规范的标准要求外,指数模型和滑窗算法计算的GEO卫星达到0.995,IGSO和MEO均达到0.998;指数模型计算的BDS中GEO、IGSO和MEO卫星的平均连续性分别为0.99729、0.99926、0.99958,而滑窗算法计算得到的平均连续性分别为0.99627、0.99917、0.99939,2种方法计算的BDS 3类卫星的整体连续性分别为0.99914和0.99885,指数模型较滑窗算法计算的SIS连续性偏差不大,与全球定位系统(GPS)相比存在一定差距,总体达到系统设计的指标要求。最后对比分析指数模型算法与滑窗算法,验证了指数模型可用于短期连续性统计。