Train control system plays a key role in railway traffic. Its function is to manage and control the train movement on railway networks. In our previous works, based on the cellular automata (CA) model, we proposed sev...Train control system plays a key role in railway traffic. Its function is to manage and control the train movement on railway networks. In our previous works, based on the cellular automata (CA) model, we proposed several models and algorithms for simulating the train movement under different control system conditions. However, these models are only suitable for some simple traffic conditions. Some basic fac- tors, which are important for train movement, are not considered. In this paper, we extend these models and algorithms and give a unified formula. Using the pro- posed method, we analyze and discuss the space-time diagram of railway traffic flow and the trajectories of the train movement. The numerical simulation and analytical results demonstrate that the unified CA model is an effective tool for simulating the train control system.展开更多
In this paper, we propose a new cellular automaton (CA) model for train movement simulations under mixed traffic conditions. A kind of control strategy is employed for trains to reduce energy consumption. In the pro...In this paper, we propose a new cellular automaton (CA) model for train movement simulations under mixed traffic conditions. A kind of control strategy is employed for trains to reduce energy consumption. In the proposed CA model, the driver controls the train movements by using some updated rules. In order to obtain a good insight into the evolution behaviours of the rail traffic flow, we investigate the space-time diagram of the rail traffic flow and the trajectories of the train movements. The numerical simulation results demonstrate that the proposed CA model can well describe the dynamic behaviours of the train movements. Some complex phenomena of train movements can be reproduced, such as the train delay propagations, etc.展开更多
In this paper, we propose a new formula of the real-time minimum safety headway based on the relative velocity of consecutive trains and present a dynamic model of high-speed passenger train movements in the rail line...In this paper, we propose a new formula of the real-time minimum safety headway based on the relative velocity of consecutive trains and present a dynamic model of high-speed passenger train movements in the rail line based on the proposed formula of the minimum safety headway. Moreover, we provide the control strategies of the high-speed passenger train operations based on the proposed formula of the real-time minimum safety headway and the dynamic model of highspeed passenger train movements. The simulation results demonstrate that the proposed control strategies of the passenger train operations can greatly reduce the delay propagation in the high-speed rail line when a random delay occurs.展开更多
In order to satisfy the safety-critical requirements,the train control system(TCS) often employs a layered safety communication protocol to provide reliable services.However,both description and verification of the sa...In order to satisfy the safety-critical requirements,the train control system(TCS) often employs a layered safety communication protocol to provide reliable services.However,both description and verification of the safety protocols may be formidable due to the system complexity.In this paper,interface automata(IA) are used to describe the safety service interface behaviors of safety communication protocol.A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN.A case study of using this method to describe and verify a safety communication protocol is included.The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks,livelocks and several mandatory consistency properties.A prototype of safety protocols is also developed based on the presented formally verifying method.展开更多
Research on the distribution of smoke in tunnels is significant for the fire emergency rescue after an operating metro train catches fire. A dynamic grid technique was adopted to research the law of smoke flow diffusi...Research on the distribution of smoke in tunnels is significant for the fire emergency rescue after an operating metro train catches fire. A dynamic grid technique was adopted to research the law of smoke flow diffusion inside the tunnel when the bottom of a metro train was on fire and to compare the effect of longitudinal ventilation modes on the smoke motion when the burning train stopped. Research results show that the slipstream curves around the train obtained by numerical simulation are consistent with experimental data. When the train decelerates, the smoke flow first extends to the tail of the train. With the decrease of the train's speed, the smoke flow diffuses to the head of the train. After the train stops, the slipstream around the train formed in the process of train operation plays a leading role in the smoke diffusion in the tunnel. The smoke flow quickly diffuses to the domain in front of the train. After forward mechanical ventilation is provided, the smoke flow inside the tunnel continues to diffuse downstream. When reverse mechanical ventilation operates, the smoke in front of the train flows back rapidly and diffuses to the rear of the train.展开更多
Based on the Nagel-Schreckenberg model, we propose a new cellular automata model to simulate the urban rail traffic flow under moving block system and present a new minimum instantaneous distance formula under pure mo...Based on the Nagel-Schreckenberg model, we propose a new cellular automata model to simulate the urban rail traffic flow under moving block system and present a new minimum instantaneous distance formula under pure moving block. We also analyze the characteristics of the urban rail traffic flow under the influence of train density, station dwell times, the length of train, and the train velocity. Train delays can be decreased effectively through flexible departure intervals according to the preceding train type before its departure. The results demonstrate that a suitable adjustment of the current train velocity based on the following train velocity can greatly shorten the minimum departure intervals and then increase the capacity of rail transit.展开更多
车车通信列车运行控制系统中移动授权的生成对城市轨道交通运营效率有着较大的影响。通过分析车车通信列车运行控制系统中移动授权的生成过程及性能,建立基于有色Petri网(colored Petri net,CPN)的车车通信移动授权信息交互的模型,进行...车车通信列车运行控制系统中移动授权的生成对城市轨道交通运营效率有着较大的影响。通过分析车车通信列车运行控制系统中移动授权的生成过程及性能,建立基于有色Petri网(colored Petri net,CPN)的车车通信移动授权信息交互的模型,进行性能分析。研究移动授权生成过程中端对端通信传输时延的延时概率,根据不同信道质量下统计传输时延的平均值,计算移动授权完成的成功率。分析结果表明,基于车车通信的列车运行控制系统移动授权的生成过程,符合地铁长期演进(long term evolution for metro,LTE-M)系统端到端延时时间不大于150 ms的概率不小于98%,时延随着信道质量的下降而增加。展开更多
基金Supported by the Program for Changjiang Scholars and Innovative Research Team in University (Grant No. IRT0605)the National Natural Science Foundation of China (Grant Nos. 60634010, 60776829)+1 种基金the Program for New Century Excellent Talents in University (Grant No. NCET-06-0074) the Key Project of Ministry of Education of China (Grant No. 107007)
文摘Train control system plays a key role in railway traffic. Its function is to manage and control the train movement on railway networks. In our previous works, based on the cellular automata (CA) model, we proposed several models and algorithms for simulating the train movement under different control system conditions. However, these models are only suitable for some simple traffic conditions. Some basic fac- tors, which are important for train movement, are not considered. In this paper, we extend these models and algorithms and give a unified formula. Using the pro- posed method, we analyze and discuss the space-time diagram of railway traffic flow and the trajectories of the train movement. The numerical simulation and analytical results demonstrate that the unified CA model is an effective tool for simulating the train control system.
基金Project supported by the National Natural Science Foundation of China (Grant No 70471088), the National Basic Research Program of China (Grant No 2006CB705500) and the Science and Technology Foundation of Beijing Jiaotong University (Grant No 2004SM026).
文摘In this paper, we propose a new cellular automaton (CA) model for train movement simulations under mixed traffic conditions. A kind of control strategy is employed for trains to reduce energy consumption. In the proposed CA model, the driver controls the train movements by using some updated rules. In order to obtain a good insight into the evolution behaviours of the rail traffic flow, we investigate the space-time diagram of the rail traffic flow and the trajectories of the train movements. The numerical simulation results demonstrate that the proposed CA model can well describe the dynamic behaviours of the train movements. Some complex phenomena of train movements can be reproduced, such as the train delay propagations, etc.
基金Supported by the National Natural Science Foundation of China under Grant Nos.60634010 and 60776829the State Key Laboratory of Rail Traffic Control and Safety (Contract No.RCS2008ZZ001 and RCS2010ZZ001),Beijing Jiaotong University
基金supported by the National Basic Research Program of China (Grant No. 2012CB725400)the National Natural Science Foundation of China (Grant No. 71131001-1)the Research Foundation of State Key Laboratory of Rail Traffic Control and Safety,Beijing Jiaotong University,China (Grant Nos. RCS2012ZZ001 and RCS2012ZT001)
文摘In this paper, we propose a new formula of the real-time minimum safety headway based on the relative velocity of consecutive trains and present a dynamic model of high-speed passenger train movements in the rail line based on the proposed formula of the minimum safety headway. Moreover, we provide the control strategies of the high-speed passenger train operations based on the proposed formula of the real-time minimum safety headway and the dynamic model of highspeed passenger train movements. The simulation results demonstrate that the proposed control strategies of the passenger train operations can greatly reduce the delay propagation in the high-speed rail line when a random delay occurs.
基金supported by the New Century Excellent Researcher Award Program from Ministry of Education of China (Grant No. NCET-07-0059)the Fundamental Research Funds for the Central Universities (Grant No.2011YJS006)+1 种基金the National High Technology Research and DevelopmentProgram of China ("863" Program) (Grant No. 2011AA010104)the State Key Laboratory of Rail Traffic Control and Safety Research Project(Grant Nos. RCS2008ZZ001, RCS2008ZZ005)
文摘In order to satisfy the safety-critical requirements,the train control system(TCS) often employs a layered safety communication protocol to provide reliable services.However,both description and verification of the safety protocols may be formidable due to the system complexity.In this paper,interface automata(IA) are used to describe the safety service interface behaviors of safety communication protocol.A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN.A case study of using this method to describe and verify a safety communication protocol is included.The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks,livelocks and several mandatory consistency properties.A prototype of safety protocols is also developed based on the presented formally verifying method.
基金Project(U1134203)supported by the Major Program of the National Natural Science Foundation of ChinaProject(51105384)supported by the National Natural Science Foundation of China
文摘Research on the distribution of smoke in tunnels is significant for the fire emergency rescue after an operating metro train catches fire. A dynamic grid technique was adopted to research the law of smoke flow diffusion inside the tunnel when the bottom of a metro train was on fire and to compare the effect of longitudinal ventilation modes on the smoke motion when the burning train stopped. Research results show that the slipstream curves around the train obtained by numerical simulation are consistent with experimental data. When the train decelerates, the smoke flow first extends to the tail of the train. With the decrease of the train's speed, the smoke flow diffuses to the head of the train. After the train stops, the slipstream around the train formed in the process of train operation plays a leading role in the smoke diffusion in the tunnel. The smoke flow quickly diffuses to the domain in front of the train. After forward mechanical ventilation is provided, the smoke flow inside the tunnel continues to diffuse downstream. When reverse mechanical ventilation operates, the smoke in front of the train flows back rapidly and diffuses to the rear of the train.
基金Supported by the National Basic Research Program of China under Grant No. 2012CB725400the National Natural Science Foundation of China under Grant No. 71131001-1the Research Foundation of State Key Laboratory of Rail Traffic Control and Safety under Grant No. RCS2011ZZ003, Beijing Jiaotong University
文摘Based on the Nagel-Schreckenberg model, we propose a new cellular automata model to simulate the urban rail traffic flow under moving block system and present a new minimum instantaneous distance formula under pure moving block. We also analyze the characteristics of the urban rail traffic flow under the influence of train density, station dwell times, the length of train, and the train velocity. Train delays can be decreased effectively through flexible departure intervals according to the preceding train type before its departure. The results demonstrate that a suitable adjustment of the current train velocity based on the following train velocity can greatly shorten the minimum departure intervals and then increase the capacity of rail transit.
文摘车车通信列车运行控制系统中移动授权的生成对城市轨道交通运营效率有着较大的影响。通过分析车车通信列车运行控制系统中移动授权的生成过程及性能,建立基于有色Petri网(colored Petri net,CPN)的车车通信移动授权信息交互的模型,进行性能分析。研究移动授权生成过程中端对端通信传输时延的延时概率,根据不同信道质量下统计传输时延的平均值,计算移动授权完成的成功率。分析结果表明,基于车车通信的列车运行控制系统移动授权的生成过程,符合地铁长期演进(long term evolution for metro,LTE-M)系统端到端延时时间不大于150 ms的概率不小于98%,时延随着信道质量的下降而增加。