| The on-board centralized train control system can effectively reduce the dependence on ground equipment,reduce construction and maintenance costs,and improve train operation efficiency and intelligence.The on-board centralized train control system has the characteristics that the on-board equipment completes the route setting and calculates the movement authority autonomously.The on-board equipment manages resources independently according to the information obtained by train-ground and train-to-train wireless communication.For the resource management of the on-board centralized train control system,the existing research has shortcomings such as simple coverage scenarios,strong functional dependence on ground equipment,and complex train-to-train communication processes.This thesis studies this problem and proposes a resource management method based on associated train identification.The method covers the in intervals and stations,minimizes the reliance on ground equipment and simplifies the train-to-train communication process as much as possible.Finally,the method is verified by formal modeling and simulation.The main work accomplished in the thesis is as follows:(1)On the basis of the introduction of the concept of line resources,the calculation of movement authority of the train control module and the route setting of the on-board interlock are regarded as the line resource management process of searching,checking,requisitioning and releasing resources.The characteristics of the resource management in the on-board centralized train control system and the safety logic of train operation under the decentralized resource management mode are deeply analyzed.The design requirements of the resource management method in the on-board centralized train control system are determined.(2)The functional architecture of the on-board centralized train control system is designed,and the strategy for checking and requisitioning resources is proposed with the identification of associated trains as the core.Based on this strategy,the basic process of autonomous resources of on-board equipment is formulated.The preliminary design of line resource management method based on associated train identification is completed.(3)Based on the preliminary design of the method,the specific content of the method is designed in detail.Thus,a complete line resource management method based on associated train identification is formed.The method includes two functional modules:train information management and resource management.The specific content of the method includes includes the method of train information management,the mechanism for searching for line resources,the way of triggering the requisition of line resources,the mechanism for screening potential associated trains,the algorithms for identifying associated trains of route resources and section resources,as well as the mechanisms of checking and requisiting route resources and section resources.(4)The operation scenarios that can reflect the functions of train information management and resource management are constructed respectively,and the timed automata models of train information management and line are constructed based on the operation scenarios.Then,the functional requirements are converted into BNF(Backus Naur Form)verification statements,and the properties of the models are verified in UPPAAL to verify whether the designed method meets the functional requirements.The verification results show that the designed method has functional correctness.(5)The simulation test environment based on MATLAB is built.A typical train operation scenario is constructed as a test case to complete the feasibility verification of the method.Then,test cases of station operation scenarios with different operation densities are constructed,and the frequency of train-to-train communication between this method and the line resource management method based on range communication is compared.The simulation results show that: the designed method is feasible to be applied to the on-board centralized train control system and it can realize the correct management of the section and the line resources in the station by the on-board equipment;the method can control the frequency of train-to-train communication within a stable range;in the station operation scenario,the designed method can effectively reduce the frequency of train-to-train communication if there are overlapping routes in the same period,and this advantage will become more prominent as the operating density increases.When there are two trains in the route trigger area of the station,the frequency of train-to-train communication is reduced by 45%～48%.And when there are more than 6 trains,the frequency of train-to-vehicle communication is reduced by more than 78%.Figure 32,Table 19,60 References. |
