（上海工程技术大学城市轨道交通学院,201620,上海∥第一作者,讲师）

基于 UPPAAL仿真软件的CTCS-3级行车许可研究*

黄秀玲原萍朱文良

（上海工程技术大学城市轨道交通学院,201620,上海∥第一作者,讲师）

行车许可是列车安全运行的行车凭证,是无线闭塞中心通过与列车、联锁系统等设备的通信获得相关的信息后,生成并发送给列车,最终车载设备根据行车许可信息计算安全防护曲线,确保列车安全运行。因此,行车许可丢失或发生错误都会影响列车运行安全,而行车许可终点计算的合理性则会影响运营效率。分别分析了列车在接车、发车、区间运行等3个阶段的正常运营情况下和非正常运营情况下对行车许可的获取及采取的相应操作,然后用 UPPAAL仿真软件中的时间自动机进行仿真验证分析结果的正确性。

行车许可;无线闭塞中心;时间自动机

First-author’saddress College of Urban Railway Traffic and Transportation,Shanghai University of Engineering Science,201620,Shanghai,China

行 车 许 可 （Movement Authority,以 下 简 称MA）,是指列车运行的起始命令。此命令包含列车运行的距离、速度等信息,即：允许列车以多高的限速开多远。

在运营条件正常的情况下,MA是由无线闭塞中心（Radio Block Center,以下简称 RBC）发送给车载信号设备,车载设备根据获得的 MA,计算列车运行防护曲线,监控列车安全运行。MA终点受与本列车通信的 RBC控制区域内的线路参数、列车参数、闭塞方式,以及通信设备等的影响。如：移动闭塞系统和固定闭塞系统中的MA终点的计算依据不同;列车前方是否有道岔会影响 MA终点的计算;不 同 的 列 车 运 行 控 制 系 统 （Chinese Train Control System,以下间称 CTCS）级别 MA 终点的确定也不同等。……