军用可信软件现状及发展研究

随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。     

鱼雷航向估计模型的可信性

悬浮式深弹拦截鱼雷是大型水面舰艇水下防护作战的一种重要形式,其中估计来袭鱼雷的航向是实施拦截的关键。针对鱼雷航向的估计问题,引用基于相遇三角形原理的来袭鱼雷航向估计模型,分析了来袭鱼雷的可能航向角范围。采用数字仿真和仿真模型置信度的决策分析方法,对模型的可信性及其决策风险进行了量化分析。结果表明,该鱼雷航向估计模型可信,可为悬浮式深弹拦截鱼雷的作战训练、战法研讨及其仿真研究提供参考。     

基于Fuzzy-AHP的指挥信息系统可信性评估模型研究

针对未来作战指挥需求,运用模糊理论和多模型理论探索指挥信息系统可信性评估问题。建立了指挥信息系统可信性评估指标体系层次结构,以评估流程为基础综合集成了层次分析法和多级模糊评判方法,提出了一种基于Fuzzy-AHP的指挥信息系统可信性评估模型。经评估实例验证,该模型能够有效解决指挥信息系统可信性指标种类繁多而又相对模糊的问题,科学地实现定量与定性的有机结合,较好地满足了指挥信息系统可信性评估的需求。     

基于可信性理论的标准-3拦截弹末段修正能力分析

基于可信性理论对标准-3拦截弹末段修正能力进行分析。由拦截末段相对运动动力学推导了标准-3拦截弹末段可消除的最大零控脱靶量解析表达式;针对其中的参数不确定性,将不确定参数视为模糊变量运用可信性理论进行建模,采用模糊模拟算法得到标准-3末段可消除的最大零控脱靶量的可能性测度悲观值和乐观值,可信性测度均值和标准差及可能性、必要性和可信性分布函数。本文研究为弹道导弹中段机动突防动力系统设计提供了理论依据,同时为如何根据有限的已知信息获得合理的未知信息提供了有效途径。     

复杂大系统仿真的VV&A理论及过程研究

为了确保复杂大系统仿真(LCSS)的可信性,应该在建模与仿真(M&S)的全生命周期中开展校核、验证与确认(VV&A)研究.对LCSS的VV&A进行了理论研究,提出其方法论与原则;以基于仿真组件构建的HLA仿真系统为例,从仿真组件层、联邦成员层及联邦层三个层面研究了VV&A过程,并将这些研究应用于反舰导弹突防联邦仿真中.实践表明,研究对LCSS的VV&A工作具有很好的指导作用,有力地保障了仿真的可信性.