软件静态分析融合技术研究

当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点.装备软件作为武器装备调度的"大脑",关键程度不言而喻.随着武器研制技术的提升,代码规模激增,对装备软件的质量检测技术手段以及效率提出更严格的要求.为弥补单一测试工具检测造成的误检、漏检,提出了基于跨语言文本聚类的静态代码测试结果融合技术,实现多类型测试...     

外国军队信息化建设的内在规律

军队信息化建设既是一个动态发展的军事事物,也是一个军事事物的客观运动过程。这一事物或过程具有特定的内涵和外延,其发展或运动需要从内部外部获取动力,有自身的目的性和独特的轨迹。外国军队信息化建设的内在规律是其基本规律体系中其他规律得以存在和运行的基础和依据,对其准确把握和深刻认识十分重要。     

分形理论在装备保障组织设计中的应用研究

基于分形理论,提出了一种适应敏捷化要求的分形装备保障系统组织模型,能够通过快速的重构以响应战场环境的变化。阐明了其层次性、自相似、自组织和自优化的组织结构特点,分析了其运行模式。     

美军战术数据链的最新动态

随着“网络中心战”概念的实施,Link系列的数据链已无法满足美军对大容量数据信息的需求。本文介绍了美军正在大力加强研制的各种新型数据链。如精确制导武器数据链、ISR数据链、网络数据链以及激光通信数据链的最新动态以及未来的总体发展趋势。     

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

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

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

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

导弹批量测试仿真研究

针对现存导弹批量测试中存在的问题,采用离散仿真方法,论证了在不改变现有测试规程,而适当增加测试工位,优化测试流程,可显著缩短批量导弹测试时间,提高快速反应能力和生存能力.仿真系统可对多个不同方案论证,生成的横道图可直接用于测试组织指挥.     

动态飞行模拟器相似性分析

动态飞行模拟器的相似性是评价动态飞行仿真的重要指标。应用控制论方法,结合动态飞行特点,给出了动态飞行模拟器的相似性准则。通过对动态飞行模拟器运动分析,结果表明动态飞行模拟器相似性准则可以评价仿真的相似性。     

复杂系统使用保障测试性设计方法初探--故障设备影响分析及其应用

分析了复杂系统使用保障测试性设计方法的技术背景,系统战备状态的含义、重要性和描述方法;重点探讨了系统设备级(初始约定层次)故障设备对系统分系统战备状态影响进行分析的有效方法。并以某防空导弹武器系统为例,介绍如何利用功能分析法具体解决复杂系统使用保障测试的可测性、可控制性和可观察性等工程化设计问题。推荐一组实用的系统/分系统战备状态(正常/降级/故障)判定逻辑运算数学模型和基层级综合保障(使用保障+维修保障)计划流程图。     

空空导弹控制系统一体化设计方法研究

综述了空空导弹控制系统非线性设计的主要理论和方法,重点介绍了非线性动态逆和反馈线性化方法及其在导弹控制系统设计中的应用,对大攻角空空导弹控制系统一体化设计方法进行了分析和展望。