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

摘要：

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

关键词：半巷道体、三维空间、形式化描述、数据模型、体元、拓扑

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目40972204;陕西省教育厅科研专项基金资助项目2010JK682,11JK0732

在线出版日期：2012-12-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：285-289