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.展开更多
数据通信系统DCS(Data Communication System)是影响CBTC系统的控制精度、效率和安全性的主要因素,其通信性能的仿真、验证对于CBTC系统的研发和改进有重要意义。本文介绍利用OPNET模拟自主研发的安全通信协议和构建DCS性能仿真研究平...数据通信系统DCS(Data Communication System)是影响CBTC系统的控制精度、效率和安全性的主要因素,其通信性能的仿真、验证对于CBTC系统的研发和改进有重要意义。本文介绍利用OPNET模拟自主研发的安全通信协议和构建DCS性能仿真研究平台的方法,给出安全通信协议有限状态机模型和可配置的通信子系统节点通用模型,研究平台可用于分析安全协议在整个通信网络上的总体性能。给出利用节点模型建立整个DCS通信网络的算例和网络性能的仿真结果,实验结果表明,通信周期不完全同步可以减小报文时延,网络出现故障后,改变生成树根节点位置使最大报文时延增加近34%。展开更多
文摘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.
文摘数据通信系统DCS(Data Communication System)是影响CBTC系统的控制精度、效率和安全性的主要因素,其通信性能的仿真、验证对于CBTC系统的研发和改进有重要意义。本文介绍利用OPNET模拟自主研发的安全通信协议和构建DCS性能仿真研究平台的方法,给出安全通信协议有限状态机模型和可配置的通信子系统节点通用模型,研究平台可用于分析安全协议在整个通信网络上的总体性能。给出利用节点模型建立整个DCS通信网络的算例和网络性能的仿真结果,实验结果表明,通信周期不完全同步可以减小报文时延,网络出现故障后,改变生成树根节点位置使最大报文时延增加近34%。
