基于模糊化邻域系统的模糊粗糙集模型

基于邻域系统的粗糙集模型是Pawlak粗糙集模型的重要推广形式.讨论基于模糊化邻域系统的模糊粗糙集模型，给出模型中模糊粗糙近似算子的构造方法并讨论算子的基本性质.另外，当模糊化邻域系统串行、自反、对称、一元和传递时刻画了相关近似算子的代数结构.     

广义邻域系与广义内部算子

在一般拓扑学中,邻域系和内部算子都可以刻画拓扑.通过弱化邻域系公理和内部算子公理,分别引入了广义邻域系和广义内部算子的概念,并详细研究了二者之间的关系.结果表明,广义邻域系和广义内部算子之间存在着较好的对应关系.     

基于Galois联络的粗糙集公理化方法

Galois联络与粗糙集是两个不同的研究分支,本文基于Galois联络,给出经典粗糙集的公理化刻画.提出了两组与Galois联络密切相关的公理GC与GC',用这两组公理刻画了经典粗糙近似算子.证明了满足公理GC或GC'的论域幂集上的一元算子总对应于某一经典二元关系,使得由二元关系诱导的粗糙近似算子就是该一元算子.     

直觉模糊信息系统下基于优势关系的邻域粗糙集

粗糙集是处理不确定性信息的有效数学工具,然而,在复杂的环境下,经典粗糙集并不能满足某些特殊的现实需要,因此,为粗糙集引入拓展要素,是增强模型可靠性的重要手段。文章在直觉模糊信息系统下,基于优势关系研究邻域粗糙集模型。首先将直觉模糊数与邻域粗糙集近似算子结合,刻画直觉模糊邻域粗糙近似算子,建立直觉模糊邻域粗糙集模型。然后,引入了优势关系,构建优势邻域类,进而构建基于优势关系下的直觉模糊邻域粗糙集模型,并研究了该模型的上下近似、优势邻域类、集合的基本运算等性质,给出了模型不精确性度量指标。最后通过实例验证了所提出模型的有效性。     

第六型覆盖粒计算模型

通过覆盖粗糙集上的邻域关系定义了一种新的Zoom-in算子,并讨论了它的性质及其与已有的Zoom-in算子之间的关系.讨论了新定义的Zoom-in算子与Zoom-out算子之间的不同复合而产生的不同的近似算子的性质.进一步建立了这些算子与拓扑空间及Galois联络之间的联系.特别地,证明了2个算子在论域上复合得到的近似算子,恰是基于覆盖的第六型粗糙近似算子.     

Alexandrov空间的公理体系

为了研究Alexandrov空间的内部公理体系和序方面的特征,利用点集拓扑学和Locale理论中的已有结论,将各结构限制到Alexandrov空间的框架中,得到Alexandrov空间的等价刻画。研究结果表明Alexandrov空间在范畴意义下同构于Alexandrov邻域系统、Alexandrov闭包算子、Alexandrov内部算子、Alexandrov导算子等,T_0的Alexandrov空间同构于偏序集、对偶等价于完全生成格。Alexandrov空间可以用邻域系统、闭包算子、内部算子、导算子,特殊化序和无点化序进行等价刻画。     

广义近似空间与拓扑空间

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

邻域粗糙集的矩阵表示与公理化

文章提出覆盖的表示矩阵,通过一个方布尔矩阵,即覆盖表示矩阵与其转置的布尔乘积,简洁地表示覆盖粗糙集中常用的覆盖近似算子;通过定义类似布尔乘积的布尔矩阵间的运算,获得一个布尔方矩阵,通过这个布尔方阵,简洁地表示邻域近似算子;因为布尔方阵和二元关系是一一对应的,因此2种布尔方阵都有唯一的二元关系与之对应,直接通过覆盖块,这2个二元关系被简洁表示;最后给出了邻域近似算子的矩阵公理化.     

粗糙S-子系

引入S-系的上、下近似算子,定义了粗糙S-子系的概念,讨论了S-系的子集在上下近似算子作用下的性质,并讨论了S-系直积的上、下近似集的性质．     

基于映射的粗糙近似算子

由论域上的一个映射定义了一对上、下粗糙近似算子,给出了粗糙近似算子的性质.并讨论了映射的性质与近似算子性质之间的关系.     

邻域系算子范畴及相关性质

