基于ExSpect的维修过程建模与仿真研究

应用ExSpect语言,采用自上而下的系统分析方法,建立了反映产品维修过程中的资源竞争、并发和同步关系的Petri网模型。最后进行了仿真实例研究和分析。     

基于Petri网的潜艇CGF鱼雷攻击行为建模

为了实现潜艇对舰鱼雷攻击过程的计算机仿真,基于Petri网理论研究了潜艇鱼雷攻击过程的行为建模问题.在对潜艇鱼雷攻击过程的准离散化分析与构建了鱼雷攻击过程Petri网结构的基础上,将Petri网的变迁和潜艇鱼雷攻击过程的战术规则相关联,并提出了解决变迁冲突的方法,建立了基于Petri网行为模型.这种运用Petri网特有的可视化和以动态方式描述了潜艇鱼雷攻击过程的方法,有着坚实的数学基础,为进一步研究潜艇CGF鱼雷攻击自治行为规划打下了理论基础.     

基于模糊时间Petri网的决策融合模型及时间推理

针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指挥决策融合中的应用。     

基于Petri网的指挥控制系统仿真

指挥控制系统是一个具有分布、并发、异步等特性的复杂系统,Petri网是描述具有此类特征系统的有效工具.提出了基于Petri网的指挥控制系统仿真平台的具体设计方案.介绍了仿真平台的实现方法和程序的设计思路,实现了对普通Petri网、X1系统的建模,进行了功能和结构上的分析,并对分析结果的现实意义作了进一步的讨论.     

云模型和混合Petri网相结合的系统可靠性评价

针对复杂系统可靠性评价中工作环境可变的情形,提出基于云模型和混合Petri网相结合的可靠性评价方法。首先采用云模型描述系统的环境适应能力指数,并将其作为混合Petri模型中连续库所的托肯值来控制该模型中变迁的变迁率,然后采用基于Petri网的蒙特卡罗方法对不同环境下的系统可靠性进行仿真求解,得到系统在不同时刻下的失效率。最后以一个C4ISR系统为例,验证了该方法在解决可变工作环境下的系统可靠性评估是可行的。     

基于Petri网的综合电子系统总线建模与性能优化

针对综合电子系统运用中总线效率不高等问题,以某型步兵战车综合电子系统为例,通过对系统进行信息流规划,结合总线协议和实现机制,采用赋时颜色Petri网对综合电子信息系统通信机制进行建模,实现综合电子系统总线通信协议机制的仿真。通过对系统总线性能指标参数的分析,提出综合电子信息系统总线的优化方案。关键词：赋时颜色Petri网;综合电子系统;总线建模;性能优化     

基于有色Petri网的CAN总线仿真与性能分析

针对CAN总线的多主竞争模式通过解析法难以建模这一问题,运用CPN Tools工具构建了基于有色Petri网的CAN总线CSMA/CA竞争机制模型,模拟了CAN总线的静态结构和动态行为,对CAN总线性能进行了仿真与分析。仿真结果验证了所建CAN总线模型的合理性与正确性。     

基于GSPN的编队网络化防空指挥流程研究

为了提高编队指挥员在信息化海战中的作战指挥效率和应变能力,利用广义随机Petri网与马尔可夫链的等价关系,得到一种Petri网与马尔可夫链理论相结合的指挥流程时间性能分析的新方法,通过对模型进行分析与求解,得出了舰艇编队网络化防空作战指挥流程活动的准确作战周期,从而为指挥流程的优化提供有力的支撑,对评估系统效能水平也具有重要指导意义。     

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

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

半自主式火控系统Petri网建模与作战效能

智能化和无人化是火控系统的未来发展方向之一,半自主式火控系统是实现全自主式智能火控系统的必要过渡阶段。设计了半自主式火控系统的功能结构和信息流程,并基于Petri网建立了系统仿真模型,对系统搜索指示、智能规划和精确打击3个功能单元的工作过程进行了论证,最后对系统的时效性、首发命中率和整体作战效能等战技性能进行了详细分析,仿真实验证明半自主式火控系统在作战性能方面优于传统火控系统。