基于Prolog的列控工程数据验证方法

摘要：

列控工程数据作为列车运行控制系统的基础数据,保证其正确性是列车运行控制系统安全运行的根本保障.针对列控工程数据校核具有时间紧、任务重及变更频繁的特点,提出一种基于Prolog的列控工程数据验证方法.考虑到列控工程数据表格的多样性以及表格存储的缺陷,以XML为基础提出一种数据标准化格式.针对数据验证过程,通过铁总数据规范和领域专家知识,提取出数据包含的基础验证规则.在此基础上,考虑到数据验证的完备性,利用数据挖掘的方式,提取数据的隐含规则,再利用Prolog对各类数据规则搭建其验证模型.以武汉一广州线的工程数据作为测试数据,进行验证测试,结果表明该验证方法具有高效性和准确性.

关键词：Prolog、列控数据、规则提取、验证模型

所属期刊栏目：41

分类号：U284(铁路通信、信号)

资助基金：国家自然科学基金61473029;国家重点基础研究发展计划2014CB340703;中国铁路总公司科技研究开发计划16X001-A;北京市自然科学基金L161008;轨道交通控制与安全国家重点实验室自主研究课题RCS2016ZT010

在线出版日期：2019-08-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：91-99