基于CPN的切换模式下行车许可生成过程研究

• 作者: 宗岩 康健 张爱玲 徐智
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: CTCS-3级 行车许可 RBC交接 CPN建模
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 应用开发研究
• 页码范围: 157-160,164
• 分类号: TP391.9
• 字数: 3067字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2012.04.041

摘要

文中针对高铁列控行车许可存在的规范化设计问题,根据CTCS-3级列控系统RBC行车许可的生成机制,设计了一种基于Petri网理论的行车许可生成的模型,并运用CPN -Tools仿真工具动态仿真了CTCS-3级列控系统下的RBC切换模式的行车许可生成过程,观察相邻RBC交接时列车运行过程中的通信机制及信息传输,最后通过分析模型的一些性能验证了该模型的正确性.为行车许可模块的设计提供一种规范的正确的软件设计方法,减少软件开发过程中存在的一些缺陷,使列车运行更安全更可靠.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张爱玲	兰州交通大学自动化与电气工程学院	1	5	1.0	1.0
2	宗岩	兰州交通大学电子与信息工程学院	6	70	4.0	6.0
3	康健	兰州交通大学自动化与电气工程学院	11	33	4.0	5.0