基于增强型BN的CTCS-1级ATP可靠性研究

结合CTCS-2级与CTCS-3级列控系统设计和运用经验,铁路总公司提出了CTCS-1级列控系统的研制需求,该系统车载ATP设备将取代LKJ与机车信号对既有线列车的控制.本文以CTCS-1级ATP为主要研究对象,对比分析模块级冗余与系统级冗余方案下CTCS-1级ATP系统可靠性.根据CTCS-1级列控系统总体技术方案,构建模块级冗余与系统级冗余ATP可靠性框图,建立对应增强型贝叶斯网络(BN)模型.借助增强型BN正向推理,求解两种设计方案下ATP可靠性定量指标,评估两种设计方案的优劣.利用增强型BN模型逆向推理,求解列车超速防护(ATP)设备故障下基本单元条件失效概率,查找两种冗余设计方案的潜在薄弱环节.评估结果表明:两种方案下CTCS-1级ATP RAM指标均满足需求规范要求,但采用模块级冗余设计的CTCS-1级ATP RAM指标更优;外围冷备模块条件失效率明显高于其他模块,为CTCS-1级ATP的薄弱环节.     

CTCS-3级列控车载设备的形式化建模与验证

CTCS-3级列控系统安全苛求性较高,而列控车载设备是CTCS-3级列控系统的主体,主要功能是对列车进行操纵和控制,保证列车安全运行的关键。通过分析CTCS-3级列控车载设备之间的信息交互以及车载安全计算机中工作模式的转换规则,采用有色Petri网(CPN)建立车载设备的信息交互模型以及工作模式转换模型,使用ASK-CTL分支时序逻辑公式验证了模型的死标识、死锁以及分析工作模式下的系统行为等特性,验证构建的CPN模型符合系统规范要求的流程及规则,可为相关安全苛求系统的设计提供一定参考。     

中川机场站股道应答器设置问题分析及对策

应答器是CTCS-2级列控系统的重要组成部分,用于向CTCS-2级列控系统车载设备传输定位信息、线路参数、临时限速等信息。针对中川铁路中川机场站B点应答器设置位置及运营过程中存在的问题进行了研究分析,提出了解决方案。     

CTCS-3级列控系统车地交互流程形式化建模与验证

正在建设的时速300 km/h以上的高速铁路已采用CTCS-3级列车运行控制系统.车地信息交互流程是影响CTCS-3级列控系统的效率、可靠性和安全性的主要因素之一.基于时间自动机理论对车地交互流程进行建模与验证具有重要意义.首先将车地交互流程分为4个典型的子流程:任务启动流程、正常行车流程、RBC切换流程和任务结束流程,然后针对这些子流程建立无线闭塞中心(RBC)、车载设备(ATP)和铁路专用移动通信网(GSM-R)的时间自动机网络模型,最后利用时间自动机模型验证工具UPPAAL进行仿真分析,验证了CTCS-3级列控系统的车地交互流程的安全性和受限活性.     

CTCS-2级列控系统中应答器设置的探讨

由于轨道电路传输信息的局限性（18信息）,CTCS-2级列控系统增加了应答器作为车-地信息传输的补充设备,以确保列车能够获得足够的地面信息生成目标-距离模式曲线监控列车运行。因此,应答器设置的正确性与合理性将直接影响铁路行车的安全和运输的效率。     

动态间隔可调整的列控系统自主感知关键技术及应用

为提高铁路运输效率、优化列车控制、降低铁路运营维护成本,提出一种动态间隔可调整的列控系统方案,分析列控系统自主感知关键技术和动态间隔调整原理.研究基于卫星导航和惯性导航的组合定位技术,在差分定位和数字轨道地图的辅助下,实现列车连续无缝定位;研究基于三级告警机制的列车追踪预警方法和列车间隔动态调整策略.在京沈高速铁路进行了实测试验,结果表明:在列车高速运行环境下,差分定位误差均值为2.5m,数字轨道地图辅助的组合定位误差均值为1.5m,测试速度与列车实际速度误差±0.01%,满足动态间隔可调整的列控系统对列车运行状态精准、连续获取的需求.基于三级告警机制的列车追踪预警方法可以实时监测列车间隔变化并及时给出预警信号,为司机操作提供参考,保障列车安全运行.     

CTCS-3列控系统中RBC的功能需求及切换

无线闭塞中心（RBC）是CTCS-3级列控系统中的核心设备,负责根据地面设备提供的信息及与车载设备的交互生成行车许可,使列车在RBC的管辖范围内的线路上安全运行,RBC与车载设备之间通过专用无线通信系统即GSM-R网络进行信息的互换。该文对CTCS-3列控系统中RBC的功能需要进行了分析；采用配备2部通信电台的车载设备进行了RBC切换过程分析,并在此基础上运用状态分析法对RBC切换过程进行了形式化建模和验证。     

CTCS-3级列控系统中列车追踪间隔的研究

介绍了CTCS-3级列控系统中列车追踪的计算方法,建立了多列车追踪运行仿真模型,并进行了算例的设计,算例中,在相同的线路及列车参数条件下,设定两车的追踪间隔,得出在不同追踪间隔条件下,前车对后车运行的影响大小,并最终确定两车的最小追踪间隔。     

基于漏泄同轴电缆的高速列控系统的设计

