基于有色Petri网的RBC行车许可生成建模与仿真 |
| |
引用本文: | 马军,严建鹏.基于有色Petri网的RBC行车许可生成建模与仿真[J].城市轨道交通研究,2015(9). |
| |
作者姓名: | 马军 严建鹏 |
| |
作者单位: | 1. 兰州职业技术学院,730070,兰州;2. 国电南瑞科技股份有限公司,210061,南京 |
| |
基金项目: | 铁道部科技研究开发计划课题 |
| |
摘 要: | CTCS-3级列控系统行车许可是保证高速列车安全运行的关键信息,及时准确地为辖区内列车计算和发送行车许可是RBC(无线闭塞中心)子系统的主要功能之一。在分析CTCS-3级列控系统不同运营场景下行车许可生成机制的基础上,采用层次化描述思想,建立基于CPN(有色Petri网)的RBC行车许可生成模型,并运用动态仿真和状态空间分析工具对模型进行了仿真分析。结果表明,所建模型能够满足不同运营场景下计算行车许可的要求,无死锁,并具有活性、回归性和公平性,为分析列控系统性能提供了很好的试验平台。
|
关 键 词: | 高速铁路 CTCS-3级列控系统 行车许可 形式化建模 仿真分析 |
Modeling and Simulation for Generation of RBC Movement Authority Based on Colored Petri Nets |
| |
Abstract: | |
| |
Keywords: | high-speed railway CTCS-3 train control system movement authority formal modeling simulation analysis |
本文献已被 CNKI 万方数据 等数据库收录! |
|