一个模糊软件可靠性确认模型

模糊软件可靠性模型不仅适用于刻划测试阶段的软件可靠性行为,而且适用刻划确认(验收)阶段的软件可靠性行为。并给出在确认(验收)阶段判定软件是否达到可靠性目标的准则。     

基于VISA的程控直流电源控制技术在热流模拟中的应用

程控直流电源在真空热环境试验中的作用是为红外加热器提供电流,满足航天器外热流模拟的需要。文章以LabVIEW软件的VISA模块为基础,介绍了程控直流电源驱动控制器的设计方法和软件编程,描述了电源驱动控制器在真空热环境试验中的应用。该程控直流电源控制系统界面友好,实现了模块固化,提高了系统的可靠性。     

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径。从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。     

On Exploring Method and Software for Evaluating Effectiveness of Military Training Aircraft

The evaluation of training effectiveness (TE) of military training aircraft, though obviously very important, appears to have attracted much less attention than what it deserves in the open literature. This article aims to start from previous studies and explore further. First, TE of military training aircraft is discussed and our ideas for evaluating TE which are expressed mathematically are proposed. Then, using the presented mathematical models, software is developed that takes into consideration the influence of parameters of flight performance and quality on TE. The software's environment is Borland C++ and it sets up the parameters of trainer, training standard databases and training documents; it can analyze and then give the operational cost and cost-effectiveness ratio of military trainer. Finally, the software is utilized to compare the TEs of HAWK and MB339 with that of Chinese Air Force TF-6. The results of comparison show that the TE of TF-6 is the lowest.     

导弹安保机构测试系统的设计与实现

针对某型空空导弹安全和解除保险机构,利用计算机及高新技术,实现了安保机构的高精度、高准确性和高效率的测试。较详细地介绍了安全和解除保险机构自动测试系统的硬件设计、软件设计及抗干扰措施。实践表明,该系统具有较高的测试精度及智能化程度,并具有良好的通用性。     

软件研制过程的管理

从软件工程化管理的观点出发,提出了做好软件研制过程的管理的几点设想、对规范软件研制全过程控制和把握软件研制过程管理几个关键环节进行了有益的探讨。     

智能GPS软件接收机载波跟踪环路设计

传统的GPS接收机设计较为固定,用户不能改变接收机各类参数以适应不同导航信号处理的需要.而软件接收机只需做较小改动就可以适应不同信号,能够迅速分析、仿真、实现各类算法.在GPS软件接收机的基础上,利用鉴频器辅助鉴相器的输出,引入一个模糊逻辑控制器,使得环路能够智能跟踪GPS信号的动态变化.实验结果证明所提出的设计方法与传统环路相比可大幅度缩短跟踪时间,减小环路滤波器带宽,并能消除周跳.      

面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。     

鸟撞平板试验与鸟体本构参数识别方法

准确可靠的鸟体本构模型与参数是开展结构抗鸟撞分析和设计的基础。为获取鸟体本构参数,在139m/s的速度下,开展鸟体撞击铝合金薄板试验,并测得了撞击载荷、平板变形和应变数据;结合ISIGHT和PAM-CRASH软件,以薄板被撞击位置的法向变形为优化目标,提出一种鸟体本构参数识别方法。将识别得到的参数代入数值模型并开展数值分析,提取平板变形结果和撞击载荷数据,并与试验测试数据进行比较。结果表明,平板变形仿真结果与试验数据具有很好的一致性,撞击载荷分析结果与试验数据基本一致,证明了本文所建立的鸟体本构参数识别方法的有效性。     

一种基于适配器模式的惯导软件设计方法

随着软件任务的不断增多,传统的软件设计开发和维护模式已无法满足日益增长的任务要求,亟待进一步提高软件的复用程度。针对惯导系统软件接口设计,提出了一种基于适配器模式的惯导软件设计方法。该方法采用动多态适配器和静多态适配器技术,提高了软件开发效率,接口的定义灵活可靠,解决了软件开发过程中面临的可扩展性差、可重用性差、难于维护等问题。