- 袁海丽;杨韬;
针对欧洲各国不同信号系统复杂制式的运营需求,分析ETCS-2级列控系统基于无线闭塞中心(RadioBlockCenter,RBC)控制列车停站以及重联作业需求,根据从联锁获取的进路状态,从RBC角度提出列车停站防护并保障重联作业安全的方案,在进路解锁后给列车发无条件紧急停车、撤销移动授权至车头、补发引导模式曲线授权、保持既有授权并增加授权监督防护4种防护方案,并同时从安全性和可用性两方面论述所提方案的可行性问题。最终选择保持既有授权并增加授权监督防护作为实际工程应用方案,不影响系统可用性的前提下提升系统安全性。
2024年11期 v.21;No.167 1-8页 [查看摘要][在线阅读][下载 1196K] [下载次数:42 ] |[网刊下载次数:0 ] |[引用频次:5 ] |[阅读次数:2 ] - 蒋耘玮;艾强娃;吴培栋;
针对在半实物测试环境中人工进行车载ATP设备功能测试时效率低、操作繁琐、人力成本高、可视性差、测试案例设计维护困难等问题,在对多种制式ATP产品的功能进行深入研究基础上,设计并实现一种车载ATP通用自动测试平台。通过设计开发车载ATP测试通用脚本语言,实现将测试案例转换为特定的以列车位置和通信消息内容为基础的脚本指令合集;硬件部分设计开发可扩展的接口平台并结合机械臂控制、DMI图像识别单元来模拟ATP外部输入信号与司机操作;软件部分设计各设备之间通用通信协议,开发一系列包含脚本解析执行、通信协议转换、测试流程管理等工具集,实现测试流程自动化控制。实际工程应用表明,该车载ATP通用自动化测试平台能够节约开发成本、提高测试生产效率,具有较高实用价值。
2024年11期 v.21;No.167 9-16页 [查看摘要][在线阅读][下载 1234K] [下载次数:65 ] |[网刊下载次数:0 ] |[引用频次:4 ] |[阅读次数:3 ] - 邵锐泽;张健;
为解决货运站分路不良区段的轨道出清判断问题,通过结合电磁探测技术与无线传输技术,设计并实现一套创新的轨道出清辅助系统。该系统在室外采用分布式电磁探测传感器进行车轮检测,并利用太阳能持久稳定供电。室内处理主机则负责收集并分析来自传感器的列车轴数信息,结合站场配置判断各区段的出清状态。通过Lora传输技术实现室内外通信,确保数据的实时传输与准确处理。人机界面能够实时展示分路不良区段的空闲/占用状态,为值班员提供作业参考,降低其确认区段状态的劳动强度,同时提高作业的安全性,提升货运站的运营效率与安全性。
2024年11期 v.21;No.167 17-23+65页 [查看摘要][在线阅读][下载 1324K] [下载次数:33 ] |[网刊下载次数:0 ] |[引用频次:1 ] |[阅读次数:2 ] - 康清瑜;
针对目前多数铁路站场调车作业为人工办理的现状,为规避人为失误导致的进路错办等问题,提高调车作业的自动化水平,提出一种基于调度集中系统(Fzt-CTC)的调车进路搜索功能的设计思路。利用图的理论将铁路站场调车进路搜索问题抽象为有向无环图的路径求解问题,并结合现场实际情况提出模型的4种约束条件,通过剥离非关键约束和引入经验值的方法对理论模型进行工程化处理,最终基于现有CTC系统,设计调车作业管理软件,实现调车进路搜索等功能。
2024年11期 v.21;No.167 24-29页 [查看摘要][在线阅读][下载 1431K] [下载次数:95 ] |[网刊下载次数:0 ] |[引用频次:5 ] |[阅读次数:2 ] - 蒋爽;
原有到发线出岔电路不能满足中岔反位发车作业需求,针对此种情况,基于计算机联锁,在原有到发线出岔电路的基础上,提出适用于中岔反位发车作业场景的设计方案。具体的设计方案包含中岔反位发车进路终端的特殊设计及进路中相关区段的特殊解锁以及零散电路的设计。该方案应用于山西晋能控股的云冈西站,满足车站的作业需求,现场运行状况良好。
2024年11期 v.21;No.167 30-33+60页 [查看摘要][在线阅读][下载 1150K] [下载次数:51 ] |[网刊下载次数:0 ] |[引用频次:0 ] |[阅读次数:2 ] - 梁栋;
针对测试逻辑和测试数据分离模式的联锁测试脚本进行研究,提出一种基于Python的测试逻辑和数据分离的脚本编写方法,在此基础上设计并实现与脚本适配的接口插件,提高联锁自动化测试系统的可用性和适应性。
2024年11期 v.21;No.167 34-40页 [查看摘要][在线阅读][下载 1311K] [下载次数:31 ] |[网刊下载次数:0 ] |[引用频次:2 ] |[阅读次数:2 ] - 刘丽娟;陈虹;陈耀华;
形式化验证是确保计算机联锁系统满足特定安全需求的有效且重要的手段。由于形式化方法的特殊性,要求对于系统模型和安全需求模型的描述完全准确,否则均会导致验证不通过。根据计算机联锁形式化验证的实际经验,总结在安全需求模型建立过程中由于模型建立不完善导致验证失败的典型场景,为形式化验证的实践提供参考。
2024年11期 v.21;No.167 41-45页 [查看摘要][在线阅读][下载 1253K] [下载次数:79 ] |[网刊下载次数:0 ] |[引用频次:1 ] |[阅读次数:2 ]