一种网络空间测绘要素的形式化建模方法

摘要

本发明涉及网络空间测绘领域。针对现有技术存在的问题，本发明提供一种网络空间测绘要素的形式化建模方法。对网络空间测绘要素进行形式化描述：本发明对网络空间测绘要素进行形式化建模，并对该形式化建模流程进行实现，测绘方式、测绘处理、测绘应用、测绘评估和测绘尺度等提供统一的数据模型。本发明中给予每个要素唯一一个ID号，通过有限三元组符号集A对网络空间测绘要素进行形式化描述；然后进行要素组成Element ID、要素属性Element Pro、形式化描述、要素关系Element Rel形式化描述，基于每个要素ID以及对应的有限三元符号集A，形成网络空间测绘要素模型，为网络空间测绘提供统一的数据模型。