C3I系统仿真模型自动生成方法

根据活动模型在C3I系统中应用的广泛性、仿真模型生成的困难性,以及二者之间的相似性,提出一种间接生成Petri网仿真模型的方法,即首先建立活动模型,然后在此基础上生成可执行Petri网模型,从而简化仿真模型的建立过程.还简要介绍二者之间的转换规则,并给出应用实例.     

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

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

HPN基于网结构的冲突关系

混合Petri网是为了解决复杂动态系统可靠性安全性分析而提出的一种Petri网扩展模型。定义混合Petri网模型的基于结构的冲突关系 ,有助于深入理解混合Petri网模型的语义 ,对其在动态系统可靠性安全性建模与分析以及模型分析求解中的应用也具有重要意义     

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

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

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

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

基于对象petri网的雷达组网系统应用效能研究

建立了复杂环境下雷达网防空作战系统OPDL模型,并嵌入相关的数学模型,对雷达网在防空作战中的应用效能进行了仿真分析,给出了定量的分析结论。研究表明,雷达组网技术的运用有效提高了防空武器系统的作战能力,为深入分析研究雷达网的作战效能奠定了基础。     

防空体系反制网电攻击的UML与Petri网模型

网电攻击装备的出现,给传统防空体系带来全面严峻的新威胁。通过分析"舒特"系统,得到网电攻击3种典型作战样式:物理摧毁、电子攻击和网络攻击,分别从物理层次、能量层次和网络层次探索了防空体系反制网电攻击策略。为描述防空体系反制网电攻击的对策、作战结构、作战步骤等问题,分别建立了统一建模语言(UML)和Petri网模型,从理论上初步探索了防空体系反制网电攻击的对策,具有一定的理论与现实意义。     

基于Petri网的弹道导弹攻防对抗仿真系统CGF模型

作为弹道导弹攻防对抗仿真系统的重要组成部分,弹道导弹拦截CGF是一个具有分布、并发、异步等特性的复杂仿真系统,而Petri网是描述具有此类特性系统的有效工具。通过对典型弹道导弹拦截系统作战过程的分析,基于Petri网建立弹道导弹拦截CGF各组成部分的模型,进而建立弹道导弹拦截CGF的整体模型,并通过仿真分析,验证了模型的有效性。     

具有优先级消息的AFDX建模与性能分析

以Petri网为工具,建立了基于具有优先级消息传输的AFDX(航空电子全双工以太网)网络模型,通过仿真,求解出消息发送时的平均等待时间,得到的指标结果验证了高优先级数据消息帧发送等待延时明显小于低优先级数据消息帧的发送等待延时,充分说明了优先级对紧急数据传输的重要性。模型有助于进一步理解航电系统不同优先级消息在AFDX网络中的传输机制,为以AFDX为总线的综合航电系统的设计和完善提供重要的理论依据。     

航天测控系统任务可靠性分析的EOOPN模型

提出了一种可用于航天测控系统任务可靠性分析的扩展面向对象Petri网（extend object-oriented Petri nets, EOOPN）模型,旨在对给定的航天测控方案进行可靠性评估分析。针对问题特点明确了OOPN扩展思路,给出了EOOPN模型的形式化定义、运行规则和建模步骤,模型通过引入公共库所、激发弧、消息变迁和消息处理函数等概念,体现了面向对象的思想,具有很好的层次性和模块性。所建立的EOOPN模型能够完整的描述航天测控系统的组成和任务特点。通过对算例模型仿真运行,表明实验结果具有良好收敛性,与Markov解析值对比误差在1%以内,从而验证了模型的有效性。