广义分层混合模糊系统的泛逼近性分析-应用数学专业论文.docxVIP

第 一 章 第 一 章 前 言 §1 .1 选 题 背 景 模 糊 系 统 是 模 拟 人 脑 推 理 性 能 的 一 类 有 效 模 型 . 对 于 一 个 实 际 模 糊 系 统 性 系 统 ，可 通 过 测 量数 据 或 数 字 传 感 器 获 得 一 列 反 映该 系 统 输 入 - 输 出 （I/O ) 关 系 的数 据 信 息 . 所 以， 研 究 开 发 一 类 能 综 合 利 用 语 言 信 息 以 及 数 据 性 信 息 的 系统 工 具 具 有 重 大 实 际 意 义 ，模 糊 系 统 是 这 类 工 具 的 典 型 代 表 . 在 模 糊 系 统 中，语 言 信 息 的 处 理 通 过 一 组 “IF … T H E N … 模 糊 规 则 来 完 成 ，而 数 据 信 息 则 是 对 系 统 参 数 , 包 括 模 糊 集 隶 属 函 数 中 的参 数 进 行 合 理 调 节 的 外 部 条 件 ，同 时 ，模 糊 系 统 具 有 自我 学 习 及 自我 完 善 的 功 能 . 近 二 十 年 来 ，模 糊 系 统 在 模 式 识 别 ，系 统 建 模 与 系 统 辨 识 . 自动 控 制 ，信 号 处 理 ，数 据 压 缩 以及 通 信 等 众 多 领 域 的 成 功 应 用 而 备 受 关 注 . 应 用 中常 用 的 模 糊 系 统 有 三 类 ：纯 模 糊 系统 .M arndani 系 统 以 及 T akagi-Sugeno (T -S ) 模 糊 系 统 . 由于 纯 模 糊 系统 主要 处 理 语 言 信 息 . 所 以对 于 综 合 语 言 信 息 与 数 据 信 息 的 实 际 系 统 的 处 理 : 通 常 利 用 后 两 类 模 糊 系 统 来 进 行 . 这 两 类 模 糊 系 统 是 按 模 糊 规 则 后 件 形 式 来 区 分 的 ，M am d an i 模 糊 系 统 的 模 糊 规 则 是 一 个 模 糊 集 ：而 对 于 T -S 模 糊 系 统 ，相 应 后 件 则 是 系 统 输 入 变 量 的 函 数 . 图 1-1 给 出 了 一 个 典 型 的 模 糊 系 统 结 构 ，它 由 三 部 分 组 成 : 模 糊 化 器 ，纯 模 糊 系 统 . 去 模 糊 化 器 . ； ； 纯模糊系统 ； 模糊规则库 I 1 I ? I I I 输入;C i单点化 1模糊输出 1清晰输出 ~ ? 模糊化器 1 ? 模糊推理机 P 去模糊化器 ~ ? I I I I 图 1-1 广 义 模 糊 系 统 F ig .1 G en era lized fu zzy sy stem s 模 糊 系 统 泛 逼 近 性 是 模 糊 系 统 研 究 最 主 要 的 论 题 . 自从 1990 年 以 来 . 众 多 学 者 从 不 同 角 度 出 发 对 这 一 问 题 进 行 了 深 入 而 系统 的 讨 论 . 综 合 该 领 域 相 关 成 果 . 可 将 其 划 分 为 两 类. 其 一是存 在性 结 果 . 即利 用 Stone-W eierstrass 定理 来证 明用 于 遍 近 给定 I/O 关 系 的模 糊 系统 的存 在性 . 这 一 方 法 虽 然 回答 了在 给 定 条 件 下 模 糊 系 统 是 否 存 在 的 问 题 . 但 其 缺 陷 又是 明显的. 它 并 不能 回答 诸 如 ：怎 么实现模糊 系统对 于给 定 I/O 关 系的近似 过 程？如 何 估 计 近 似 精 度 以及 在 给 定 精 度 下 又 如 何 估 计 模 糊 系 统 规 则库 中 所 需 推 理 规 则 的 数 目等 具-有 实 际 意 义 的 重 要 问 题 . 其 二 是 构 造 性 结 果 . 即 通 过 构 造 性 证 明 方 法 来 —S 接 建 立 所 需 要 的近 似 模 糊 系 统 . 这 是 近 年 来 相 关 研 究新 的 热 点 . Y iiig 等 利 用 F ilev 与 Y ager 等 的 广 义 去 模 糊 方 法 分 别 推 广 了 M am d an i 系 统 与 T -S 系 统 而 定 义相 对 应 的 广 义 模 糊 系 统 . 并 且 减 弱 1 了存 在 了存 在 性 方 法 中对 前 件 模 糊 集 以 及 模 糊 子 集 的 要 求 ，即 除 了前 件 模 糊 集 要 按 一 定 的 次 序 排 列 外 ，并 不 要 求 其 隶 属 函数 的 定 义 形 式 ：而 且 符 合 运 算 可 以基 于 sup - r ,其 中 r 是 一般 t—模 . 这 样 ,构 造 性 方 法 不仅 扩 展 了模 糊 系统 的应 用