模糊数学模型.doc

第六部分 模糊数学 第十五章 模糊数学模型 15.1 模糊数学的起源 15.1.1数学是精确的 数学是关于物质世界的空间形式和数量关系的科学。在二十世纪三十年代，数学的发展被划分成三个阶段： 第一阶段：数学是数，量，几何图形的科学； 第二阶段：数学是研究量的变化和几何图形变换的科学 ； 第三阶段：数学是作为关于现实世界一切普遍性的数量形式和空间形式的科学。 近代科学技术的发展同精确数学方法的发展和应用是密切相关的，牛顿力学为其经典。到了19世纪，天文，力学，屋里，化学等理论自然科学先后在不同程度上走向定量化，数学化，形成一个被称为“精密科学”的学科群。大量使用数学方法，反过来又推动了数学的巨大进步。19世纪是精确科学方法飞速发展的时期。 20世纪以来，精确数学及其应用以更大的规模和速度发展着。相对论，量子力学，分子生物学，原子能，电子计算机和空间技术等邻域的创建和开发为精确方法奏响了一曲又一曲的凯歌，但也进一步助长了对精确方法的盲目崇拜。人们愈加相信，一切都应当精确化，只有现在还没有实现精确化的问题，没有不需要或不可能精确化的问题。 客观而言，精益求精是科学工作者的美德，是评价研究工作科学性的一条准则，但是，这种对精确方法的崇拜，似乎被当作一种不言而喻的真理，在很长的历史时期中未受到人们的怀疑。科学方法论中的这种绝对化的观点，也反映到哲学中。例如，一些分析哲学家提倡把一切概念，包括日常用语都加以精确化，这种现象的发生是值得深思的。但是，实践是检验真理的唯一标准，任何理论上的片面性和绝对化，迟早会在实践中暴露其错误而得到纠正。 15.1.2精确数学的局限性 人脑的思维活动一般说来具有两方面的特征： 直觉性跟严格性的有机结合，可以进行整体性和平行性的思考，例如联想过程，这些是具有模糊性的； 逻辑推理过程，它具有逻辑和顺序的特点，因而又是形式化的。 关于形式化思维，可以用数理逻辑的方法把它数学化，这样就能把它变成一系列的数学符号，可以用计算机去解。最突出的成果就是1976年美国人阿贝尔和哈肯利用电子计算机解决有名的数学难题——四色问题，这一难题的解决使不少人惊叹：这简直是电脑对人脑的嘲弄！ 真是这样吗？ 从另一个角度来看，譬如，看电视的时候，要把图像调得“更清楚一些”，或者，说一个人比另一个人更好看一些或更丑一些，这对于人来说是件容易的事，但是对于电脑来说，却是个大难题。从这个角度来说，电脑的“智力”还不如一个小孩子。 为什么会出现这样的情况呢？ 因为用传统数学的方法处理模糊食物，首先要求将对象简化，舍弃对象固有的模糊性，在本来没有明确界限的对象之间认为地挂定界限，变模糊数量关系为清晰数量关系。例：西瓜因大小不同而价格不登，但大瓜与小瓜并无天然的界限，认为地规定6斤以上者为大瓜，6斤以下者为小瓜，就有了区分大小瓜的精确判据。对于模糊性较弱的事物，或者日常生活的简单话题，这样处理是许可的，方便的。但人为地划定界限毕竟是对本来相互联系的食物的性质的一种歪曲，特别是在分界线附近，这种描述的失真性更明显。当研究的对象相当复杂时，这种处理方法便不适用了。 1965年，美国自动控制论专家，加利福尼亚大学教授查德根据动作中的体会写出了《模糊集合》一文，开始用数学的观点来刻画模糊事物，这标志着模糊数学这门新学科的诞生。 模糊数学决不是把已经很精确的数学变得模模糊糊，而是用精确的数学方法来处理过去无法用数学描述的模糊事物。 15.2 模糊集合论的基础知识 15.2.1模糊子集和它的运算 模糊概念不能用普通集合来描述，是因为不能绝对地区别“属于”或“不属于”，而只能问属于的程度，就是论域上的元素符合概念的程度不是绝对的0或1，而是介于0和1之间的一个实数。 查德1965年给出的定义： 定义14.1 从论域U到闭区间的任意一个映射：，对任意，，，那么叫做U的一个模糊子集，叫做u的隶属函数，也记做。 根据定义，我们知道所谓模糊集合，实质上是论域U到上的一个映射，而对于模糊子集的运算，实际上可以转换称为对隶属函数的运算： ， ， 假设给定有限论域，它的模糊子集可以用查德给出的表示法： 其中（）为论域里的元素，是对的隶属函数，。上式表示一个有n个元素的模糊子集。“+”叫做查德记号，不是求和。 [例题14.1] 设论域， ， ， 意思是对模糊子集的隶属度分别是0.5，0.1，0.4，0.2；对模糊子集的隶属度分别是0.2，0，0.6，1。 [例题14.2] 设以人的岁数作为论域，单位是“岁”，那么“年轻”，“年老”，都是U上的模糊子集。隶属函数如下： ＝“年轻”（u）＝ （14.1） ＝“年老”（u）＝ （14.2） （14.1）表示：不大于25岁的人，对子集“年轻”的隶属函数值是1，即一定属于这一子集；而大于25岁