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

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

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.     

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

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

软件研制过程的管理

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

自适应对角线加载的波束形成算法

采样协方差矩阵求逆(SMI)的波束形成方法在少快拍数、高信噪比情况下波束形成性能下降。对角线加载技术能减弱了小特征值对应的噪声波束的影响,改善了方向图畸变,但是加载量的确定一直以来是一个比较困难的问题。文中提出了一种自适应对角线加载波束形成算法,根据阵列接收信号协方差矩阵的特征结构,自适应地加载对角线,进而提高波束形成的鲁棒性。仿真结果表明:该算法在高、中、低的信噪比下都具有较好的波束形成性能,且在少快拍数情况下仍具有较好的波束形成性能,是一种鲁棒的且性能优越的波束形成算法,而且该算法容易实现。     

空间光通信系统比特差错率的计算及影响因素分析

文章以雪崩光电二极管(APD)作为光电探测器,针对两种常用的数据编码方式,在不同的传输带宽、背景光功率和探测器负载条件下,对空间光通信系统的比特差错率(BER)进行了计算,得到了BER和接收光功率之间的关系曲线。计算结果表明,传输带宽、背景光功率和探测器负载等参数均对BER有明显影响。传输带宽或背景光功率越大,BER越大;探测器负载电阻越小,BER越大。     

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

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

认知无线电网络中的喷泉编译码技术研究

针对认知无线电网络（CRN）中授权信号时间和频率的不确定性导致CR用户工作频率甚至链路质量具有严重的时变性等特点,提出利用喷泉码的编解码技术解决上述问题。阐述了喷泉码的编解码原理,对喷泉码应用于认知无线电的系统性能进行了仿真分析．仿真结果表明．由于喷泉码无需反馈以及编解码复杂度低的特性,在CRN网络的时变信道环境下能实现链路维持,提高了系统的传输性能。     

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

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

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

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