典型文献
面向全自动运行的城轨交通火灾联动方案设计与建模验证
文献摘要：
全自动运行是未来城市轨道交通发展的主要方向,与传统驾驶模式相比,对于特殊运行场景下的应急处理能力与处理效率有着更高的要求.本文基于列车发生火灾的特殊运行场景,区别于以往由调度人员作为综合监控系统与列车自动监督系统的联动桥梁,设计了全自动驾驶场景下的火灾联动方案,确定了火灾报警系统的火灾识别流程、列车控制管理系统的数据转发和应急控制流程、运行控制中心的火灾响应流程,以及各系统之间的通信校验流程;同时,使用基于时间自动机理论的UPPAAL工具,对从火灾识别到火灾应急响应的全过程进行了形式化建模分析,并且对该联动方案的安全性和功能进行了形式化验证.验证结果表明,该联动方案能够有效地满足各个系统之间的联动要求,为全自动驾驶模式下的非正常运行场景的应急联动处理打下基础.
文献关键词：
全自动运行;火灾联动;UPPAAL工具;时间自动机;综合监控系统;火灾报警系统
中图分类号：
作者姓名：
刘嘉诚;王梓丞;易立富;王光前
作者机构：
西南交通大学信息科学与技术学院 611756 成都;中铁二院工程集团有限责任公司 610031 成都
文献出处：
引用格式：
[1]刘嘉诚;王梓丞;易立富;王光前-.面向全自动运行的城轨交通火灾联动方案设计与建模验证)[J].铁道通信信号,2022(04):64-74,88
A类：
列车自动监督系统
B类：
全自动运行,城轨交通,火灾联动,未来城市,城市轨道交通,交通发展,主要方向,运行场景,应急处理能力,处理效率,生火,调度人员,综合监控系统,全自动驾驶,驾驶场景,火灾报警系统,列车控制,控制管理,数据转发,应急控制,控制流程,运行控制,控制中心,火灾响应,各系,校验,时间自动机,动机理论,UPPAAL,火灾应急响应,形式化建模,建模分析,形式化验证,各个系统,自动驾驶模式,非正常,应急联动,打下基础
AB值：
0.3791
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
