[发明专利]一种城市轨道交通车站数据验证方法

权利要求书

1.一种城市轨道交通车站数据验证方法，其特征在于，包括以下步骤：

（1）采用数据建模工具生成车站数据模型库，车站数据模型库包括有向图模型、拓扑结构模型、设备专有属性、进路联锁表以及进路公式；

（2）根据步骤（1）中生成的车站数据模型库，采用脚本语言编写车站数据模型相应的规则库，将车站数据模型库加载进车站数据模型验证工具；

（3）对步骤（1）生成的车站数据模型库中不同的模型，选择步骤（2）生成的规则库中相应的规则，对车站数据模型进行验证，生成验证报告；

（4）根据验证报告，对数据进行迭代验证，直至数据完全正确。

2.如权利要求1所述的一种城市轨道交通车站数据验证方法，其特征在于，步骤（1）中有向图模型的结构为：起点公里标、终点公里标、始端点数据、终端点数据、区段数据、信号机数据；拓扑结构模型以信号机、道岔和区段作为网络内的节点，用线对网络内各节点实现互联；进路联锁表模型的结构包括：类型、始终端信号机、敌对信号机、定反位道岔、进路区段、侵限区段、接近区段、保护区段；进路公式以进路联锁表模型为基础,将进路联锁表内相关设备监视的点以逻辑运算符连接。

3.如权利要求1所述的一种城市轨道交通车站数据验证方法，其特征在于，所述的车站数据包括列车自动监控系统以及联锁系统的车站数据。

4.如权利要求1所述的一种城市轨道交通车站数据验证方法，其特征在于，所述车站数据模型支持的数据类型包括，整型、布尔型以及字符串类型。

5.如权利要求1或3所述的一种城市轨道交通车站数据验证方法，其特征在于，所述步骤（2）中的采用脚本语言编写车站数据模型相应的规则库包括，常用语法规则、有向图模型规则、拓扑结构模型规则、进路联锁表规则以及进路公式规则。

6.如权利要求1或5所述的一种城市轨道交通车站数据验证方法，其特征在于，有向图模型规则包括：终点公里标大于始端公里标、始终端数据类型必须为道岔，道岔走向必须为其内在类型之一，区段数据排列按照固定方式出现，区段数据内终端公里标大于始端公里标，信号机数据内排列按照固定方式出现，设备类型必须与拓扑模型保持一致；拓扑结构模型规则包括：节点类型包括信号机、区段、道岔，每个节点的上下连接均存在，对于道岔设备侧连接必须存在，平行线上的节点的互联只能是道岔-道岔；进路联锁表检查规则依赖于制作进路联锁表传统的规则；进路公式规则包括：两个相邻设备监视的点不能同时出现AND和OR，进路公式内的设备集合必须隶属于对应的进路联锁表内的进路内的设备集合，进路公式应该符合为其设定的规则，时序性。

7.如权利要求1所述的一种城市轨道交通车站数据验证方法，其特征在于，所述的该方法支持的数据格式包括CSV、TXT、XML以及EXCEL。

8.如权利要求1所述的一种城市轨道交通车站数据验证方法，其特征在于，进路公式采用数据与图形的双向验证方法，图形采用T型图的表示方式，数据到图形的转化采用命题逻辑解析布尔逻辑运算，并将解析结果以梯型图的方式转化。