本文主要研究内容
作者王霞,刘宁,王恪铭（2019）在《道口管理系统多参数的形式化建模与验证》一文中研究指出：铁路平交道口作为铁路安全的瓶颈,其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车,对于双线双向接车没有给出详细的规范。为了丰富实际流程,基于道口管理规范,探讨双线双向道口连续接车的问题,同时考虑道口接车作业流程中存在的异常,提出流程方案。分析系统环境属性、功能属性和安全属性,并利用UPPAAL时间自动机进行建模仿真,对模型的属性进行验证,根据验证结果确认方案流程的可行性。结果表明,本文所提出的多参数道口作业流程更符合实际情况,改进了多列车接车流程,并提出了接车过程中异常情况下的应对方案。
Abstract
tie lu ping jiao dao kou zuo wei tie lu an quan de ping geng ,ji zuo ye liu cheng de que xian shi dao zhi an quan shi gu fa sheng de chong yao yuan yin zhi yi 。er xian you dao kou guan li gui fan da bu fen zhi zhen dui chan xian jie che ,dui yu shuang xian shuang xiang jie che mei you gei chu xiang xi de gui fan 。wei le feng fu shi ji liu cheng ,ji yu dao kou guan li gui fan ,tan tao shuang xian shuang xiang dao kou lian xu jie che de wen ti ,tong shi kao lv dao kou jie che zuo ye liu cheng zhong cun zai de yi chang ,di chu liu cheng fang an 。fen xi ji tong huan jing shu xing 、gong neng shu xing he an quan shu xing ,bing li yong UPPAALshi jian zi dong ji jin hang jian mo fang zhen ,dui mo xing de shu xing jin hang yan zheng ,gen ju yan zheng jie guo que ren fang an liu cheng de ke hang xing 。jie guo biao ming ,ben wen suo di chu de duo can shu dao kou zuo ye liu cheng geng fu ge shi ji qing kuang ,gai jin le duo lie che jie che liu cheng ,bing di chu le jie che guo cheng zhong yi chang qing kuang xia de ying dui fang an 。
论文参考文献
论文详细介绍
论文作者分别是来自综合运输的王霞,刘宁,王恪铭，发表于刊物综合运输2019年02期论文，是一篇关于平交道口论文,双线双向论文,多参数论文,安全论文,模型验证论文,综合运输2019年02期论文的文章。本文可供学术参考使用，各位学者可以免费参考阅读下载，文章观点不代表本站观点，资料来自综合运输2019年02期论文网站，若本站收录的文献无意侵犯了您的著作版权，请联系我们删除。