基于SAT的应答器工程数据逻辑规则提取及验证

工程数据是应答器报文编制的重要依据,现有工程数据验证规则是基于CTCS-2级列控系统应答器应用原则及工程数据表编制规范生成的,这类基于文本语言描述的规则完备性不足,且存在二义性,数据验证不充分,易直接导致数据安全问题。因此,本文深度挖掘各类工程数据间的约束关系,提取数据逻辑验证规则,通过基于SAT的形式化建模、ROBDD构造及深度优先搜索来证明逻辑规则的可满足性。开发基于导出逻辑规则的数据验证工具,并以某城际线路工程数据表为例,与传统工程数据表检查软件进行比较。结果表明,新工具能够识别传统软件无法识别的数据隐患,消除传统验证规则的不完备性,提高工程数据的安全性。     

应答器报文实时组帧技术的研究

应答器报文是CTCS-2级列控系统的重要组成部分。通过对预先存储应答器报文局限性的分析,说明了应答器报文实时组帧技术的必要性,并详细阐述了具体的实现原则和方法。     

应答器验证工具的设计探讨

近年来我国铁路发展迅速,应答器作为列车控制系统中地-车信息传输的重要设备,已在既有线、客运专线以及高速铁路中广泛应用。因此,应答器设置的合理性、报文编制的规范性以及报文内容的正确性,直接影响着列车的行车安全和运输效率。全自动化的应答器数据验证工具,可以提高应答器数据的验证效率和智能化程度,同时,可以提高应答器数据的正确性和实际应用的安全性。     

基于UML的CTCS-3级列控系统需求规范形式化验证方法

采用UML与符号模型检验相结合的方法,对CTCS-3级列控系统需求规范进行形式化验证.使用引入事件、可见变量抽象的方法,对需求规范UML模型进行扩展和抽象.根据转换规则,建立需求规范的NuSMV模型,并对NuSMV模型进行领域无关特性和领域相关特性的验证,通过反例对错误进行追踪、定位和修改.以需求规范中的模式转换为例,采用给出的形式化验证方法对其进行验证,验证结果确认模式转换满足活性、转移性、无死锁性、确定性及安全性的要求;验证过程表明UML与符号模型检验相结合的方法适用于CTCS-3级列控系统需求规范的验证.     

关于CTCS-2级列控系统应答器数据范围的分析

对CTCS-2级列控系统部分类型应答器报文数据范围进行研究,对应答器报文数据范围与列控系统故障导向安全之间的关系,以及列控系统数据冗余覆盖原则和系统可用性进行分析。     

图形化测试方案在应答器报文数据测试中的应用

应答器报文测试是列控系统测试的重要环节,其测试过程要求的安全性、准确性和及时性非常高,并且对测试人员的专业技能也有很高的要求;应答器报文测试图形化软件Telegram-View提供了直观准确的测试平台,将复杂的报文编制规则和大量的测试数据通过计算程序进行计算,其安全、准确和高效的测试性能为报文测试工作提供了新的解决方案。     

既有高铁C3车站引入C2高铁线路特殊进路报文编制研究与应用

为保证宝兰客运专线引入已开通运行的CTCS-3级列控系统宝鸡南站,需对地面应答器进行报文编制及数据测试。首先根据现场存在的由于特殊应答器设置及特殊场景测试不完善导致报文溢出问题进行分析,提出速度报文及距离报文合并和设置有源应答器等多个技术方案,通过车载仿真及数据测算最终采用设置有源应答器解决报文溢出的方案,该方案有效解决应答器报文溢出问题,并为类似项目提供借鉴。     

基于G网模式的应答器报文读取数据传输系统研究

应答器是CTCS-2/3列控系统的重要组成部分,应答器报文数据的正确与否直接关系着动车组列车的运行安全.开发集应答器报文现场智能分析、应答器准确定位和报文远程传输功能于一体的便携式应答器报文读取数据传输系统,可通过GPRS网络实现对现场应答器及LEU状态的及时分析、及时判断、及时处理,可有效提高检修效率,为高速铁路行车安全起到保障作用.     

浅谈CTCS-2列控系统正线应答器报文验证

介绍CTCS-2列控系统应答器报文核对的主要内容，阐述应答器报文图示化核对方法以及如何使用该方法保证应答器报文数据的正确。     

简析列控系统应答器报文应用原则

从CTCS-2级列控系统的角度,结合车载处理逻辑,对CTCS-2级列控系统应答器应用原则部分内容进行分析,结合工程实施,对轨道电路信息包发送原则、链接信息发送原则、线路速度数据发送原则、线路所应答器报文发送原则提出优化措施。     

