航天器动力学环境试验综合测试系统的设计思路

文章简要介绍了动力学环境模拟试验综合测试系统的原理、构成及关键技术,给出了大中型动力学综合测试系统硬件平台及应用软件系统的设计思路.     

北斗双向授时技术在遥测地面站组网中的应用研究

卫星授时以其安全、可靠、稳定、精准等优势广泛应用于各领域。本文立足遥测地面站对时间的高精度、协同性、实时性、网络化的需求，在简述了几种典型授时技术应用特点的基础上，深入开展了北斗卫星授时技术研究。首先对北斗时间系统的组成，以及单向、双向授时技术优缺点等进行了论证，重点分析了RDSS（Radio Determination Satellite Service，卫星无线电测定业务）双向授时的技术实现、理论推导、误差影响和精度评估等；然后，结合遥测地面站授时现状和需求，提出了遥测地面站组网应用中时统的总体思路，通过三级控制、统一溯源、内外互联、由点到面的模式，构建了“以北斗双向授时为主，NTP（Network Time Protocol，网络时间协议）计算机网络授时为辅”的网络化授时体系，并对遥测地面站组网应用场景和入网策略进行了分析论证。本文研究具有较强的实践性和可行性，可为网络化授时应用提供参考。     

HPM对伪码脉冲无线电引信的压制干扰效应仿真

为了对高功率微波作用于伪码脉冲无线电引信的干扰效果进行分析,建立了引信信号处理模型并进行了计算机仿真。仿真结果表明,在频率对准的情况下,当 HPM进入引信距离门对回波信号造成压制时,由于 HPM的信号频带较宽,覆盖了多普勒滤波器带宽,多普勒滤波器的输出信号幅度仍可达到启动门限电平,压制干扰无效。     

自动飞行模式转换逻辑的形式化建模与验证

自动飞行控制系统（Automatic flight control system,AFCS）是现代飞机中重要的安全关键系统之一，飞行引导控制系统（Flight guidance control system,FGCS）是其重要的组成部分。FGCS中的飞行模式有数十种，模式转换逻辑十分复杂，在各个模式间转换时易出现模式混淆等问题，难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法，通过对安全关键系统进行形式化建模和验证，可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象，采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证，并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明，采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行，所研制的软件平台具有更完善的验证能力和更好的验证效率。     

运动目标的静电场探测仿真分析

为了对距导弹不同距离下所得的探测电流进行分析对比,建立了相应的导弹模型并进行了计算机仿真。仿真结果表明:远场时,所得探测电流与理论探测电流近似;近场时,则与理论探测电流差异巨大,并且随距离接近,受尖端放电影响,近场中不同距离所得数据也相差甚远。