摘要
行车许可是列车安全运行的行车凭证,是无线闭塞中心通过与列车、联锁系统等设备的通信获得相关的信息后,生成并发送给列车,最终车载设备根据行车许可信息计算安全防护曲线,确保列车安全运行。因此,行车许可丢失或发生错误都会影响列车运行安全,而行车许可终点计算的合理性则会影响运营效率。分别分析了列车在接车、发车、区间运行等3个阶段的正常运营情况下和非正常运营情况下对行车许可的获取及采取的相应操作,然后用UPPAAL仿真软件中的时间自动机进行仿真验证分析结果的正确性。
Driving license （DL） is the guarantee for railway safe operation. To communicate with the train, the inter-lock system and other equipment like RBC（radio block cen- ter） will generate and send DL information to the train, the equipment on the train will calculate the safety protec-tion curve to ensure the train operation safety. Any loss or error happens in DL will directly affect the safety of train running, and the rationality in DL terminal calculation also has impact on the operational efficiency of railway. In this paper, the acquisition of DL and the corresponding opera-tion in the departure, receiving and section running steps when the train is in normal or abnormal operation scenarios are analyzed respectively, a time automata in UPPAAL simulation software is used to verify the result of analysis.
出处
《城市轨道交通研究》
北大核心
2014年第2期37-41,共5页
Urban Mass Transit
基金
上海高校选拔培养优秀青年教师科研专项基金项目(gjd10031)
上海市教育委员会重点学科建设项目(J51401)
