列车运行控制数据校核及管理系统

列车运行控制数据校核及管理系统能够实现列控基础数据的逻辑检查和校核,通过图示的方法,完成应答器报文和列控数据的核对,同时对列控基础数据、列控工程数据表实行项目化管理,以科学方法实现列控数据验证的完备性、准确性和高效率。     

应答器报文编制规则的形式化建模与验证

应答器报文的正确与否直接关系到列车运行安全。CTCS-2级列控系统应答器的应用原则是C2应答器报文编制的起点和依据,应答器报文的正确性与应用原则的正确性及其是否被正确执行直接相关。基于文本语言描述的应答器应用原则易产生二义性问题,存在较大隐患。通过深度挖掘应答器应用原则,并结合列控数据,从中提取出具体报文编制规则,采用UML与NuSMV相结合的方法对具体的编制规则进行形式化建模与验证,并以一种类型的报文生成为例,构建规则的UML模型,对UML模型进行扩展和抽象,将其转换为NuSMV模型,用模型检验工具验证其活性、转移性和确定性等,可以得到应答器应用原则中存在的问题,对确保应答器报文的正确性有重要意义。     

列车进路数据表编制软件的设计

针对传统的列车进路数据量大、进路数据表人工制作和校核步骤繁琐、存在站场规模较大时容易出错的关键问题,采用Visual Studio 2017作为软件开发平台,VBA及Active X Automation作为开发工具,设计一种基于列控数据的进路数据表编制软件,以保证进路数据表编制的准确性。软件在(北)京石(家庄)武(汉)客运专线、(天)津保(定)铁路等工程列控数据编制中成功运用,通过实践证明,编制软件提高了列控数据表的编制效率和准确性,满足列车进路数据表编制要求。     

列车进路数据表自动生成算法设计

传统的列车进路数据表的编制方法,是参照CTCS．3级列控工程数据编制规则,手工填写生成的。然而人工制作和校核列车进路数据表是一件非常麻烦的事情,既费时又费力,而且一旦线路数据量增大,特别容易出错。在此背景下,提出设计一个智能软件,该软件可以根据设计单位所提供的基础资料,自动生成列车进路数据表。从而取代了传统的人工编制列车进路数据表的方法,极大地减少了人工劳动,制作列车进路数据表的效率及其准确性都得到很大的提高。     

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

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

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

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

基于粗糙集信息不完备系统的膨胀土分类规则提取

在膨胀土试验中存在大量相互缺损的试验数据,不利于膨胀土分类规则的提取。基于粗糙集信息不完备系统的决策挖掘可以提取膨胀土分类规则。提出了用膨胀土分类决策系统的可信度作为先验概率,用膨胀土试验数据的支持度作为后验概率,引入贝叶斯方法计算条件概率,然后提取条件概率大于某一阂值的规则,最后通过逻辑合取与析取归并膨胀土分类规则。实例及应用分析表明,基于粗糙集不完备系统的膨胀土分类规则提取概念明确,过程简单,易于编制计算机程序,具有明显的理论意义和使用价值。     

列控系统工程数据现场测量方法

列控系统工程数据是列控系统软件编制的重要依据,列控数据的现场测量是信号工程实施过程中重要环节,需确保现场测量数据的准确完整。基于大量高铁信号工程现场测量经验,总结性的提出"初测-定测-复核"三阶段测量方法,避免现场数据重复测量,使设备安装精度明显提高,提高列控软件和应答器报文的编制效率,有力保障列车运行安全。     

基于Prolog的列控工程数据验证方法

列控工程数据作为列车运行控制系统的基础数据,保证其正确性是列车运行控制系统安全运行的根本保障。针对列控工程数据校核具有时间紧、任务重及变更频繁的特点,提出一种基于Prolog的列控工程数据验证方法。考虑到列控工程数据表格的多样性以及表格存储的缺陷,以XML为基础提出一种数据标准化格式。针对数据验证过程,通过铁总数据规范和领域专家知识,提取出数据包含的基础验证规则。在此基础上,考虑到数据验证的完备性,利用数据挖掘的方式,提取数据的隐含规则,再利用Prolog对各类数据规则搭建其验证模型。以武汉—广州线的工程数据作为测试数据,进行验证测试,结果表明该验证方法具有高效性和准确性。     

一种无源应答器报文自动生成与校验方法

