航空软件配置管理系统设计和关键技术研究

从军工软件配置管理的需求出发,结合国军标的开发库、受控库和产品库的三库配置管理体系,阐述某自主知识产权的＂航空软件配置管理系统＂的总体设计思路,指出该配置管理系统实现的关键技术为软件配置库的存储设计方法和文件的增量存储和差异比较技术。说明系统软件配置库的存储设计思路和方案,采用编辑图和贪心算法实现文件的增量存储和差异比较技术的解决方案。总结系统的特点和优点,说明系统下一步发展及扩充的几个方向。     

ARINC659芯片协议符合性验证关键技术研究

ARINC659总线主要用于机架内部各在线可更换模块(LRM)间的通信。在ARINC659芯片设计过程中,如何对协议符合性进行充分验证是确保芯片设计符合协议的关键和核心。本文首先对ARINC659总线产生的背景及ARINC659协议及总线协议处理芯片进行了概述,并结合ARINC659总线协议处理芯片对芯片协议符合性验证中的关键技术进行了分析和研究。     

数字系统的可靠性和可测试性设计

数字系统的可靠性和可测试性越来越引起人们的关注,并形成了大量的理论和技术,介绍了常用的可靠性设计技术,例如避错技术、容错技术、编码检错技术、故障自检测和自诊断技术以及失败安全设计技术同时还描述了可测试性设计的特定技术、通用技术、边界扫描技术以及内建自测试设计技术,设计人员可以选择适当的技术进行可靠性和可测试性设计,从而提高数字系统的可靠性.     

无人机飞控软件测试方法研究

飞控软件是无人机飞行控制系统的控制神经中枢,对无人机飞控软件进行有效的测试是保证飞控系统质量的重要手段.根据某型无人机飞控软件及其开发特点,提出一种与软件开发过程同步的、基于多个测试环境的软件测试模型,重点阐述该模型涉及的单元和配置项测试方法.测试结果表明,提出的测试模型,测试工作能有效地发现无人机飞控软件在不同开发阶段引入的不同类型的软件缺陷,有效地保障了无人机飞控软件的安全性、可靠性和质量.     

软件数据耦合影响分析方法

以软件中数据为核心,通过分析一个具有高度数据耦合、实时并发进程特点的武器装备飞行控制软件实例,提出一种实时软件数据耦合影响分析方法.该方法通过静态分析实时软件中全部共享数据的并发使用情况,可有效发现实时软件中因数据耦合和并发执行引起的共享数据冲突,消除软件的质量隐患.     

基于傅里叶基的自适应压缩感知重构算法

在压缩感知中,为了提高含噪信号的重构精度,提出了基于傅里叶基的稀疏度自适应匹配追踪算法.该算法在重构过程中采用相关系数作为匹配准则的基础上,创新性地利用傅里叶变换的共轭对称性,进一步严格控制索引值加入支撑集的过程;同时利用余量能量和余量能量变化率双门限作为停止迭代的依据;最后将估计的傅里叶域中的信号逆变换得到时域的重构信号.仿真实验表明,在同等噪声污染的情况下,该算法与同类算法相比有较高的重构精度.