宗地时空拓扑关系表达与判别

时空拓扑关系对时空变化语义分析和时空推理具有重要意义。根据地理信息特征,定义了三维欧氏空间里时空体和时空对象,阐述了时空拓扑关系的涵义,包含时间、位置、状态、事件等之间的拓扑关系。利用4I模型描述时空拓扑关系。以宗地缩小、扩充、分割、合并、部分占用、边界调整等几种不同变更类型为例,分析了宗地变更前后可能的时空拓扑关系,归纳出其必须满足的6个一般性推论,给出应用的具体实例。结果表明,基于时空拓扑关系可隐式地判别出2个宗地时空对象之间是否存在父子关系,及可能的变更操作语义类型。     

一种模糊时空描述逻辑F-ALCT(D_(fst))

为了实现语义Web中模糊时空知识的表示与推理,提出了一种支持模糊时空具体域的模糊描述逻辑F-ALCT(D_(fst)).首先,构建了包含模糊时空区域及其时空拓扑谓词的模糊时空具体域D_(fst),给出了两个模糊时空区域之间的拓扑关系模糊度的计算方法.然后,将D_(fst)和时态操作符引入到模糊描述逻辑FuzzyALC中,构建出一种新的模糊描述逻辑F-ALCT(D_(fst)),并定义了其语法、语义和知识库.最后,给出了一个F-ALCT(D_(fst))的知识库实例.F-ALCT(D_(fst))有效地实现了语义Web中模糊时空知识的表示.     

物联网时空语义模型构建

信息感知和处理是物联网最基本的功能,时空特性对其具有特殊意义.时空语义是地理信息系统领域用于描述地理实体的一种方法.将时空语义概念引入到物联网,深入挖掘物联网的时空关联特性,并将时空变化作为时空对象的一个内在特性,构建了物联网时空语义模型.模型通过对象级变化图和属性级变化图对时空对象和时空变化进行概念建模.同时,也通过这两个层次来表示时空对象的时空演变过程.最后,通过实例来说明物联网时空语义模型的建模过程,以验证模型的有效性.     

道路交通场景事件的语义解释方法

针对传统道路交通事件语义解释方法依赖于定量数学建模方法,且底层语义概念与高级事件表达之间存在语义鸿沟的问题,提出了基于动态描述逻辑框架的事件语义定性表达和推理新方法.首先,对静态道路场景信息进行分类标记,构建交通领域本体模型,给出了本体知识库实时修改算法;其次,基于动态描述逻辑的动作公理,提出了描述车辆运动变化的运动模式集,实现了对一定约束条件下车辆机动能力范畴的刻画;最后,将事件语义解释过程抽象简化为目标的实现过程,提出了子目标生成以及实现规则,达到了依据交通事件语义解释交通态势变化过程的目的.实验结果表明:领域本体知识库的定义明确,拥有统一的框架结构,便于理解,且具有通用性;动态描述逻辑良好的表达和推理能力增强了事件语义描述的可靠性,较好地解决了语义鸿沟问题.     

基于UML的时空建模

现实世界中存在大量的时空数据,时空数据的管理对时空建模提出了更高的要求,因此成为当前许多领域的研究热点.UML作为众多领域广泛使用的统一建模语言,基于UML的时空扩展模型也成为许多领域时空建模的重要形式.为此,本文提出一种时空UML模型,该模型能够表示与处理时空对象的多种时空拓扑关系(包括RCC-8空间和Allen-13时态拓扑关系)以及它们之间的复杂语义关系(例如关联、聚合、泛化和依赖);同时给出了时空UML的形式化表示形式和语义解释方法.最后结合地籍变更的实例说明了所提方法的可行性和实用性.     

地理信息系统中时空拓扑关系计算表达

针对TGIS时空对象,建立了基于时段时空数据模型,根据9交模型以及基于时段的时间表示方法,定义了TGIS时空对象时空拓扑关系模型,利用代数方法给出了时空拓扑关系计算的规则.能有效地重建时空数据的历史状态,跟踪时空数据的变化,处理一切基于时间的查询,实现对TGIS时空对象时空拓扑关系的计算.     

基于事件模型的省略恢复研究

研究了目前基于事件模型的汉语省略恢复,重点分析了自然语言的事件层次,认为事件是一个具有一定句法结构、语义功能并集成了相关的语境信息的语言单位.建立了用于表示事件内涵、外延及其二者关系的事件模型和动词语义知识的事件描述,从事件结构的语法到语义层面进行映射,对缺省的语义成分进行判定,构建一个省略恢复模型,并运用在自然语言理解领域中,结果表明,在汉语正式体省略恢复中具有一定优越性.     

