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.展开更多
文摘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.
