防空武器系统的着色Petri网络建模与仿真

防空武器系统是一个复杂的军事系统,具有异步、并发的特点。应用着色Petri网络技术对其进行建模与仿真,极适合军事系统的特点。介绍了CPN的基本概念和建模特性,建立了防空武器系统的CPN模型并进行了计算机仿真,应用状态空间分析法对仿真结果进行了有效的分析和讨论。

基于Petri网的概念模型验证方法研究

针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错误时需要验证的Petri网性质;最后以防空导弹作战过程为例,研究了利用Petri网以及CPN Tools软件进行概念模型动态部分内容验证的具体过程。实践证明此方法减少了领域专家直接进行概念模型验证的主观性影响,提高了效率。

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

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

基于扩展Petri网的防空C^4ISRK系统建模分析

针对地空导弹武器系统防空中的火力分配问题,建立了战术级防空C4ISRK系统的Petri网模型。对其进行扩展,即联合谓词Petri网和赋色Petri网,建立旅级火力分配的改进模型,给出了具体的前置谓词公式。为有效分析战术决策的正确性提供了依据和思路。

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

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

基于Petri网的防空作战过程建模

赋时着色Petri网(TCPN)是在CPN基础发展起来的图形化描述工具,适用于带有时间特性系统的性能评价与仿真。将TCPN加以改进,增加测试弧,时间特性反映在变迁上,且允许时间与标记值可按复杂的函数变化,使Petri网可同时描述离散的状态和连续的变化,由此提出了适于防空作战过程建模的面向仿真的TCPN,并对其在一个小型的防空对抗作战过程的有关作战单元建模中的应用进行了探讨。

基于UML和Petri网的防空反导系统建模

以某型防空反导系统为对象,依据系统的作战流程从用例图、类图和活动图等方面对其进行了概念建模,并结合Petri网支持评估验证的特点,实现了从UML模型到Petri网模型的映射与转换,并从可达性、合理性、自由选择等多个方面对建模的过程进行了分析与验证,为下一步基于某型防空反导系统的实体仿真及优化研究铺垫了基础。

基于随机Petri网的网络化防空导弹系统建模方法研究

文章通过建立执行单任务的网络化防空导弹系统的随机Petri网模型,分析系统作战状态的变化规律,得到系统作战效能评估方法。在此基础上,建立了系统可执行多任务作战的复杂随机Petri网模型,实现了网络化防空导弹系统信息共享和作战资源间协同调配。

多模式融合的武器目标分配系统模型设计

目标分配是指挥控制流程中的核心环节,分配模式的优化对于提升防空反导作战能力具有重要意义。为提高防空反导目标分配的鲁棒性、适用性以及博弈对抗性等作战性能,以应对当前复杂多变的战场环境,本文提出建立多模式融合的目标分配体系结构,对商用订单式的服务模式进行适应性改进,将“派单”“抢单”“抢派单融合”三种模型改进定义为军事模型;通过使用美国国防部体系结构框架(Department of Defense Architecture Framework,DoDAF)建立“他分配”“自分配”“他分配与自分配结合”的新型目标分配体系结构;引入Perti网模型,构建并分析Petri网模型的可达图,通过仿真实验平台,构建复杂作战场景,验证了分配策略机制的可行性。结果表明三种策略各具优势,本文设计的多策略结合在匹配时间、成功率以及效用值方面相较传统的单一策略具有较大优势。

基于UML和OCPN的防空作战仿真系统建模研究

通过深入分析防空作战仿真系统,综合运用形式化和非形式化建模技术,提出了UML和对象有色Petri网相结合的防空作战仿真系统混合建模方法,并给出了防空作战仿真系统的UML和OCPN的混合建模实例,为防空作战仿真系统采用复合建模技术、克服单一建模的缺陷提供了有益的思路。