1982年，Z.Pawlak教授提出了粗集理论，它是用下、上近似定义一个不可定义集合的理论.2002年史开泉教授将Z.Pawlak粗集进一步推广，提出了奇异粗集fsingularrough sets)，简称S-粗集，它有三种形式：单向S-粗集，单向S-粗集对偶和双向S-粗集.S-粗集将Z.Pawlak粗集的静态形式扩展成粗集的动态形式，使粗集具有了更为广泛的应用.2005年史开泉教授再次提出函数S-粗集，它是建立在函数论域基础上的.由于函数与规律等价，因此函数S-粗集可以广泛地应用于规律挖掘，规律识别等。本文在Z.Pawlak粗集，S-粗集和函数S-粗集的基础上，提出了粗相似度以及给出粗相似度特性的研究. 本文的主要研究内容是：提出λ-粗集和λ-粗模糊集，讨论了λ-粗集和λ-粗模糊集的特征；提出了粗相似度，在粗集理论和S-粗集理论中研究了粗相似度的特征及应用；研究了函数粗相似度及其在函数粗空间中的应用；最后在类域上定义了粗类和类粗相似度，定义了动态类和给出了它的粗相似度特征。 第一章绪论，首先叙述了Z.Pawlak粗集理论的提出背景、发展和研究近况，给出了Z.Pawlak粗集的定义和性质；其次给出了理论上的扩展S-粗集和函数S-粗集的定义。 第二章首先将Z.Pawlak粗集的建立基础等价关系扩展到模糊等价关系.根据模糊集合理论中λ-截关系的概念，提出了λ-等价类和λ-粗集的概念.研究λ-粗集的一般结构得出λ-粗集是Z.Pawlak粗集的推广.研究λ-等价类和λ-粗集的基本性质，得到根据λ值的变化有定理2.2.7和定理2.2.8，其次，因为模糊集和粗集都是解决不确定性问题，所以D.Dubois和H.Prade将两者结合提出了粗模糊集的概念并给出了粗模糊集的一般形式。但本文是在λ-粗集的基础上给出了另一种粗模糊集的定义——λ-粗模糊集和它的一般结构．因为模糊关系存在强λ-截关系，所以提出了一种强λ-粗模糊集的概念．根据模糊集并分解定理和交分解定理，可以得到λ-粗模糊集的并分解定理2.4.3和交分解定理2.4.7和强λ-粗模糊集的并分解定理2.4.4和交分解定理2.4.8.最后根据模糊等价关系是特殊的模糊集，即模糊等价关系也存在并分解形式和交分解形式，就可以得到R-粗集的并交分解定理2.5.1。在得到集合的λ-粗集和强λ-粗集后，利用定理2.5.1即可求得R-粗集。同样利用λ-粗模糊集的并分解定理2.4.3或交分解定理2.4.7求得模糊集合的λ-粗模糊集，类似利用定理2.5.2，进而求得R-粗模糊集． 第三章首先根据公理化相似度的定义提出了粗相似度(x，y)<,R>的定义，即(X，y)<,R>进一步定义了下近似的下粗相似度和上近似的上粗相似度． 其次给出了粗相似度的基本性质，得到了定理3.2.8和定理3.2.9，它们分别是〈X，Y〉<,R>=0的充要条件是对任意的X ∈x ∩ Y，有[X] ∩ R(X)=φ或[X]∩ R(Y)=φ和〈X，Y〉<,R>=1的充要条件是对任意的X ∈X ∪ Y-X ∩ y，有[X] R(x)和[X] R(y)且R(x)=R(Y)。利用粗相似度〈X，y〉R给出了一种距离定义3.2.10即p(X，Y)=1-(X，Y)<,R>，定理3.2.11证明了p(X，y)满足距离三公式(1)p(X，Y)=O X≈R，(2)P(x，y)=p(Y，X)和(3)p(X，Z)≤P(X，y)+p(Y，Z)．即P(X，Y)是一种合理的距离形式． 粗相似度有一个特殊性质，即当一个集合确定时，其它集合与它的粗相似度的值是0或者1的可能性大于粗相似度值介于0和1之间的可能性。它的这个性质更有利于建立聚类模型和识别模型，因此在粗相似度的基础上给出一个聚类的算法。聚类后得到n类模式，当出现一个新样本时，需要用模式识别的方法去识别它属于哪个模式，因此接着就给出了粗模式识别的算法。文中应用一个简单的例子解释了这种粗模式识别模型。 最后用粗相似度对集合与其受干扰后形成单向S-集合和单向S-集合对偶的关系进行描述得到定理3.5.5和定理3.5.6；而且针对S-粗集中单元素迁移做了粗相似度的分析，得到定理3.5.7和定理3.5.8。 第四章首先在函数单向S．粗集定义的基础上，给出了属性变化时函数等价类基数变化定理4.1.3以及粗集的上下近似的基数变化定理；同样在函数单向S-粗集对偶定义的基础上，给出了属性变化时函数等价类基数变化定理4.2.3以及粗集的上下近似的基数变化定理．将R-函数等价类[u]中的函数进行离散，通过多项式公式4.4给出了R-函数等价类[u]的生成粗规律p(X)=a<,n>X+a<,n-1>X+…+a<,1>X+a<,0>；[u]受到属性入侵攻击的f-生成[u]，相似地可得[u]的生成粗规律p(x)=b<,n>X+b<,n-1>X+…+b<,1>X+b<,0>。 由式4．8即p(x)+θ(x)=p(x)得到f-碰撞规律θ(x)，而且给出了[u]的生成粗规律和[u]，的生成粗规律以及f-碰撞规律θ(x)，的关系定理．其次，在函数论域上定义一个算子函数粗相似度，就建立了一个函数粗代数空间4．4．5，在函数单向S．集合和函数单向S．集合对偶基础上给出这个函数粗代数空间的性质研究．任给集合Q ，应用函数粗相似度给出函数单向S-集合Q°和函数单向S-集合Q与集合Q之间的关系定理4．4．6和定理4．4．9．针对函数S-粗集中单元素迁移做了粗相似度的分析，得到定理4．4．12和定理4．4．13． 最后，由于一个函数就是一个规律，因此函数空间的萎缩和扩张对应于规律空间的萎缩和扩张．利用粗相似度定义一个误差度量规律变化程度，进而通过测得误差和系统受侵后生成的规律就可以得到系统的原规律． 第五章首先在类论域上根据粗集定义给出了粗类的定义，而且给出了类粗相似度的定义。给出了类粗相似度的基本性质，而且得到了两个充要条件定理，即定理5．2。3对于任意子类σ和δ，(σ，δ)=1的充要条件是(σ，δ)=1和(σ,δ)><,R>=1；定理5．2．4对于任意子类σ和δ，(σ，δ)=0的充要条件是(σ，δ)=0或(σ，δ)<,R>=0． 其次由于类有两种变化形式，一种是类的元素集合个数的变化，一个是类的元素集合大小的变化，因此由元素个数的变化提出了动态类的单向S-类Ⅰ和单向S-类对偶Ⅰ，由元素大小的变化提出了动态类的单向S-类Ⅱ和单向S-类对偶Ⅱ．在类变化的基础上给出了动态类的单向S-粗类Ⅰ和Ⅱ以及单向S一粗类对偶Ⅰ和Ⅱ的定义． 最后根据类粗相似度和单向S-粗类Ⅰ以及单向S．粗类对偶Ⅰ的定义，给出了关于动态类的单向S-粗类Ⅰ和单向S-粗类对偶Ⅰ的粗相似度特性，即定理5．4．1和定理5．4．4． 本文的创新点： 创新点1．以Z．Pawlak粗集理论为基础，根据模糊集理论中的λ-截关系，将粗集拓展到λ-粗集，并给出λ-粗集的基本性质，得到了λ-粗集的分解结构一一分解链；在λ-粗集的基础上建立了λ-粗模糊集，根据模糊集理论中的分解定理，得出了λ-粗模糊集的分解定理，最后得到了R-粗集和R-粗模糊集分解形式．创新点1列于第二章中． 创新点2．在相似度公理化的基础上，给出了粗相似度的概念和基本性质，而且根据粗相似度的定义得到一种距离形式的定义方法；根据粗相似度的特殊性质即当一个集合确定时，其它集合与它的粗相似度的值是0或者1的可能性大于粗相似度值介于0和1之间的可能性，给出了聚类和粗模式识别的算法。最后用粗相似度计算S一粗集中单元素迁移对集合的影响程度．创新点2列于第三章中． 创新点3．在函数粗集和粗相似度的基础上建立的函数粗代数空间，根据在集合变化时函数代数空间会出现萎缩或扩张，给出了相应的萎缩和扩张定理；一个函数就是一个规律，利用函数粗相似度定义一个误差度量规律变化程度，进而通过测得误差和入侵后的规律就可以得到系统的原规律．创新点3列于第四章中． 创新点4．在类论域上给出了类粗相似度的概念和性质，提出了单向S-粗类Ⅰ和Ⅱ以及单向S-粗类对偶Ⅰ和Ⅱ的概念；最后给出了单向S-粗类Ⅰ和单向S-粗类对偶Ⅰ的粗相似度特性．创新点4列于第五章中.