模糊控制03-模糊集合的其他运算.pptVIP

问题的引入 模糊集合A∪B是包含A和B的最小模糊集合， 模糊集合A∩B是A和B所包含的最大模糊集。 那么是否还存在不是最小的模糊并集和 不是最大的模糊交集？如有，应如何表示？ 同样，除了基本模糊补集之外，是否还 有其它形式的模糊补集？如有，如何表示？ 模糊补 由基本模糊补集推出两个公理 用c：[0，1]→[0，1]表示模糊集A的隶 属度函数向其补集的隶属度函数转换的映射。 按前述的模糊补集定义，映射c可以表示为： 模糊补 公理c1：c(0)=1，c(1)=0 模糊补 公理c2：当a, b∈[0，1]，如ab，则c(a)≥c(b) 模糊补 模糊补集的定义：任意满足公理1和公理2的 函数c：[0, 1]→[0, 1]，都叫模糊补集。 Sugeno模糊补集： Yager模糊补集： 模糊并——s-范数 由基本模糊并集推出四个公理 用S：[0，1]× [0，1]→[0，1]表示由 模糊集A和模糊集B的隶属度函数向A和B的并 集的隶属度函数的映射。 按前述的模糊并集定义，映射s可以表示为： 模糊并——s-范数 公理s1：s(1,1)=1，s(0,a)=s(a,0)=a； 模糊并——s-范数 公理s2：s(a,b)=s(b,a)； 模糊并——s-范数 公理s3：a≤a’且b≤b’，则s(a,b)≤s(a’,b’) 模糊并——s-范数 公理s4：s(s(a,b),c)=s(a,s(b,c))； 模糊并——s-范数 定义3.2 任意一个满足公理s1～s4的函数 s:[0,1]×[0,1]→[0,1]都叫s-范数 常见的范数主要有7种： 1、Dombi的s-范数 2、Dubois-Prade的s-范数 3、Yager的s-范数 模糊并——s-范数 4、直和 5、爱因斯坦和 6、代数和 7、最大 模糊并——s-范数 例3.1，通过图形的方式，表现出Yager的s-范 数和代数和s-范数大于最大算子。 定理3.1 对任意一个s-范数（即满足公理s1～s4 的函数s:[0,1]×[0,1]→[0,1]），当a,b∈[0,1]时， 下面不等式成立： max(a,b)≤s(a,b)≤sds(a,b) 模糊并——s-范数 先证明 max(a,b)≤s(a,b) 因a=a且b≥0，由公理s3，则s(a,b)≥s(a,0)， 由公理s1，有s(a,0)=a，所以s(a,b)≥a； 由公理s2，有s(a,b)=s(b,a) ≥s(b,0) ≥b； 所以，s(a,b) ≥max(a,b) 模糊并——s-范数 再证明 s(a,b) ≤ sds(a,b) 在b=0时，由公理s1，则s(a,b)=s(a,0)=a， 在b=0时，sds(a,b)=a，则s(a,b)=sds (a,b)； 在a=0时，由公理s2，则s(a,b)=sds (a,b) ； 在a≠0， b≠0时，有sds(a,b)=1 ≥s(a,b) ； 所以， s(a,b) ≤ sds(a,b) 模糊并——s-范数 引理3.1，对于Dombi的s-范数，存在 即Dombi的s-范数覆盖了s-范数的整个空间。 模糊并——s-范数 先证明Dombi的s-范数大于最大算子s-范数 （1）如果a=b≠0，Dombi的s-范数为： 模糊并——s-范数 由于a=b≠0，那么： 因此，在a=b≠0，存在 模糊并——s-范数 （2）如