为提高无源应答器报文编制及核对的自动化水平,进一步保证用户报文的准确度和编制效率,针对无源应答器报文的编制与校验问题进行了深入的研究,提出了一种自动生成与校验方法,能够自动校验地面工程数据,自动生成全线无源应答器的用户报文,并通过对比算法对用户报文中的关键数据和工程数据进行核对。     

高速铁路计算机联锁软件应用数据安全防护方法研究

为提高工程应用中联锁软件的可靠性和安全性,依据铁路信号系统故障-安全设计原则,研究应用数据的安全防护方法。基于站场图形网络结构的联锁数据特点,采用CRC、正发码校验等方法有效避免软件接口数据配置错误;利用标准程序模块生成的动态数据与静态数据的相互校验,有效验证联锁数据的逻辑正确性。这种安全防护方法在工程实践中得到广泛应用并验证,以较小的代价提高了联锁软件质量。此外,基于联锁系统二取二安全冗余原理,提出在软件编制过程中采用双人编制的冗余工作模式,大大降低了数据编制中人为错误发生的概率。     

基于图像技术的无砟道床表观伤损检测系统研制

我国高速铁路部分线路无砟道床裂缝、离缝、缺损等表观伤损主要依赖于人工持钢板尺、塞尺、测宽仪等传统工具进行测量,检测效率低,准确性差.针对这一问题,本文基于图像技术研制了无砟道床表观伤损检测系统,对无砟道床表观高清图像快速采集,利用图像处理、深度学习等技术构建图像识别算法,编制识别软件对采集图像进行智能识别.现场验证结果...     

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

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

规则引擎在列控产品配置数据验证中的应用

列车运行控制系统是保证高速铁路动车组运行安全、提高运行效率的核心技术装备,列控数据作为列控系统可靠运行的重要基础,是保障动车组运行安全的关键数据。列控数据的正确性验证通常采用动态交付测试或开发验证工具的方式进行,但存在测试周期长或工具变更频繁等问题。将规则引擎应用在列控数据验证中,实现验证逻辑与代码分离,方便测试人员对验证逻辑的更改,避免了软件代码的频繁变更,增强了系统对需求变更的快速响应能力。     

LKJ数据地面化试点工程实施方案

《铁路主要技术政策》明确规定:"发展基于应答器提供基础数据的列车运行监控装置(LKJ)技术"。介绍应答器提供LKJ基础数据的基本实施方案,是对提高既有线CTCS-0级区段安全性的有益探讨,其可行性将在试点工程得到进一步的验证。     

根竹站ATP等级转换紧急制动的分析处理

本文针对广西玉林开通动车组列车后,在黎湛线根竹站发生紧急制动的故障实例,通过下载动车组ATP运行记录数据,结合地面应答器报文数据进行综合分析,判断故障为200C型ATP在处理地面应答器报文描述的线路数据信息的逻辑上存在缺陷。提出了修改地面应答器报文或修改ATP设备软件逻辑两种解决方案,并进行修改地面应答器报文试验,彻底解决了该问题,确保了动车组列车的安全。     

基于深度学习与支持向量机的钢轨伤损智能识别系统

目前国内钢轨探伤车检测系统都带有自动伤损识别功能,但由于采用了基于既有规则的简单逻辑判断方法,其自动识别的准确率不高,误报较多,伤损漏报的现象时有发生.针对该问题,根据钢轨探伤车所检测数据的特点,提出了基于深度学习与支持向量机的钢轨伤损智能识别系统技术方案;采用深度可分离卷积与选择性搜索相结合的方法进行目标定位;基于人...     

基于模糊推理的智能围岩分级方法研究

研究目的:围岩分级是隧道施工中必不可少的边界条件。传统的围岩分级方法在时效性和完备性方面存在诸多弊端,且在实际工程中可利用的样本量偏少,故本文引入模糊推理方法将围岩分级智能化,尝试从以往的围岩分级数据中提取出模糊规则,构建模糊推理引擎,实现基于模糊推理的智能化围岩分级,以解决工程中的实际问题。研究结论:(1)分析研究了三种模糊规则生成算法及优缺点;(2)明确了模糊集隶属函数采用的六个条件参数及取值范围;(3)通过试验验证了分段模糊推理模型适用于少量样本围岩分级的可行性,实现了高效、准确的围岩分级;(4)实践表明,基于模糊推理方法设计的智能化围岩分级系统可以满足工程中的实际需求,能够为类似工程应用提供参考和借鉴。     

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

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

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

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