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

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

红外成像导引头抗干扰性能评估方法

给出了一种对地面复杂干扰环境的红外成像导引头抗干扰性能评估方法,分析了红外成像导引头所面临的干扰因素,结合实际战场情况对干扰环境的等级进行了划分,并详细设计了红外成像导引头抗干扰性能仿真测试方案。采用半实物仿真方法得到红外成像导引头在不同干扰环境下的实验数据,运用bayes估计的方法建立红外成像导引头抗干扰概率计算模型。结合某实物红外成像导引头开展抗干扰性能半实物仿真测试,实验结果验证了该方法的合理性和有效性。     

加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

采用LabVIEW设计的PCM数据实时接收系统

脉冲编码调制(PCM)技术因为其良好的抗干扰性能,被广泛应用于飞行器的地面测试与飞行试验当中。为了监控被测飞行器的运行状态,通常需要对测试过程中的PCM数据进行实时接收显示。提出了一种基于Lab VIEW的PCM数据实时接收系统的设计方法,通过采用数据接收卡与上位机程序相结合的方式,实现了对PCM数据的实时接收显示。经验证,该系统可满足飞行器地面测试的需要。     

C~4ISR系统仿真测试研究

针对一种C4ISR系统在测试时的特点,提出了模拟仿真测试的方案,建立了仿真装备与指挥系统的交互模型,设计了交互对象的自动匹配算法,并在实际系统的仿真测试中得到应用和验证。     

民兵防化分队现场练救援

着眼提高完成多样化军事任务的能力,针对化工企业产品可能发生易燃、腐蚀、泄漏的情况,3月11日,湖北省荆州市沙市区人武部组织民兵防化分队,模拟驻地沙隆达三氯化磷工段发