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

作者：谭冠华; 徐田华; 王海峰; 张路; 吕继东

来源：铁道学报, 2019, 41(06): 91-99.

• Prolog
• 列控数据
• 规则提取
• 验证模型

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

• 单位
  北京交通大学; 轨道交通控制与安全国家重点实验室