软件故障树分析实例研究

软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析.本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议.     

卫星测控应用中心远程容灾系统方案设计

随着航天技术的发展,各种卫星如综合侦察卫星、气象与海洋监视卫星、数据与中继卫星等,其数据的信息速率存储、处理的数据量越来越大,对卫星测控应用中心大容量、高速率数据的安全性、可靠性要求也越来越高。在自然灾害,如地震、洪水;人为破坏,如恐怖活动、战争等条件下,确保卫星测控应用中心的安全与快速恢复能力,将非常重要。本文从原理上设计了一套远程数据容灾系统方案,以保证卫星测控应用中心在自然灾害或人为破坏后能够快速恢复其基本功能。分析表明,该方案具有很好的可靠性、安全性。     

Ka频段卫星通信雨衰分析及解决对策

Ka频段卫星通信中,降雨引起的信号衰减对通信链路的通断起着非常重要的作用.本文在阐述雨衰原理的基础上,分析了Ka频段雨衰对信道特性的影响,提出了Ka频段抗雨衰的各种对策,并通过实例说明了对策的有效性.     

地球静止卫星精密测定轨技术的现状及发展

介绍并分析了针对地球静止卫星的各种高精度测定轨跟踪技术.指出测距系统的校正误差是常规测距跟踪网定轨在沿迹方向和法向的主要误差源,为保证一致的卫星三维位置解算精度,应利用高分辨率的角度观测约束信息来有效地降低测距偏差对轨道确定的影响,或者利用天地基联合定轨的低轨卫星运动几何在轨道改进的同时精化测距偏差.     

GPS不完整星座定位方法研究

为了提高钟差预测模型辅助接收机定位解算的效果,从灰色系统的角度对接收机钟差序列进行探讨,提出了基于灰色理论的钟差预测模型。文中首先给出了新模型的基本思想和具体实现步骤,然后将基于该模型的钟差预测值引入到GPS接收机中,辅助接收机在不完整星座条件下实现定位解算。基于GPS实测数据的验证分析表明,新模型不仅对钟差序列具有很好的预测效果;而且提高了接收机定位的连续性和可靠性,在仅有3颗卫星的条件下可以实现三维定位。同时,新方法无需增加额外设备,辅助方式简单方便,经济灵活。     

单频干扰下BPSK接收性能恶化分析及应用

为了提高现有单频干扰下BPSK接收性能恶化分析方法的准确性和实用性,本文引入干扰信号相位作为随机变量,得出了新的分析方法。该方法首次准确量化了单频干扰下BPSK接收性能的恶化程度,普遍适用于BPSK调制体制下的卫星通信系统。给出了MATLAB数值仿真和现场实测结果。将其应用到探月工程嫦娥一号（CE-1）任务中,对CE-1通信系统受日本SELENE月球探测器信号干扰进行了准确的定量分析,为地面接收站的抗干扰设计以及中日双方探测器频率协调工作提供了依据。     

同波束干涉测量差分相时延观测模型研究及验证

针对月球轨道交会对接地面高精度引导需求,对同波束干涉测量差分相延观测模型进行分析验证。根据甚长基线干涉测量几何时延观测量同一波前的定义,推导出同波束差分时延观测量的观测模型。并提出一种精确的同波束干涉测量差分相时延闭合算法,同时结合SELENE任务实测的数据计算差分相时延闭合值,用于对观测模型进行验证。实测数据计算结果表明,采用本文提出的精确算法显著地消除同一波前差分相时延闭合值中的趋势项,差分相时延闭合值的精度在0.5ps~1ps范围内,验证了观测模型的正确性。该研究对于后续的月球交会对接地面高精度测定轨任务分析设计将具有一定的参考价值。     

深空探测器被动式高精度多普勒测量方法与应用

针对深空探测器的单程多普勒测量需求,研究了被动式高精度多普勒测量方法及其实现技术。该方法基于探测器测控信标残留载波等点频信号和VLBI测站高精度氢原子钟频标,构造出与实际接收信号频率接近的参考信号;再通过本地相关处理,完成高精度开环多普勒测量。其特色在于完全不需要精确的先验轨道模型。所开发的专用被动式多普勒测量设备,在国内第一次成功用于欧空局环火星探测器“MEX”的多普勒测定轨试验。探测器X频段信号5s积分的单程多普勒测量精度达到 0.2mm/s ,与欧空局测量水平相当。采用该多普勒测量数据的MEX定轨结果与欧空局精密轨道在数百米至千米量级一致。     

星载激光测距系统中激光器技术分析及发展展望

通过对美国40多年来应用于星载测距系统中的激光器技术发展历程的回顾,以及几种典型激光器的主要性能指标及其关键技术的分析,探讨了用于星载激光雷达的半导体泵浦全固态激光器的技术发展,总结了该类激光器的主要特点,并对星载测距应用的激光器技术的发展趋势做了展望。     

三阶幻方问题的代数解法

介绍了中国古代数学家甄鸾和杨辉关于三阶幻方的一个构造方法。用线性代数的方法构造三阶幻方约束方程组时,当自由未知量分别取1,2,3,…,9时,对应的方程组共有56组整数解,为了找出幻方的全部解,需要确定自由未知量取值的限制条件,由此对方程组中的自由未知量的取值进行了分类探讨,进而求出三阶幻方的全部解。利用线性代数的方法去探求三阶幻方的解法种数显然不是最简捷的,但却有完备的理论做保证。此外,提供了一个如何利用线性代数知识来解决实际问题的实例,并简介了三阶幻方所具有的奇妙的特性。