模糊算子与隶属函数研究.pptVIP

命题2.4 证明: (1) 由命题2.3(1)即得结论。 * * 模并与模交 设T与S是对偶模， 定义 命题2.5 证明： * * 它最初是1942年Menger在研究统计度量时引入数学领域的,后来Schweizer和Sklar在研究概率度量空间时加以发展.随着其应用领域的扩大,许多学者对三角模的性质与结构进行了进一步研究,主要沿着函数方程和交换半群两个相当独立的方向进行.在函数方程方面,1962年Aczél的单行本对三角模的发展产生过重要影响.Ling在1965年使用可加生成元对连续阿基米德(Archimedean)三角模进行了完全刻划.把三角模作为一些自然函数方程的解,产生了很多含参三角模簇.其中,最出名的是Frank t模和t余模是Frank方程的唯一解.在交换半群方面,借助于半群理论中有序和(ordinal sum)的概念],可以由几个简单的三角模“原型”构造出所有连续三角模.(连续t模由TM,TP和TL产生；非连续t模如TD,其分类现在并未清楚). 三角模历史 * * 李中夫和刘应明证明了连续三角模可以用单个一元单调函数与加法的复合函数来近似表示.关于三角模的发展,已经有很好的综述文章,如Dubois和Prade在文献中综述总结了1991年前的成就; Klement在书中对三角模的研究情况作了详细的介绍.现在,三角模在分布函数,聚合算子,模糊集理论,模糊逻辑理论和一般量度与积分等领域中都占有重要的地位 * * 阿基米德三角模 定义：阿基米德(Archimedean)t模是指一个t模T，它是连续的，且T(x,x)x, ? x?(0,1). 定义：严格t模是指一个t模T，它是连续的，且T(x,y)T(x,z), ?x?(0,1)和yz. 显然，所有严格t模都满足阿基米德条件. 定义：幂零(nilpotent)t模是指非严格的阿基米德t模. 阿基米德t模是一类特殊的连续t模,Ling给出了阿基米德t模的表示定理,证明了它可以表示为一个单调函数和加法的复合函数,提供了一个构造大量阿基米德t模的方法. * * * * 如果阿基米德t模T和阿基米德t余模S关于强否定算子n对偶,那么它们的生成元f和g之间有关系:g(x)=f(n(x)) 特别地,如果强否定算子为标准否定算子n(x)=1－x, 则有g(x)=f(1－x). * * 在实际应用中,人们需要选取适当的三角模来聚合信息.基于不同的应用背景,许多学者提出了很多参数化的三角模簇.利用参数化的三角模簇,通过对参数进行自适应学习可以在确定簇后来选择三角模.常见的含参三角模簇是由生成元构成的阿基米德三角模,下面列举几对含参t模簇及其对偶的t余模簇: 1.Frank算子:生成元为 对应的t 模和t 余模为： * * 2.Hamacher算子: 生成元为 对应的t 模和t 余模为： 3.Yager算子: 生成元为 对应的t 模和t 余模为： * * 4.Sugeno-Weber算子:生成元为 对应的t 模和t 余模为： 5.Schweizer-Sklar算子: 生成元为 对应的t 模和t 余模为： 注: min和max算子不具有阿基米德性,但是它们可以看成含参阿基米德三角(余)模的特殊情况,例如可以看成p ? ?的Yager算子. * * 一般的连续三角模(以下内容不作要求) * * 连续三角模的近似表示 一般的连续三角模可以用一簇连续的阿基米德三角模的有序和来表示,但在实际使用中并不方便,因为要确定这簇区间和相应的生成模都很困难.事实上,在模糊信息处理方面,我们并不一定需要三角模的具体的解析表达式,李中夫和刘明证明了这一类多维问题可以经过近似归结为相当简单的一维问题. * * * * * * 三、连续三角模的神经网络模型 对于应用而言, 假定x1,…,xm和y的取值范围限制在[0,1]的某一有限集合A={a0, a1,…, ap}中,且0= a0 a1…ap=1. 假定函数值y的运算结果是用诸如四舍五入之类的方法取得近似值.确切地说,我们假设存在p个数b1,...,bp,满足条件a0b1a1b1… bp ap. 研究对象y=S(x1, …,xm), S是t余模. 函数y=S(x1, x2,…,xm)可以看成按下式取近似值的结果: * * 利用李中夫和刘应明教授在1993年的结果,对于连续t余模S,存在严格增加的一元函数g(x),使得 * * 连续三角余模的神经网络模型 * * 四、用分段线性函数近似表示连续三角模 * * 四、统一模的性质与结构 * * 统一模的性质： * * * * 在(0,1)2内连续的统一模结构图 * * * * * * 模糊蕴含算子 * * * * 基于统一模的S模糊蕴含和R模糊蕴含算子 * * * * * *