航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

导航卫星中断数据在可用性分析评价中的应用

通过分析卫星导航系统的卫星中断数据,设计实现了中断数据库;使用中断数据计算得到单星可用性结果,结合星座性能分析结果,通过建立的贝叶斯网络模型,实现星座可用性分析和评价。     

飞机电源不中断供电及其关键技术

飞机电子设备对电源的电压精度、稳定度、中断供电时间都有严格的要求,短时间的供电中断都可能使电子设备无法正常工作,从而影响相关联的其它飞机系统,危及飞行安全,因此不中断供电技术通过多年的研究已经取得了一定的进展。文中提出利用快速检测、固态器件、超级电容器和高压直流供电等技术有利于解决不中断供电中存在的技术难题。     

航天器间无线通信链路中断的预测研究

研究了持续相对运动中,主、从航天器之间的无线通信链路中断问题,提出了其通信中断情况的仿真分析方法。基于Friis传输方程,根据主、从航天器天线的发射功率、带外抑制和接收机灵敏度等,解算接收信号强度余量。以此模型为基础进行仿真,得到了航天器间无线通信链路中断情况的分析结果,并与实际在轨情况进行比较。结果表明,文章提出的仿真分析方法能够对持续相对运动航天器间的无线通信链路中断情况进行预测,可为实际任务的顺利完成提供技术支持。     

反汇编技术在嵌入式软件安全性分析中的应用

分析了航天型号嵌入式软件代码安全性分析中对目标码进行反汇编的必要性,总结了两种静态反汇编技术的优缺点,提出了适用于航天型号嵌入式软件代码安全性分析的反汇编算法,并介绍了结合编译信息的反汇编算法在软件安全性分析中的应用。     

星载软件在轨重配置中断处理机制研究

文章主要介绍星载处理器软件在轨重配置中断处理机制。首先说明软件在轨重配置功能的基本处理流程,接着重点分析了在轨重配置过程中两类中断处理机制,并给出了中断处理在轨重配置的实现方法。     

航天器空投试验用大容量数据记录器的研究

在航天器空投试验中，数据记录器需要长时间高速采集试验数据，并将试验数据保存起来。记录器还要满足体积小和抗着陆冲击等恶劣环境的要求。文章介绍了数据记录器的特点、主要功能，硬件选型及软件设计等。提供了一种利用嵌入式技术来构成大客量高速率航天器空投试验用数据记录器的方法。     

雷达对抗效果数据检测与估算

对制约和影响雷达对抗效果的主要参数进行了分析,推导出“有效度因子”,而且在工程上具有可检测性、可度量性和可对比性;从而,为定量地评估雷达干扰与反干扰效果,探索出一条新的有效途径。     

航天器空投试验用大容量数据记录器的研究

在航天器空投试验中,数据记录器需要长时间高速采集试验数据,并将试验数据保存起来。记录器还要满足体积小和抗着陆冲击等恶劣环境的要求。文章介绍了数据记录器的特点、主要功能,硬件选型及软件设计等。提供了一种利用嵌入式技术来构成大容量高速率航天器空投试验用数据记录器的方法。     

一种新型中断连续波雷达波形设计研究

分析了伪码调相连续波雷达存在电磁泄露的不足,提出了一种基于单频伪码调相信号混合的中断连续波雷达波形设计方式.这种设计方法是应用单频信号对多普勒调制不敏感的特性,预先粗测目标信号的多普勒频率,构造多普勒补偿信号,然后将信号送入到匹配滤波进行脉压处理.处理后相位编码信号不再是多普勒敏感信号,主旁瓣也不受多普勒频率的影响.仿真结果验证了该方法的正确性.     

一种基于MiniGUI的多任务嵌入式软件设计

