发动机传感器数据证实的贝叶斯信度网络方法

针对发动机及其部件试验传感器数据证实的多源证据融合问题,描述了建立贝叶斯信度网络的方法,给出了传感器状态和检验关系式不确定性信息表达方法,发展了自动建立贝叶斯信度网络、计算可信度概率及更新网络的算法;给出了贝叶斯信度网络方法在模型发动机上的应用示例。     

基于贝叶斯方法的退化失效型产品实时可靠性评估

通过传统可靠性方法得到的失效分布反映了相同受试环境下同一类产品的平均特征,并不能直接应用于系统实时定量可靠性分析。为此,针对有历史试验数据的退化失效型产品,依据局部更新的思想,利用贝叶斯方法最大可能地采用现场测试数据,并将之及时反映到实时可靠性模型中去。结果表明,随着融合现场数据的增多,产品的实时可靠性模型也逐渐全面反映出产品的个性特征。     

基于大规模贝叶斯网络的安全性分析算法

贝叶斯网络计算量随着节点数增多呈指数增长,限制了大规模贝叶斯网络在安全性分析中的应用。为此,利用独立性条件分解整个网络,压缩推理时显式表达的项数,给出了计算顶事件发生概率及割集的算法,并分析了算法复杂性。在满足工程需要情况下,将提出算法与基于BDD算法相比,该算法表现出占用内存少、运行速度快的良好性能。     

银河仿真工作站实时通信技术的研究与实现

对银河仿真工作站与共享内存实时网络的实时通信技术进行了研究 ,介绍了银河仿真工作站与实时网通信的应用程序接口API,并且描述了一个在YHSIM仿真程序中实现与实时网通信的例子 ,最后给出了实验结果。实验证明 ,该技术能有效地用于大规模复杂系统的半实物仿真     

地空导弹C3I决策系统的Petri网建模与性能分析

对地空导弹决策系统的结构和性能进行了研究.对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了较为完善的决策系统的Petri网模型.并引入了决策时延这一反应指挥决策系统能力的重要性指标.这些问题的解决对提高C3I决策系统的实时性和准确性具有十分重要的意义.     

基于移动自组网的智能战场架构理论研究

提出了一种基于移动自组网的智能战场网络架构模型,对基于移动自组网的网络架构模型及软件平台结构进行了描述,并将该模型和传统的通信模型进行了对比。分析结果表明,该智能战场架构模型将对实现智能战场起到积极的推动作用。     

基于带优先级时间有色Petri网的装备维修过程模型研究

本文在分析维修过程中确定维修活动次序和选择维修资源常用规则的基础上,为时间有色Petri网的变迁规则增加了约束,提出了带优先级的时间有色Petri网的概念,并利用带优先级的时间有色Petri网进行了维修过程的仿真,仿真结果表明带优先级的时间有色Petri网能更好的模拟实际的维修过程。     

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

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

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

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