符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

基于图元的火控系统人机交互界面的实现

本文提出基于图元的火控系统人机交互界面,在客户端/服务器信息处理与显示模式下,根据火控系统人机交互界面的实际需求,设计出所需的图元库。然后,利用图元库设计出部分UI界面,完成UI界面的注册过程以及相应的控制文件的编写设计,将用户操作同界面数据进行关联。最后,设计并搭建显控服务和图元终端,采用DDS通信协议,实现服务器端和客户端的数据传输。该设计过程将界面显示与应用程序、逻辑处理、业务过程相分离。这种设计思想符合模块化、系列化发展思路,与模块化火控设计思想一致。     

遗传算法及其在导弹火力分配上的应用

遗传算法是一种近年来新发展起来的优化算法,目前它已被广泛应用于解决许多实际问题,如函数优化、图像识别、机器学习、人工神经网络、人工生命、优化调度等许多领域。通过对一种遗传算法的研究,阐述其在导弹武器火力分配上的应用。首先设计和实现了一种遗传算法;然后描述了导弹火力分配优化问题,建立了其数学模型;最后运用遗传算法求解了该问题。     

超视距多目标攻击排序及火力分配建模与解算

针对未来超视距空战条件下的多目标攻击排序和制导武器火力分配问题,提出了一种用以评估超视距空战作战效能的综合优势指数法;当目标数多于攻击机数时,通过构造综合优势矩阵,将非平衡指派问题转化为平衡指派问题,并建立了多目标攻击排序的0-1规划模型,该模型可解决对多个目标同时攻击的排序问题;以2对8攻击排序为例,利用求解线性规划软件Lindo6.0进行解算。最后,建立了1对4攻击火力分配的非线性规划模型,并利用求解非线性规划软件Lingo5.0进行解算。计算结果验证了建模的合理性和运用Lindo、Lingo软件求解较大规模目标攻击排序和火力分配问题的实时性。     

坦克分队在进攻战斗中的最佳火力分配

运用兰切斯特方程和极值理论就坦克分队在进攻战斗中如何分配火力及使火力分配最佳进行了研究。给出了最佳方案的计算方法     

武器毁伤概率对火力运用的影响

采用离散马尔可夫链概型 ,在符合客观实际的基本假定条件下 ,以毁伤概率为指标 ,定量分析了对抗双方武器毁伤概率的变化对火力运用的影响 ,从而提出了先敌开火时机和火力运用样式转换时机对毁伤概率的要求     

消防供水的计算和分析

介绍国际上消防供水的计算方法,并对消防供水方式进行分析.针对国内外的差异,提出消防供水的新思路.     

谈集贸市场火灾原因及防火对策

针对集贸市场规模大、可燃物多、火灾荷载大、人员密集等特点,分析其火灾发生的原因,提出宏观管理控制、合理制定消防技术标准、建立统一的消防管理体制等消防工作对策.     

亚麻纺织生产爆炸火灾初探

从亚麻纺织生产爆炸火灾的危害入手,通过对亚麻粉尘特性的研究,分析制定预防爆炸和减少火灾损失的对策.     

消防设备的费用估算

通过对防火设备、灭火装备的费用估算,介绍如何利用数学建模的方式进行消防设备费用估算的具体方法,并对火灾过程中装备费用的精确估算方法进行了初步探讨.