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

• 作者: 吕继东 张路 徐田华 王海峰 谭冠华
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: Prolog 列控数据 规则提取 验证模型
• 年，卷（期）: 2019,（6）
• 所属期刊栏目: 铁道通信信号、信息化
• 页码范围: 91-99
• 页数: 9页
• 分类号: U284
• 字数: 9151字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2019.06.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕继东	北京交通大学轨道交通运行控制系统国家工程研究中心	25	310	9.0	17.0
2	王海峰	北京交通大学轨道交通运行控制系统国家工程研究中心	31	313	10.0	17.0
3	徐田华	北京交通大学轨道交通控制与安全国家重点实验室	21	347	11.0	18.0
4	张路	北京交通大学轨道交通运行控制系统国家工程研究中心	6	30	2.0	5.0
5	谭冠华	北京交通大学轨道交通控制与安全国家重点实验室	1	0	0.0	0.0