三维拓扑空间关系的形式化描述及拓扑空间关系最小集

阐明了研究空间关系理论的必要性，分析了拓扑空间关系描述方法的研究进展及存在问题，以点集拓扑理论为基础，运用维数扩展的方法，提出了三维拓扑空间关系完善和形式化的描述框架，对三维空间目标点、线、面、体之间的１０类拓扑空间关系，给出了图例表示及语义描述．在此基础上，对三维空间目标中存在的大量拓扑空间关系进行了分类，定义了５种基本的拓扑空间关系，并给出了三维拓扑空间关系最小集的互斥性与完备性证明     

基于时空拓扑分析的地籍时态查询

通过分析地籍变更的时空拓扑特性,得出了具有父子关系宗地间存在空间上相交和时间上相接两个拓扑约束条件,籍此拓扑约束条件设计了地籍时态查询算法。并在基于地理对象的基态修正时空数据模型的基础上,设计了历史地籍数据库、现状地籍数据库和临时地籍数据库,辅以变粒度区段时态索引对该时态查询算法进行了实现研究。     

1NF模糊时态数据库数据模型

目的 建立INF(一范式)模糊时态数据库数据模型,以便能有效地表达复杂的模糊时态信息.方法 结合模糊时态序列和模糊集理论对Allen定义的时态区间进行模糊性扩展,建立模糊时态关系模型.基于该模型,对传统数据库及时态数据库的概念模型进行模糊时态约束扩展和数据的模糊化.提出模糊/时态关系代数映射及运算模型.结果 从理论上阐述了模糊时态数据模型,引入了模糊映射,把事件的模糊性投影到不确定的时态信息上.结论 该模型的建立在一定程度上解决了时态数据库不能处理模糊时态信息,丰富了时态数据库查询语言,从而增强了时态数据库模拟现实世界的能力.     

十九大报告英译本中现在完成时对意识形态建构的影响

基于韩礼德的功能语法理论及王力对汉语时态的分类,以现在完成时为例,通过数据统计,对十九大报告中英两版的时态进行了对比研究,探究政论文中时态与意识形态的关系。研究表明:在翻译过程中,时态与意识形态关系紧密,意识形态影响时态选择,而对时态的选择同样可以有效服务于译文意识形态的构建。     

时态因果诊断模型TCDM及其应用(Ⅱ)——时态信息的描述与处理

根据Ａｌｅｎ的时间世界理论,提出了具有因果关系的事件间的时态关系类型、时延区间、时态范围及可接受性等概念,导出了可接受时态范围之间的各种约束及相互关系。结合ＴＣＤＭ因果诊断模型,分别就时态信息描述、时态信息传播的一般过程、时态一致性检验、时态信息传播的算子等进行了研讨,并给出相应的方法及性质。     

时态因果诊断模型TCDM及其应用（II）——时态信息的描述与处理

根据Ａｌｌｅｎ的时间世界理论,提出了具有因果关系的事件间的时态关系类型,时延区间,时态范围及不可接受性等概念,导出了可接受时态范围之间的各种约束及相互关系,结合ＴＣＤＭ因果诊断模型,分别就时态信息描述,时态信息传播的一般过程,时态一致性检验,时态信息传播的算子等进行了研讨,并给出相应的方法及性质。     

桥式起重机主梁腹板结构拓扑优化设计

依据拓扑优化的理论，用先进的拓扑优化方法对桥式起重机的主梁腹板结构形状进行优化，得到了腹板的最优空间拓扑结构．该方法最大限度地布置了腹板材料的布局，得到了良好的优化结果．     

线目标空间冲突自动检测方法研究

基于1：5万空间数据更新质量检查的实际应用需求，分析了空间冲突的自动检测问题；提出了基于平面扫描算法的空间冲突检测方法．该方法在平面扫描计算的同时利用四交模型计算线段间的拓扑关系；并根据线段间的拓扑关系推理线目标间详细的拓扑关系，将计算出的空间关系与规则比较进行空间冲突判断．该方法在国家1：5万空间数据库建库质量检查中应用，减轻了作业员的劳动强度，提高了数据质量检查的效率．     

基于历史关系模型的时态过滤运算

提出一种新的时态过滤运算，阐述了基于历史关系模型的时态过滤操作，并结合实例予以说明。     

模糊商拓扑的再研究

商拓扑是拓扑学中一个非常重要的内容．本文在ＣｈｒｉｓｔｏｐｈＦＴ和ＷｏｎｇＣＫ所作工作的基础之上，进一步将经典拓扑学中的系统理论推广应用到模糊拓扑空间中，丰富和发展了模糊拓扑的这一理论体系．     

定性空间关系表示的空间球模型

