基于UPPAAL的LKJ-15系统模式转换功能建模与验证研究

模式转换是LKJ-15系统的重要功能。为了保证模式转换功能安全,提出利用形式化建模工具UPPAAL对该功能进行建模与验证。首先分析LKJ-15系统各种模式转换条件,建立模式转换信息交互网络;之后使用UPPAAL建立模式转换功能模型;最后对模型进行仿真和BNF语句验证。结果表明:该模型满足LKJ-15模式转换的功能要求,其安全性得以验证,为系统开发和应用提供了理论保障。

基于LKJ-15C型列车运行监控系统的空转识别优化研究

针对朔黄铁路安装LKJ-15C型列车运行监控系统的交流传动重载电力机车,发生多起因轮对空转造成LKJ-15C型列车运行监控系统输出紧急制动指令的运行事件,文章从其控制原理出发,通过优化LKJ-15C型列车运行监控系统空转识别功能,以降低因空转触发列车紧急制动的概率,提出了具体的优化措施,并验证了该方法的有效性。

LKJ-15C主机软件半实物自动化测试系统设计

为克服LKJ-15C型列车运行监控系统(简称“LKJ-15C”)主机软件人工测试中存在的工作量大、效率低和测试过程不易复现的问题,文章提出了一套基于半实物仿真技术和测试脚本技术的自动化测试系统。该自动化测试系统由PXI主机模块、信号调理模块、以太网交换机、电源模块及计算机操作模块构成;系统软件包括测试脚本开发模块、测试脚本执行模块和仿真模型库,可对LKJ-15C主机软件所有功能进行完整的自动化回归测试,且完成一轮的自动化测试只需2天多的时间。目前,该系统已成为LKJ-15C主机软件发布测试的主要工具,已完成自动化发布测试20余次,实现了无人值守的自动化发布测试。

基于LKJ-15应答器数据与车载数据控车模式转换的研究

为适应铁路运输需求的提高,本文借鉴ATP应答器数据控车的模式,提出LKJ列车监控系统采用应答器数据控车的新思路。应答器数据控车实验采用应答器数据和车载数据结合控车的模式。综合实际运行需求总结出应答器数据控车模式和车载数据控车模式的切换条件,力求实现控车模式的完美切换,确保列车的安全稳定运行。

基于北斗定位的列车自动对标失败问题研究

朔黄铁路发生了两起安装有LKJ-15C型列车运行监控系统(以下简称LKJ-15C系统)的机车在列车始发车站北斗卫星自动开车对标失败事件。深入研究北斗卫星自动开车对标失败问题,通过分析记录文件和现场勘察推断出问题的原因,并在此基础上提出技术优化方案,优化LKJ-15C系统北斗卫星自动开车对标功能的相关硬件和软件逻辑,以提高北斗卫星自动开车对标成功的概率。