王鹏玲
- 教师拼音名称： wangpengling
- 电子邮箱：
- 学历： 博士研究生毕业
- 学位： 工学博士学位
- 毕业院校： 西南交通大学
- 学科：交通运输工程
交通运输
交通运输规划与管理
访问量：0000019036
开通时间：..
最后更新时间：..
基于Petri网列车群模型的列车运行冲突分析
点击次数：
影响因子：1.806
DOI码：10.3969/j.issn.1001-8361.2015.03.001
所属单位：西南交通大学电气工程学院
发表刊物：铁道学报
项目来源：国家自然科学基金（U1134205,51207131）
关键字：铁路冲突管理；冲突检测；赋时着色 Petri网
摘要：列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色 Petri网的形式化定义，定义变迁使能和触发规则及状态转移函数；基于赋时着色Petri网，以库表示车站／闭塞分区，托肯表示列车，建立列车群模型，为冲突检测提供模型基础。在经典Petri网冲突定理的基础上，结合库容量约束和时间间隔约束，提出列车运行冲突判定定理，并证明该方法的正确性；在此基础上，设计基于可达树的冲突分析方法，并以太原铁路局部分线路为例，通过实例介绍列车运行冲突和进路冲突检测分析的方法。基于 Petri网的列车群模型为铁路系统冲突分析问题的处理提供新的途径。
合写作者：马磊,王青元,冯晓云
第一作者：王鹏玲
论文类型：期刊论文
论文编号：1001-8361(2015)03-0001-07
学科门类：工学
文献类型：J
卷号：37
期号：3
页面范围：1-7
字数：6829
ISSN号：1001-8360
是否译文：否
CN号：11-2104/U
发表时间：2015-02-06