对拓扑空间中的邻域系性质进行了进一步研究.提出了邻域系算子和邻域连续映射的概念,定义了邻域系算子范畴,讨论了该范畴上的余积和乘积,并证明了邻域系算子范畴与拓扑范畴是同构的2个范畴.     

近似邻域的完备探讨

重新定义了6种点近似邻域和9种集合近似邻域,证明了它们的完备互斥性,并研究了近似邻域的基本性质和与其它邻域、近似算子等的关系,丰富和发展了已有的结果.     

集合近似邻域与知识论域拓扑空间的性质

定义了集合近似邻域，研究了其基本性质，探讨了各种集合近似邻域的关系，以及集合近似邻域与集合邻域、近似算子、点近似邻域、近似拓扑邻域等的关系．用集合近似邻域为手段，研究了知识论域拓扑空间，得出了一些重要结论．     

内部、闭包算子、邻域与近似算子的关系

研究了衷认与i-↑RA、R↑-clA与clR↑-A的关系。引入评价函数、外开域算子、内闭域算子等概念，得出了iA 包含于i-↑RiA、clR↑-clA包含于clA等重要结论。在邻域与近似算子的关系的研究中，定义了近似强、弱、非邻域、近似拓扑和近似拓扑邻域等概念，并研究了各种邻域之间，以及它们与近似算子的关系。     

自反、传递(模糊)关系与拓扑空间

研究了自反传递模糊关系与拓扑空间的联系,证明了一个自反传递的模糊关系对应一个单调的拓扑空间族,从而对应一个模糊化拓扑.特别地,当R是自反传递关系时,该拓扑族退化为一个拓扑空间,该拓扑空间以粗糙下近似为其内部算子.     

描述拓扑空间的几种方法

从映射的角度定义了内部运算、邻域系运算、邻域基运算及相应的公理,分别由它们导出了拓扑与拓扑空间,证明了闭集公理、内部公理、邻域基公理与所定义拓扑的三个条件等价,举反例说明了在等价前提下公理条件存在的必要性,最后讨论了导集的一些性质。     

模糊近似空间中下近似算子的新定义

首先对β算子进行了研究,得到了2个结果,并将β算子扩展为2个矩阵之间的β运算。然后依据β算子及所得结果,给出了模糊近似空间中模糊集下近似的一种解析式定义,并刻画了新定义下的粗糙模糊集的基本性质。最后与刘责龙的定义进行对比分析,举例说明刘的文章中关于截集的一个结果是错误的,并说明新的下近似算子具有一定的优越性。     

双论域上基于Brouwer-正交补的粗糙近似

主要研究广义近似空间上粗糙近似算子的扩展模型.首先,将Cattaneo提出的抽象近似空间理论具体运用于广义近似空间中的粗糙集模型研究,利用空间中双论域间的二元关系,导出指定论域上的一个Brouwer-正交补算子,据此算子构造性地定义了指定论域上的两对粗糙近似算子.然后,研究了新算子的基本性质和代数表示,将它们与已有近似算子进行对比,指出它们的异同,给出它们之间的大小顺序关系.最后,研究了新近似算子和已有近似算子的等价性,给出它们与邻近算子之间等价的条件,讨论了等价条件之间的关系.     

基于邻域的覆盖粗糙集的上近似拟阵结构

通过邻域,构造了一个覆盖粗糙集的上近似拟阵结构。借助拟阵理论中的横贯理论和基公理,建立了这个拟阵。利用补邻域的下近似等价表示了一个与邻域相关的集族。最后从基数的角度研究了这个集族为这个拟阵的全体超平面的一个充要条件。     

基于内导集运算下的空间刻画

拓扑学的理论与方法是近代数学的重要基础,拓扑空间的建立为近代数学的研究打下了坚实的理论基础。对于由邻域、闭包、内部、邻域系、导集运算、边界运算刻画定拓扑的方法已有许多有用的结果,放弃从上述理论构造拓扑空间的方法,转而对点集给出一种新运算——内导集运算的定义,然后利用内导集运算引入拟空间、空间以及拓扑空间概念,进一步研究了拟空间、空间以及拓扑空间的一些相关性质,并且得到与内导集算子可交换的一一映射是同胚映射,从而得到建立的拓扑空间与用开集公理建立的拓扑空间是等价的结论。