基于SPRT的组合导航故障检测与隔离互辅算法

针对SPRT(序贯概率比检验)算法无法准确判断缓变故障结束时间的问题,提出了一种故障检测与隔离互辅算法。采用SPRT算法对滤波残差进行故障检测,确认故障后隔离故障观测量,重新建立卡尔曼滤波观测方程并完成量测更新,将隔离后的滤波结果作为下一时刻的滤波初值辅助故障检测。仿真结果表明,该方法能准确定位故障观测量并判断出故障的结束时间,提高了系统可靠性。     

一种火力毁伤效能评估方法

Lanchester方程和Monte Carlo方法是作战模拟的常用方法,前者按取均值的方法处理作战过程,忽略了各种因素随时间的差异性,降低了模拟精度;后者对细节的要求较高,使问题变得复杂难解。结合两种方法,既充分考虑了作战问题的宏观规律性和局部共性,也顾及了其中关键因素的微观差异性和随机性,在火力毁伤效能模拟评估问题的应用研究中有较好的表现。     

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

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

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

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

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

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

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

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

多源信息的Bayes融合精度鉴定方法

为了合理运用多种验前信息 ,文中首先引入了验前信息的可信度的概念 ,由此论述了验前信息与现场试验信息的融合方法 ,给出了多源信息下的Bayes精度鉴定方案。最后以实例说明鉴定方案的运用。     

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

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

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

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

消防供水的计算和分析

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