第五章_模糊关系方程.docVIP

第五章 模糊关系方程 设A是模糊关系“若…，则…”，B表示结束，则解模糊关系方程 A · X = B 事实上就是由结果寻找原因。这个数学关系式是对人脑由结果追溯原因这种逆反思维活动的数学描述，它有助于了解人的认识活动的机制。模糊关系方程的研究，在模糊推理、模糊控制、医疗诊断等方面有着广泛的应用前景。 5.1 模糊关系方程基本概念 假设已知U到V的模糊关系R，U到W的模糊关系S，求解V到W的未知模糊关系X，使得满足关系式 R · X=S 此式称为“模糊关系方程”，而满足模糊关系方程的模糊关系称为“模糊关系方程的解”。 我们都知道，在有限论域中讨论时，模糊关系可以通过模糊矩阵表示，所以这时的模糊关系方程也可以矩阵的形式出现。事实上，在实际应用中，模糊关系方程的求解几乎都限于有限论域，所以本章中的讨论也仅针对模糊矩阵方程进行。模糊矩阵方程可以下面两种类型表示： Ⅰ.已知模糊矩阵A=，B=，求解未知模糊矩阵X=，使其满足 A · X = B Ⅱ.已知模糊矩阵A=，B=，求解未知模糊矩阵X=，使其满足 X · A = B 然而，根据模糊矩阵合成运算的性质，Ⅰ型模糊方程和Ⅱ型模糊方程完全是可以相互转化的。例如，对于Ⅱ型模糊方程，等号两边同时做转置运算得 ·= 显然，这是Ⅰ型模糊方程。 令=，=，其中i = 1，2，…，ｌ。则可将Ⅰ型模糊方程以分块模糊矩阵的形式表示： A · ( … ) = ( … ) 从而，一般的Ⅰ型方程求解问题便可以转化为以下简单Ⅰ型方程模糊方程组的求解问题： A · = ( i = 1，2，…，l ) 由此可见，我们只需讨论问题Ⅰ型方程模糊方程组的求解问题，便可以解决所有类型的模糊方程的求解问题。为明确起见，本章讨论的模糊方程规定为如下形式： ·= 将以上矩阵展开后得 （∧）∨（∧）∨…∨（∧）= （∧）∨（∧）∨…∨（∧）= … … … （∧）∨（∧）∨…∨（∧）= 由于模糊关系方程解的形式与代数中的线性方程组解的形式有所不同，所以我们首先来讨论最简单的情况—— 一元一次模糊关系方程 a∧x = b 其中，常数a、b ∈[ 0 ，1 ]，并有未知数x ∈[ 0 ，1 ]。不难推得此模糊关系方程的解为 b a＞b x = [ b , 1 ] a＝b φ a＜b 注意，这里的解是以集合的形式出现的。对于一般的模糊关系方程，其解通常都具有以下特点： （1）方程的解以集合的形式出现； （2）一个模糊关系方程的解一般有多个； （3）某些模糊关系方程无解。 5.2 求解模糊关系方程的一般方法 下面介绍模糊关系方程的几条性质。 命题5-1 令为模糊关系方程的解（ i = 1，2，…，n ）, 则的交集仍是该模糊关系方程的解。 证明：A ·X= B , A ·（X∪X∪…∪X）= B （A ·X）∪（A ·X）∪…∪（A ·X）= B∪B∪…∪B = B 命题5-2 令、为模糊关系方程的两个解，若存在集合，满足，则也是该模糊关系方程的解。 证明：令A为U到V上的模糊关系，B为U到W上的模糊关系，且A ·= B ， A ·= B ， ∵ ∴≤≤ ∵A ·= B，== ≤≤ ∵＝ ＝＝ ∴≤≤ ∴＝，即A ·= B 定义5-1 对于模糊关系方程5.1，记由其所有解构成的集合为 R = { X | A · X = B} 称R为该模糊关系方程的“解集”。 当R≠φ时，该模糊关系方程“有解”；反之，称模糊关系方程“无解”。 定义5-2 令是模糊关系方程的一个解，若对于该模糊关系方程的任何解X恒有X，则称为模糊关系方程的“最大解”。 根据命题5-1不难推得，模糊关系方程的最大解是解集R中所有元素之并集。但在实际应用中，求解集R是很困难的。下面介绍直接求模糊关系方程最大解的方法。 对于任意a、b ∈[ 0 ，1 ]，定义α运算为 ab = （5.2） 对于模糊关系方程5.1中的系数矩阵A =（）和常数向量B =（），定义向量C =，其中 = ( ) j = 1，2，…，n （5.3） 由式5.3定义的向量C因为很可能是模糊关系方程5.1的最大解，故特别称其为“拟最大解”。 命题5-3 令C为模糊关系方程5.1的拟最大解，则该方程有解的充要条件是： A·C = B 命题5-4 对于有解的模糊关系方程5.1，拟最大解便是其最大解。 除直接引用式5.3之外，在应用中，计算拟最大解还