道口管理系统多参数的形式化建模与验证

作     者：王霞 刘宁 王恪铭 WANG Xia;LIU Ning;WANG Keming

作者机构：西南交通大学交通运输与物流学院四川成都610031 西南交通大学唐山研究生院河北唐山063000 西南交通大学信息科学与技术学院四川成都610031 

出 版 物：《综合运输》 (China Transportation Review)

年 卷 期：2019年第41卷第2期

页      面：65-72页

学科分类：08[工学] 082303[工学-交通运输规划与管理] 0823[工学-交通运输工程] 

基　　金：国家自然科学基金(71502146 61673320) 中央高校基本科研业务费项目(2682017ZT12) 

主　　题：平交道口 双线双向 多参数 安全 模型验证 

摘      要：铁路平交道口作为铁路安全的瓶颈,其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车,对于双线双向接车没有给出详细的规范。为了丰富实际流程,基于道口管理规范,探讨双线双向道口连续接车的问题,同时考虑道口接车作业流程中存在的异常,提出流程方案。分析系统环境属性、功能属性和安全属性,并利用UPPAAL时间自动机进行建模仿真,对模型的属性进行验证,根据验证结果确认方案流程的可行性。结果表明,本文所提出的多参数道口作业流程更符合实际情况,改进了多列车接车流程,并提出了接车过程中异常情况下的应对方案。