分析图形界面支持系统MiniGUI的消息循环机制、介绍了MiniGUI分层设计的体系结构,设计了一种基于MiniGUI的多任务多窗口嵌入式软件。该软件采用消息队列和信号量处理机制以及多窗口共用一个消息循环的设计思想,加强了基于MiniGUI的嵌入式软件的应用性,对于嵌入式软件图形开发有很强的借鉴意义。     

液体火箭发动机传感器故障检测与数据恢复算法研究

以某型液体火箭发动机为研究对象,根据其传感器的故障特性,提出了基于BP神经网络的传感器故障检测与数据恢复算法。通过定义的传感器置信度来判断传感器是否发生故障,以及确定故障传感器,利用已训练好的神经网络结构对故障传感器进行数据恢复。研究内容能够实现传感器的故障检测、定位与补偿,能够有效提高发动机故障检测方法的可靠性和鲁棒性。     

多载荷卫星高速信息处理技术研究

在某多载荷卫星数传分系统的信息处理器中，用高级在轨系统(AOS)的部分业务及功能，实现多种信息的交织、合路、纠错、数据传输和数据管理。将解扰和R-S译码2种关键技术，用于信息处理器地面测试系统的信息传输和处理，并设计为IP核，实现了与其他模块的无缝连接。在数据流仿真和高速数据接收中采用了通用化设计，提高了设计效率，减少了设计成本和时间。     

基于虚拟仪器的多参量数据采集系统软件设计

结合虚拟仪器多参量数据采集系统的软件设计,简述虚拟仪器技术的基本概念、LabWindows/CVI的功能与特点,重点介绍数据采集卡的驱动、虚拟仪器软件的开发方法和实现技术,并给出多路信号数据采集程序实例。利用标准信号及实验信号对所设计的系统进行测试,通过实验调试,结果显示软件工作正常。     

基于CCSDS—CDAS模型的空间机械臂数据管理软件设计

根据某空间机械臂的总线拓扑结构以及指令与数据特性,对空间数据系统咨询委员会（CCSDS）提出的指令与数据获取业务（CDAS）模型进行了研究,结合设备虚拟化业务,采用面向对象的方法进行设备抽象,阐述了设备数据池业务设计时的遥测数据更新、上层业务数据获取、数据有效性的判别等关键问题。提出了基于指令与数据获取业务模型的机械臂数据管理软件构架,并已在某机械臂中央控制器上成功应用。     

一种多制式传感器数据融合算法

针对一有三坐标雷达、两坐标雷达和红外探测器三种传感器的分布式多站多目标跟踪系统，提出了一种多制式传感器数据融合算法。算法以测量间最小距离为关联度，对测量集间的相似程度进行度量，用极大似然法估计目标位置，通过融合方法求得目标三维航迹。在作状态估计时，采用两组非线性卡尔曼滤波切换提高融合精度。     

卫星信号和数据质量监测算法研究

结合卫星导航系统的实际应用,对卫星播发的导航信号和观测数据的质量监测算法进行了研究,可以满足卫星定轨和用户定位精度的要求。文中首先分析了卫星信号出现异常的原因,并有针对性地给出了用于卫星信号质量监测的宽窄相关伪距比较和码-载偏离度计算方法,然后又对用户伪距和载波相位这两个主要测量值的数据突变问题的实时监测方法展开了分析和探讨,最后进行了仿真研究。结果表明,这些算法是可行、实用并且有效的。     

基于数据深度加权的卫星轨道确定技术

将统计数据深度理论应用到抗差估计中,用数据深度作为衡量残差在整个样本集中地位的统计量.提出了基于数据深度加权的抗差估计算法.考虑到天基观测结构的复杂性,设计了天基测控的误差传播因子,并构造了模型结构权对定轨模型结构进行加权.在此基础上构造了基于数据深度加权和模型结构加权的M估计算法,证明了该算法的高崩溃点特性.设计了天基测控模式下的轨道确定仿真试验,试验结果表明该估计方法能有效抑制观测粗差和模型结构误差的影响,并且能显著提高定轨算法的鲁棒性.