面目标间拓扑关系形式化描述的层次模型

拓扑关系形式化描述和区分的标准是拓扑不变量.在4交差模型的基础上,通过对两面目标边界交集的信息深入分析,提出具有不同分类能力的拓扑不变量,分别是维数、分离数、分量类型和分量排列顺序,并依次建立相应的形式化描述模型.这些模型都是在其分类层次上对面目标间拓扑关系的完备描述,并且它们的区分能力是层次递进的.     

空间线目标间拓扑关系形式化描述模型

针对现有拓扑关系描述模型的不足,首先以点集拓扑学基本理论为基础,定义了空间线目标的端点、内部、边界等概念,在此基础上提出了一种描述空间线目标间拓扑关系完善的形式化模型New 9交模型.根据线目标的物理意义,提出了5条取值规则以排除模型描述的拓扑关系中没有意义的类型,并在此基础上总结出了空间线目标间拓扑关系的最小集,定义了6种线目标间的基本拓扑关系,并且证明了此最小集的互斥性与完备性.     

GIS空间线目标间拓扑关系形式化描述模型

针对现有拓扑关系描述模型的不足,首先以点集拓扑学基本理论为基础,定义了空间线目标的端点、内部、边界等概念,在此基础上提出了一种描述空间线目标间拓扑关系完善的形式化模型——New 9交模型。根据线目标的物理意义,提出了5条取值规则以排除模型描述的拓扑关系中没有意义的类型,并在此基础上总结出了空间线目标间拓扑关系的最小集,定义了6种线目标间的基本拓扑关系,并且证明了此最小集的互斥性与完备性。     

GIS线目标间拓扑关系描述的层次方法

拓扑关系是一种相对较弱的空间目标位置约束,已广泛应用于空间查询、分析和推理等实际应用中。本文主要研究IR2中两个线目标间拓扑关系的描述和区分方法,采用的基本思路是将两个线目标间的关系描述为若干个基本关系的组合。在拓扑关系描述和区分时,提出了具有不同分类能力的拓扑不变量,分别是：维数、分离数、交分量类型和交分量全序,并依次建立了相应的分类方法。分析发现,在IR2中的两个线目标间具有17种潜在的基本关系。其中的11种是描述复合线/线关系的基本构成单元。     

拓扑关系形式化描述的Euler示性数模型

给出了空间目标的一般表达式，并利用代数运算和集合运算相结合的方法计算出空间目标的拓扑边界和内部。针对空间目标点集拓扑运算所得集合的非闭性，提出了一种适合于Euler示性数计算的方法，建立了一种形式化描述拓扑关系的Euler示性数模型。实例证明了所提方法和形式化模型的正确性。     

简单面目标与带孔洞面目标间拓扑关系的层次表达方法

带孔洞的面目标是现实中较为常见的一类复杂目标,它们之间的拓扑关系要比简单面目标复杂得多.本文基于空间划分和目标分解的思想,利用点集(拓扑学)理论中的邻域概念详细分析和描述带孔洞面目标的点集拓扑分量,这种描述方法实质上是简单面目标点集拓扑分量描述的一种自然延展.进而,对简单面目标间拓扑关系的描述和区分方法进行了扩展,层次地分析和区分简单面目标与带孔洞面目标间的拓扑关系.相比于Egenhofer等人提出的代数描述和间接表达方法,本文提出的方法是一种直接描述和层次表达的方法,并且与简单面目标间拓扑关系的表达方法是相统一的.     

带空洞的复杂面域间拓扑关系的形式化描述

拓扑关系的描述和区分是建立在空间目标相互作用过程中目标集合及其分量集合拓扑特性变化基础之上的。对于两个简单面域间的空间拓扑关系描述研究已经很多,而对于带空洞的复杂面域间的空间拓扑关系的描述却相对较少。本文利用Egenhofer等提出的描述带空洞的面域间空间拓扑关系描述框架,在四交差模型的基础上,提出一种能描述带空洞的复杂面域间拓扑关系的扩展模型———D-4 ID模型,并用该模型推导了一个简单面域和一个带空洞的复杂面域间有意义的23种拓扑关系。     

时空拓扑关系定义及时态拓扑关系描述

