舰载指控系统软件可靠性模型分析

在对软件可靠性模型领域的众多模型进行全面分析研究的基础上,通过对从事海军指控系统软件研制单位的部分专家的实地调查,运用Ｂａｙｅｓ检验方法对专家信息进行处理,进而提出了适合舰载指挥控制系统的软件可靠性推荐模型．借鉴Ｓｃｈｎｅｉｄｅｗｉｎｄ模型在美国航天飞机飞行控制系统模型评估中的成功应用,把Ｓｃｈｎｅｉ－ｄｅｗｉｎｄ模型参数估计的思想方法运用到我们所选择的舰载指控系统软件可靠性模型中,并给出了用数据分析、判断模型的具体事例．     

指挥控制系统软件的安全性分析

在现代战争条件下,指挥控制系统软件的安全性是涉及减少系统风险、提高系统生存能力的一个重要问题。随着嵌入式计算机在指挥控制系统中被大量使用,其软件安全性问题也越来越突出。在明确了软件安全性定义的基础上,通过指挥控制系统中的一些安全性的实例,以事实证明软件安全性的重要性。着重介绍了软件安全性分析的目标、内容、过程和方法。     

四边形有限元网格单元的光顺

本文提出一种对由网阵推进法所产生的四边形网格单元进行光顺的方法。通过光顺,使整个网格单元疏密均匀,过渡平稳,并避免奇异网格单元的存在。这对以后的有限元计算是非常有利的。文中同时给出了一些光顺前和光顺后的例子以作比较。     

时间Petri网和启发式搜索在流程调优中的应用

本文利用时间Ｐｅｔｒｉ网对流程调优问题进行建模,和人工智能上的启发式搜索算法,进行求解,这就把时间Ｐｅｔｒｉ网和启发式搜索结合起来,可解决一些较为复杂的流程调优问题。     

Petri网在防空C~3I系统建模与分析中的应用

针对野战防空系统中的火力分配问题,首先为旅营两级防空系统建立了Ｐｅｔｒｉ网模型,并运用时间Ｐｅｔｒｉ网理论对其进行了时延分析,论述了为野战防空火力分配建立辅助决策系统的重要性。最后利用谓词Ｐｅｔｒｉ网描述了火力分配的推理过程,为有效分析战术决策的正确性提供了依据和思路     

一种新的非线性/非高斯滤波方法

自主滤波方法是一种递归式贝叶斯估计方法 ,该方法采用一组抽样值来近似目标状态的概率密度函数 ,可用于非线性系统模型和观测模型、非高斯观测噪声条件下的滤波。将该算法与扩展卡尔曼滤波方法进行了比较 ,仿真结果表明 ,该算法性能优于扩展卡尔曼滤波方法     

炮兵群自动化指挥系统决策组织结构的 Petri 网建模与性能分析

对炮兵自动化指挥系统中决策组织的结构和能力进行了研究,建立了较为完善的各级指挥员指挥决策体系的Ｐｅｔｒｉ网模型。通过有色Ｐｅｔｒｉ网对群一级的炮兵自动化指挥系统在不同任务环境下的不同工作方式进行了建模表示和分析,引入了决策时延这一反应指挥决策体系能力的重要性能指标,并进一步运用马尔科夫链的分析方法对建立的指挥决策体系的Ｐｅｔｒｉ网模型进行定量分析,得出了量化结果,为自动化指挥系统中决策组织结构的设计和分析提供了理论根据。     

在防御仿真交互网上用高逼真度仿真来演示水下作战技术

高级研究计划署从1993年9月13日到17日正在举办一次在防御仿真互联网上的海上仿真演示。演示的目的是展示高级研究计划署(ARPA)开发的各种技术如何用于提高仿真的真实性。 海军作战依靠对敌目标探测、跟踪、交战和开火的传感器和处理系统。这些系统与坦克作战不同,坦克作战只需与要对付的目标目视接触。9月份的演示将是用传感器驱动武器系统的首次分布式交互演示。 这次演示将把具有低频主动搜索和反水雷能力的航母战斗群各成员舰连接成一个逼真的指挥和控制环境。这次演示将使用各种局部意外事件并与敌方水下舰艇交战。为了这次演示,许多平台或指挥中心将位于太平洋舰队司令部、12航母战斗群、五角大楼、空间与海上作战系统指挥部、海军海洋系统指挥部、高级研究计划署、约翰霍普金斯大学/应用物理实验室、科学与应用国际公司、联合技术系统机构、德雷珀实验室、海军海洋办公室和桑迪国家实验室等地。     

贝叶斯方法在评定电子设备可靠性中的应用

本文介绍了运用贝叶斯方法评定电子设备可靠的原理及特点,并通过举例,说明其优越性。