| The two basic requirements for train operation are safety and punctuality.Due to the acceleration of the railway modernization process since the 19 th National Congress of the Communist Party of China,the speed of train operation has continued to increase,and the density of the train network has continued to increase,which provide higher requirements and challenges to the safety and punctuality of train operation.At the same time,the safety and punctuality of the train dispatching plan in the station also need to be considered.It will directly affect the arrival and departure time of the train.Due to the continuous increase of station capacity in recent years,the feasibility of the dispatching plan in station needs to be verified.In order to improve the railway transportation capacity,it is necessary to consider the operation of trains in sections and stations.In the process of train operation,the main goal of the dispatcher is to reduce train delays as much as possible,and the train operating company also regards passenger comfort as the main indicator.The railway transportation of central cities includes not only high-speed railways but also urban railway transportations such as metro,maglev,and trams.Their meeting place is a comprehensive transportation hub.In recent years,the issue of passenger journey comfort has received more and more attention.Passenger travel may involve multiple means of transportation and need to transfer between various routes.Whether the transfer can be comfortable is an important point that affects the feeling of the journey..This paper mainly studies the feasibility of train operation plans in sections and stations based on a given track layout,and improves passenger transfer comfort as much as possible while ensuring the feasibility of the operation plan.As a formal modeling tool,Petri net has extremely high application value in the field of railway transportation.In this paper,the discrete event system modeling tool Petri net is used to model the given track layout,according to the given train operation plan,the time factor is assigned to the corresponding transitions,and the feasibility of the train operation plan is verified by simulation.If the train operation plan is not feasible,the train operation plan can be revised according to the marking situation of the fault places.At the same time,it can also judge the passenger transfer situation through the mark of the place indicating the discomfort of the passenger transfer.If there is an unexpected situation and the train operation plan needs to be re-drawn,the corresponding mixed integer programming penalty function is first established,which can make the established train operation plan improve passenger transfer comfort as much as possible under the premise of ensuring feasibility,The penalty function result is the smallest.In this paper,formal modeling is used to verify the feasibility of train operation plans and in-station dispatching plans,and to simulate the problem of passenger transfer comfort at transfer stations.Through the method of this article,the feasibility of the train operation plan and the passenger transfer comfort can be considered as a whole,and the punctual safety of the train and the comfort of the passenger journey can be considered.It has practical application value.Summary and prospects of the work,as well as thanks to teachers and partners.Finally,the references and the achievements. |