摘要
针对大于6‰下坡道高铁车站的延续进路防护问题,以成兰线某车站为例,研究基于Petri网模型的防护方法。以车站平面布置图为依据,建立相应的延续进路防护资源分配约束模型,包含6‰下坡道防护模型和延续进路防护故障诊断模型。通过6‰下坡道防护模型对延续进路涉及到的轨道区段占用权进行分配,实现延续进路的安全性防护;延续进路防护故障诊断模型采用形式化验证方法,通过被标记的故障库所对不可行的延续进路排列报错,实现延续进路运行计划的安全性验证。利用Petri网的可达性、有界性、安全性,对车站延续进路可能产生的列车碰撞和冲突进行仿真验证,验证结果可为列车运行计划的排列提供参考。
Aiming at the problem of successive route protection for down-slope greater than 6‰in high-speed railway stations,a station of Chengdu-Lanzhou high-speed railway is used as an example to research the protection method based on Petri net model.A corresponding successive route protection resource allocation constraint model is established based on its station layout,including 6‰down-slope protection model and successive route protection fault diagnosis model.Through the 6‰down-slope protection model,the occupation rights of the track sections are allocated to realize the safety protection of successive route.The fault diagnosis model of successive route protection adopts the method of formal verification,and realizes the safety verification of the train operation plan by reporting errors to the unfeasible successive routes with the marked fault place.Using the accessibility,boundedness,and security of Petri nets,the possible train collisions and conflicts of station successive routes are simulated and verified,and the results can be used as a reference for train operation plan arrangements.
出处
《铁道通信信号》
2023年第10期29-34,共6页
Railway Signalling & Communication
