The Design And Verification Of High-speed Maglev Train Control System's Operation Scenarios

As a new transportation technology which is different from wheel-rail high-speed railway,high-speed maglev train is an important direction for the future development of high-speed and ultra-high-speed rail transit system.In recent years,China has also carried out related research on high-speed maglev train technology,and plans to build a high-speed maglev test line on which the speed of train is up to 600km/h in the next five years.The high-speed maglev train operation control system is the key to ensure the safe operation of the train,so its engineering application research is urgently needed.The engineering application of the high-speed maglev train control system requires corresponding scenario specifications for guidance.However,the mature wheel-rail high-speed train control system's operation scenario cannot be copied on the high-speed maglev train control system due to the difference of operation theory,and until now,there is no systematic research on the operation scenario of high-speed maglev train control system in China.Starting from the development and construction of High-speed Maglev Test Line,this paper focuses on the study of operation scenario of high-speed maglev train control system.The main contents are summarized below.First of all,a analysis method is proposed to verify the operation scenario of high-speed maglev train control system,which combines UML(Unified Modeling Language)with CSP(Communication Sequential Process).The transformation rules between UML model and CSP model are formulated,and the specific contents of the method are given.Secondly,this paper designs nine operation scenarios of high-speed maglev train control system according to its system structure and functional characteristics.The scenario terminology,interaction information and interaction flow of each operation scenario are described in a standardized way.Then,modeling and formal verification of operation scenarios are completed.The UML model and CSP model of three typical scenarios,including launch and login scenario,stop spot step in scenario,decentralized section switch scenario,are established by using the proposed analysis method.The logical correctness of these scenarios are verified by ProB verification tool.Finally,based on the operation scenario,line data about train control system in the 5 km High-speed Maglev Test Line are designed.The simulation models of the normal operation scenario are established under the MATLAB/Simulink environment.A detailed simulation analysis about the first version of line data is carried out based on the models,and the unreasonable design is modified.Figure 81,Table 17,72 References.