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

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

京津城际铁路 科技创造速度

2008年8月1日,我国第一条运营时速350公里、具有世界一流水平的高速铁路——全长120公里的京津城际铁路正式开通运营。中国跨入高铁时代时速超过200公里,采用动车组及专用列车运行控制系统的铁路,被国际上定义为     

单线列车运行调整的梯度搜索算法仿真与研究

列车运行调整的优化是一个非常复杂的问题,需考虑的因素很多,很难给出一个完美的优化模型。根据单线列车运行调整的特点,建立了单线列车运行图的离散事件拓扑图模型,提出了＂调整运行图综合满意度＂作为运行调整的目标,并进一步论证了＂调整运行图综合满意度＂函数的单调递减特性;提出了冲突树的概念和梯度搜索算法的算法原理及搜索步骤,并实例进行仿真。仿真结果表明,该算法模型在实际运行过程中的具有较好的优化性和有效性。

Abstract：

The optimization of railway rescheduling is a very complex issue, many factors should to be taken into account, and it’s difficult to give a perfect optimization model. A discrete event topologic diagram model was derived according to the characteristics of the single-track railway diagram, and the ＂comprehensive satisfaction of the adjusted train diagram＂ was proposed as the target of the railway rescheduling, then the monotonically decreasing characteristic of the target function was demonstrated. The concept of conflict tree was developed and the principle and steps of the gradient search algorithm based on the DET model were given and simulated. The simulation results show that this algorithm has better adaptability and effectiveness in practical application.     

基于着色赋时PETRI网的运行图稳定性评价研究

运行图稳定性评价问题是当前运行图理论研究的重要方面,也是运运输生产实践中计划与调度部门一直以来重视的问题。引进着色赋时Petri网（CTPN）分别对列车的区间行驶和车站作业两部分进行系统建模,结合运行图适应度评价指标,利用Exspect软件对建立的模型进行了仿真分析,实现对运行图稳定性评价的目的。以京津城际客运专线为案例,对运行图进行稳定性评价,结果表明基于文中着色赋时Petri网的运行图稳定性评价方法是有效可行的。     

低成本列车运行控制系统专用数据库及定位匹配算法

系统研究了列车运行控制系统的专用数据库,构建了数据库的数据模型与数学拓扑模型,根据铁路运输的特点,给出铁路轨道定位领域的自适应定位匹配算法,将铁路轨道分为直线和曲线两个部分,采用基于移动距离窗的定位匹配算法实现了实时、精确和快速的定位匹配.在北京局三家店调车场进行了实验,证明本文研究的专用数据库在列车定位领域具有重要的实用价值.     

城市轻轨列车运行控制系统设备选型

以城市轻轨为研究背景,在分析轻轨系统特点的基础上,对轻轨列车运行控制系统的设备选型进行研究。     

调车机车监控记录系统及其在调车作业中的应用

调车机车监控记录系统是计算机集成的控制系统,它通过与微机联锁系统或站场DM IS/CTC系统联网,对站场联锁等信息进行采集,将站场对调车机车的调车机车信号、调车进路的开放、调车作业单、调车限制条件等信息通过无线信道传送到调车机车上,实现站场机车或车列的自动跟踪,实现调车信号、调车进路及作业单等在机车彩色显示器上的实时显示,并结合列车运行记录监控装置实现了对调车作业的自动安全防护控制和作业数据记录。主要讲述该系统的工作原理、功能和在青藏铁路公司的使用情况。     

传统教学法在独立学院基础英语教学中的创新

近年来国家大力发展铁路建设，特别是客运专线的建设，列车运行控制系统是作为保证列车运行安全的主要手段之一。文章主要介绍了客运专线CTCS-3级列车运行控制系统的构成及基本功能。     

客运专线CTCS-3列车运行控制系统构成

近年来国家大力发展铁路建设,特别是客运专线的建设,列车运行控制系统是作为保证列车运行安全的主要手段之一.文章主要介绍了客运专线CTCS-3级列车运行控制系统的构成及基本功能.     

实时操作系统及其在列车运行控制系统中的应用分析

介绍了嵌入式系统的现状和发展,具体阐述了实时操作系统(RTOS)的特点,描述了实时操作系统的最新发展以及它的应用前景,并探讨了Nucleus在列车运行控制系统中应用的可行性.