| 基于Prolog的列控工程数据验证方法 |
| |
| 引用本文： | 谭冠华,徐田华,王海峰,张路,吕继东. 基于Prolog的列控工程数据验证方法[J]. 铁道学报, 2019, 0(6): 91-99 |
| |
| 作者姓名： | 谭冠华 徐田华 王海峰 张路 吕继东 |
| |
| 作者单位： | 北京交通大学轨道交通控制与安全国家重点实验室;北京交通大学轨道交通运行控制系统国家工程研究中心 |
| |
| 基金项目： | 国家自然科学基金(61473029);国家重点基础研究发展计划(2014CB340703);中国铁路总公司科技研究开发计划(16X001-A);北京市自然科学基金(L161008);轨道交通控制与安全国家重点实验室自主研究课题(RCS2016ZT010) |
| |
| 摘 要： | 列控工程数据作为列车运行控制系统的基础数据,保证其正确性是列车运行控制系统安全运行的根本保障。针对列控工程数据校核具有时间紧、任务重及变更频繁的特点,提出一种基于Prolog的列控工程数据验证方法。考虑到列控工程数据表格的多样性以及表格存储的缺陷,以XML为基础提出一种数据标准化格式。针对数据验证过程,通过铁总数据规范和领域专家知识,提取出数据包含的基础验证规则。在此基础上,考虑到数据验证的完备性,利用数据挖掘的方式,提取数据的隐含规则,再利用Prolog对各类数据规则搭建其验证模型。以武汉—广州线的工程数据作为测试数据,进行验证测试,结果表明该验证方法具有高效性和准确性。
|
| 关 键 词： | PROLOG 列控数据 规则提取 验证模型 |
Prolog-based Train Control Engineering Data Verification Method |
| |
| Affiliation: | (State Key Laboratory of Rail Traffic Control and Safety,Beijing Jiaotong University,Beijing 100044,China;National Engineering Research Centre of Rail Transportation Operation and Control System,Beijing Jiaotong University,Beijing 100044,China) |
| |
| Abstract: | TAN Guanhua;XU Tianhua;WANG Haifeng;ZHANG Lu;L Jidong(State Key Laboratory of Rail Traffic Control and Safety,Beijing Jiaotong University,Beijing 100044,China;National Engineering Research Centre of Rail Transportation Operation and Control System,Beijing Jiaotong University,Beijing 100044,China) |
| |
| Keywords: | Prolog train control data rule extraction verification model |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
