基于随机Petri网的指挥流程性能指标分析

Petri网是一种很有效的模型描述语言,适用于描述含有并行成分的系统。文章运用随机Petri网同构马尔可夫链的原理,对海上编队作战准备阶段的指挥流程性能指标进行分析。     

基于Petri网的现代造船车间工作流建模研究

面向生产过程控制,分析了现代造船车间生产作业流程与作业活动,提出以工作流管理系统为集成平台的车间生产过程管理,应用模块化着色网MCPN建立系统过程模型.动态适应性的系统过程模型是以基本子流程为模块,以作业任务为核心,自下而上建立的模块化Petri网结构,可体系化、参数化描述现代造船车间生产物流与作业流.     

基于Petri网考虑中介状态的机械系统失效相关可靠性分析

机械系统因其各子系统、各部件、各单元之间的相互复杂关系,容易受到自身结构与人为因素的影响,导致其发生失效,严重影响了机械系统的可靠性.在利用Petfi网模型对机械系统分析的基础上,并引入"安全-中介-失效"3级工作模式,从安全、中介、失效3个方面来反映机械系统的可靠(完全正常工作)、可靠与失效的中介过渡、失效(完全不能...     

基于Petri网的虚拟维修手部动素建模

针对虚拟维修仿真中手部动作仿真难度大、不容易控制的问题,提出基于Petri网手部维修动素模型,将虚拟维修手部动作根据维修操作封装为若干动素单元的组合,降低了仿真计算的难度,从而提高手部动作控制的精确性,以螺栓拆卸的手部动作建模过程为例进行验证。     

基于对象Petri子网模型的列车群分布式仿真

为提高效率,增强真实度和可信度,采用分布式仿真解决列车群行为的分析和验证问题,并基于列车群的对象Petri子网模型(TGOSOPS)实施分布式仿真系统。针对模型到仿真系统的逻辑映射、运行中的动态关联以及依靠模型处理仿真冲突和时间协调等问题,提出由终端上的列车仿真应用模块和服务器上的全局控制模块构成分布式仿真系统框架,并对TGOSOPS按照功能进行划分,使其和分布式框架有机结合和映射。根据系统结构,结合动态离散事件系统的仿真思想,明确系统中各类实体和事件间的逻辑关系,采用定时与主动对象(主动成分)扫描相结合的方法,建立分布式仿真策略,包括客户端和服务器端两部分,从而实现模型到系统的动态关联,并采用空消息算法消除策略死锁。采用一个统一的全局时钟来调整局部时钟的时间周期,以实现分布时钟的协调。路网图、运行图、模型库和各种信息库等都以全局数据库的形式存储在服务器上,在仿真过程中,根据实验推进的需要可以随时从服务器上读入所需信息和数据。     

基于模糊时间Petri网的列车运行时间不确定性问题的处理

定义一种应用于铁路列车运行系统的模糊时间Petri网；针对列车运行时间存在的不确定性，该Petri网引入了4个模糊集理论函数：模糊时间片、模糊使能时间、模糊发生时间和模糊延迟，来处理时间的不确定性问题；能够对列车运行过程中的时间不确定性问题进行定量分析，可以有效应用于列车交会、列车终到时间、列车运行计划调整的分析等；其相对于已有的方法具有精确分析、计算简单、简化系统、便于系统集成的特点。     

行车安全综合监控系统的时序Petri网描述及验证

行车安全综合监控系统规模大,复杂程度高,且具有不确定性。研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。本文基于时序Petri网,提出了相应的分析和验证方法。然后,以系统中数据处理和传输过程的公平性、及时性和可靠性等问题为例,进行建模、分析和验证,从而说明本方法的有效性。     

保障使命任务分解与流程集成方法研究

保障使命任务分解是保障流程分析与建模的基础,运用美国国防部体系框架（Department of Defense Architecture Frame—work,DoDAF）,给出了体系使命分解的原则与建立保障任务静态模型的方法,在任务分解的基础上,建立了保障任务静态模型,提出了基于Petri网的保障体系集成建模方法,给出了模型的概念视图,介绍了流程动态规划模型的建立方法,运用上述模型与方法对实际案例进行分析与应用,验证了模型和方法的有效性。     

基于着色Petri网的铁路时间同步协议建模及安全性分析

针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入侵时协议认证过程的不安全状态,建立模型状态方程;应用逆向状态分析法对铁路时间同步协议认证过程的安全性进行分析,得到中间人在认证阶段攻击协议的实施序列。研究结果表明:基于Autokey模型的铁路时间同步协议的认证过程是不安全的。     

基于着色Petri网的高速列车追踪运行过程建模与仿真

为了验证高速铁路移动闭塞系统(Moving Automatic System,简称MAS)结构完整性、控制逻辑正确性以及列车追踪运行的动态控制过程,利用着色Petri网建立移动闭塞条件下高速列车两车追踪运行控制过程的模型,采用相对制动方式下基于追踪效率最高的区间追踪间隔原理,设计了控制策略决策模块,模拟列车牵引加速、惰行以及减速运行等控制过程,研究MA更新周期变化对列车追踪控制的影响。仿真结果表明所建立的模型可以有效描述MAS下高速列车追踪运行控制过程,且MA更新的周期越小,列车的行为控制越灵敏,达到预期控制目标所需要的时间更短,满足行车安全性、高效性要求。仿真结果将为MAS在高速铁路中的实际应用提供理论指导。