Modeling And Semi-physical Simulation Of Level Transition Based On Colored Petri Nets

ABSTRACT:Along with the increase of rail mileage and running speed of the high-speed railway of China,the requirement for stability and reliability of the train control system is more and more rigid.Currently the CTCS-3 train control system is applied in passenger dedicated line and the high-speed railway.It applies the design scheme of combining the GSM-R information transmission with the track circuit.As the level transition is the main operation scene of CTCS-3 train control system,the time spent in its process and the success rate of it seriously influence the safety of train operation and traffic efficiency.This paper took the level transition of train control system as the object of study.It applied the hierarchical idea of mathematical modeling and took the colored Petri net as the formalized modeling tool.The process of information interaction among the Radio Block Center(RBC),on-board equipments and the balises during the level transition process was simulated.It analyzed the influence of train speed toward the efficiency and the success rate of level transition,and finished the development of level transition simulation software taking the model as the theoretical basis.This paper mainly included the following work.Firstly,summarized the composition of CTCS-3 train control system and the process of level transition,analyzed the current situation of using colored Petri net to do the research of railway,made brief description on the colored Petri net theory and the development tool,CPN Tools,and stated the model analysis method used in the text.Secondly,analyzed the details of level transition and the data interaction of train-ground communication.Applied the superincumbent modeling method aiming at the two kinds of situations of the level transition and separately established the CTCS-2 to CTCS-3 level transition model and the CTCS-3 to CTCS-2 level transition model.Analyzed the typical scene of degradation due to equipment failures,and separately established the on-board equipment behavioral model and the RBC behavioral model during the degradation.Thirdly,used state-space method to analyze the reachability,boundedness,home,liveness and fairness of the models,and verified the correctness of model structure and logic.Analyzed the performance of the level transition models under normal conditions,got the relationship among train running speed,transition time and success rate,and discussed factors influencing the stability of the level transition.Finally,conducted the functional requirement analysis and the modularization division toward the level transition simulation software according to the models in the previous text,and designed the functions of all sub-modules.Finished the development of RBC simulation system basing on the Visual Studio 2012 platform and the MySQL database.The software was debugged with other subsystem of the simulation platform of CTCS-3 train control system,and realized the semi-physical simulation of the level transition.The models and system simulation could provide reference for the research and project design of the level transition of train control system.