目的，国际上对于作为时空数据模型概念和形式化基础的时空拓扑关系定义和描述还没有一个明确的阐述。本文在分析ＧＩＳ的时空特性后，给出了一个语义层时空拓扑关系定义。同时，提出并证明了完备、唯一的描述时态拓扑关系的４Ｉ框架，列出了时态拓扑关系描述的谓词集，区别了时态拓扑关系和时间方向关系的内涵和谓词描述形式。     

基于流形拓扑的三维空间实体形式化描述

阐述了三维空间实体语义概念及空间实体之间拓扑性质形式化描述的意义，以组合及点集拓扑理论为基础，给出了基于ｋ－维伪流形的三维空间实体的语义定义。将单纯同调理论用于流形，通过单纯形和单纯复形间的几何构造关系，揭示出三维空间实体的拓扑性质并给出三维空间实体的形式化描述方法。     

线与面目标间拓扑关系的层次表达方法

拓扑关系已广泛应用于空间查询、相似性分析、制图综合、不一致性探测以及空间推理等实际应用中。本文研究IR2中一条线与一个简单面目标拓扑关系的描述和区分方法,采用的基本策略是分解与组合方法。首先,将线/面拓扑关系分为两类:基本关系和复合关系。其中复合关系描述为若干个基本关系的组合,即基本关系的一个集合。然后,提出了基本拓扑关系分类和区分方法,建立了相应的层次概念邻域图。针对复合拓扑关系,从空间集合的角度提出了具有三个层次的拓扑不变量,分别是(a)集合层次上的分离数和维数,(b)元素层次上的交分量类型和(c)综合层次上的交分量序列。分析发现,在IR2中一条线与一个简单面目标间具有16种潜在的基本关系。其中,它们的13种是描述复合线/面关系的基本构成单元。     

移动目标空间拓扑关系的度量描述

针对传统9交模型对移动目标空间拓扑关系表达及量化描述的不足，基于格网化思想，提出了度量参数量化描述的方法。首先对移动目标和参考目标进行格网化，划分为固定大小的格网阵列；然后利用9交模型确定空间目标间拓扑关系的形式化描述；最后引入内部分量、边界分量、外部分量3种度量参数对移动目标空间拓扑关系进行度量化描述。试验证明，该方法计算简单、直观，能更加有效地度量移动目标间的拓扑关系。     

带多个空洞的面对象间拓扑关系的层次组合模型

空间拓扑关系描述是空间关系的主要内容,是与人类的认知概念一致的,在空间数据查询与挖掘等方面有重要应用。很多学者研究了不带空洞的面对象间的拓扑关系,但对于带空洞的面对象间的拓扑关系研究甚少。首先回顾了现有模型,并指出了各模型的优缺点,然后根据简单面对象的8种基本空间拓扑关系,对带多个空洞的面对象的拓扑关系进行了层次组合分析,提出了一种能描述带多个空洞的复杂面对象间的拓扑关系的层次组合模型。该模型能描述带多个空洞的复杂面对象间的所有拓扑关系,而且不因面对象中空洞的编号顺序不同导致模型所描述的结果不同,同时也弥补了4-4ID模型只能描述带一个空洞的面对象的不足。     

GIS空间拓扑关系的四交差简化模型

空间拓扑关系的描述是空间关系的主要内容,是与人类的认知概念一致的,在空间数据的查询与挖掘等方面有重要应用.回顾了现有模型,然后重点分析了其中的四交差模型,提出了四交差简化模型,同时对简化了的四交差模型的合理性进行了详细分析,最后展望了四交差简化模型及其应用中有待进一步研究的相关工作.     

关于线状地理特征空间关系的自然语言描述的形式化表达

目前的地理信息系统都使用定量的方法存储和查询空间信息,不能反映人们的定性思维方式,因此它表达地理空间信息的能力受到限制。在关于空间关系的自然语言描述的调查的基础上,本文定义了一组能反映线状物体空间关系的度量指标,结合反映拓扑关系的定量指标,使用决策树的数据挖掘算法,对调查结果进行分析,形式化了描述空间关系的自然语言词汇,建立了模糊的自然语言表达和图形的几何特征之间的联系。自然语言形式化后得到的规则可用于空间关系的自然语言查询系统。