随着高速铁路和城市轨道交通的快速发展,传统的信号列控系统已经不能适应高密度、高速度和高安全性的行车需求,作为列控系统核心部分的车--地信息传输子系统则成为铁路信号技术研究的必然趋势.设计中提出的基于漏泄同轴电缆的列控系统,主要用来解决列车在隧道、地铁中行驶时车--地之间的实时双向通信问题,保证了控车信息在传输过程中的连续性,同时可以准确的判断出列车的上下行方向,进而实现了列车的实时追踪,确保了行车安全.     

基于时间参数的CTCS-1级RDC设置方式的研究

既有线车站分布情况复杂,存在一站多场、多站密集分布的情况,仅依据CTCS-1级区域列控数据中心(RDC)技术规范参数设置RDC,无法满足CTCS-1级列车在RDC切换时车地通信与控车数据更新需求.深入剖析基于单电台的CTCS-1级RDC列车切换场景,采用时间有色Petri网形式化方法对控车权移交过程参与对象进行模型抽象,通过CPN-Tools环境下的模型仿真,挖掘时速200km以下CTCS-1级列车移交过程车地通信中断时间范围,并将通信中断时间约束转化为距离约束,通过分析时间与距离约束探究既有线一站多场、多站密集分布场景下RDC的设置方式,为既有线RDC管辖边界点的选定提供理论依据与数据参考.     

大秦线重载列车编组方式的实践与研究

介绍了大秦线基本概况以及大秦线列车编组结构和编组方式,分析了大秦线重载运输方式的可能性,探讨了大秦线重载运输组织的发展方向。     

关于我国铁路组织按图行车现状和问题的研究

组织“按图行车”是实现铁路运输管理现代化的重要方面。本文根据调查资料,研究了当前我国铁路实现“按图行车”的现状、货物列车晚点的一般规律,并据以提出了进一步提高我国铁路组织“按图行车”水平的意见。     

2K—H型轮系效率公式的研究

本文引入理想轮系的概念 ,很方便地推导出 2K—H周转轮系的效率公式 ,并将这些效率公式及其使用条件汇总 ,以表格形式列出 ,便于使用 ;同时根据效率应小于 1,提出不需确定其转化机构中啮合功率的流向 ,便可计算效率的新方法     

磁悬浮列车测速定位技术

分析了国内、外磁悬浮列车中采用的测速定位技术的基本原理和特点，结合我国高速磁悬浮列车的研究现状，讨论了制订列车测速定位方案的基本原则，并提出了现阶段测速定位的实施方案及其需要解决的关键技术．最后，展望了列车测速定位技术的发展趋势。     

现代武术散打运动训练理论与方法应用

采用文献法和数理计算法对武术散手的程序训练进行了研究,认为训练检测和评定所组成的反馈通道是程序训练的关键,并提出了散打专项力量影响因素的排序,还分析了腾空后摆腿专项力量训练手段对训练内容系统的影响．     

浅谈高等特殊教育的师资培训

高等特殊教育师资培训包括职前培训和在职教育,加强高等特殊教育师资培训,具有重要的意义。我国在高等特殊教育师资培训问题上,比较薄弱,尚存在一些亟待解决的问题。这些问题将导致教师知识陈旧,教学技能滞后,影响了教学质量的提高。使从事高等特殊教育的教师不能有效地履行职责。     

京沪高速铁路列车开行模式的研究

以京沪高速铁路为背景,结合该线的客流预测结果,提出全部中速列车输送、高速列车下线加换乘及高速列车下线加中速列车上高速线输送跨线客流的3种模式;定义了适应度的概念,用以表征列车开行方案适应旅客需求的程度;最后从动车组利用、旅客旅行时间节省和旅客需求适应程度等方面对3种模式进行了比较.     

面向鲁棒性的高速铁路网络列车运行调整计划优化模型

针对高速铁路路网中出现区间封锁事件,考虑事件持续时间的不确定性,以列车运行时间和安全间隔时间为约束条件,引入路径选择唯一性约束保证列车运行调整计划的鲁棒性,以所有列车晚点时间之和的期望值最小为目标函数,建立高速铁路列车运行调整计划优化整数规划模型.设计基于优先级规则的启发式算法,求解原模型的可行解.运用拉格朗日松弛算法和最短路径算法求解该模型的松弛模型,得到原模型最优解的下界.根据可行解与最优解下界之间的距离,可以定量地衡量可行解的质量.结果表明,相较于CPLEX数学求解软件,算法求解效率较高;模型与算法能够有效生成鲁棒的列车运行调整计划,为调度员提供必要辅助决策信息.     

城际列车开行方案评价模型的适用性分析

应用两种基于模糊数学理论的评价模型,分别对相同城际列车开行方案进行评价,在得出相反结论的情况下,通过对两模型的比较分析,发现其中一个模型本身所存在的数理缺陷是导致相反结论产生的原因.根据矛盾产生的机理,给出了合理使用两种模型的建议.     

高速铁路列车定位技术的研究

给出了高速铁路列车定位技术的一般概念,阐述了高速铁路中常用的列车定位技术．最终提出了一种崭新的列车定位模型,综合利用基于卫星的列车定位技术和基于查询／应答器的定位技术,大量减少了地面的查询／ 应答器．并对这些定位技术进行了比较