介绍了利用部分学理论和形态学理论定义空间球的方法。针对Brandon Bennettd的RBG理论．给出了空间球的拓展和收缩的形式化定义,提出了一种定性空间关系表示的空间球模型。给出了利用空间球模型定性表示拓扑关系、方向关系和距离关系并对拓扑关系进行细化的方法。智能体对空间关系的确定是通过空间球实现的,该模型为智能体在约束空间环境中的行动推理提供了一个新的表示方法。     

时态数据库初等关键字范式问题的研究

为了探索能避免存储异常(插入,删除,修改异常,冗余),保证数据的完整性和一致性的数据库模式,依据具有多时间粒度的时态函数依赖约束的理论,采用时态数据库规范化方法,提出了时态初等关键字范式的概念,并分析了时态初等关键字范式与时态三范式和时态BC范式之间存在的联系,得到了用TEKNF分解来解决如果把TBCNF作为最终目标,很难实现保持函数依赖性,若把T3NF作为最终目标,又很难实现想要得到的规范化要求的问题,是时态数据库进一步规范化的基础．     

路由器级拓扑发现中的别名过滤算法

通过别名解析可以在IP级拓扑的基础上获得路由器级拓扑．为了提高路由器级拓扑发现的效率,首先根据网络的结构特征归纳了IP级拓扑中不存在别名关系的条件,提出了处理别名关系的3条定理．其次在此基础上提出了别名过滤的思想并设计了别名过滤算法,通过哈希技术在IP级拓扑中排除不可能存在别名的情况,找出IP级拓扑中所有可能具有别名关系的情况．最后用CAIDA项目中的中日韩3国因特网IP级拓扑数据对别名过滤算法进行了验证分析,结果表明别名过滤算法能够有效减少别名解析的数量,提高路由器级拓扑发现的效率．     

相对δ-正规空间的一些性质

利用相对拓扑可以研究拓扑空间的一些性质，在拓扑学家A．V．Arhungel'skii等人对于相对拓扑的研究基础上，定义了与δ-正规空间有关的一些相对拓扑性质，并作了较为深入的研究，得到了关于不同相对δ-正规性质之间的一些关系以及相对δ-正则和相对δ-正规性质的可数可和性。最后讨论了相对δ-正则以及相对δ-正规性在连续映射下的一些性质。     

全序时态模式中的多值依赖问题

依据时态函数依赖、时态模式、多值依赖的理论,对全序时态模式进行了讨论,给出了全序时态模式、全序时态模块的定义及其性质.最后,给出全序时态模式4NF的定义及其分解算法,并进行证明.     

定向指标集上的停顿及σ—域

通过引入拟线性定向空间的概念，并在其上定义序拓扑，进而研究定向指标随机过程一般理论中的一些基本问题；通过引入序拓扑，回避坐标表示，并进而对停集的状态值即分离线进行刻划，导出了停集及相关σ-域的性质，讨论了停点的有关问题．这对于研究多指标随机过程一般理论特别是对跳过程有指导作用．     

基于粗集面-线之间的拓扑关系研究

为解决不确定性面实体与确定线实体之间的拓扑关系,引用粗集理论和九交模型研究它们之间的拓扑关系,分19种情况与不考虑面实体的不确定性情况下进行对比分析,并用实例进行验证。结果表明,由于考虑了空间数据面实体的不确定性,所得到的拓扑关系更加全面,能充分考虑客观实际情况的变化。本研究成果是对现有拓扑关系理论的完善。     

现代英语动词时态变异

在现代英语中，英语语法结构是比较稳定的，但它随着历史的发展，也会有一些变化。如动词时态不断出现新的含义，构成新的用法，表达多种细微的涵义，带有感情色彩和语气上的变化。因此，有些时态的用法和基本意义之间的关系明显可见，但有些却相差甚远，基本看不出其间的关系了。     

GIS空间拓扑关系形式化描述模型分析

空间拓扑关系形式化描述模型是GIS空间关系研究的重要内容之一,在GIS数据建模、空间查询、空间分析、空间推理等过程中起着重要作用．文中主要给出了空间拓扑关系形式化描述方法的分类,阐述了空间拓扑关系的形式化描述模型与表达方法,分析比较了各自的优缺点,并探讨了目前存在的问题和今后的发展方向．     

基于概率的不确定时态信息的表示模型

时态信息表示和推理是时态数据库的研究重点之一,现实生活中很多时态信息是不确定的,现有的时态数据库模型在处理不确定时态信息方面仍存在较大困难.本文提出一种用概率的方法表示不确定时态信息的模型,用于描述各种具有确定或不确定时态信息的事件,定义了各类时态对象(如时间点、时间区间)以及它们之间的关系,并给出了不确定时态推理的例子.