The zone control subsystem is a real-time control system,which requests the correctness of the control process.Train tracing scene is an important function of the zone controller(ZC)in the communication based train co...The zone control subsystem is a real-time control system,which requests the correctness of the control process.Train tracing scene is an important function of the zone controller(ZC)in the communication based train control(CBTC)system.In the process of deep development and design,to ensure the safety of the system,the system needs to be modeled,simulated and verified to discover the system design flaws.Unified modeling language(UML)is combined with timed automata,and timed automata network models of train-filter and train tracing demarcation-point are established.At the same time,the verification tool of UPPAAL is applied to simulate the system,and verify the requirements of performance and function of system.The results show that the function of train tracing demaraction-point meets the requirements of system safety and limited activity.Therefore,the method is feasible and can be applied to the modeling and verification of other scenes of train control system.展开更多
Communication based train control systems （CBTC） must work even in the worst situation-- train crossing. This paper models the propagation characteristics in one of the most common and piv- otal scenarios--train cro...Communication based train control systems （CBTC） must work even in the worst situation-- train crossing. This paper models the propagation characteristics in one of the most common and piv- otal scenarios--train crossing in subway tunnels which is rarely mentioned in previous publications. Firstly, measurements for train crossing scenario at 2.4 GHz in a real subway line in Madrid have been made. The field measurement is the most reliable way to reveal the propagation characteristics involving shadowing effect and fast fading. Moreover, to precisely describe the fast fading distribu- tion and eliminate the inevitable weak points of traditional fitting way, a best numerical approxima- tion method using Legendre orthogonal polynomials has been proposed. Comparisons show that this method works better and is of greater physical significance. Finally, a complete statistical model is given and all the coefficients can be applied by system designers for the link and system level simu- lations.展开更多
从车地无线通信、车载控制模型、轨旁设备应用等方面有针对性地研究了设计速度在160~200 km/h下基于通信的列车运行控制(CBTC,Communication Based Train Control)系统的高速适应性问题,提出了速度提升后CBTC系统相对应的改进方案。从...从车地无线通信、车载控制模型、轨旁设备应用等方面有针对性地研究了设计速度在160~200 km/h下基于通信的列车运行控制(CBTC,Communication Based Train Control)系统的高速适应性问题,提出了速度提升后CBTC系统相对应的改进方案。从理论上分析,传统CBTC系统在完成适配性改进后,能够满足此速度等级下安全运行的要求。展开更多
文摘The zone control subsystem is a real-time control system,which requests the correctness of the control process.Train tracing scene is an important function of the zone controller(ZC)in the communication based train control(CBTC)system.In the process of deep development and design,to ensure the safety of the system,the system needs to be modeled,simulated and verified to discover the system design flaws.Unified modeling language(UML)is combined with timed automata,and timed automata network models of train-filter and train tracing demarcation-point are established.At the same time,the verification tool of UPPAAL is applied to simulate the system,and verify the requirements of performance and function of system.The results show that the function of train tracing demaraction-point meets the requirements of system safety and limited activity.Therefore,the method is feasible and can be applied to the modeling and verification of other scenes of train control system.
基金Supported by the National Natural Science Foundation of China(No.60830001)Program for New Century Excellent Talents in University(No.NCET-09-0206)+2 种基金the Key Project of State Key Lab.of Rail Traffic Control and Safety(No.RCS2008ZZ006)Program for Changjiang Scholars and Innovative Research Team in University(No.IRT0949)the Project of State Key Lab.of Rail Traffic Control and Safety(No.RCS2008ZT005)
文摘Communication based train control systems （CBTC） must work even in the worst situation-- train crossing. This paper models the propagation characteristics in one of the most common and piv- otal scenarios--train crossing in subway tunnels which is rarely mentioned in previous publications. Firstly, measurements for train crossing scenario at 2.4 GHz in a real subway line in Madrid have been made. The field measurement is the most reliable way to reveal the propagation characteristics involving shadowing effect and fast fading. Moreover, to precisely describe the fast fading distribu- tion and eliminate the inevitable weak points of traditional fitting way, a best numerical approxima- tion method using Legendre orthogonal polynomials has been proposed. Comparisons show that this method works better and is of greater physical significance. Finally, a complete statistical model is given and all the coefficients can be applied by system designers for the link and system level simu- lations.
文摘从车地无线通信、车载控制模型、轨旁设备应用等方面有针对性地研究了设计速度在160~200 km/h下基于通信的列车运行控制(CBTC,Communication Based Train Control)系统的高速适应性问题,提出了速度提升后CBTC系统相对应的改进方案。从理论上分析,传统CBTC系统在完成适配性改进后,能够满足此速度等级下安全运行的要求。
