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

Model and algorithm for high-speed train operation based on STeC

为了使高速列车正点运行到达目的车站,提出了基于STeC(时空一致性)语言的高速列车运行模型与算法。该模型具有位置触发自动调整高速列车运行的特点,实现动态确定高速列车制动点并保证列车正点到达目的车站,从而满足了高速列车运行实时系统对时间和空间的一致性要求。通过Matlab/Simulink的仿真测试,证明了该模型的正确性和有效性。

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.