基于 CPN 的切换模式下行车许可生成过程研究 |
| |
作者姓名: | 张爱玲 徐智 宗岩 康健 |
| |
作者单位: | 1. 兰州交通大学自动化与电气工程学院,甘肃兰州730070 2. 兰州铁路局电务段,甘肃兰州730070 3. 兰州交通大学电子与信息工程学院,甘肃兰州730070 |
| |
摘 要: | 文中针对高铁列控行车许可存在的规范化设计问题,根据 CTCS-3级列控系统 RBC 行车许可的生成机制,设计了一种基于 Petri 网理论的行车许可生成的模型,并运用 CPN-Tools 仿真工具动态仿真了 CTCS-3级列控系统下的 RBC 切换模式的行车许可生成过程,观察相邻 RBC 交接时列车运行过程中的通信机制及信息传输,最后通过分析模型的一些性能验证了该模型的正确性.为行车许可模块的设计提供一种规范的正确的软件设计方法,减少软件开发过程中存在的一些缺陷,使列车运行更安全更可靠
|
关 键 词: | CTCS-3级 行车许可 RBC 交接 CPN 建模 |
本文献已被 万方数据 等数据库收录! |
|