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

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

对联锁报告区段状态和车载报告列车位置信息不一致问题的分析与研究

CTCS-3级列控系统的列车走行累计误差如果过大,有可能造成联锁设备向RBC报告区段占用状态与车载设备向RBC报告列车位置之间存在信息不一致问题,导致列车运行效率降低,影响行车安全。本文针对该问题进行了数学建模,通过对模型的分析研究,说明了问题发生的原因,并提出了降低问题发生概率的方法。

基于随机Petri网的GSM-R越区切换成功率的形式化分析

首先建立了基于随机Petri网的GSM-R越区切换模型,在模型中综合考虑了信道故障、信道占用和越区切换参数配置不合理等影响越区切换成功率的因素。其次,说明了随机Petri网与马尔可夫链的关系,以及使用马尔可夫链分析"GSM-R越区切换的随机Petri网模型"的方法。最后,利用SPNP工具分析了影响GSM-R越区切换成功率的因素,发现GSM-R小区预留信道越多,越区切换成功率越高;列车运行速度越高,越区切换成功率越低;在一定范围内,列车追踪间隔越大,越区切换成功率就越高。