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

摘要

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