一种基于运行时验证的列车调度操作危险预测方法及系统

    公开(公告)号:CN114030511B

    公开(公告)日:2022-09-13

    申请号:CN202111580326.2

    申请日:2021-12-22

    Abstract: 本发明涉及一种基于运行时验证的列车调度操作危险预测方法及系统,先建立列车运行控制参数化模型,然后以线路工程数据、列车运行数据和行车许可终点位置作为输入,计算不变集、流条件以及四种运行状态之间的迁移条件,以对参数化模型进行配置,得到实例化模型。再对实例化模型进行线性化,得到列车运行控制混成自动机模型,最后利用多面体过近似混成自动机可达集计算算法对列车运行控制混成自动机模型进行求解,得到列车运行可达集,根据列车运行可达集确定列车是否会发生危险,进而能够在调度命令下发之前,预测该调度命令是否会导致列车运行的危险,从而提升调度操作的安全性和效率。

    适合于车‑车通信的列控系统车载联锁的进路防护方法

    公开(公告)号:CN106828541A

    公开(公告)日:2017-06-13

    申请号:CN201710050784.2

    申请日:2017-01-23

    CPC classification number: B61L15/0018 B61L21/06

    Abstract: 本发明提供了一种适合于车‑车通信的列控系统车载联锁的进路防护方法。该方法包括:车载联锁设备周期性地从车载管理设备获得列车位置,当所述列车位置满足进路触发时机,车载联锁设备从联锁表中搜索相关的进路信息,获得该进路号对应的进路元素和进路元素所属的目标控制器,周期性地查询进路元素的状态信息;根据列车的位置将整个车载联锁的进路防护部分保护分成不同阶段,根据获取的进路元素的状态信息和列车位置信息,在不同阶段分别进行车载联锁的进路检查、进路锁闭和信号开放、进路解锁和故障处理。本发明充分考虑了车‑车通信列控系统中车载联锁的设计特点,可以满足面向低密度运输路网的安全、高效运营和持续能力保障的需求。

Patent Agency Ranking