LTL在STP轨迹分析中的应用  

Application of LTL in Trace Analysis of STP

作　　者：李晗 

机构地区：[1]中交机电工程局有限公司武汉技术中心

出　　处：《铁道通信信号》2018年第8期4-6,共3页Railway Signalling & Communication

摘　　要：应用线性时序逻辑(LTL)对无线调车机车信号和监控系统(STP)的运行日志进行轨迹分析,实现自动定位故障发生时间,从而提升系统维护工作的自动化程度。Linear Temporal Logic （LTL） is used for trace analysis on the log of the Shunting Train Protection （STP） system to automatically seek out the point when any failure occurred in the log. Hence, the degree of automation in system maintenance can be enhanced.

关 键 词：线性时序逻辑 无线调车机车信号和监控 轨迹分析 运行日志 

分 类 号：U284.48[交通运输工程—交通信息工程及控制]