申请/专利权人:中铁二院工程集团有限责任公司
申请日:2023-09-26
公开(公告)日:2024-01-12
公开(公告)号:CN117390800A
主分类号:G06F30/18
分类号:G06F30/18;G06F30/22
优先权:
专利状态码:在审-实质审查的生效
法律状态:2024.01.30#实质审查的生效;2024.01.12#公开
摘要:本发明属于高速铁路延续进路安全防护技术领域,特别涉及一种基于Petri网的铁路车站延续进路防护系统及站点部署方法。本发明的技术方案通过引入离散事件系统建模的方法,采用形式化验证对延续进路的防护进行Petri网建模,建立相应的延续进路防护资源分配约束模型,采用形式化验证的方法,进行列车运行安全性验证。本申请的技术方案可以对站内延续进路排列的安全性进行核查,通过被标记的故障库所的含义可以对不可行的延续进路排列报错,并并给出可行的替代方案,提升列车延续进路防护的安全性,确保列车在站内的安全运行。
主权项:1.一种基于Petri网的铁路车站延续进路防护系统,其特征在于,所述铁路车站延续进路防护系统包括由千分之六下坡道防护模型和延续进路防护故障诊断模型组成的综合模型,Petri网模型中,变迁的延时对应列车出清区段的时间,库所对应铁路车站的轨道区段,托肯对应铁路列车;所述铁路车站延续进路防护系统根据目标铁路站点的上行运行方向和下行运行方向分别建立;并且能够对列车在目标铁路站点的接车进路事件进行动态模拟;所述千分之六下坡道防护模型用于仿真模拟列车在站内轨道区段的接车进路过程,所述延续进路防护故障诊断模型用于对列车计划不可行的接车进路事件进行报错,并给出可行的替代方案。
全文数据:
权利要求:
百度查询: 中铁二院工程集团有限责任公司 一种基于Petri网的铁路车站延续进路防护系统及站点部署方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。