基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析

在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率。本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GSM-R网络中消息的传输过程和重发机制。研究结果表明:基于两部车载电台的RBC切换方式比基于一部车载电台的RBC切换方式所用时间更少,效率更高。列车速度、消息重发时间间隔都会影响列车执行RBC切换的时间。消息重发时间间隔和RBC重叠范围又会影响车载设备进行RBC切换的成功概率。     

CTCS-3级列控车载记录下载器的软件设计

开发记录下载器,用于在线实时监测和下载车载设备模块运行记录。首先介绍记录下载器的软件结构,其次给出记录下载器在线状态转换图,最后介绍了在研发记录下载器软件时使用到的一些关键技术,包括过滤已下载记录技术、数据处理模块与数据储存模块的速度匹配技术、不掉电存储数据技术等。     

CTCS-2级车载ATP自动测试脚本的编写方法

在CTCS-2级列控系统中,车载ATP控制列车的运行速度,保证列车运行安全,因此需要对车载ATP功能进行全面严格地测试。为了提高测试效率,降低测试人员的工作强度,提高测试结果的准确度,设计了一种CTCS-2级车载ATP自动测试平台,详细描述了该平台中应答器脚本、轨道电路脚本和测试案例脚本的设计和使用方法,通过实验证明该平台结构正确合理,应答器脚本、轨道电路脚本和测试案例脚本的编写方法正确,能够实现对CTCS-2级车载ATP功能的自动测试。     

一种面向存货质押融资业务的车辆防丢失系统

从存货质押融资中存在的质押物丢失风险出发,提出了一种基于Android、互联网和GPS等技术的系统解决方案。系统从车辆生产厂商的ERP系统中获取出库车辆的信息,生成监管任务,并通过互联网络,将任务推送给监管员,监管员使用无线设备扫描VIN码,并将监管车辆照片发送给银行审核。应用结果表明:系统能有效降低监管中的人为因素,提高数据的准确性和及时性,有效保证质押车辆的安全,降低融资风险。     

市域铁路CTCS2+ATO列控系统自动折返功能的优化研究

市域铁路是适用于都市圈中心城市城区连接周边城镇组团的轨道交通系统，提供公交化、大运量、快速便捷的交通服务。为实现市域铁路3 min追踪间隔的目标，市域铁路列控系统需要增加自动折返功能，并将站后自动折返间隔时间压缩到3 min以内。分析市域铁路系统需求，提出一种基于成熟的CTCS2+ATO列控系统开发适用于市域铁路的列控系统，并增加自动折返功能。详细阐述站后自动折返过程，包括驶入折返线流程、自动换端流程和驶出折返线流程。为实现系统支持自动折返功能，对车辆、车载设备和地面设备进行功能分配，并给出可行的技术方案。搭建市域铁路半实物仿真平台，进行站后无人自动折返仿真验证实验，验证站后自动折返功能和站后自动折返时间。通过实验证明对车辆、车载设备和地面设备进行的功能分配可支持CTCS2+ATO列控系统实现自动折返功能；提出的自动折返流程能够实现安全、高效的无人自动折返，在保证行车安全的情况下，提高站后自动折返效率；采用本文提出的优化方案和技术可将站后自动折返过程总时间压缩到160 s以内，能够满足市域铁路3 min自动折返时间要求。