共查询到18条相似文献,搜索用时 125 毫秒
1.
2.
3.
带有对象的Petri网及其在列车运行模型建立中的应用 总被引:7,自引:3,他引:4
带有对象的Petri网是一种将面向对象的方法和谓词/变迁网相结合的高级Petri网。网中的托肯能携带各种信息,用这种网所表述的系统具有规模小、灵活、直观、模块性好、可操作性良好、属性描述方便、有利于不确定问题的处理等优点。针对列车群运行控制的核心问题(列车群行为建模),用精确标识的PNO建立了一个具有普适性的模型(TOPNO),该模型是一个典型的离散事件动态系统。通过在对象中定义多种模糊属性和相应的模糊属性的调整方法,该模型就成为研究模糊离散事件动态的平台,使得面向对象的程度设计技术、Petri网的理论和应用、模糊集理论以及DEDS的理论及分析方法有机的结合起来。在网络的变迁规则中直接引用这些属性,使系统的决策机制更有效,简化了系统状态的演化,并使DEDS的理论在处理不确定性问题时得到延伸、从而为建立具有自动行车指挥的智能交通系统奠定了良好的基础,也为铁路系统的可靠性分析、可利用性分析、效率分析等问题的处理提供了新的途径。 相似文献
4.
介绍了Petri网建模理论和CPN-TOOLS仿真工具,并采用Petri网对中国列车运行控制系统进行了建模,通过仿真验证了模型的正确性. 相似文献
5.
针对Petri网系统故障检测与诊断过程中存在状态枚举及随后的状态爆炸问题,采用整数线性规划方法,提出了Petri网系统的在线故障诊断算法。算法将故障表示为Petri网模型的不可观变迁,定义了故障诊断器函数,通过可观的变迁序列,诊断系统行为是否出现故障。该算法避免了状态空间爆炸,降低了在线运算量的复杂性。以地铁列车进出站系统为实例,对地铁列车进出站系统进行含不可观变迁Petri网建模,应用提出的算法对铁列车进出站系统故障进行诊断。试验表明,该算法能有效应用于地铁列车进出站过程在线故障诊断。 相似文献
6.
7.
系统仿真技术对交通系统智能控制的研究与发展有着重要意义.交通网仿真是复现交通流的时间空间变化的技术,交通网仿真模型的建立和仿真实验系统的开发是交通网仿真研究的两个核心内容.铁路交通网仿真是一个涉及连续和离散仿真行为的混合仿真系统,具有动态及并发特征.本文讨论了用面向对象思想进行铁路交通网仿真的过程与方法.作者认为选用Petri网建立仿真模型可以很好地描述铁路交通网的静态属性、动态行为和环境模拟.文中给出了用Petri网建模的实例.最后介绍了铁路交通网仿真系统的框架结构和关键技术. 相似文献
8.
9.
铁路信号控制逻辑的有色Petri网描述方法 总被引:1,自引:1,他引:0
铁路信号逻辑控制关系的形式化描述对实现铁路信号设备计算机控制系统的研制开发具有十分重要的意义.形式化的描述不但可以便于计算机实现具体的逻辑控制,同时也可以提高计算机程序的可靠性.对这些逻辑关系精确地描述之关键在于选择恰当的描述语言.本文利用有色Petri网的特点结合一些铁路信号设备的变化规律给出了相应的有色Petri网描述,并针对一种简化的区间自动闭塞的控制逻辑介绍了用有色Petri网建模的基本方法和有色Petri网模型的分析过程. 相似文献
10.
11.
12.
铁路信号综合系统已是高速铁路、客运专线不可或缺的设备,其可靠性也显得尤其重要。利用Petri网进行分析建模,并采用马尔可夫过程进行可靠性计算分析,对于系统的设计分析具有很好的参考价值。 相似文献
13.
14.
15.
基于SPN的CTCS无线通信形式化建模与分析 总被引:1,自引:0,他引:1
CTCS-4列车运行控制系统是基于无线通信传输信息的系统,其无线通信系统是一个动态、复杂的分布式系统,正确的形式化验证对于其性质和最终实现具有重要意义。本文主要考虑高速列车在移动闭塞区间条件下CTCS无线通信的形式化建模和可靠性分析,建立随机Petri网(SPN)表示的CTCS无线通信机制模型和列车与无线闭塞中心通信的GSM-R故障恢复模型,给出对通信故障定位的表示方法,并采用TimeNET仿真工具对GSM-R通信系统的可靠性进行分析得出相应结论。分析结果表明,列车在500 km/h的速度下,越区切换成功概率为99.45%,连接丢失概率为10-2/h。最后,本文将分析结果与GSM-R的技术标准进行比较,说明其可靠性满足规范要求。 相似文献
16.
17.
18.
采用虚拟化的逻辑区段代替实际的轨道占用检测设备划分轨道区段,这对自然环境恶劣、维修维护工作困难的高寒铁路具有重要意义。针对下一代列控系统的特点,对其虚拟闭塞技术展开研究。分析了虚拟闭塞条件下,列车占用检查功能以及车地通信故障情况下,区间安全防护功能的逻辑实现。根据对虚拟闭塞技术的研究,以车地通信故障情况下,区间虚拟区段的封锁设置为例,采用着色Petri网的基本概念,利用CPN Tools建模仿真工具,对封锁功能进行建模仿真分析。根据验证结果,对所建模型进行分析修正,确保模型逻辑功能的正确性。 相似文献