移动对象时空拓扑关系模型

时空拓扑关系是移动对象时空特性研究的一个重要内容。针对二维欧氏空间内的平面移动对象,建立基于时间片的时空数据模型。并基于点集理论定义移动对象时空拓扑关系的定性模型,表达为由9交模型描述的时态拓扑关系和空间拓扑关系的复合。同时提出其时空拓扑有效性、可计算性约束及其计算规则,进而给出移动对象动态时空特征的表达方法。该模型提出了一种移动对象时空拓扑关系的表达和计算方法,有效的刻画其动态特征,可以为移动对象数据库及其时空查询提供理论基础     

面向对象的GIS时空数据模型

运用面向对象的分析技术,对GIS中点、线、面基本对象类和复杂对象类的分析与描述,结合时空拓扑的描述,总结出了一个面向对象的GIS时空数据模型,体现了面向对象理论在GIS时空数据建模中的思想.     

面向空间数据主动更新的地理事件模型研究

为提高空间数据更新的自动化水平,提出“地理事件-条件-操作”规则驱动下的空间数据主动更新机制, 主动更新的关键是对地理要素时空变化过程进行完整有效地建模和表达。以地理事件作为描述地理要素动态变化和动态处理的概念实体,在概念模型和谓词表达式的基础上重点研究了面向空间数据主动更新的地理事件模型,设计了地理事件模型的数据库逻辑表达框架和事件的检测与存储流程。居民地和道路建模实例表明该模型可有效描述更新过程中实体的动态时空语义,同时兼具历史回溯功能。最后, 给出主动更新的应用实例, 结果表明该机制可以提高更新的效率。     

论拓扑分子格与经典拓扑空间的本质区别

拓扑分子格理论是点集拓扑学与Ｆｕｚｚｙ拓扑学的共同推广．由于序结构与拓扑结构并存且相互配合,拓扑分子格理论有更广泛的内涵．最近有人试图以经典拓扑空间的方法来处理拓扑分子格理论,本文证明这是不可能的．     

德摩根拓扑子代数和乘积代数

引进和研究德摩根拓扑子代数和乘积代数，它们分别包括点集拓扑中的子空间和乘积空间，并以其作为特例。     

德摩根拓扑代数Ⅰ

本文在完全分配的完全配极格中引进一种拓扑结构,它是A. Tarski的拓扑代数的推广且包括点集柘扑和模糊柘扑作为特例.     

关于某些几何覆盖问题的算法

提出了求覆盖平面点集最小圆的算法与平面点集中最大空圆的算法．其基本思想是，先把点集Ｓ分成若干层，然后逐层求不包围Ｓ中点的最大圆并保留之，最后找半径最大的圆．对于包围点集Ｓ的最小圆问题，本文提出的算法是，先求点集Ｓ的凸包，然后再求包围该凸包顶点的最小圆．     

关于弱有效点集的稳定性的注解

推广了Sawaragi关于点集映射的下半连续性的一个结果，并借助于这一推广研究了多目标最优化中锥扰动下的弱有效点集在上半连续意义下的稳定性．     

动力学相对型可取点集及其构成曲面特异性研究

对于空间运动相对动量矩可取点集,有的认为是一条空间曲线,有的认为是椭球曲面.本文证明只是该集的三个构成曲面才是空间曲面但并无唯一的型态.并证明在一些运动情况下存在着中心及非中心两类曲面间的突变性失稳现象.情况及其论证、计算均甚复杂.椭球面之可能性被完全排除.最后论证了可取点集本身必为空间散在性的有限个弧立点而非任何空间曲面或曲线.     

分形上的拓扑及其性质

鉴于实数集R中的一个s-紧集E在欧氏拓扑下往往是不连通的,利用E本身的欧氏拓扑结构和s-维Hausdorff测度分别给出了E上的使其成为连通紧拓扑空间的2种拓扑的定义,并讨论了2种拓扑的关系及其性质,同时研究了紧拓扑空间上实函数的连续性,为下一步建立分形上函数的微积分理论打下基础.     

基于散乱点集空间划分的凸壳体快速生成算法

针对凸壳体特征的三维散乱点集数据,在空间划分结构的基础上进行K近邻搜索并估算点的法向量.引入点邻域的离差计算来代替曲率计算,提取边界区域特征点集,并比较分析了两种方法的效果.最后对提取后的剩余点集进行基于法向量的分块及拟合,并在可视化工具箱(VTK)中进行布尔运算,实现凸壳体模型的生成及可视化.该方法在双底双壳船舶液舱点集数据中进行了验证.