LTL在STP轨迹分析中的应用

作者：李晗

来源：铁道通信信号, 2018, 54(08): 4-6.

DOI：10.13879/j.issn1000-7458.2018-08.18149

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

应用线性时序逻辑(LTL)对无线调车机车信号和监控系统(STP)的运行日志进行轨迹分析,实现自动定位故障发生时间,从而提升系统维护工作的自动化程度。

• 单位
  中交机电工程局有限公司