相似关系粗糙集理论的一个极小公理组

粗糙集公理化是粗糙集理论研究的一个重要部分,其目的是用可靠且独立的公理组对粗糙集理论进行刻画,从而可以用逻辑和公理系统方法对粗糙集理论进行更为深入的研究．经典的粗糙集理论是基于等价关系的,但现实数据中存在更多的相似关系．为刻画基于相似关系粗糙集理论,给出了公理组S,它含有3个公理．证明了公理组的可靠性,它表明了用所给公理组刻画基于相似关系粗糙集理论的合理性．同时还证明了公理组的极小性,即公理组中每条公理是粗糙不等式且各公理是相互独立的．这些研究有助于粗糙集理论研究的深入和完善．     

经典粗糙近似的一个公理化刻画

公理化方法是粗糙集理论研究的一种重要方法,用公理化方法研究粗糙集问题能够抓住问题的数学本质.研究经典粗糙近似算子的公理化刻画.首先,通过概括经典粗糙近似算子的性质给出经典粗糙上、下近似算子的一个公理化定义;其次,针对经典粗糙上、下近似算子提出两个新的公理组,每组公理独立地刻画所对应的经典粗糙近似算子,利用公理导出算子的其他性质,并证明新公理组与近似算子公理化定义中公理组的等价性;最后,用公理化方法研究非对偶的经典粗糙上、下近似算子复合运算的一些性质.     

一种基于弱模糊相似关系的广义粗糙集

粗糙集理论是建立在等价关系的基础上发展起来的,但等价关系性质的应用领域是有限的,等价关系不能对现实世界中的元素关系给出客观的描述.为此提出用模糊相似关系和弱模糊相似关系的概念来代替等价关系,同时引入了弱模糊相似关系的相似度概念和相似类概念,定义了基于弱模糊相似关系的广义粗糙集及标准的广义粗糙集上下近似;研究了两对上下近似算子的性质,讨论了3种粗糙隶属函数的性质并验证了它们的性质.     

广义粗集公理化的一个注记

广义粗集理论是基于等价关系的粗集理论的各种拓广。本文讨论了基于一般二元关系的广义粗糙集的公理化,通过实例分析了确定二元关系的必要公理组条件,并给出了各公理组的充分条件。     

直觉模糊粗糙集的公理化

直觉模糊粗糙集的公理系统是直觉模糊粗糙集理论与应用的基础,文章定义了直觉模糊集的2种运算,基于这些运算和直觉模糊粗糙集公理化模型,给出直觉模糊粗糙集新的公理系统;该系统用一条简洁的公理描述了直觉模糊粗糙集,为直觉模糊粗糙集理论研究的深入和完善提供了有益的帮助。     

模糊粗糙集的格结构

定义了模糊集合的上、下近似算子，讨论了其代数结构.证明了模糊粗糙集理论中全体可定义集合构成一个完全分配格，给出了生成这一完全分配格的元素的集合并讨论了其基本性质.     

模糊拟阵中模糊闭包算子的特征

首先推广了拟阵理论中的元素与集合的相关性概念，给出了模糊拟阵的模糊相关性的定义，并进行了深入的讨论，揭示了模糊相关的性质和模糊相关的条件。在此基础上提出模糊闭包算子的概念，研究了模糊闭包算子的一系列特征以及它与模糊拟阵的导出拟阵的闭包算子之间的关系。最后给出模糊拟阵的模糊闭包公理，对深入研究模糊拟阵的内在本质，完善模糊拟阵理论具有重要意义。     

基于等价关系的双粒度粗糙集模型

Pawlak粗糙集模型主要关注的是论域上一个等价关系导出的集合的近似,是单粒度的.通过用论域上的2个等价关系定义集合的近似,把单粒度的Pawlak粗糙集模型扩展到双粒度粗糙集模型.研究了双粒度粗糙集模型的一些数学性质,定理表明Pawlak粗糙集的许多性质是双粒度粗糙集性质的特殊情况,并且使用双粒度定义的近似度量优于单粒度定义的近似度量,该度量更适合描述概念的精度并更利于解决用户的需求.     

模糊信息系统的代数结构及其约简

