作者:张大鹏高速铁路临时限速服务器列控中心无线闭塞中心时间自动机实时性
摘要:针对高铁列控系统实际运行中的需求,基于时间自动机理论,对高铁列控跨界临时限速进行建模分析,利用UPPAAL验证工具,对跨界临时限速信息的安全性和受限活性进行验证,并确认结果。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《铁道通信信号》(CN:11-1975/U)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《铁道通信信号》主要宣传党和国家的技术、装备政策,报道科技成果、新技术、新产品,交流设计、施工、维护经验;介绍国外相关技术资料等。获铁道部优秀期刊;北京市优秀期刊;中国期刊方阵双效期刊;中文优秀期刊(2000);中文优秀期刊(1996);中文优秀期刊(1992)。
部级期刊
人气 226874 评论 66
人气 185080 评论 72
省级期刊
人气 174845 评论 68
人气 57176 评论 60