[发明专利]一种运行图阶段计划逻辑检查方法

权利要求书

1.一种运行图阶段计划逻辑检查方法，其特征在于，包括：

在数据库中配置阶段计划合法性检查项目表，阶段计划合法性检查项目表包含四列，依次用来存储阶段计划检查项目的ID、与各检查项目对应的内容、用于表示相应检查项目是否进行检查的标识、以及各检查项目报警的等级；

在阶段计划下达之前，依照阶段计划合法性检查项目表逐条对阶段计划进行合法性检查；如果阶段计划未通过合法性检查，则依据报警的等级输出相应的告警提示信息；如果阶段计划通过合法性检查，则下达相关的阶段计划；

其中，检查项目中超限车与动车组在区间禁会的检查方式包括：

方式一，判断是否满足以下四个条件，若是，则表示未通过合法性检查：

或

其中，表示列车l_i的超限标志，值为0时表示非超限，值为1时表示超限，m为列车的数量；为列车l_i'的动车组标志，值为0时表示非动车组，值为1时表示动车组；分别表示列车l_i、列车l_i'的运行方向；分别表示列车l_i、列车l_i'的反向运行标志，值为0时表示非反向运行，值为1时表示反向运行；表示列车l_i在车站s_j的出发时刻；表示列车l_i'在车站s_j的到达时刻；表示列车l_i在车站s_j+1的到达时刻；表示列车l_i'在车站s_j+1的出发时刻；

方式二，判断是否满足以下五个条件，若是，则表示未通过合法性检查：

或

2.根据权利要求1所述的一种运行图阶段计划逻辑检查方法，其特征在于，检查项目至少包括：超限车与动车组在区间禁会、超限车与超限车在区间禁会、超限车与超限车在站内禁会、列车运行的连通性、遇区间封锁、遇综合天窗、遇电网检修、禁停检查、运行线区间冲突、运行线股道冲突、站内股道封锁、未分配股道检查、超限列车的股道检查、电力机车需驶入电力股道检查、客车侧线通过、动车组接入非高站台股道、动车组图定接发车股道检查、图定客车提前发车、折返股道检查、以及入口出口与股道的连通情况。

3.根据权利要求1或2所述的一种运行图阶段计划逻辑检查方法，其特征在于，

检查项目中超限车与超限车在区间禁会的检查方式包括：

方式一，判断是否满足以下三个条件，若是，则表示未通过合法性检查：

或

其中，表示列车l_i'的超限标志，值为0时表示非超限，值为1时表示超限；

方式二，判断是否满足以下四个条件，若是，则表示未通过合法性检查：

或

检查项目中超限车与超限车在站内禁会的检查方式包括：判断是否满足以下三个条件，若是，则表示未通过合法性检查：

其中，分别表示列车l_i、列车l_i'在车站s_j的股道ID，股道ID按某一方向由值1开始按递增1设置，即相邻股道ID的差值为1。