远程UUV指挥控制流程分层Petri网建模及延时分析

对于控制节点多、流程复杂的远程UUV指挥控制流程建模及延时分析问题,传统建模方法往往难于对其进行详细描述和分析.文中建立远程UUV指挥控制流程分层延时Petri网模型,采用基于Petri网的层次化建模方法提升模型对复杂流程的表达能力,将变迁引入时间参数,使模型具备对时间的描述和分析能力,并给出不同结构的延时计算方法.仿真结果表明所建模型可用于对远程UUV指挥控制流程进行分析和计算,分析方法正确、适用性好,可为远程UUV指挥控制系统评价及完善提供参考和技术支持.     

一种工作流管理系统的模型化简方法

针对大规模复杂工作流管理系统的性能分析问题,将一个基于随机Petri网的模型化简算法应用于实际的工作流管理系统,即首先将工作流管理联盟定义的工作流模型映射为随机工作流网,在随机工作流网的4种基本模型的基础上.利用PH分布对简化之后的模型进行性能分析.通过供应链系统模型的化简与实际情况的比较,验证了本方法能够对大规模复杂随机工作流网的模型进行化简,降低了计算复杂度,同时也为工作流管理系统的性能分析提供了有效的方法.     

基于Petri网的地铁信号系统可靠性分析

地铁信号系统是地铁系统的中枢神经,同时也是提高地铁运营水平的重要保障。在分析信号系统功能及故障类型的基础上,划分了设备重要度水平。通过地铁信号系统Petri网5大对象子类框架的搭建,分析研究了信号系统重要设备发生故障的情况下,系统各子类的动态Petri网可靠性模型。     

海战仿真中水面舰艇CGF的行为建模方法

首先分析了CGF(Computer Generated Forces)行为的特点,提出了行为基和行为逻辑的概念,建立了水面舰艇CGF抽象的行为模型;然后将战术规则和变迁相联系,利用基于前置谓词Petri网的行为表示方法对水面舰艇CGF进行了行为表示;最后在行为表示的理论基础上,在STAGE仿真环境下利用脚本语言对水面舰艇CGF进行行为描述。仿真实例的结果表明,文章探讨的行为建模方法产生了逼真的海战行为。     

Performability evaluation of the ERTMS/ETCS – Level 3

Level 3 of the ERTMS/ETCS improves the capacity of railways by replacing fixed-block signalling, which prevents a train to enter a block occupied by another train, with moving block signalling, which allows a train to proceed as long as it receives radio messages ensuring that the track ahead is clear of other trains. If messages are lost, a train must stop for safety reasons within a given deadline, even though the track ahead is clear, making the availability of the communication link crucial for successful operation.We combine analytic evaluation of failures due to burst noise and connection losses with numerical solution of a non-Markovian model representing also failures due to handovers between radio stations. In so doing, we show that handovers experienced by a pair of chasing trains periodically affect the availability of the radio link, making behavior of the overall communication system recurrent over the hyper-period of periodic message releases and periodic arrivals at cell borders. As a notable aspect, non-Markovian transient analysis within two hyper-periods is sufficient to derive an upper bound on the first-passage time distribution to an emergency brake, permitting to achieve a trade-off between railway throughput and stop probability. A sensitivity analysis is performed with respect to train speed and headway distance, permitting to gain insight into the consequences of system-level design choices.     

基于 Petri 网的终端区冲突避免方法研究*

终端区空域结构复杂,航空器飞行架次过多,是飞行事故高发区,针对该问题,提出一种基于Petri网的终端区冲突避免方法。首先分析终端区空域运行结构,利用Petri网建立终端区空域运行模型,并根据终端区空域管制规则,建立其约束模型。然后综合约束模型,利用库所不变量方法建立终端区空域控制策略。最后针对控制策略进行案例分析,结果表明,此方法能够有效解决终端区空域运行安全问题,减轻管制员负荷。     

Petri网及其维修建模应用研究

Petri网描述异步并发的能力和形象直观的图形表示，使之成为系统维修过程模型描述的有力工具。文章在对Petri网的基本概念、模型描述方法作简要介绍基础上，分别就不可修系统、可修系统、维修资源共享、维修优先级以及维修费用等维修过程问题，进行了Petri网模型描述。     

基于 Petri 网的航母飞行甲板火灾评价方法*

航母飞行甲板上的航空保障作业极为复杂,各种危险源互相交织,极易发生火灾事故,给人员、舰载机和系统设备安全造成了很大隐患。目前,火灾风险的随机性评价方法虽比较成熟,但难以对其进行定量和动态分析。在综合当前火灾风险评价方法的基础上,针对航母飞行甲板的火灾安全特性,提出使用面向对象的 Petri网建模和仿真方法,进行飞行甲板火灾风险评价,并建立了相应的评价模型,为飞行甲板定量评价提供了重要支撑。     

水面舰艇作战系统任务剖面结构优化

现代海上战争对水面舰艇作战系统的作战能力提出了越来越高的要求。为提升系统作战能力,使系统最大限度地适应灵活的作战任务,提出基于Petri网的任务剖面结构优化方法。首先对作战系统的任务剖面进行描述,建立任务剖面的活动模型;然后,根据所提出的活动模型向结构模型的转换规则得到任务剖面的结构模型;最后,以水面舰艇对空自防御作战为例,采用Petri网的流程优化方法对作战系统任务剖面进行结构优化。结果表明,所提出的方法能够缩短任务的平均完成时间,提高作战效率,达到预期优化效果,可用于作战系统的方案论证和设计中。     

SWJTU—II型计算机联锁控制系统设计和实现

铁路信号计算机联锁系统是一个有着高可靠性、故障安全性和实时性要求的安全关键系统。本单位自行设计研制了一个满足这种高可靠性、故障安全性和实时性要求的容错计算机联锁系统SWJTUII。计算机联锁系统SWJTUII,硬件结构上,采用SIEMENS公司PLC作为主要控制部件,双机热备冗余结构,能实现无扰动的故障切换;联锁软件采用Petri网模型化,面向对象方法设计,Step7STL语言实现;通过仿真软件模拟列车运行来对系统进行仿真测试并取得良好效果。该系统已开发完成并投入应用。