拓扑关系渐变的定性推理

研究了拓扑关系的渐变问题,扩展了基于拓扑关系静态描述模型９元交换型基础之上的拓扑关系渐变描述模型－－拓扑关系图,使之能够适应面／点、线／点目标的描述,从而得到拓扑关系渐变的形式化描述模型,采用基于过程的推理和面向对象的方法,提出了基于过程的拓扑关系渐变定性一推理模型的面向对象建模方法。     

拓扑关系渐变的定性推理

研究了拓扑关系的渐变问题,扩展了基于拓扑关系静态描述模型９ 元交模型基础之上的拓扑关系渐变描述模型——拓扑关系图,使之能够适应面／点、线／点目标的描述,从而得到拓扑关系渐变的形式化描述模型．采用基于过程的推理和面向对象的方法,提出了基于过程的拓扑关系渐变定性推理模型的面向对象建模方法     

偏序集乘积的拓扑与拓扑乘积

作者讨论了偏序集乘积的下拓扑、Scott拓扑及Lawson拓扑与它们各自对应的拓扑集积之间的关系,给出了乘积的下拓扑空间等于下拓扑乘积空间和乘积的Lawson拓扑空间等于Lawson拓扑乘积空间的充分必要条件,修正了专著《Continuous Lattices and Domains》的若干不正确的结论.     

近似拓扑的并、交、补性质

引入拓扑的并、交、补拓扑,从而定义了近似拓扑的三种并、交、补结构,得出了对于近似拓扑的第三种并、交、补,近似拓扑具有封闭性和构成完备格,且近似算子是拓扑格到近似拓扑格的同态满射的重要结论.还研究了并、交、补拓扑在近似算子作用后与近似拓扑的并、交、补的重要关系.     

一维自映射中拓扑混合与拓扑正合的关系

讨论了一维自映射中拓扑混合与拓扑正合的关系,得到了拓扑混合映射成为拓扑正合的几个条件.     

简析拓扑遍历映射

介绍了拓扑遍历映射等相关概念,讨论了f拓扑混合与f链混合、f拓扑双重遍历的关系,得到了f拓扑混合和f链混合的等价条件,给出了f拓扑双重遍历等价命题及证明。     

关于拓扑关系复合表适用性的实验与分析

实现了一个拓扑推理算法,并以基本不同平面图Ｋ５为实验对象,研究了拓扑关系复合表的适用性问题,实验结果表明,拓扑关系复合表只适用于同维实体间的拓扑推理。     

广义近似空间与拓扑空间

研究了有限论域上的广义近似空间与拓扑空间之间的关系。首先,给出了粗糙隶属函数,拓扑隶属函数的概念。其次,借助粗糙隶属函数刻画了的上下近似算子,借助拓扑隶属函数刻画了的内部闭包算子。再次,利用隶属函数分别从拓扑,二元关系出发构造了关系,拓扑,最终证得拓扑空间与关于自反传递关系的近似空间一一对应。     

半拓扑线性空间中的半拓扑线性有界性

主要研究半拓扑线性空间中半拓扑线性有界与完全半拓扑线性有界的关系,得到了半拓扑线性子空间中半拓扑线性有界的充分必要条件,以及半拓扑线性空间中半拓扑线性有界的等价条件.     

广义拓扑的比较

类比拓扑的比较引入广义拓扑的粗细概念。通过广义拓扑粗细比较,分别获得了广义拓扑粗细与广义邻域系、广义闭集族、广义内部、广义导集和广义闭包的包含关系之间的一系列结果。使得一般拓扑中拓扑比较的相关理论得到推广与扩充。     

B(X)上的几种拓扑

给出了8(x)上的强算子拓扑(SOT)，弱算子拓扑(WOT)以及δ-强算子拓扑，δ-弱算子拓扑的定义，并讨论它们的性质及几种拓扑之间的强弱关系，最后给出了B(X)上的连续线性泛函的表示形式．     

λ——截拓扑与弱诱导空间

讨论λ－截拓扑的基本性质，建立弱诱导拓扑与λ－截拓扑的关系。     

连续Domain的特征与浓度

引入了连续Domain的局部基和稠密子集的概念，在此基础上定义了连续Domain的特征及浓度，给出了局部基的刻画，并讨论了连续Domain的特征、浓度与连续Domain带上Scott拓扑或Lawson拓扑的拓扑空间的特征、浓度之间的关系。证明了连续Domain的特征、浓度分别与它带上Scott拓扑时的拓扑空间的特征、浓度相等，它们分别小于连续Domain带上Lawson拓扑时的拓扑空间的特征、浓度。     

三维空间拓扑关系研究

论文研究了三维空间拓扑关系和拓扑推理,详细地研究三维空间对象之间拓扑关系成立的条件与结论,得到了三维空间对象之间拓扑关系的准则与描述判定的框架,利用这些准则和框架,可以全面地得到三维空间对象之间可能存在的所有拓扑关系。     

权与模糊化拓扑

通过引入权的概念,说明了模糊化拓扑可以通过权来刻画.给出了如何具体应用权来描述模糊化拓扑.首先,引入模糊化拓扑的定义,并在此基础上讨论了权和反模糊子群之间的一一对应关系.     

拓扑链回归

在一般拓扑空间上引入一种新的链回归概念－－拓扑链回归，给出它与动力系统中其它回归概念的关系，特别是与Ｃｏｎｌｅｙ链回归［１］［２］的关系。     

未确知拓扑群

给出了未确知拓扑群的定义及有关定理.在此基础上讨论了未确知拓扑群与Fuzzy拓扑群、一般拓扑群的关系,并且研究了未确知拓扑群的子群.     

L—Fuzzy化拓扑

本给出了Ｌ－Ｆｕｚｚｙ化拓扑的概念，并讨论了它与一般拓扑之间的关系，利用集合套理论讨论Ｌ－Ｆｕｚｚｙ化拓扑的分解和构造。     

循环群偏序集上的拓扑

利用循环群的特殊代数结构,引入了Scott子群拓扑σP(G),讨论了循环群偏序集上3种不同拓扑之间的关系,即循环群拓扑O(G)、Scott拓扑σ(G)和Scott子群拓扑σP(G),并得出若(G,O(G))是T0的紧空间且sub(G)分离G中的点,则CO(G)=σ(G)=σP(G).     

关于拓扑BCI-代数

目的 为研究拓扑BCI-代数的拓扑子代数、拓扑理想和拓扑同态的概念。试图在代数结构中嵌入拓扑结构。方法 将拓扑方法和代数方法结合起来，在代数结构中引入了拓扑连续概念。结果 得到了拓扑BCI-代数的拓扑子代数、拓扑理想和拓扑同态的一些相关性质。结论 通过理论分析表明在BCI-代数中嵌入拓扑结构是可行的也是有意义的。