轨道电子地图基础数据建模与验证

Modeling and Verification of Basic Data of track Electronic Map

摘要:

轨道电子地图数据是实现列车卫星定位的基础数据,确保其正确性是实现列车精确定位的前提。前期设计的电子地图基础数据是生成电子地图文件的基础,因此确保基础数据的正确性至关重要。针对基础数据内容多、变更频繁的现状和基于文本语言描述规则存在二义性等问题,本文提出一种电子地图基础数据建模与验证方法。深度挖掘基础数据间的约束关系,结合相关规范和领域专业知识,提取基础数据验证规则,利用Prolog对各类数据规则搭建其验证模型。最后以实际线路数据为例,证明该验证方法的高效性和准确性。

Abstract:

Track electronic map data is the basic data for realizing train satellite positioning, and ensuring its correctness is the premise of realizing accurate train positioning. The electronic map basic data designed in the early stage is the input basis for track surveying and generating electronic map files, so it is very important to ensure the correctness of the basic data. Aiming at the status quo of basic data with many contents and frequent changes, this paper proposes a basic data modeling and verification method for electronic maps. In-depth analysis of basic data, combined with relevant specifications and domain expertise, extract basic data validation rules, describe data and validation rules in Prolog language, and build its validation model. Finally, the actual line data is taken as an example to prove the efficiency and accuracy of the verification method.