军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

基于虚拟仪器的航空电子设备检测系统设计

设计了一种基于虚拟仪器技术的航空电子设备自动化检测系统。详细介绍了系统软硬件的结构和功能。说明了通过程序、配置文件管理系统硬件,实现软件的仪器无关性的方法。并讨论了用数据库和文本文件定义被测设备的数学模型,从而实现检测系统与被测设备分离的方法。由于从检测系统和被测设备两方面实现了检测的通用性,对检测系统的升级换代和扩展检测新型机载设备具有重要意义。     

灰色关联法在舰炮武器系统模糊决策中应用

结合多属性决策的特点,采用引入权重向量的灰色关联法,建立模糊多属性决策模型用来解决舰炮武器系统方案优选问题;通过实例分析,建立决策模型,计算和比较舰炮武器系统配置各候选方案与理想方案的关联度,从而确定舰炮系统的最优配置方案。应用实例结果证明,该方法相比其它单一方法,可进一步提高舰炮系统决策的有效性和可靠性。     

基于AHP和模糊理论的导弹快艇C3I系统效能评估

针对某型导弹快艇的C3I系统作战效能评估的需要,采用AHP法确定C3I系统作战能力指标及相应各指标的权重,然后运用模糊综合评判对该导弹快艇的C3I系统能力进行综合评估,为舰艇作战指挥人员了解系统作战效能和系统研制人员改进系统提供定量依据。     

防空导弹武器系统混合编组及计算

防空导弹武器系统混编比的确定是现代防空作战兵力运用的关键问题之一。首次从防空火力配系的角度,提出了防空导弹武器系统混合编组的三种形式,即补充空域混编、加强火力混编和自卫掩护混编。采用定性与定量相结合的方法,进一步给出补充空域混编、加强火力混编比和混编火力单元前后配置间隔的计算模型,确定了混编比。该模型的建立,为防空兵力兵器部署定量分析提供了理论依据,对防空部署理论的发展具有积极作用。     

作战指挥系统稳定性分析

稳定性是作战指挥系统的核心,根据指挥系统稳定性的内涵及影响因素,运用概率论和信息熵方面的理论对指挥稳定性指标进行建模.分析了系统可用性、可信性和信息能力三个方面的影响指标,并建立了相应的评估模型.在模型分析基础上,提出了提高指挥系统稳定性的应对措施,为指挥员提高信息化条件下作战能力,保持指挥稳定性提供了理论参考依据,对提高作战指挥效能也具有很好的参考价值.     

嵌入式实时操作系统性能测试方法

为综合评价操作系统能否满足使用要求,研究了一种定量测试嵌入式实时操作系统功能和性能的方法,提出了具体的测试项目、测试环境和测试用例的要点,给出一种基于外部注入的功能测试、性能测试、应用测试方法及具体实现。测试结果证明,该方法对提高软件质量,缩短研制周期,增强可维护性等方面有显著效果。     

基于模糊AHP法的机载指控系统效能评估

指控系统是机载C3I系统的核心组成部份。为了合理而有效地评估机载指控系统效能,运用模糊AHP分析法对该分析法中的权值的模糊性进行了处理,建立了机载指控系统效能评估模型,并通过具体算例证明了此方法的有效性和可行性,为机载指控系统的效能评估提供了一种方法和途径。     

军用数据库安全审计系统的设计

在指控系统应用过程中,需要审查与系统安全相关的所有操作,并对不安全的操作行为进行报警。根据指控系统中数据库审计四要素的要求,提出将应用系统级审计与数据库级审计相结合的方法,最终实现两种级别审计的统一。解决了以往指控系统审计方式单一的问题,满足了军用数据库安全防护的要求。     

预警机引导战斗机空战目标分配模型

从预警机引导战斗机空战的角度出发,通过对预警机引导战斗机空战过程的分析,确立了战斗机对敌攻击时应具有的优势函数,建立了基于蚁群算法的空战目标分配模型。最后通过具体仿真算例,证明文中给出的蚁群算法模型能够有效地解决预警机引导战斗机空战目标分配问题。