作者：李晗线性时序逻辑无线调车机车信号和监控轨迹分析运行日志
摘要：应用线性时序逻辑（LTL）对无线调车机车信号和监控系统（STP）的运行日志进行轨迹分析，实现自动定位故障发生时间，从而提升系统维护工作的自动化程度。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《铁道通信信号》（CN：11-1975/U）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《铁道通信信号》主要宣传党和国家的技术、装备政策，报道科技成果、新技术、新产品，交流设计、施工、维护经验；介绍国外相关技术资料等。获铁道部优秀期刊；北京市优秀期刊；中国期刊方阵双效期刊；中文优秀期刊(2000)；中文优秀期刊(1996)；中文优秀期刊(1992)。
部级期刊
人气 224818 评论 66
人气 184613 评论 72
省级期刊
人气 173401 评论 68
人气 57042 评论 60
