摘要：结合包兰线迎干段、干武线增加区间逻辑检查工程实际情况,研究区间逻辑检查总计技术的要求、系统设备设置情况、与其他系统的接口设计等,以期为自动闭塞区段增加逻辑检查功能的设计提供一定参考。

摘要：25 Hz相敏轨道电路与ZPW-2000A轨道电路特性不同,但在自动闭塞及站内电码化改造过程中两种制式轨道电路常结合应用。不同的特性会导致结合处的逻辑检查失效。针对场联进路无法正常解锁、三接近闭塞分区遗留失去分路故障进行分析,介绍故障发生的场景及原因,并讨论计算机联锁、列控中心、区间综合监控系统以及继电逻辑检查电路对于此类故障的解决方案,为后续工程设计及故障处理提供参考。

摘要：分析了叙词表中相关关系的定义和构建规则存在的模糊性及其构建过程中产生的逻辑问题。在叙词表调查和实际编表工作的基础上,总结了三种不合理的相关关系模式,设计并实现了一个相关关系逻辑检查的算法。为验证该算法的可行性,文章分别对模拟数据和叙词表数据进行了实验。实验结果显示,该算法能有效地检查出文中所述的三种不合理相关关系。

摘要：在阐述区间占用逻辑检查功能的基础上,针对太中银铁路运营现状,就如何增加区间逻辑检查功能的设计方案进行研究与分析,并提出可行方案。

摘要：结合包兰铁路实际情况,依据现行信号集中监测相关标准、规范,在尽可能减少对既有线运营干扰、降低施工风险的前提下,提出了保证逻辑检查功能完整实现的技术方案。

摘要：笔者阐述了逻辑检查的概念,从完整性检查、不填项检查、正确性检查、逻辑关系检查、其它属性检查5个方面介绍了逻辑检查体系,分析了在实际操作中容易出现的几个问题。最后指出了逻辑检查体系应及时变化更新,设计出全面合理的逻辑检查架构,更好地服务于山西省林业信息化建设。

摘要：针对一类统计中基础数据存在的门题,系统阐述了对数据进行逻辑检查的意义、内容和方法。

摘要：结合自动闭塞区间继电式逻辑检查技术条件,针对既有线路的改造工程,设计一种新型逻辑检查改进方案。通过三站两区间实验环境测试,有效减少既有线路改造过程中的施工难度,并增强对既有区间行车过程的监控程度。

摘要：为了提高货车运行过程中的安全性,需要进行自动闭塞区间的逻辑检查,提出一种基于近场源输出信号波束集成控制的货车联络线微机化自动闭塞区间逻辑检查方法。构建货车联络线微机化自动闭塞区间的列控信号模型,采用继电式区间逻辑检测方法进行自动闭塞区间逻辑信号的时频转换和谱分解,在区间轨道区段内,根据列控信号的频谱分解结果进行自适应波束形成处理,采用近场源逻辑参量估计方法进行原轨道的电路状态特征分析,根据信号输出的占空比修改列控中心的地面设备软件,实现货车联络线微机化自动闭塞区间逻辑检查。仿真结果表明,采用该方法进行货车联络线微机化自动闭塞区间逻辑检查的准确性较高,抗干扰能力较强,提高了区间行车过程的监控效能。

摘要：结合贵广客专实际情况,依据现行列车运行控制系统及信号集中监测相关标准、规范,提出了保证了既有线铁路安全运营的逻辑检查功能实施方案。