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

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

基于体系结构物理交换规范的作战活动可执行模型构建方法

作战活动是体系结构的核心数据,保证作战活动的正确性是提高体系结构质量的关键。基于DoDAF2.0提出的体系结构数据物理交换规范,定义了作战活动模型和作战规则模型的数据模型;对基本Petri网交换规范进行扩展,形成扩展Petri网的数据交换规范;建立活动模型相关数据与扩展Petri网交换规范的映射规则,根据映射规则自动生成作战活动Petri网模型,并研制了可执行模型自动生成工具。最后,通过案例验证了方法的合理性。     

面向Agent的CPN及其在航天装备体系评价中的应用

为弥补Agent和Petri网在各自建模中的缺陷,分析了二者现有的几种结合方式,给出面向Agent的着色Petri网(AOCPN)的定义及其运行规则和分析方法。利用AOCPN建立了以海上目标监视和打击为任务的航天装备体系评价模型,对其逻辑特性和作战效能进行了分析。建模过程和仿真结果表明,AOCPN能够完整描述体系的逻辑和物理特性,可用于全面分析评价体系的性能和对作战结果的影响,有效追踪体系执行任务的过程。     

基于Petri网模型的通信网络综合性能评价

本文论述了传统Petri网和模糊Petri网的一些基本概念,特点及区别,提出了用模糊Petri网建模规则和进行系统问题分析时的有效算法,最后,通过通信网综合性能评价来说明模糊Petri网在系统性能分析中的应用。     

广义随机Petri网的装备战场抢修建模与分析

将广义随机Petri网(GSPN)的基本理论应用于装备战场抢修系统的建模与分析,考虑装备战场抢修过程中的各种因素,采用Petri网与马尔可夫理论相结合的装备战场抢修系统性能分析方法,为装备战场抢修系统性能的有效评估提供了理论依据.通过实例验证,该方法可用于分析装备抢修系统的时间性能和运作效率,为机关决策层提供参考.     

一种新型坦克火控系统建模方法

为全面、准确描述新型坦克火控系统逻辑层,提出了一种基于有色随机Petri网的新型坦克火控系统建模方法。首先研究了新型坦克火控系统的组成结构、信息结构与工作流程。然后对新型坦克火控系统进行了形式化的描述,并制定了其Petri网转化规则。最后建立了新型坦克火控系统的Petri网模型,并对其动态性能进行了分析。证明该方法可以有效对新型火控系统逻辑层建模。     

作战指挥工作流程建模方法

针对作战指挥工作流程的建模与仿真研究较少的现状,采用了基于高级Petri网的建模方法。首先在企业相关概念定义基础上,对建模对象———作战指挥工作流程进行了定义,简要介绍了Petri网建模方法的特点以及对基本Petri网的扩展,举例说明了4种过程机制映射到Petri网上的方法,提出结合树状组织结构图和资源管理表的方法扩展Petri网库所容量的含义及管理机制。     

基于Petri网的雷达对抗仿真建模研究

针对雷达对抗的作战过程,引入Petri网的数学方法描述雷达对杭侦察、雷达干扰、雷达干扰效能评佑3个作战行动,将雷达对抗战术规则与Petri网的实施规则相关联,并选用有效策略解决冲突变迁,建立雷达对抗的Petri网模型,解决了雷达对抗仿真建模过程中对并行、异步和随机时间等复杂离散事件的描述问题.     

HPN基于网结构的冲突关系

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

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

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

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

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

基于模糊Petri网编队协同战术决策

为了解决在不确定环境下编队协同空战战术决策问题,将Petri网理论引入到编队协同空战分析中,依据决策规则的模糊性,结合具有图形描述能力的Petri网,提出利用模糊Petri网对编队协同空战战术决策进行建模,并对模型进行了仿真分析。仿真结果表明模型能够提高编队协同空战战术决策的智能化和自动化程度。     

模糊Petri网的自适应粒子群优化方法研究

模糊Petri网对专家知识库的模糊规则具有较强的表达能力,但其缺乏学习能力使得模型参数的确定较为困难,针对此问题提出一种适合于模糊Petri网参数确定的自适应粒子群优化算法。分析了模糊Petri网对专家知识库的模糊规则建模方法;研究了粒子群优化算法及其各种改进算法;在此基础上,提出适合于模糊Petri网参数确定的自适应粒子群优化算法。最后,以无向网络可靠性估计为例,通过实例分析并与基本粒子群优化算法进行比较,证明了所提方法的有效性和优越性。     

基于广义随机Petri网GSPN的系统安全性研究

针对基于广义随机Petri网GSPN的动态系统安全性建模与分析方法进行了系统研究。基于Petri网、GSPN模型的基本原理,提出了关键状态搜索算法,并进行了安全性仿真分析.将广义随机Petri网的扩展模型应用于安全性分析领域,丰富了动态系统安全性问题的研究手段。     

基于Petri网的近程防空武器射击建模

提出一种扩展时延Petri网,新提出的Petri网与以往高级时延Petri网的不同之处在于它允许个体的个性与共性同样得到考虑。这种方法被用来对装备多跟踪装置、多种对空武器的防空系统对多目标进行射击过程进行建模、分析、模型的正确性在文章最后的仿真中得到了验证。     

基于Petri网的队决策规则分析法

本文应用Petri网模型表示决策队的决策规则,并通过分析规则Petri网模型的特性研究决策队组织结构的一致性、冗余性、完整性问题。     

基于直觉模糊时间Petri网的不确定性时间推理方法

针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IFTPN)推理模型,并提出了基于IFTPN的不确定性时间推理算法,较好地解决了态势评估中冲突事件间的不确定性时间推理问题。最后,通过典型的战场想定验证了该时间推理方法的有效性和优越性。     

基于Petri网的C2S性能分析方法研究

给出了用时间连续随机Petri网和时间离散随机Petri网计算系统稳态概率的方法,并将其应用于指挥控制系统(C2S)的性能分析中,分析结果表明这种计算方法是可行的。     

基于多Agent系统的无人机智能指挥控制系统

无人机是一个具有自治性和反应性的智能系统,结合Agent的特性,将多Agent系统引入无人机智能指挥控制系统的研究与开发中.由于该系统具有复杂的动态结构和行为特征,提出了一种面向Agent的Petri网,用于系统的建模和分析,最后建立了无人机Agent、指挥中心Agent及系统的形式化模型.面向Agent的Petri网不但能描述系统的静态和动态语义,还可利用Petri网的支持工具对系统进行模拟和分析,在无人机智能指挥控制系统研究中具有较好的应用前景.