详情

原文传递一种运行图阶段计划逻辑检查方法

专利名称：	一种运行图阶段计划逻辑检查方法
摘要：	本发明公开了一种运行图阶段计划逻辑检查方法，包括：在数据库中配置阶段计划合法性检查项目表，其包含四列，依次用来存储阶段计划检查项目的ID、与各检查项目对应的内容、用于表示相应检查项目是否进行检查的标识、以及各检查项目报警的等级；在阶段计划下达之前，依照阶段计划合法性检查项目表逐条对阶段计划进行合法性检查；如果阶段计划未通过合法性检查，则依据报警的等级输出相应的告警提示信息；如果阶段计划通过合法性检查，则下达相关的阶段计划。该方法可以实现在阶段计划正式下达前的预检查，通过阶段计划的合法性检查，将不合理的阶段计划及时检查出来并输出告警，确保下达的阶段计划的准确性、保证列车运行安全，提高铁路运输效率。
专利类型：	发明专利
申请人：	中国铁道科学研究院集团有限公司通信信号研究所
发明人：	周晓昭;王子维;孙延浩;任禹谋;张琦;王涛;张涛;许伟;曾壹;盛凯;高峰;桂乐芹
专利状态：	有效
申请日期：	1900-01-20T03:00:00+0805
发布日期：	1900-01-20T15:00:00+0805
申请号：	CN202010005406.4
公开号：	CN111152818A
代理机构：	北京凯特来知识产权代理有限公司
代理人：	郑立明;郑哲
分类号：	B61L27/00;B61L23/00;B;B61;B61L;B61L27;B61L23;B61L27/00;B61L23/00
申请人地址：	100081 北京市海淀区大柳树路2号二区8幢
主权项：	1.一种运行图阶段计划逻辑检查方法，其特征在于，包括：在数据库中配置阶段计划合法性检查项目表，阶段计划合法性检查项目表包含四列，依次用来存储阶段计划检查项目的ID、与各检查项目对应的内容、用于表示相应检查项目是否进行检查的标识、以及各检查项目报警的等级；在阶段计划下达之前，依照阶段计划合法性检查项目表逐条对阶段计划进行合法性检查；如果阶段计划未通过合法性检查，则依据报警的等级输出相应的告警提示信息；如果阶段计划通过合法性检查，则下达相关的阶段计划。 2.根据权利要求1所述的一种运行图阶段计划逻辑检查方法，其特征在于，检查项目至少包括：超限车与动车组在区间禁会、超限车与超限车在区间禁会、超限车与超限车在站内禁会、列车运行的连通性、遇区间封锁、遇综合天窗、遇电网检修、禁停检查、运行线区间冲突、运行线股道冲突、站内股道封锁、未分配股道检查、超限列车的股道检查、电力机车需驶入电力股道检查、客车侧线通过、动车组接入非高站台股道、动车组图定接发车股道检查、图定客车提前发车、折返股道检查、以及入口出口与股道的连通情况。 3.根据权利要求1或2所述的一种运行图阶段计划逻辑检查方法，其特征在于，检查项目中超限车与动车组在区间禁会的检查方式包括：方式一，判断是否满足以下四个条件，若是，则表示未通过合法性检查：或其中，表示列车li的超限标志，值为0时表示非超限，值为1时表示超限，m为列车的数量；为列车li'的动车组标志，值为0时表示非动车组，值为1时表示动车组；分别表示列车li、列车li'的运行方向；分别表示列车li、列车li'的反向运行标志，值为0时表示非反向运行，值为1时表示反向运行；表示列车li在车站sj的出发时刻；表示列车li'在车站sj的到达时刻；表示列车li在车站sj+1的到达时刻；表示列车li'在车站sj+1的出发时刻；方式二，判断是否满足以下五个条件，若是，则表示未通过合法性检查：或检查项目中超限车与超限车在区间禁会的检查方式包括：方式一，判断是否满足以下三个条件，若是，则表示未通过合法性检查：或其中，表示列车li'的超限标志，值为0时表示非超限，值为1时表示超限；方式二，判断是否满足以下四个条件，若是，则表示未通过合法性检查：或检查项目中超限车与超限车在站内禁会的检查方式包括：判断是否满足以下三个条件，若是，则表示未通过合法性检查：其中，分别表示列车li、列车li'在车站sj的股道ID，股道ID按某一方向由值1开始按递增1设置，即相邻股道ID的差值为1。 4.根据权利要求1或2所述的一种运行图阶段计划逻辑检查方法，其特征在于，检查项目中列车运行的连通性的检查方式包括：判断是否满足以下条件，若是，则表示未通过合法性检查：其中，secj表示车站sj与车站sj+1之间的区间；检查项目中遇区间封锁的检查方式包括：方式一，判断是否满足以下七个条件，若是，则表示未通过合法性检查：或其中，表示列车li在车站sj的出发时刻；表示区间secj的第p个区间封锁的结束时刻；表示列车li在车站sj的到达时刻；表示区间secj的第p个区间封锁的开始时刻；表示列车li的区间始发站；表示列车li的区间终到站；表示区间secj的第p个区间封锁的封锁方向，↑表示上行方向，↓表示下行方向，↑↓表示上行与下行方向；表示列车li的运行方向；表示列车li的反向运行标志，值为0时表示非反向运行，值为1时表示反向运行；分别表示下达阶段计划的开始时刻、结束时刻；TC表示冲突时刻；方式二，判断是否满足以下七个条件，若是，则表示未通过合法性检查：或方式三，判断是否满足以下七个条件，若是，则表示未通过合法性检查：或方式四，判断是否满足以下七个条件，若是，则表示未通过合法性检查：或 5.根据权利要求1或2所述的一种运行图阶段计划逻辑检查方法，其特征在于，检查项目中遇综合天窗的检查方式包括：方式一，判断是否满足以下七个条件，若是，则表示未通过合法性检查：或其中，表示列车li在车站sj的出发时刻；表示区间secj的第k个综合天窗的结束时间；表示列车li在车站sj的到达时刻；表示区间secj的第k个综合天窗的开始时间；表示列车li的区间始发站；表示列车li的区间终到站；表示区间secj的第k个综合天窗的方向，↑表示上行方向，↓表示下行方向，↑↓表示上行与下行方向；表示列车li的运行方向；表示列车li的反向运行标志，值为0时表示非反向运行，值为1时表示反向运行；分别表示下达阶段计划的开始时刻、结束时刻；TC表示冲突时刻；方式二，判断是否满足以下七个条件，若是，则表示未通过合法性检查：或方式三，判断是否满足以下七个条件，若是，则表示未通过合法性检查：或方式四，判断是否满足以下七个条件，若是，则表示未通过合法性检查：或 6.根据权利要求1或2所述的一种运行图阶段计划逻辑检查方法，其特征在于，检查项目中遇电网检修的检查方式包括：方式一，判断是否满足以下七个条件，若是，则表示未通过合法性检查：或其中，表示列车li在车站sj的出发时刻；区间secj的第g个电网检修窗的结束时间；表示列车li在车站sj的到达时刻；区间secj的第g个电网检修的开始时间；表示列车li的区间始发站；表示列车li的区间终到站；区间secj的第g个电网检修的方向，↑表示上行方向，↓表示下行方向，↑↓表示上行与下行方向；表示列车li的运行方向；表示列车li的反向运行标志，值为0时表示非反向运行，值为1时表示反向运行；分别表示下达阶段计划的开始时刻、结束时刻；TC表示冲突时刻；方式二，判断是否满足以下七个条件，若是，则表示未通过合法性检查：或方式三，判断是否满足以下七个条件，若是，则表示未通过合法性检查：或方式四，判断是否满足以下七个条件，若是，则表示未通过合法性检查：或 7.根据权利要求1或2所述的一种运行图阶段计划逻辑检查方法，其特征在于，检查项目中禁停检查的检查方式包括：方式一，判断是否满足以下两个条件，若是，则表示未通过合法性检查：其中，sj表示第j个车站；表示列车li的始发站；表示列车li在车站sj的禁止停车标志，值为0时表示非禁止停车，值为1时表示禁止停车；方式二，判断是否满足以下两个条件，若是，则表示未通过合法性检查：其中，表示列车li的终到站；方式三，判断是否满足以下四个条件，若是，则表示未通过合法性检查：其中，表示列车li在车站sj的到达时刻表示列车li在车站sj的出发时刻；检查项目中运行线区间冲突的检查方式包括：方式一，判断是否满足以下五个条件，若是，则表示未通过合法性检查：或或其中，sj+1表示第第j+1个车站；分别表示列车li、列车li'的区间始发站；分别表示列车li、列车li'的区间终到站；分别表示列车li、列车li'的运行方向；分别表示列车li、列车li'的反向运行标志，值为0时表示非反向运行，值为1时表示反向运行；分别表示列车li、列车li'在车站sj的出发时刻；分别表示列车li、列车li'在车站sj+1的到达时刻；分别表示下达阶段计划的开始时刻、结束时刻；TC表示冲突时刻；方式二，判断是否满足以下四个条件，若是，则表示未通过合法性检查：或 8.根据权利要求1或2所述的一种运行图阶段计划逻辑检查方法，其特征在于，检查项目中运行线股道冲突的检查方式包括：判断是否满足以下三个条件，若是，则表示未通过合法性检查：其中，分别表示列车li、列车li'在车站sj的股道ID；分别表示列车li、列车li'在车站sj的出发时刻；分别表示列车li、列车li'在车站sj+1的到达时刻；分别表示下达阶段计划的开始时刻、结束时刻；TC表示冲突时刻；检查项目中站内股道封锁的检查方式包括：判断是否满足以下两个条件，若是，则表示未通过合法性检查：检查项目中未分配股道检查方式包括：判断是否满足以下条件，若是，则表示未通过合法性检查：其中，表示列车li在车站sj的股道ID，股道ID按某一方向由值1开始按递增1设置；检查项目中超限列车的股道检查方式包括：判断是否满足以下两个条件，若是，则表示未通过合法性检查：其中，表示列车li的超限标志，值为0时表示非超限，值为1时表示超限；表示车站sj的第o个股道；表示车站sj的第o个股道的超限属性，值为0时表示该股道不能够接入超限列车，值为1时表示该股道能够接入超限列车；检查项目中电力机车需驶入电力股道检查方式包括：判断是否满足以下两个条件，若是，则表示未通过合法性检查：其中，表示列车li的电力属性，值为1时表示电力机车，值为0时表示非电力机车。 9.根据权利要求1或2所述的一种运行图阶段计划逻辑检查方法，其特征在于，检查项目中客车侧线通过的检查方式包括：判断是否满足以下五个条件，若是，则表示未通过合法性检查：其中，表示列车li的的客车属性，值为0时表示该列车为货车，值为1时表示该列车为客车；sj表示第j个车站；表示列车li的始发站；表示列车li的终到站；表示列车li在车站sj的股道ID；表示车站sj的第o个股道；表示车站sj的第o个股道的正线属性，值为0时表示该股道为侧线，值为1时表示该股道为正线；表示列车li在车站sj的出发时刻；表示列车li在车站sj+1的到达时刻；检查项目中动车组接入非高站台股道的检查方式包括：方式一，判断是否满足以下三个条件，若是，则表示未通过合法性检查：其中，表示列车li的动车组标志，值为0时表示非动车组，值为1时表示动车组；表示车站sj的第o个股道的站台属性，HIGH表示高站台，LOW表示低站台，NULL表示无站台；方式二，判断是否满足以下五个条件，若是，则表示未通过合法性检查：方式三，判断是否满足以下三个条件，若是，则表示未通过合法性检查： 10.根据权利要求1或2所述的一种运行图阶段计划逻辑检查方法，其特征在于，检查项目中动车组图定接发车股道检查方式包括：判断是否满足以下两个条件，若是，则表示未通过合法性检查：其中，表示列车li的动车组标志，值为0时表示非动车组，值为1时表示动车组；表示列车li在车站sj的股道ID，表示列车li在车站sj的图定股道ID；检查项目中图定客车提前发车的检查方式包括：方式一，判断是否满足以下两个条件，若是，则表示未通过合法性检查：其中，sj表示第j个车站；表示列车li的始发站；表示列车li在车站sj的出发时刻；表示列车li在车站sj的图定出发时刻；方式二，判断是否满足以下两个条件，若是，则表示未通过合法性检查：其中，表示列车li在车站sj的出发时刻；表示列车li在车站sj+1的到达时刻；检查项目中折返股道检查的检查方式包括：判断是否满足以下四个条件，若是，则表示未通过合法性检查：其中，表示列车li与列车li'是否存在接续关系，值为1时表示列车li与列车li'存在接续关系，列车li是列车li'的前续列车，列车li'是列车li的后续列车，值为0时表示列车li与列车li'不存在接续关系，i,i'＝{1,2,…,m}，i≠i'，m为列车的数量；sj表示第j个车站；表示列车li的始发站；表示列车li的终到站；分别表示列车li、列车li'在车站sj的股道ID；检查项目中入口出口与股道的连通情况的检查方式包括：判断是否满足以下条件，若是，则表示未通过合法性检查：其中，表示列车li由方向和决定的端口至股道的进路，或列车li由股道至方向和决定的端口的进路是否存在的标志，值为0时表示不存在，值为1时表示存在。
所属类别：	发明专利