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

作者：张志华; 侯恩科; 罗晓霞; 赵洲; 邓念东

来源：计算机工程, 2012, (19): 285-289.

• 半巷道体
• 三维空间
• 形式化描述
• 数据模型
• 体元
• 拓扑 semi-tunnel body
• Three Dimensional(3D) space
• formal description
• data model
• volume element
• topology

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

• 出版日期2012
• 单位西安科技大学; 兰州交通大学