论文摘要
铁路平交道口作为铁路安全的瓶颈,其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车,对于双线双向接车没有给出详细的规范。为了丰富实际流程,基于道口管理规范,探讨双线双向道口连续接车的问题,同时考虑道口接车作业流程中存在的异常,提出流程方案。分析系统环境属性、功能属性和安全属性,并利用UPPAAL时间自动机进行建模仿真,对模型的属性进行验证,根据验证结果确认方案流程的可行性。结果表明,本文所提出的多参数道口作业流程更符合实际情况,改进了多列车接车流程,并提出了接车过程中异常情况下的应对方案。
论文目录
文章来源
类型: 期刊论文
作者: 王霞,刘宁,王恪铭
关键词: 平交道口,双线双向,多参数,安全,模型验证
来源: 综合运输 2019年02期
年度: 2019
分类: 经济与管理科学,工程科技Ⅰ辑,工程科技Ⅱ辑
专业: 安全科学与灾害防治,铁路运输
单位: 西南交通大学交通运输与物流学院,西南交通大学唐山研究生院,西南交通大学信息科学与技术学院
基金: 国家自然科学基金(71502146,61673320),中央高校基本科研业务费项目(2682017ZT12)
分类号: U298.55
页码: 65-72
总页数: 8
文件大小: 2919K
下载量: 64