软件可靠性探讨

航空机载设备无论是在产品研制过程中还是在产品维修的设计制造过程中,软件的可靠性都变得越来越重要。本文系统阐述了软件开发过程（研制和维修）中的一般可靠性活动,并提出了一些提高软件可靠性的途径。     

Real-time spacecraft intercept strategy on J2-perturbed orbits

A real-time intercept strategy for spacecraft under the non-uniform gravitational perturbation of Earth is addressed in this paper. To intercept a target spacecraft on general conic sections, an interceptor considered in this work makes use of a thruster propelling the constant thrust which is comparable to unrealistic impulse-type thrust. The $J_2$ perturbation introduces critical dynamic variations of spacecraft orbiting the Earth, which results in a considerable amount of position error of the interceptor at the final intercept point. In order to release the burden of $J_2$ disturbance and make the miss distance between the target and interceptor small, a real-time intercept technique with an optimal intercept algorithm is suggested. The strategy proposed is to obtain an optimized output iteratively for a given time interval with previously obtained optimal values. These parameters are evaluated by the optimal intercept algorithm suggested. Once the optimal velocity change is obtained to satisfy intercept requirements, although the orbital system is perturbed, it is easy to regenerate a new solution by setting the previous solution as new initial guesses. This strategy is employed iteratively until the interceptor meets the target. Several numerical simulations are performed to highlight the proposed real-time strategy for spacecraft intercept missions.     

航天嵌入式软件数据访问冲突基准测试集研究

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。     

航天嵌入式软件动力学仿真环境的通用软件架构

针对航天嵌入式软件测试环境通用化需求,提出动力学软件的通用化设计方法.基于航天动力学仿真的特点,设计灵活、通用和易于扩展的软件框架、接口数据结构和接口函数,适用于在研型号的所有接口处理方式.该方法在实际型号工作中完成应用,显著提高了动力学软件的研制速度,动力学软件运行稳定,精度满足测试要求.     

基于DSP平台的航天器软件在轨维护实现方法研究*

摘要： DSP（数字信号处理器）在空间领域的应用越来越广泛,面对复杂的空间环境和长时间可靠运行的要求,基于DSP处理器平台的航天器软件,其在轨维护能力成为了一个迫切需要解决的问题.设计一种DSP软件的航天器在轨动态维护方案,并提出两种在轨注入指令码的生成方法.该在轨维部方案通过在航天器软件中预埋钩子功能,经遥控指令注入在轨维护指令码,实现在轨运行软件模块的动态替换功能.通过系统测试,证明该方案的可行性,具有良好的工程应用价值.     

基于动态集成算法的航空发动机气路参数预测

针对单一学习机对航空发动机气路参数预测困难的问题,提出了基于动态加权核密度估计（DWKDE)组合方法的集成预测算法,该组合方法选择测试样本的近邻样本,通过评估学习机在近邻样本的局部性能动态确定各学习机的权值,并基于该权值利用加权核密度估计实现数据序列的集成预测。该组合方法不易受离群值和样本不对称分布的影响,将该组合方法用于AdaBoost.RT和AdaBoost.R2算法,获得了改进后的集成学习算法。实验证明:相比于神经网络和原始集成学习算法,改进后的集成学习算法较好地提高了航空发动机气路参数序列的预测精度,方均根误差（RMSE)指标至少可降低27%。      

方块脉冲函数用于延时LQP最优控制的综合与分析

本文用方块脉冲函数把求解延时LQP(线性二次型问题)最优控制转化为求解多元函数最优化问题,避开了Riccati方程的求解,导出了状态反馈形式的分段综合控制表示式,以及最优状态轨线与最优控制的分段恒定解答和目标泛函的最优值。     

空间拦截红外末制导中的状态估计

本文首先简要地介绍了基于两种规范型的非线性状态观测器的设计方法，然后用该法解决了空间拦截红外末制导中拦截器与目标相对距离的估计问题，仿真结果表明估计的效果良好。     

开发与应用汉字dBASEⅢ软件：建立教师,学生人事档案数据库

本篇文章主要介绍了在开发与应用 dBASEⅢ软件过程中,建立教师、学生人事档案数据库所采取的方案、实现以及数据库管理具有的功能,并介绍在此过程中所遇到的计算机病毒带来的影响以及解决的措施。     

本钢物资量检斤状况的图形分析系统

本文介绍针对本钢集团公司全部计量器具，采用Visual FoxPro6.0，实现对物资量检斤状况的图形分析。