三维拓扑关系形式化描述及拓扑关系模型研究.pdfVIP

第39卷 第 6期 西 安 建 筑 科 技 大 学 学 报(自然科学版) V01．39 NO．6 2007年12月 J．Xi’an Univ．of Arch． Tech．(Natural Science Edition) Dec．2007 三维拓扑关系形式化描述及拓扑关系模型研究 邓念东，侯恩科，张志华，赵 洲 (西安科技大学地质与环境工程系，陕西 西安 710054) 摘 要：三维空间实体及其间拓扑关系的语义描述和形式化描述是三维GIS空间数据建模的重要理论基础． 以点集拓扑学为基础，基于空间剖分用单纯形和单纯复形对空间实体进行形式化描述，利用代数运算和集合 运算相结合的方法计算出实体内部和边界及相互之间的交集，运用维度扩展法判断交集的维数，提出基于单 纯复形的维度扩展的41模型．为了进一步区分拓扑不同胚的空间实体，给出了基于Euler示性数的41模型． 相比传统的41或91模型，基于维度扩展和分离数的空间拓扑关系描述模型进一步细化了三维空间实体的拓 扑关系． 关键词：拓扑关系；形式化描述；维度扩展；Euler示性数 中图分类号：P208 文献标识码：A 文章编号：1006—7930(2007)06—0873—05 拓扑关系是GIS中空间实体之间最基本也是最重要的关系之一，是进行空间查询、分析和推理的 基础_1]．而为了表达三维空间实体及其之间的拓扑关系，需要研究和发展三维空间实体及其之间拓扑关 系的语义描述和形式化表达方法_2]．对拓扑关系的形式化方法研究较有代表性的成果有 4I模型L3]、9I 模型和RCC模型Ⅲ．针对9I模型，很多学者又作了大量的研究 如 ．拓扑关系是拓扑变换下的不变量， 它的区分标准是拓扑不变量，如Egenhofer等人提出的内容不变量_L3]、Clementini等人提出的维数不变 量… 以及后来一些学者提出的序不变量~12-13]．一些学者通过纳入不同的拓扑不变量 。 对 4I或9I 模型进行了扩展．但是，对三维空间实体的形式化描述和三维拓扑空间拓扑关系的形式化模型方面仍需 要进一步研究． 1 单纯复形的形式化描述 1．1 单纯形的形式化表达 定义1 对于任意是+1个处于一般位置的点72。，72 ，…，7272 ，包含它们的最小凸集叫作一个是一维 单纯形(或是一单纯形)．点72。，72 一，72 叫做这个单纯形的顶点．任意一个 一单纯形由 +1个几何独 立的 一1维单纯形围绕而成． 由定义可知，是一单纯形是一个凸是一面体．对三维欧氏空间而言，0一单纯形为三维空间中的一个 点 ，表示为一个全集信息为5。一{72}．1一单纯形为一线段z，表示为一个全集信息为S ={72 ， ， 722}．2一单纯形为三角形厂，是由三角形的三条边所包围的三角形，表示为一个全集信息为S 一 {721 722 723，72l 722，722 723，723 72l，72l，722，723}，式中，72l，722，723为0一单纯形的顶点；72j 2，722 723，723 1为1一单纯形 的线段；72 72 72。为2一单纯形的三角形，可等价表达为： S 一U S (·) (1) =0 其中S (·)为 一单纯形构成的集合． 3一单纯形为四面体，可以表达全集信息为： 收稿日期：2007-06—04 基金项目：国家自然科学基金资助项目；西安科技大学培育基金项目(200609) 作者简介：邓念东(1976一)，男，湖南衡阳人，讲师，博士研究生，主要从事三维地学模拟及其应用研究． 874 西 安 建 筑 科 技 大 学 学 报(自然科学版) 第39卷 S3=U S (·) (2) 0一单纯形没有方向．但由式(1),--／知，k～单纯形(1≤忌≤3)的全集信息表达并不唯一，这是因为单