Research On Resource Management Method In Train-to-Train Communication Based Train Control System

In recent years,the train-to-train communication based train control system(hereinafter referred to as the new train control system)has been widely researched at home and abroad,which is characteristic of minimization of trackside equipment,multimode communication,onboard centralization and resource management autonomy.Being quite different from the traditional train control system in system structure and module functionality,althought it brings about some advantages,the new system has such problem as resources competition.Therefore,in order to ensure the correct and reliable realization of the functions of the new train control system,based on the requirements of onboard centralization and resource management autonomy of the new train control system,taking the track resources and the related resource management modules as the research object,this thesis proposes the resource management mode and method suitable for the new train control system,and carries out formal modeling and verification.The work accomplished in this thesis is as follows:(1)The resource management method is designed.Firstly,based on the analysis of the similarities and differences in resource management mode between the new train control system and the traditional train control system,the resource management functional requirements of the new train control system are proposed.Then,in order to facilitate the management of track resources,the concept of the track resource management subsystem is proposed,the module functions and information flow in the subsystem are analyzed,and the module structure is designed.After that,based on the resource management function requirements,the resource management process is designed,including the state management of track resources and the use process of track resources.And for the resources requisition phase of switch resources use process,a resource requisition search process based on directed weighted topology graph and Dijkstra algorithm is designed.(2)Formal modeling and verification of resource management method are carried out.Firstly,the formal modeling and verification process of resource management method is proposed,including keyword tagging,UML element mapping,and hierarchical model construction.And the conversion rules of UML models to the colored Petri nets models are emphatically designed.After that,the section and station resource management scenarios are selected for formal modeling,and stepwise simulation and state space analysis of the model are carried out to verify the correctness of function realization and design completeness of resource management method design.(3)Aiming at the resources competition problem that may appears in the resource management process of switch resources,the resources allocation strategy is designed and verified.Starting with the analysis of the necessity of resources allocation,the resources allocation requirement is proposed and the resources allocation principles are designed.Then on this basis,the multi-objective resources allocation decision function is designed and solved by using fuzzy analytic hierarchy process,and the resources allocation strategy is obtained.At last,the formal modeling and verification analysis of resources competition scenario are carried out,and the result shows that resources allocation strategy can effectively solve resources competition problem.(4)The track resource management subsystem simulation software is designed and implemented.Firstly,software requirements of the simulation system are analyzed,the technical selection is carried out,and the framework mode of MVC(Model-View-Control)and the software architecture of B/S(Browser/Server)are adopted.After that,functional requirements of the simulation system are analyzed,and the system layered architecture and simulation module pseudo code are designed.Finally,the software development is completed through programming,and the resource management function is simulated,which further verifies the correctness of the resource management method design.There are 68 graphs,30 tables and 67 references in this thesis.