论文部分内容阅读
应用线性时序逻辑（LTL）对无线调车机车信号和监控系统（STP）的运行日志进行轨迹分析，实现自动定位故障发生时间，从而提升系统维护工作的自动化程度。
LTL在STP轨迹分析中的应用
【摘 要】
：
应用线性时序逻辑（LTL）对无线调车机车信号和监控系统（STP）的运行日志进行轨迹分析，实现自动定位故障发生时间，从而提升系统维护工作的自动化程度。
【机 构】
：
中交机电工程局有限公司武汉技术中心
【出 处】
：
铁道通信信号
【发表日期】
：
2018年8期
其他文献
氟化工生产中安全风险及环境污染问题并存,需要企业深度研究相关安全技术,并同时优化环境保护,打造绿色产品生产体系。本文也将就这两点来简要探析我国氟化工企业的相关技术
传统能源汽车的燃料以汽油及柴油为主，每年需要消耗大量石油等不可再生资源，同时尾气排放还会对大气环境造成污染。
企业会计工作在企业发展过程中扮演着非常重要的角色。因此，企业会计工作人员的业务能力对于企业财务管理具有分外重要的意义。然而，在寻求二者关系的平衡点时，往往存在不良因素
邓廷桢(1775-1846年),字嶰筠,江苏省江宁县(今南京)人.1801年(嘉庆六年)中进士,选庶吉士,授编修.1810年(嘉庆十五年)外任浙江宁波知府.丁母忧,服阕后补陕西延安知府,调榆林
麦冬亦称"沿阶草"、"麦门冬"、"书带草",属于百合科植物.药用纺锤根茎,属于滋补强壮剂.此品味甘微苦,性寒,有养阴生津、润肺止咳的功能,对肺虚、噪咳、热病生津的症状有很好
目的 分析泌尿外科护理质量管理中循证护理的应用效果.方法 2016年1月-2017年12月,于我院收治的泌尿外科患者中选取430例,以护理方式为依据,分为两组,对照组行常规护理,在此
冬春茬日光温室番茄的定植期一般在九月中、下旬,时值秋雨绵绵,气温偏高,如栽植时茎基部皮层受伤,栽植过深,土壤湿度偏大,连阴天持续时间较长,且放风、排湿不及时,则会造成番
中学生物新课程已经实施几年了，取得了一定的成绩，比如大多数教师了解了新课程的理念，教学方式有了一定程度的转变，在教学过程中也比较注重学生的主体地位。但是，由于教学设备落后
第四次工业革命进程中,虚拟现实技术的发展为艺术创作和接受提供了新的可能性,同时也冲击和改造了传统艺术审美范式。艺术在科技革新中走向奇点,有望在未来实现无界面状态,观
唐代社会是诗歌发展繁华的鼎盛时期,诗歌风格呈现出丰富多彩的气象。一衣带水的朝鲜国的诗家们对众彩纷呈的唐诗风格也展开了评价。唐诗的"从容闲雅"、"温厚渊澹"、"和平悠远