联锁系统UML模型的建立与形式化验证

针对目前计算机联锁系统建模与验证难度较大的问题,提出一种UML(Unified Modeling Language)与NuSMV(New Symbolic Model Verifier)相结合的计算机联锁模型形式化检验方法。以一个标准站场中的一条接车进路建立过程为例,对联锁系统需求进行分析并通过UML建立相应的模型,再列出它与NuSMV之间的映射关系并实现将UML模型自动转换为NuSMV形式化模型,最后完成对计算机联锁系统的验证,检测其需求中可能存在的漏洞。该方法能够降低对计算机联锁系统形式化建模与验证的难度与减少人工建模时可能出现的错误,为计算机联锁系统形式化模型的建立与验证提供一种新思路。     

车站列控中心应答器报文测试的探讨

本文结合既有线200km／h提速车站列控中心科研开发和工程应用，详细讨论了列控中心应答器报文测试方案，重点介绍了列车进路报文和临时限速报文的具体测试方法，并以LKD1-T型车站列控中心为例，对列控中心应答器报文测试所需要的时间进行了初步估算。     

有源应答器报文自动生成方法的设计与研究

有源应答器报文是列控中心的重要组成部分,本文针对有源应答器报文编制过程中遇到的困难,对报文的编制方式进行深入的研究,并介绍了一种报文的自动生成方法,以此来提高报文的编制效率,并加入关键数据校核模块,对列控基础数据中的主要内容进行校验,来提高报文编制的准确率,并减少人为造成的错误。     

面向高速综合检测列车的应答器关键数据检测方法

应答器作为CTCS-2/3级列控系统的关键基础设备,其用户报文数据必须与现场列控数据准确对应。目前主要依靠人工及车载设备动态试验核对,工作量大且无法保证报文信息的准确性。为此提出了一种面向高速综合检测列车的应答器关键数据检测方法。首先通过KMP模式匹配算法实现现场列控数据的自动导入;其次利用深度路径搜索算法对应答器关键数据进行搜索,并和应答器用户信息进行对比,给出对比结果和报警日志;最后通过在海南西环线进行现场试验,验证可靠性,为高速铁路应答器报文检测研究及工程实践提供了有效的技术支持。     

列控应答器报文可视化分析软件的设计与实现

应答器报文是实现CTCS-2级列控系统功能的关键数据。介绍了一种基于数据可视化方法分析验证应答器报文的软件——BTViewer的设计和实现,该软件为应答器报文的设计分析、现场维护提供了全新的手段和工具。     

石太客运专线列控报文设计

应答器报文是客运专线列控系统的重要组成部分。介绍在石太客运专线的列控系统设计中,在遵循铁道部相关技术规范的基础上,在应答器报文编制中采用的一些创新设计,对于列控系统设计人员理解相关规范、深入了解列控系统的性能和灵活使用报文信息具有一定的指导作用。     

线路电子地图一体化趋势——关于城市轨道交通信号系统互联互通的思考

目前,与同样快速发展的干线铁路相比,城市轨道交通的信号系统在技术标准体系上还存在较大差距,这将对其进一步发展产生制约. 在干线铁路领域,CTCS-2级技术系列标准定义了应答器的设置规则及报文编制原则,同时规定了用于描述线路数据的用户信息包格式;CTCS-3级技术系列标准定义了线路电子地图(线路限速、线路坡度、应答器链接等)设计规范.     

CTCS-3级应答器报文信息解码仿真研究

针对目前的CTCS-3级仿真平台中很难直观地把报文信息展现出来的问题,根据应答器报文信息的编制原则和应答器报文信息的结构,制定了应答器报文信息的解码流程,编写了应答器报文信息的解码程序,并利用Visual C#平台搭建人机交互界面,使报文信息直观清晰地展现出来。仿真结果表明,该方法有助于直观地显示报文信息,从而降低了工作量。     

应答器功能简介及典型故障分析

结合C2/C3应答器报文定义及运用原则,对有源和无源应答器按功能进行分类,并简述了常用应答器功能及在列控系统中的重要作用。通过分析几例典型应答器故障,使读者初步了解应答器系统并掌握应答器故障的分析方法。     

应答器相关故障的分析与处理

应答器作为列控系统的重要组成设备之一,对动车组的正常运行具有重要意义。通常应答器故障信息在动车组经过时能直接反映出来,DMI上会显示为应答器信息缺失或者应答器报文不一致,其中应答器报文不一致会引发制动。本文拟对一些与应答器相关的故障进行分析,并提出处理方法和步骤。