三维巷道网络数据模型的形式化描述

Formal Description of 3D Tunnel Network Data Model

以半巷道体元为研究对象,分析半巷道体元模型的构建元素。运用拓扑学的相关理论,对该体元模型的所有构模元素进行定义,给出简单巷道体、复杂巷道体、复合巷道体模型的形式化描述。分析结果表明,该形式化方法使半巷道体元模型的程序设计更容易,并且简化了三维巷道网络模型的构建,便于对其进行空间分析和查询。

The semi-tunnel is component which constructs Three Dimensional（3D） tunnel model as research object,by analyzing the construction elements of semi-tunnel,all modeling elements of semi-tunnel are strictly defined and made formal description.According to the formal description of semi-tunnel,this paper gives the description of simple tunnel,complex tunnel and composite tunnel respectively.Analysis result shows that this formal method simplifies not only the program design of 3D tunnel network model,but also conveniences the construction of 3D tunnel network model,and facilitates the spatial analysis and query.