排序方式: 共有115条查询结果,搜索用时 15 毫秒
11.
12.
机械系统因其各子系统、各部件、各单元之间的相互复杂关系,容易受到自身结构与人为因素的影响,导致其发生失效,严重影响了机械系统的可靠性.在利用Petfi网模型对机械系统分析的基础上,并引入"安全-中介-失效"3级工作模式,从安全、中介、失效3个方面来反映机械系统的可靠(完全正常工作)、可靠与失效的中介过渡、失效(完全不能... 相似文献
13.
14.
15.
基于对象Petri子网模型的列车群分布式仿真 总被引:3,自引:2,他引:1
为提高效率,增强真实度和可信度,采用分布式仿真解决列车群行为的分析和验证问题,并基于列车群的对象Petri子网模型(TGOSOPS)实施分布式仿真系统。针对模型到仿真系统的逻辑映射、运行中的动态关联以及依靠模型处理仿真冲突和时间协调等问题,提出由终端上的列车仿真应用模块和服务器上的全局控制模块构成分布式仿真系统框架,并对TGOSOPS按照功能进行划分,使其和分布式框架有机结合和映射。根据系统结构,结合动态离散事件系统的仿真思想,明确系统中各类实体和事件间的逻辑关系,采用定时与主动对象(主动成分)扫描相结合的方法,建立分布式仿真策略,包括客户端和服务器端两部分,从而实现模型到系统的动态关联,并采用空消息算法消除策略死锁。采用一个统一的全局时钟来调整局部时钟的时间周期,以实现分布时钟的协调。路网图、运行图、模型库和各种信息库等都以全局数据库的形式存储在服务器上,在仿真过程中,根据实验推进的需要可以随时从服务器上读入所需信息和数据。 相似文献
16.
17.
18.
19.
针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入侵时协议认证过程的不安全状态,建立模型状态方程;应用逆向状态分析法对铁路时间同步协议认证过程的安全性进行分析,得到中间人在认证阶段攻击协议的实施序列。研究结果表明:基于Autokey模型的铁路时间同步协议的认证过程是不安全的。 相似文献
20.
基于着色Petri网的高速列车追踪运行过程建模与仿真 总被引:2,自引:2,他引:0
为了验证高速铁路移动闭塞系统(Moving Automatic System,简称MAS)结构完整性、控制逻辑正确性以及列车追踪运行的动态控制过程,利用着色Petri网建立移动闭塞条件下高速列车两车追踪运行控制过程的模型,采用相对制动方式下基于追踪效率最高的区间追踪间隔原理,设计了控制策略决策模块,模拟列车牵引加速、惰行以及减速运行等控制过程,研究MA更新周期变化对列车追踪控制的影响。仿真结果表明所建立的模型可以有效描述MAS下高速列车追踪运行控制过程,且MA更新的周期越小,列车的行为控制越灵敏,达到预期控制目标所需要的时间更短,满足行车安全性、高效性要求。仿真结果将为MAS在高速铁路中的实际应用提供理论指导。 相似文献