一种城市轨道交通车站数据验证方法技术

本发明专利技术公开了一种城市轨道交通车站数据验证方法，包括以下步骤：（1）根据车站数据模型设计原则，采用数据建模工具生成车站数据模型。（2）根据车站数据模型的特点，采用脚本语言编写车站数据模型相应的规则库，将车站数据模型加载进车站数据模型验证工具。（3）对不同的模型，选择相应的规则，对车站数据进行验证，生成验证报告。（4）根据验证报告，对数据进行迭代验证，直至数据完全正确。整个方法对数据从语法到语义更加严格高效的验证，有效地保证了数据的有效性，提高了工作效率，加快了工作进展，从而保证了系统数据层面的可用性、安全性和可靠性。

【技术实现步骤摘要】
【专利摘要】本专利技术公开了，包括以下步骤：（1）根据车站数据模型设计原则，采用数据建模工具生成车站数据模型。（2）根据车站数据模型的特点，采用脚本语言编写车站数据模型相应的规则库，将车站数据模型加载进车站数据模型验证工具。（3）对不同的模型，选择相应的规则，对车站数据进行验证，生成验证报告。（4）根据验证报告，对数据进行迭代验证，直至数据完全正确。整个方法对数据从语法到语义更加严格高效的验证，有效地保证了数据的有效性，提高了工作效率，加快了工作进展，从而保证了系统数据层面的可用性、安全性和可靠性。【专利说明】
本专利技术属于城市轨道交通领域，主要涉及。
技术介绍
列车自动监控系统以及联锁系统需要使用大量的车站静态数据，随着技术的发展，所需数据量也在不断增大，自动化技术也已经应用到车站数据生成过程中，但是数据量的增加以及线路的不一致也同样增加了数据存在错误的概率。特别的，车站数据内的公式、进路联锁表有着数据量大、逻辑复杂的特点，人工排查错误变得越发困难，因此急需一种方法来验证车站数据的完整性和有效性。
技术实现思路
专利技术目的:本专利技术的目的是针对现有技术的不足而提供，从而能最大程度地暴露车站数据内坏死的数据，达到提高系统调试速度，缩短工程周期，从数据层面提高系统的可用性、安全性和可靠性。技术方案:为了实现专利技术的目的，本专利技术公开了，包括以下步骤:(I)采用数据建模工具生成车站数据模型库，车站数据模型库包括有向图模型、拓扑结构模型、设备专有属性、进路联锁表以及进路公式；(2)根据步骤(I)中生成的车站数据模型库，采用脚本语言编写车站数据模型相应的规则库，将车站数据模型库加载进车站数据模型验证工具；(3)对步骤(I)生成的车站数据模型库中不同的模型，选择步骤(2)生成的规则库中相应的规则，对车站数据模型进行验证，生成验证报告；(4)根据验证报告，对数据进行迭代验证，直至数据完全正确。其中，步骤(I)中有向图模型的结构为:起点公里标、终点公里标、始端点数据、终端点数据、区段数据、信号机数据；拓扑结构模型以信号机、道岔和区段作为网络内的节点，用线对网络内各节点实现互联；进路联锁表模型的结构包括:类型、始终端信号机、敌对信号机、定反位道岔、进路区段、侵限区段、接近区段、保护区段；进路公式以进路联锁表模型为基础，将进路联锁表内相关设备监视的点以逻辑运算符连接。所述的车站数据包括列车自动监控系统以及联锁系统的车站数据。所述车站数据模型支持的数据类型包括，整型、布尔型以及字符串类型。所述步骤(2)中的采用脚本语言编写车站数据模型相应的规则库包括，常用语法规则、有向图模型规则、拓扑结构模型规则、进路联锁表规则以及进路公式规贝U。有向图模型规则包括:终点公里标大于始端公里标、始终端数据类型必须为道岔，道岔走向必须为其内在类型之一，区段数据排列按照固定方式出现，区段数据内终端公里标大于始端公里标，信号机数据内排列按照固定方式出现，设备类型必须与拓扑模型保持一致；拓扑结构模型规则包括:节点类型包括信号机、区段、道岔，每个节点的上下连接均存在，对于道岔设备侧连接必须存在，平行线上的节点的互联只能是道岔-道岔；进路联锁表检查规则依赖于制作进路联锁表传统的规则；进路公式规则包括:两个相邻设备监视的点不能同时出现AND和0R，进路公式内的设备集合必须隶属于对应的进路联锁表内的进路内的设备集合，进路公式应该符合为其设定的规则，时序性等。所述的该方法支持的数据格式包括CSV,TXT,XML以及EXCEL。进路公式采用数据与图形的双向验证方法，图形采用T型图的表示方式，数据到图形的转化采用命题逻辑解析布尔逻辑运算，并将解析结果以梯型图的方式转化。有益效果:本专利技术与现有技术相比，采用基于脚本语言规则库的技术、制定的不同数据模型以及针对不同模型采用的不同规则，使得整个方法对数据从语法到语义更加严格高效的验证，有效地保证了数据的有效性，提高了工作效率，加快了工作进展，从而保证了系统数据层面的可用性、安全性和可靠性。【专利附图】【附图说明】图1为本专利技术的验证方法对车站数据执行验证的应用流程图。【具体实施方式】下面结合附图对本专利技术作更进一步的说明。如图1所示，整个验证方法可以分为三层:数据层、验证层以及结果层。在数据层，以信号平面布置图为基础，用数据建模工具生成车站数据，包括有向图模型、拓扑结构模型、进路联锁表和进路公式等；在验证层，将基于脚本语言编写车站数据模型相应的规则库和数据建模工具生成的车站数据导入到数据验证工具中，执行验证；在结果层，生成语法检查报告、有效性报告以及图形验证报告，这时会将验证报告再次反馈给数据建模工具，修改车站数据模型；重复执行以上步骤，直到数据验证报告的数据无误。以上的数据模型包.括有向图模型、拓扑结构模型、进路联锁表以及进路公式。其中，有向图模型是将信号平面布置图结合有向图相关原理生成的一种数据模型。有向图模型的结构为:起点公里标、终点公里标、始端点数据(名称、类型、道岔走向等)、终端点数据(名称、类型、道岔走向等)、区段数据((名称、起点公里标、终点公里标)、(名称、起点公里标、终点公里标)……)、信号机数据((名称、所在公里标)、(名称、所在公里标)……)，其规则描述主要包括:终点公里标大于始端公里标、始终端类型必须为道岔，道岔走向必须为其内在类型之一，区段数据排列按照固定方式出现，区段数据内终端公里标大于始端公里标，信号机数据内排列按照固定方式出现，设备类型必须与拓扑模型保持一致等，用脚本语言将上述规则形式化。拓扑结构模型是将信号平面布置图网络化，以信号机、道岔和区段作为网络内的节点，用线对网络内各节点实现互联。拓扑结构模型通常情况下并非一个独立的模型，而是和设备数据作为一个整体存在，但这并不影响对拓扑结构模型的验证。拓扑结构模型的规则描述如下:将节点类型(信号机、区段、道岔)分别用A、B、C表示，每个节点的上下连接均存在，线路终点以DESTINATION代替，对于道岔设备侧连接必须存在，平行线上的节点的互联只能是CC，不能出现CA (AC) /CB (BC) /AB (BA) /AA/BB。用脚本语言将上述规则形式化。进路联锁表模型的结构包括:类型、始终端信号机、敌对信号机、定反位道岔、进路区段、侵限区段、接近区段、保护区段等。进路联锁表检查规则依赖于传统的制作进路联锁表规则。进路公式以进路联锁表模型为基础，将进路联锁表内相关设备监视的点以逻辑运算符连接。规则描述如下:两个相邻设备监视的点不能同时出现AND和0R，进路公式内的设备集合必须隶属于对应的进路联锁表内的进路内的设备集合，进路公式应该符合为其设定的规则，时序性等。用脚本语言将规则形式化。采用基于脚本语言规则库的技术使得整个方法对数据从语法到语义更加严格高效的验证，有效地保证了数据的有效性，提高了工作效率；统一制定的不同数据模型以及针对不同模型采用的不同规则，对于不同车站之间的数据则无需做出太大的改动即可满足验证要求，提高了工作效率；整个验证方法保证了数据层面的可用性、安全性和可靠性。【权利要求】1.，其特征在于，包括以下步骤: (1)采用数据建模工具生成车站数据模型库，车站数据模型库包括有向图模型、拓扑结构模型、设备专有属性、进路联锁表以及本文档来自技高网...

【技术保护点】
一种城市轨道交通车站数据验证方法，其特征在于，包括以下步骤：（1）采用数据建模工具生成车站数据模型库，车站数据模型库包括有向图模型、拓扑结构模型、设备专有属性、进路联锁表以及进路公式；（2）根据步骤（1）中生成的车站数据模型库，采用脚本语言编写车站数据模型相应的规则库，将车站数据模型库加载进车站数据模型验证工具；（3）对步骤（1）生成的车站数据模型库中不同的模型，选择步骤（2）生成的规则库中相应的规则，对车站数据模型进行验证，生成验证报告；（4）根据验证报告，对数据进行迭代验证，直至数据完全正确。

【技术特征摘要】

【专利技术属性】
技术研发人员：邵泳哲，梁奕，高昕，李森林，邹丽萍，
申请(专利权)人：国电南瑞科技股份有限公司，
类型：发明
国别省市：