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

Prolog-based Train Control Engineering Data Verification Method

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

The correctness of the train control engineering data, as the basic data of the train control system, is the fundamental guarantee for the safe operation of the train operation control system. In view of the characteristics of tight time, heavy tasks and frequent changes in train control engineering data verification, the paper proposed a data verification method based on prolog. Considering the diversity of the train control engineering data tables and the defects of table storage, a data standardized format based on the XML was proposed. In the data verification process, the basic validation rules were extracted through the data specification and domain expert knowledge. In addition, considering the completeness of data verification, the paper used data mining technologies to extract the implicit data rules, and then used the prolog to build verification model according to the data rules. Based on the engineering data of Wuhan-Guangzhou railway line, the verification test was carried out. The results show the high efficiency and accuracy of the verification method.