基于STeC的高速列车运行模型与算法.docVIP

基于STeC的高速列车运行模型与算法 　　摘 要： 为了使高速列车正点运行到达目的车站，提出了基于STeC（时空一致性）语言的高速列车运行模型与算法。该模型具有位置触发自动调整高速列车运行的特点，实现动态确定高速列车制动点并保证列车正点到达目的车站，从而满足了高速列车运行实时系统对时间和空间的一致性要求。通过Matlab/Simulink的仿真测试，证明了该模型的正确性和有效性。 　　关键词： STeC语言； 高速列车； 列车运行模型； 时空一致性； Matlab/Simulink 　　中图分类号：TP391 文献标志码：A 文章编号：1006-8228（2014）05-14-05 　　Abstract： In order to make high-speed trains arrive at the station on time， the model and algorithm of high-speed train based on STeC （Spatial-temporal Consistence） language are proposed. This model has the characteristics that the action of high-speed train is triggered by certain location. The dynamic decision of high-speed train braking point to ensure trains arrive on time is implemented， so as to meet spatial-temporal consistence property of the high-speed train operation of the real-time system. Through test and simulation on the Matlab/Simulink， the correctness and validity of the model is proved. 　　Key words： STeC language； high-speed train； train operation model； spatial-temporal consistence； Matlab/Simulink 　　0 引言 　　高速列车运行速度的不断提高，对列车运行控制系统和运行环境提出了更苛刻的要求。因此，研究高速列车运行过程的控制与仿真，对提高列车安全性、正点率有着重要的意义。在列车运行仿真研究中，文献[1]主要针对普通铁路和重载铁路，较少针对高速铁路。近年对高速列车的运行仿真研究成为热点，主要是研究基础数据处理方法、线路模型和列车运行模型。文献[2]提出了线路的三层节点网络模型用来解决现有的线路模型存在的问题。文献[3]研究了高速铁路列车运行仿真的基础数据处理方法。文献[4]研究了高速列车制动系统。对高速列车运行这一实时系统而言，现有的对列车运行仿真研究没有反映其对时间和空间的一致性要求。 　　陈仪香在文献[5]中提出一个实时系统规范语言STeC（SpatialTemporal Consistence），用于描写物理元素触发的实时系统的时空一致性。时空一致性强调了实时系统在规定的时间到达指定位置，同时在规定的时间内完成指定的任务。高速移动体，如高速列车等均有时空一致性的要求。可以使用STeC对高速移动体进行建模，从而解决它们对时空一致性的需求。本文首先分析了高速列车的运行过程并用STeC语言进行了描述，再结合分析各个运行过程的受力情况等物理过程和时空一致性要求，提出了基于STeC语言的单列高速列车运行模型与算法， 该模型具有正点到达的特点，最后以CRH3型动车组高速列车为例，通过Matlab/Simulink对该模型的测试仿真证明了其正确性和有效性。 　　1 用STeC语言描述高速动车的运行过程 　　1.1 高速列车的运行过程 　　一般地，将两站之间的列车运行过程分为起动过程、牵引过程、惰行过程、恒速过程、调速制动过程以及进站制动过程。为了便于研究，对其中的一些控制过程进行了合并建模，故本文将列车运行过程分为四个过程：①牵引加速过程，包含起动过程和牵引加速过程；②中间运行过程，列车运行到目标速度以后，可以惰行和牵引轮换的过程；③制动减速过程，包含调速制动与进站制动过程；④停留等待。如图1所示。 　　上述括号内第一行是该过程需要满足的微分方程，这里的微分方程是根据物理运动规律而确定的，一般指微分方程组，后面将具体给出各个过程的微分方程。第二行和第三行分别为该运动过程的初值和末值。其中t01，s0