基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

轨道交通列车运行延误仿真系统研究

简述了轨道交通列车运行延误仿真系统的基本框架结构;对列车延误模拟分析和运行模拟两个主要模块的模型建立、结构设计、功能实现及算法结构进行了描述.对列车延误仿真的评价指标进行了说明.系统可根据基础设施特点、列车运行组织方案、列车运行图以及列车运行延误的影响等,进行运行组织方案的可靠性、适应性及预期效果的定量分析和评价.     

列控车载设备测试案例辅助管理工具设计

针对列车运行控制（简称：列控）车载设备测试缺乏高效的测试案例辅助管理工具,带来测试需求与测试案例管理不便、测试案例编制效率不高、测试案例统计分析困难等问题,设计了一款列控车载设备测试案例辅助管理工具。以提高测试案例管理效率为目标,建立了工具的总体功能框架,设计与实现了测试需求管理、测试案例辅助编制及管理、测试案例统计分析3大功能模块,构建了测试需求提取、测试案例辅助编制与测试案例分析的一体化测试案例管理流程。以CTCS-2级列控车载设备测试案例管理为例,对工具进行了功能验证。结果表明,采用该工具可以更加方便地管理测试需求和测试案例,提高测试案例编制以及测试统计分析的效率,降低测试过程中人工管理的复杂度。     

基于多MPU嵌入式系统的列车运行监控装置测试设备设计

对列车运行监控装置信号进行分类,提出了一种基于多MPU嵌入式系统的列车运行监控装置测试设备的设计方法。该设备能够输出和测量数字电平信号、电流电压信号、频率信号;能够输出多路任意波,且所处理信号的精度高、范围宽。该设备具有很强的可扩展性,可以根据实际需要对设备资源进行配置。     

感动SCADA无线列车运行监视和调度系统研究

对国外先进的列车运行监视和调度指挥系统进行了讨论，提出了基于SCADA系统的列车运行监视和调度指挥系统基本方案，对该系统的关键技术和优点进行了论述。     

列车运行调整中三维运行图的实现

在制定列车运行调整决策时,调度员往往要对许多方案进行比选,从中选取优化解.然而目前运行调整的结果主要用二维运行图表达,不直观、包含的信息客量少且难于测潜在冲突.针对这神现状,作者首次提出了三维运行图的概念,并对采用虚拟现实技术实现运行图的三维可视化进行了研究.     

基于YOLO的铁路侵限异物检测方法

基于现有的铁路侵限异物检测方法只能识别出静态障碍物且识别速度较慢的问题,提出一种基于YOLO算法的铁路侵限异物检测方法.针对铁路侵限异物检测的特殊性,合理设计YOLO模型结构.采用24个卷积层、4个最大池化层及2个全连接层完成异物图像的提取、降维、识别输出,并使用实拍疑似侵限异物图片对YOLO模型进行预训练,达到学习及降低过拟合的目的,最终实现了异物定位及识别的功能.实验中通过对1 660张单幅疑似铁路侵限异物图片进行检测,结果表明,该方法对正常曝光的侵限异物图片检测准确率较高,而且在识别速度方面较AlexNet及Adaboost算法具有较大的优越性.     

新型列控系统雷击试验相关问题的分析与建议

高速铁路新型列控系统融合了联锁、列控、调度集中、无线闭塞、集中监测等铁路信号关键安全设备,大量使用集成度更高的电子单元代替机械设备,对耐雷电冲击提出了更高要求。传统模拟雷击试验中对新型列控系统的检测考虑并不充分,为此,针对盲点电压、雷电冲击时间间隔、有源以太网端口、雷电环境选择等雷击试验中存在的问题进行分析,并给出相关建议。     

基于通信的列车运行控制系统的创新点

1）建立了全生命周期的高安全、高可靠移动闭塞系统的理论及技术体系，自主研发了成套列车运行控制系统装备。     

密封式中间继电器的优越性

随着铁路客、货分线的不断推进，列车运行速度不断提高，机车走行交路不断加长，对机车安全运行的要求也不断提高。中间继电器作为机车控制电路中的关键器件，其工作稳定性、可靠性的重要程度是不言而喻的。密封式中间继电器实现了动作机构的全密封，工作更加稳定可靠。铁路机车使用的继电器由触点开放式向密封式转变是一个发展趋势，使用密封式中间继电器意义重大。