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

Modeling and Verification of Basic Data of Track Electronic Map

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

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 is the input basis for generating electronic map files,so it is very important to ensure the correctness of the basic data.Aiming at the problems of large basic data,frequent changes and ambiguity in text language description rules,a basic data modeling and verification method for the electronic maps is proposed.The constraint relationship of the basic data is analyzed deeply,combined with relevant specifications and domain expertise,the basic data validation rules is extracted,Prolog language is used to describe the data and validation rules,and build its validation model.the actual line data is taken as an example to prove the efficiency and accuracy of the verification method.