模糊粗糙集理论是一种处理不确定性信息的重要的数据挖掘方法。为了建立模糊信息系统的约简建立理论基础,该文首先利用三角范数及其余范数给出了模糊集合近似算子的一般形式,进而定义了上、下可定义模糊集合,证明了它们分别构成完全分配格,并对其结构进行了刻画。在此基础上定义了模糊信息系统及其约简,讨论了它与经典的信息系统的约简的关系,为进一步研究模糊信息系统及其约简理论奠定了基础,同时也丰富了模糊集理论。     

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

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

A new minimal rough set axiom group

Rough set axiomatization is one aspect of rough set study, and the purpose is to characterize rough set theory using independahle and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. To characterize rough set theory, an axiom group named H consisting of 4 axioms, is proposed. That validity of the axiom group in characterizing rough set theory is reasonable, is proved. Simultaneously, the minimization of the axiom group, which requires that each axiom is an inequality and each is independent, is proved. The axiom group is helpful for researching rough set theory by logic and axiom system methods.     

A minimal axiom group for rough set based on quasi-ordering

Rough set axiomatization is one aspect of rough set study to characterize rough set theory using dependable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. The classic rough set theory is based on equivalent relation, but rough set theory based on reflexive and transitive relation (called quasi-ordering) has wide applications in the real world. To characterize topological rough set theory, an axiom group named RT, consisting of 4 axioms, is proposed. It is proved that the axiom group reliability in characterizing rough set theory based on similar relation is reasonable. Simultaneously, the minimization of the axiom group, which requires that each axiom is an equation and each is independent, is proved. The axiom group is helpful for researching rough set theory by logic and axiom system methods.     

对粗糙集两种新算子的注记

在粗糙集中，定义了集合并的下增近似和交的上减近似2种算子，它们与确定增量算子和不确定减量算子是等价的．这2种算子简单、直观，成功地解决了粗集运算中将包含关系转化为相等关系的问题，同时，利用它们可以、简化有关算子性质的证明．     

基于泛系算子的泛系混合并联粗糙集模型

在泛系混合并联空间概念的基础上,为了操作由任意给定的二元关系对知识进行划分得到的粒子,使用泛系理论的转化思想和转化后的等价关系对目标概念进行近似逼近的方法,提出了基于泛系混合并联等价算子的泛系混合并联粗糙集模型。通过讨论该模型的基本性质,证明了该模型是泛系粗集的一种广义化表现形式。通过实例说明了在不同泛系混合并联等价算子的作用下产生不同知识库的粒子,为深入研究粒度计算提供了一个新的研究方向。     

商集与商集的基本运算

R是A上等价关系，R的所有等价类构成了等价关系R的商集A／R，商集A／R是集合A的划分。商集是关系代数中的一个重要概念，在计算机科学和技术、信息科学和信息工程中都有广泛的应用。但是人们对商集的运算规律和运算结果的研究甚少。本文定义了等价关系的商集的两个基本运算，即商集的加法与乘法。根据商集的结构和性质，给出了商集乘法运算结果的两种表达方式。一种是用等价类通过某种运算构成的集合表示，另一种是用某些等价关系的商集表示。商集的加法运算是一个较复杂问题，加法的运算结果也较难表示。为了准确简洁地表示加法的运算结果，文中引进了不相交并集族的概念，同时也给出了加法运算结果的两种表达方式，一种是用不相交并集族表示，另一种是用某些等价关系的商集表示。     

描述拓扑空间的几种方法

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

Hilbert空间就范直交系的完备性

作者给出了Hilbert空间中就范直交系的完备性的一个判决.该判决推进了Birkhoff和Rota的一个类似判决.Birkhoff和Rota的判决需要假设算子是迹类算子.而所给出的判决只需要假设算子是紧算子.Birkhoff和Rota的的证明,经过Tsao简化后,仍然需要较复杂的分析计算,然而Fredholm理论的运用使得本文中的证明完全避免了复杂的计算.     

基于粗糙集的三元概念分析

将粗糙集近似算子引入到三元概念分析中,定义了对象定向三元概念和属性定向三元概念。首先,基于三元背景中的三元关系提出了可能性算子和必然性算子,并研究了这两类诱导算子的性质。其次,基于这两类诱导算子定义了对象定向三元概念和属性定向三元概念。最后,构造了三元图更直观地描述对象定向三元概念和属性定向三元概念。