Guide to Using

Transcription

1 用 户 指 南 Evolver Microsoft Excel 遗 传 算 法 求 解 程 序 第 7 版 2015 年 6 月 Palisade Corporation 798 Cascadilla St. Ithaca, NY USA (607) (607) ( 传 真 ) 网 站 ) sales@palisade.com( 电 子 邮 件 )

2 版 权 通 告 版 权 所 有 2015, Palisade Corporation 商 标 确 认 Microsoft Excel 和 Windows 是 Microsoft Corporation 的 注 册 商 标 IBM 是 International Business Machines, Inc. 的 注 册 商 标 Palisade Evolver TopRank BestFit 和 RISKview 是 Palisade Corporation 的 注 册 商 标 RISK 是 Tonka Corporation 分 部 Parker Brothers 的 商 标, 须 获 得 许 可 才 能 使 用

3 目 录 目 录 i 简 介 1 简 介... 3 安 装 说 明... 7 背 景 知 识 11 什 么 是 Evolver? Evolver 分 步 介 绍 19 简 介 Evolver 教 程 Evolver 参 考 指 南 41 模 型 定 义 命 令 最 优 化 设 置 命 令 开 始 最 优 化 命 令 实 用 工 具 命 令 Evolver 观 察 器 目 录 i

4 最 优 化 87 最 优 化 方 法 使 用 Excel Solver 进 行 局 部 最 优 化 遗 传 算 法 和 Optquest 100 简 介 历 史 生 物 示 例 数 字 示 例 OptQuest 110 简 介 Evolver 附 加 说 明 112 添 加 约 束 条 件 提 高 速 度 如 何 执 行 Evolver 的 遗 传 算 法 最 优 化 附 录 A:Evolver 自 动 化 128 VBA 附 录 B: 故 障 排 除 / 问 与 答 130 故 障 排 除 / 问 与 答 附 录 C: 其 他 资 源 132 其 他 学 习 资 源 ii 目 录

5 词 汇 136 索 引 141 目 录 iii

6 iv 目 录

7 简 介 简 介... 3 开 始 之 前... 3 软 件 包 内 装 物 品... 3 本 版 本 简 介... 3 在 您 的 操 作 环 境 中 使 用... 4 如 果 需 要 获 得 帮 助... 4 打 电 话 之 前... 4 与 Palisade 联 系... 5 学 生 版... 6 Evolver 系 统 要 求... 6 安 装 说 明... 7 一 般 安 装 说 明... 7 从 计 算 机 上 移 除 Evolver... 7 DecisionTools Suite... 7 启 动 时 的 宏 安 全 警 告 消 息... 8 软 件 激 活... 8 其 他 有 关 Evolver 的 信 息... 9 Evolver 自 述 文 件... 9 Evolver 教 程... 9 学 习 Evolver... 9 简 介 1

8 2 简 介

9 简 介 Evolver 是 迄 今 为 止 速 度 最 快 最 先 进 基 于 遗 传 算 法 的 商 用 优 化 程 序 Evolver 通 过 应 用 功 能 强 大 的 基 于 遗 传 算 法 的 优 化 方 法, 能 够 发 现 标 准 线 性 和 非 线 性 优 化 程 序 无 法 解 决 问 题 的 优 化 解 法 Evolver 软 件 还 提 供 了 OptQuest 最 优 化 引 擎, 可 以 快 速 找 出 适 于 解 决 最 优 化 问 题 的 解 法 此 外, 还 会 利 用 线 性 编 程 方 法 处 理 线 性 问 题 Evolver 有 两 种 版 本 专 业 版 和 正 式 版 允 许 您 选 择 具 有 您 所 需 功 能 的 优 化 程 序 您 正 在 阅 读 的 Evolver 用 户 指 南 提 供 Evolver 简 介 Evolver 工 作 原 理 以 及 Evolver 的 独 特 遗 传 算 法 技 术 的 几 个 应 用 示 例 本 套 手 册 也 可 以 用 作 完 整 索 引 的 参 考 指 南, 其 中 包 含 有 关 每 种 Evolver 功 能 的 说 明 和 示 例 开 始 之 前 在 安 装 和 开 始 使 用 Evolver 之 前, 请 确 保 您 的 Evolver 软 件 包 包 括 所 有 要 求 的 物 品, 并 确 定 您 的 计 算 机 是 否 符 合 适 当 用 途 的 最 低 要 求 软 件 包 内 装 物 品 Evolver 可 单 独 购 买, 也 可 与 DecisionTools Suite 专 业 版 和 正 式 版 一 起 购 买 Evolver 应 用 程 序 包 含 Evolver Excel 插 件 多 个 Evolver 示 例 以 及 完 整 索 引 Evolver 在 线 帮 助 系 统 DecisionTools Suite 专 业 版 和 正 式 版 包 括 以 上 所 有 项 目, 以 及 附 加 应 用 程 序 本 版 本 简 介 本 Evolver 版 本 可 以 作 为 Microsoft Excel 2007 或 更 高 版 本 的 32 位 程 序 或 作 为 Excel 2010 的 64 位 程 序 安 装 简 介 3

10 在 您 的 操 作 环 境 中 使 用 本 用 户 指 南 假 设 您 掌 握 了 Windows 操 作 系 统 和 Excel 的 一 般 知 识 特 别 是 以 下 知 识 : 熟 悉 自 己 的 计 算 机 和 鼠 标 的 用 法 熟 悉 图 标 单 击 双 击 菜 单 窗 口 命 令 和 目 标 等 术 语 理 解 目 录 结 构 和 文 件 命 名 之 类 的 基 本 概 念 如 果 需 要 获 得 帮 助 我 们 向 拥 有 有 效 维 护 计 划 的 所 有 Evolver 注 册 用 户 免 费 提 供 技 术 支 持, 或 按 照 每 次 事 件 收 取 服 务 费 要 确 保 您 是 Evolver 的 注 册 用 户, 请 在 以 下 网 站 注 册 : 如 果 通 过 电 话 与 我 们 联 系, 请 准 备 好 您 的 序 列 号 和 用 户 指 南 如 果 您 坐 在 计 算 机 前 并 作 好 准 备, 这 将 有 助 于 我 们 为 您 提 供 更 好 的 技 术 支 持 打 电 话 之 前 在 与 技 术 支 持 部 联 系 之 前, 请 检 查 以 下 核 对 清 单 : 是 否 已 经 查 阅 了 在 线 帮 助? 是 否 已 经 查 阅 本 用 户 指 南, 并 查 看 了 联 机 多 媒 体 教 程? 是 否 已 经 阅 读 README.RTF 文 件? 该 文 件 包 含 可 能 未 纳 入 手 册 的 有 关 Evolver 的 最 新 信 息 是 否 是 能 够 始 终 重 复 出 现 的 问 题? 是 否 是 能 够 在 另 一 台 计 算 机 或 不 同 型 号 的 计 算 机 上 重 复 出 现 的 问 题? 是 否 已 经 在 互 联 网 上 查 阅 了 我 们 的 网 站? 我 们 的 网 址 为 : 我 们 的 网 站 还 在 技 术 支 持 部 分 中 提 供 最 新 常 见 问 题 解 答 ( 可 搜 索 的 技 术 支 持 问 答 数 据 库 ) 和 Evolver 补 丁 我 们 建 议 您 定 期 访 问 我 们 的 网 站, 了 解 有 关 Evolver 以 及 其 他 Palisade 软 件 的 最 新 信 息 4 简 介

11 与 Palisade 联 系 Palisade Corporation 欢 迎 您 提 出 有 关 Evolver 的 问 题 评 论 意 见 或 建 议 请 用 以 下 任 何 一 种 方 法 与 我 们 的 技 术 支 持 部 人 员 联 系 : 请 发 送 电 子 邮 件 至 support@palisade.com 请 在 美 国 东 部 时 间 上 午 9 点 至 下 午 5 点 ( 星 期 一 至 星 期 五 ) 致 电 (607) , 并 按 照 提 示 接 通 技 术 支 持 部 请 发 送 传 真 至 (607) 请 寄 邮 件 至 : Technical Support Palisade Corporation 798 Cascadilla St. Ithaca, NY USA 如 果 您 希 望 与 Palisade 欧 洲 分 部 联 系 : 请 发 送 电 子 邮 件 至 support@palisade-europe.com 请 致 电 ( 英 国 ) 请 发 送 传 真 至 ( 英 国 ) 请 寄 邮 件 至 : Palisade Europe 31 The Green West Drayton Middlesex UB7 7PN United Kingdom 如 果 您 希 望 与 Palisade 亚 太 分 部 联 系 : 请 发 送 电 子 邮 件 至 support@palisade.com.au 请 致 电 ( 澳 大 利 亚 ) 请 发 送 传 真 至 ( 澳 大 利 亚 ) 请 寄 邮 件 至 : Palisade Asia-Pacific Pty Limited Suite 404, Level 4 20 Loftus Street Sydney NSW 2000 Australia 无 论 您 用 何 种 方 法 与 我 们 联 系, 请 提 供 产 品 名 称 版 本 和 序 列 号 请 在 Excel 的 Evolver 菜 单 上 选 择 帮 助 命 令, 查 找 确 切 的 版 本 简 介 5

12 学 生 版 不 为 Evolver 学 生 版 提 供 技 术 支 持 如 果 需 要 获 得 帮 助, 我 们 建 议 您 采 取 以 下 替 代 方 法 : 向 您 的 教 授 或 助 教 咨 询 登 录 以 下 网 站 查 找 常 见 问 题 的 回 答 : 通 过 电 子 邮 件 或 传 真 与 我 们 的 技 术 支 持 部 联 系 Evolver 系 统 要 求 Evolver 系 统 要 求 包 括 : Microsoft Windows XP 或 更 高 版 本 Microsoft Excel 2007 或 更 高 版 本 6 简 介

13 安 装 说 明 Evolver 是 Microsoft Excel 的 插 件 程 序 通 过 在 Excel 菜 单 栏 上 添 加 命 令,Evolver 可 以 增 强 电 子 表 格 程 序 的 功 能 一 般 安 装 说 明 安 装 程 序 会 将 Evolver 系 统 文 件 复 制 到 您 指 定 的 硬 盘 目 录 中 去 要 在 Windows XP 或 更 高 版 本 的 系 统 上 运 行 安 装 程 序 : 1) 双 击 您 下 载 的 或 安 装 CD 中 的 Evolver Setup.exe 程 序, 并 按 照 屏 幕 上 显 示 的 安 装 说 明 进 行 操 作 如 果 您 在 安 装 Evolver 时 遇 到 问 题, 请 确 认 尝 试 安 装 Evolver 的 驱 动 器 是 否 有 足 够 的 空 间 释 放 足 够 的 空 间 后, 尝 试 重 新 运 行 安 装 程 序 从 计 算 机 上 移 除 Evolver 如 果 您 希 望 从 计 算 机 上 移 除 Evolver( 或 DecisionTools Suite), 请 使 用 控 制 面 板 的 添 加 / 删 除 程 序 实 用 程 序, 并 选 择 Evolver 或 DecisionTools Suite 条 目 DecisionTools Suite Evolver 可 以 与 Palisade Corporation 提 供 的 一 套 风 险 与 决 策 分 析 产 品 DecisionTools Suite 配 合 使 用 Evolver 的 默 认 安 装 程 序 会 将 Evolver 放 入 Program Files\Palisade 主 目 录 的 一 个 子 目 录 内 这 与 通 常 将 Excel 安 装 至 Microsoft Office 目 录 的 一 个 子 目 录 非 常 相 似 Program Files\Palisade 目 录 的 一 个 子 目 录 将 成 为 Evolver 目 录 ( 默 认 名 称 为 Evolver7) 该 目 录 包 含 Evolver 插 件 程 序 文 件 (EVOLVER.XLA) 模 型 示 例 以 及 运 行 Evolver 所 需 的 其 他 文 件 Program Files\Palisade 的 另 一 个 子 目 录 是 SYSTEM 目 录, 该 目 录 包 含 DecisionTools Suite 中 的 每 个 程 序 所 需 的 文 件, 包 括 普 通 帮 助 文 件 和 程 序 库 简 介 7

14 启 动 时 的 宏 安 全 警 告 消 息 Microsoft Office 提 供 几 种 不 同 的 安 全 设 置, 以 防 不 受 欢 迎 的 或 恶 意 的 宏 在 Office 应 用 程 序 中 运 行 除 非 使 用 最 低 安 全 设 置, 否 则 在 每 次 尝 试 载 入 带 有 宏 的 文 件 时, 系 统 都 会 显 示 一 条 警 告 消 息 为 了 防 止 在 每 次 运 行 Palisade 插 件 时 显 示 此 消 息,Palisade 以 数 字 方 式 在 所 提 供 的 插 件 文 件 中 签 名 因 此, 一 旦 将 Palisade Corporation 指 定 为 受 信 任 的 发 布 者, 您 就 可 以 使 用 任 何 Palisade 插 件, 而 不 会 再 显 示 警 告 消 息 要 进 行 此 操 作 : 在 使 用 Evolver 时, 如 果 显 示 安 全 报 警 对 话 框 ( 例 如 以 下 对 话 框 ), 请 单 击 信 任 来 自 此 发 布 者 的 所 有 文 档 软 件 激 活 激 活 是 一 个 一 次 性 许 可 确 认 过 程, 是 使 您 的 Palisade 软 件 作 为 完 全 获 得 许 可 的 产 品 运 行 所 必 须 执 行 的 步 骤 在 您 打 印 / 通 过 电 子 邮 件 发 送 的 发 票 中 有 一 个 激 活 ID, 这 是 用 破 折 号 分 隔 的 序 列, 例 如 DNA CDM 如 果 在 安 装 过 程 中 输 入 激 活 ID, 则 在 安 装 过 程 结 束 时 软 件 即 被 激 活, 而 无 需 再 采 取 其 他 操 作 如 果 希 望 在 安 装 后 激 活 软 件, 请 选 择 帮 助 菜 单 许 可 证 管 理 器 命 令 8 简 介

15 许 可 证 管 理 器 可 以 用 于 激 活 解 除 激 活 和 移 动 软 件 许 可 证 此 外, 其 还 可 以 用 于 管 理 适 于 网 络 安 装 的 许 可 证 按 照 许 可 证 管 理 器 中 的 提 示 和 对 话 框 以 执 行 所 需 的 许 可 操 作 其 他 有 关 Evolver 的 信 息 用 户 可 在 以 下 来 源 中 查 找 其 他 有 关 Evolver 的 信 息 : Evolver 自 述 文 件 Evolver 教 程 该 文 件 包 含 Evolver 的 简 单 总 结 以 及 有 关 您 的 软 件 最 新 版 本 的 任 何 最 新 新 闻 或 信 息 依 次 选 择 Evolver 的 帮 助 命 令 文 档 命 令 和 自 述 文 件 命 令 即 可 查 看 自 述 文 件 Evolver 联 机 教 程 向 新 用 户 提 供 有 关 Evolver 和 遗 传 算 法 的 简 介 观 看 该 演 示 只 需 几 分 钟 时 间 请 参 见 以 下 学 习 Evolver 一 节 中 有 关 如 何 访 问 教 程 的 信 息 学 习 Evolver 熟 悉 Evolver 的 最 快 方 法 是 使 用 Evolver 联 机 教 程, 业 界 专 家 会 以 电 影 格 式 引 导 您 观 看 模 型 样 本 本 联 机 教 程 是 有 关 Evolver 主 要 功 能 的 多 媒 体 演 示 选 择 Evolver 功 能 导 航 栏 或 工 具 栏 中 的 视 频 命 令 即 可 运 行 教 程 简 介 9

16 10 简 介

17 背 景 知 识 什 么 是 Evolver? Evolver 工 作 原 理? OptQuest 遗 传 算 法 线 性 编 程 什 么 是 最 优 化? 为 什 么 要 建 立 Excel 模 型? 为 什 么 要 使 用 Evolver? 无 需 猜 测 更 准 确 更 有 意 义 更 灵 活 功 能 更 强 大 更 便 于 使 用 成 本 效 益 背 景 知 识 11

18 12 背 景 知 识

19 什 么 是 Evolver? Evolver 软 件 包 向 用 户 提 供 了 一 种 查 找 几 乎 任 何 类 型 问 题 的 优 化 解 法 的 简 便 方 法 简 言 之,Evolver 可 以 确 定 生 成 所 需 输 出 项 的 最 佳 输 入 项 您 可 以 使 用 Evolver 查 找 变 量 的 适 当 搭 配 顺 序 或 组 合, 使 之 生 成 最 高 的 利 润 最 低 的 风 险 或 使 用 最 少 量 的 材 料 生 产 最 多 的 商 品 Evolver 最 常 用 作 Microsoft Excel 电 子 表 格 程 序 的 插 件 ; 用 户 在 Excel 中 建 立 问 题 的 模 型, 然 后 调 用 Evolver 来 解 决 问 题 您 必 须 首 先 在 Excel 中 建 立 问 题 的 模 型, 然 后 在 Evolver 插 件 中 描 述 问 题 Excel 为 大 多 数 用 户 创 建 问 题 的 切 合 实 际 的 模 型 提 供 所 需 的 所 有 公 式 函 数 图 形 和 宏 功 能 Evolver 提 供 描 述 模 型 中 的 不 确 定 因 素 和 要 查 找 解 法 的 接 口, 并 提 供 查 找 解 法 的 引 擎 将 Excel 与 Evolver 结 合, 能 够 找 到 几 乎 所 有 可 模 型 化 问 题 的 优 化 解 法 背 景 知 识 13

20 Evolver 工 作 原 理? Evolver 使 用 OptQuest 和 遗 传 算 法 查 找 问 题 的 优 化 解 法 此 外, 如 果 其 确 定 问 题 为 线 性, 则 将 使 用 线 性 编 程 方 法 OptQuest 遗 传 算 法 线 性 编 程 OptQuest 引 擎 使 用 元 启 发 式 算 法 数 学 最 优 化 和 神 经 网 络 组 件 来 指 导 查 找 所 有 类 型 的 决 策 和 计 划 问 题 的 最 佳 解 法 OptQuest 的 方 法 将 最 先 进 的 元 启 发 式 算 法 程 序 ( 包 括 禁 忌 搜 索 神 经 网 络 和 分 散 搜 索 ) 集 成 至 单 个 复 合 方 法 中 如 需 了 解 有 关 OptQuest 的 进 一 步 详 情, 请 参 见 遗 传 算 法 和 Optquest Evolver 使 用 遗 传 算 法 查 找 您 模 型 的 最 佳 解 法 遗 传 算 法 模 拟 达 尔 文 的 自 然 选 择 法 则, 方 法 是 创 建 一 个 允 许 某 个 问 题 的 数 百 种 可 能 解 法 相 互 竞 争 的 环 境, 最 后 只 留 下 最 适 合 的 解 法 如 同 生 物 进 化 一 样, 每 个 解 法 可 以 通 过 子 孙 解 法 遗 传 良 好 的 基 因, 因 此 整 个 解 法 群 体 将 继 续 进 化 为 更 好 的 解 法 您 可 能 已 经 注 意 到, 在 遗 传 算 法 中 使 用 的 术 语 通 常 与 生 物 进 化 中 使 用 的 术 语 相 似 我 们 会 谈 到 交 叉 功 能 如 何 帮 助 确 定 查 找 解 法 的 重 点 突 变 率 如 何 帮 助 使 基 因 群 多 样 化, 并 且 我 们 会 评 估 整 个 解 法 群 体 或 组 织 要 详 细 了 解 Evolver 遗 传 算 法 的 工 作 原 理, 请 参 见 遗 传 算 法 和 Optquest Evolver 使 用 线 性 编 程 方 法 快 速 解 决 线 性 问 题 ( 前 提 是 在 最 优 化 设 置 对 话 框 的 引 擎 选 项 卡 中 将 最 优 化 模 式 设 置 为 自 动 ) 14 背 景 知 识

21 什 么 是 最 优 化? 最 优 化 是 尝 试 查 找 可 能 有 多 种 可 能 解 法 问 题 的 最 佳 解 法 的 过 程 大 多 数 问 题 涉 及 众 多 根 据 特 定 公 式 和 约 束 条 件 相 互 作 用 的 变 量 例 如, 一 家 公 司 可 能 有 三 家 制 造 厂, 每 家 制 造 厂 制 造 不 同 数 量 的 不 同 商 品 根 据 每 家 制 造 厂 生 产 每 种 商 品 的 成 本 每 家 制 造 厂 将 商 品 运 送 至 每 家 商 店 的 成 本 和 每 家 制 造 厂 的 限 制 条 件, 可 以 在 充 分 满 足 当 地 零 售 店 需 求 量 的 同 时, 并 且 将 运 输 成 本 降 至 最 低 的 最 优 方 法 是 什 么? 这 就 是 最 优 化 工 具 设 计 用 来 回 答 的 一 种 问 题 最 优 化 经 常 用 于 确 定 从 特 定 资 源 产 生 最 多 产 量 的 组 合 在 上 例 中, 每 种 建 议 的 解 法 都 有 一 份 完 整 的 列 表, 包 括 将 哪 家 制 造 厂 生 产 的 哪 些 商 品 用 什 么 卡 车 运 送 至 哪 一 家 零 售 店 的 信 息 其 他 最 优 化 问 题 的 示 例 包 括 确 定 如 何 产 生 最 高 利 润 最 低 成 本 拯 救 最 多 的 生 命 电 路 中 的 噪 音 最 低 在 一 组 城 市 之 间 最 短 的 路 程 或 广 告 媒 体 采 购 最 有 效 的 组 合 最 优 化 问 题 的 一 个 重 要 子 集 涉 及 日 程 安 排, 其 目 标 可 以 包 括 在 工 作 班 次 中 最 大 程 度 提 高 效 率 或 尽 量 减 少 在 不 同 时 间 进 行 团 体 会 议 的 日 程 冲 突 要 详 细 了 解 最 优 化, 请 参 见 最 优 化 背 景 知 识 15

22 为 什 么 要 建 立 Excel 模 型? 为 了 提 高 任 何 系 统 的 效 率, 我 们 必 须 首 先 了 解 系 统 的 行 为 方 式 这 就 是 我 们 需 要 构 建 系 统 工 作 模 型 的 原 因 在 研 究 复 杂 系 统 时, 模 型 是 必 要 的 抽 象 概 念, 但 为 了 使 结 果 可 以 应 用 于 真 实 的 世 界, 模 型 不 能 将 变 量 之 间 的 因 果 关 系 过 于 简 单 化 更 好 的 软 件 和 功 能 日 益 强 大 的 计 算 机 允 许 经 济 学 家 构 建 更 切 合 实 际 的 经 济 模 型, 允 许 科 学 家 改 善 对 化 学 反 应 的 预 测, 并 且 允 许 商 界 人 士 提 高 企 业 模 型 的 灵 敏 度 在 过 去 几 年 内, 计 算 机 硬 件 和 软 件 程 序 ( 例 如 Microsoft Excel) 取 得 了 巨 大 的 发 展, 几 乎 任 何 拥 有 个 人 计 算 机 的 人 都 能 为 复 杂 系 统 创 建 切 合 实 际 的 模 型 Excel 的 内 建 函 数 宏 功 能 和 简 洁 直 观 的 界 面 使 初 学 者 可 以 对 复 杂 的 问 题 建 立 模 型 并 进 行 分 析 要 详 细 了 解 模 型 的 构 建, 请 参 见 Evolver 附 加 说 明 为 什 么 要 使 用 Evolver? Evolver 的 独 特 技 术 允 许 任 何 拥 有 个 人 计 算 机 和 Windows Excel 的 人 享 受 最 优 化 的 益 处 在 Evolver 问 世 之 前, 希 望 提 高 效 率 或 查 找 优 化 解 法 的 人 有 三 个 选 择 : 猜 测 使 用 功 能 低 的 问 题 求 解 软 件 或 聘 用 最 优 化 咨 询 领 域 的 专 家 设 计 和 构 建 定 制 软 件 以 下 是 使 用 Evolver 的 几 个 最 重 要 的 优 势 : 无 需 猜 测 更 准 确 更 有 意 义 当 您 在 处 理 大 量 相 互 作 用 的 变 量 尝 试 确 定 变 量 的 最 佳 搭 配 适 当 的 顺 序 和 最 佳 组 合 时, 您 可 能 会 倾 向 于 只 做 出 有 根 据 的 猜 测 很 多 人 认 为 除 猜 测 之 外 的 任 何 类 型 的 模 型 建 立 和 分 析 都 需 要 复 杂 的 编 程, 或 令 人 困 惑 的 统 计 或 数 学 算 法 一 种 良 好 的 最 优 化 解 法 可 以 节 约 数 百 万 美 元 数 千 加 仑 稀 缺 燃 料 几 个 月 的 时 间 等 现 在, 功 能 强 大 的 台 式 计 算 机 的 价 格 越 来 越 便 宜, 并 且 Excel 和 Evolver 之 类 的 软 件 随 手 可 得, 因 此 我 们 就 没 有 理 由 再 猜 测 解 法, 或 以 手 工 方 法 尝 试 多 种 选 择 方 案, 而 浪 费 宝 贵 的 时 间 Evolver 允 许 您 使 用 全 套 Excel 公 式, 创 建 任 何 系 统 的 切 合 实 际 的 模 型 在 使 用 Evolver 时, 您 无 需 因 为 所 使 用 的 算 法 无 法 处 理 现 实 世 界 的 复 杂 问 题 而 损 害 您 的 模 型 的 准 确 性 传 统 的 婴 儿 求 解 程 序 ( 统 计 和 线 性 编 程 工 具 ) 强 迫 用 户 对 变 量 在 问 题 中 的 相 互 作 用 方 法 作 出 假 设, 从 而 强 迫 用 户 建 立 过 于 简 单 的 不 切 合 实 际 的 问 题 模 型 这 些 求 解 程 序 强 迫 用 户 假 设 不 确 定 变 量 值, 因 为 优 化 程 序 无 法 处 理 不 确 定 模 型 成 分 的 可 能 值 当 用 户 简 化 系 统 使 之 能 够 被 这 些 求 解 程 序 使 用 时, 生 成 的 解 法 经 常 因 为 过 于 抽 象 而 没 有 实 际 价 值 无 论 您 尝 试 将 模 型 设 计 得 多 么 简 单, 任 何 涉 及 大 量 变 量 非 线 性 函 数 查 找 表 假 定 陈 述 数 据 库 查 询 或 随 机 成 分 的 问 题 都 无 法 用 这 些 方 法 解 决 16 背 景 知 识

23 更 灵 活 功 能 更 强 大 更 便 于 使 用 有 很 多 求 解 算 法 可 解 决 小 型 简 单 的 线 性 和 非 线 性 类 型 问 题, 包 括 登 山 婴 儿 求 解 程 序 和 其 他 数 学 方 法 即 使 作 为 电 子 表 格 的 插 件 提 供, 这 些 一 般 用 途 最 优 化 工 具 只 能 进 行 数 字 优 化 对 于 更 大 型 或 更 复 杂 的 问 题, 您 也 许 能 够 编 写 具 体 的 定 制 算 法, 获 得 良 好 的 结 果, 但 可 能 需 要 进 行 很 多 研 究 与 开 发 工 作 即 使 如 此, 每 当 您 的 模 型 变 化 时, 都 需 要 对 生 成 的 程 序 进 行 修 改 Evolver 不 仅 能 够 处 理 数 字 问 题, 而 且 是 世 界 上 唯 一 一 种 能 够 解 决 大 多 数 组 合 问 题 的 商 用 程 序 这 些 是 必 须 将 变 量 打 乱 ( 序 列 改 变 ) 或 相 互 组 合 的 问 题 例 如, 为 棒 球 队 选 择 击 球 顺 序 是 一 个 组 合 问 题 ; 这 是 一 个 交 换 队 员 在 队 列 中 位 置 的 问 题 Evolver 可 以 查 找 做 为 项 目 的 一 部 分 要 执 行 的 任 务 的 最 佳 顺 序, 并 且 只 评 估 符 合 指 定 优 先 约 束 条 件 ( 即 要 求 某 些 任 务 在 其 他 任 务 之 前 执 行 的 约 束 条 件 ) 的 解 法 复 杂 的 日 程 安 排 问 题 也 是 组 合 问 题 Evolver 能 够 解 决 所 有 此 类 问 题 以 及 很 多 任 何 其 他 程 序 无 法 解 决 的 问 题 Evolver 能 够 找 到 更 好 的 解 法 大 多 数 软 件 使 用 数 学 和 系 统 方 法 推 导 出 优 化 解 法 这 些 方 法 常 常 局 限 于 利 用 一 种 现 有 解 法, 并 且 只 查 找 最 接 近 且 更 好 的 答 案 这 种 局 部 解 法 可 能 远 非 优 化 解 法 Evolver 以 智 能 方 式 从 整 个 可 能 性 领 域 提 取 样 本, 从 而 生 成 更 好 的 整 体 解 法 尽 管 Evolver 具 有 明 显 的 强 大 功 能 和 灵 活 优 势, 该 程 序 仍 然 便 于 使 用, 因 为 用 户 完 全 没 有 必 要 理 解 Evovler 使 用 的 最 优 化 技 术 Evolver 不 关 心 您 的 问 题 的 具 体 细 节 ; 只 需 要 一 个 能 够 评 估 不 同 选 择 方 案 优 良 程 度 的 电 子 表 格 模 型 只 需 选 择 包 含 变 量 的 电 子 表 格 单 元 格, 并 告 诉 Evolver 您 需 要 查 找 的 内 容 即 可 Evolver 聪 明 地 将 困 难 的 技 术 隐 藏 起 来, 自 动 运 行 分 析 问 题 的 假 设 分 析 程 序 尽 管 已 经 开 发 出 许 多 用 于 数 学 编 程 和 模 型 建 立 的 商 用 程 序, 但 电 子 表 格 仍 然 是 最 受 欢 迎 的 程 序, 每 个 月 的 销 售 量 都 达 到 数 百 万 套 由 于 电 子 表 格 使 用 直 观 的 行 和 列 格 式, 因 而 比 其 他 专 用 软 件 包 更 容 易 设 置 和 维 护 此 外, 电 子 表 格 与 其 他 程 序 ( 例 如 文 字 处 理 程 序 和 数 据 库 ) 的 兼 容 性 更 好, 并 且 比 任 何 其 他 独 立 软 件 包 提 供 更 多 的 内 建 公 式 格 式 化 选 项 图 形 绘 制 和 宏 功 能 由 于 Evolver 是 Microsoft Excel 的 插 件, 因 此 用 户 可 以 使 用 所 有 功 能 和 开 发 工 具, 方 便 地 为 系 统 建 立 更 切 合 实 际 的 模 型 背 景 知 识 17

24 成 本 效 益 很 多 公 司 已 经 聘 请 了 经 过 培 训 的 顾 问 向 他 们 提 供 定 制 最 优 化 系 统 此 类 系 统 常 常 能 够 很 好 地 运 行, 但 可 能 需 要 数 月 时 间 和 大 笔 投 资 进 行 开 发 和 实 施 而 且 此 类 系 统 很 难 学 习, 因 此 要 求 提 供 费 用 昂 贵 的 培 训 和 持 续 不 断 的 维 护 如 果 您 必 须 对 系 统 进 行 改 动, 您 可 能 需 要 开 发 一 套 全 新 的 算 法, 才 能 找 到 优 化 解 法 Evolver 只 需 少 得 多 的 投 资 就 能 提 供 功 能 强 大 的 最 优 化 算 法, 并 能 为 各 种 不 同 的 问 题 提 供 迅 速 准 确 的 解 法 由 于 Evolver 在 直 观 和 熟 悉 的 环 境 中 运 作, 因 此 几 乎 无 需 进 行 任 何 费 用 昂 贵 的 培 训 和 维 护 您 甚 至 可 以 希 望 将 Evolver 的 最 优 化 功 能 添 加 到 自 己 的 自 义 定 程 序 中 只 需 几 天 时 间, 您 就 能 够 使 用 Visual Basic 开 发 自 己 的 日 程 安 排 配 送 制 造 或 财 务 管 理 系 统 有 关 开 发 基 于 Evolver 的 应 用 程 序 的 详 细 信 息, 请 参 见 Evolver Developer Kit 18 背 景 知 识

25 Evolver 分 步 介 绍 简 介 Evolver 教 程 启 动 Evolver Evolver 工 具 栏 打 开 示 例 模 型 Evolver 模 型 对 话 框 选 择 目 标 单 元 格 添 加 可 调 整 单 元 格 范 围 选 择 求 解 方 法 约 束 条 件 添 加 约 束 条 件 简 单 和 公 式 约 束 条 件 其 他 Evolver 选 项 停 止 条 件 视 图 选 项 运 行 最 优 化 Evolver 观 察 器 停 止 最 优 化 摘 要 报 表 将 结 果 放 在 模 型 中 Evolver 分 步 介 绍 19

26 20 Evolver 分 步 介 绍

27 简 介 在 本 章 中, 我 们 将 逐 步 向 您 介 绍 Evolver 的 所 有 最 优 化 设 置 如 果 您 没 有 在 硬 盘 中 安 装 Evolver, 请 在 开 始 本 教 程 之 前 参 见 简 介 的 安 装 一 节 并 安 装 Evolver 首 先, 我 们 将 打 开 预 制 的 电 子 表 格 模 型, 然 后 将 使 用 Evolver 对 话 框 定 义 Evolver 中 的 问 题 最 后, 当 Evolver 正 在 查 找 解 法 时, 我 们 将 检 查 Evolver 的 进 度, 并 研 究 Evolver 观 察 器 的 多 个 选 项 中 的 部 分 选 项 有 关 任 何 特 定 主 题 的 附 加 信 息, 请 参 见 本 手 册 后 面 的 索 引 或 Evolver 参 考 资 料 注 : 以 下 所 示 屏 幕 来 自 Excel 2010 如 果 您 正 在 使 用 Excel 的 其 他 版 本, 则 屏 幕 上 显 示 的 窗 口 可 能 与 图 片 稍 有 不 同 通 过 一 个 可 以 准 确 表 示 您 的 问 题 的 模 型, 开 始 问 题 的 求 解 过 程 您 的 模 型 必 须 能 够 评 估 一 组 特 定 的 输 入 值 ( 可 调 整 单 元 格 ), 并 生 成 这 些 输 入 项 在 解 决 问 题 方 面 表 现 的 数 字 评 级 ( 评 估 目 标 函 数 ) 当 Evolver 查 找 解 法 时, 本 目 标 函 数 提 供 反 馈 信 息, 告 知 Evolver 每 个 猜 测 好 或 差 的 程 度, 从 而 使 Evolver 生 成 越 来 越 好 的 猜 测 创 建 问 题 的 模 型 时, 您 必 须 密 切 关 注 目 标 函 数, 因 为 Evolver 将 尽 一 切 能 力 使 此 单 元 格 最 大 化 ( 或 最 小 化 ) Evolver 分 步 介 绍 21

28 22 Evolver 分 步 介 绍

29 Evolver 教 程 启 动 Evolver 您 可 以 选 择 以 下 方 式 启 动 Evolver:1) 单 击 Windows 桌 面 上 的 Evolver 图 标, 或 者 2) 在 Windows 开 始 菜 单 的 程 序 条 目 中 依 次 选 择 Palisade DecisionTools 和 Evolver 7 以 上 两 种 方 法 均 可 以 启 动 Microsoft Excel 和 Evolver Evolver 工 具 栏 加 载 Evolver 后, 将 会 在 Excel 中 显 示 一 个 新 的 Evolver 功 能 导 航 栏 或 工 具 栏 此 工 具 栏 中 包 含 可 以 用 于 指 定 Evolver 设 置, 以 及 用 于 启 动 暂 停 和 停 止 最 优 化 的 按 钮 打 开 示 例 模 型 要 查 看 Evolver 的 功 能, 您 需 要 查 看 在 安 装 Evolver 时 所 安 装 的 示 例 模 型 要 进 行 此 操 作 : 1) 使 用 帮 助 菜 单 中 的 电 子 表 格 实 例 命 令, 打 开 Tutorial Walkthrough.xlsx( 或 Bakery Tutorial Walkthrough.xls) 工 作 表 Evolver 分 步 介 绍 23

30 此 工 作 表 示 例 包 含 一 家 面 包 厂 业 务 中 的 一 个 简 单 的 利 润 最 大 化 的 问 题 您 的 面 包 厂 生 产 6 种 面 包 产 品 您 是 面 包 厂 的 经 理, 负 责 追 踪 生 产 过 程 中 的 收 入 成 本 和 利 润 您 需 要 确 定 每 种 面 包 的 箱 数, 从 而 使 总 利 润 最 大 化, 同 时 能 够 满 足 生 产 限 制 要 求 您 面 前 的 要 求 包 括 :1) 满 足 低 热 量 面 包 的 生 产 配 额,2) 保 持 可 接 受 的 高 纤 维 面 包 与 低 热 量 面 包 的 比 率,3) 保 持 可 接 受 的 五 谷 面 包 与 低 热 量 面 包 的 比 率, 以 及 4) 保 证 生 产 时 间 在 所 用 的 员 工 工 时 的 限 制 之 内 Evolver 模 型 对 话 框 要 设 置 此 工 作 表 的 Evolver 选 项 : 1) 单 击 Evolver 功 能 导 航 栏 上 的 模 型 定 义 图 标 ( 在 功 能 导 航 栏 的 最 左 侧 ) 将 会 显 示 以 下 的 Evolver 模 型 对 话 框 : Evolver 模 型 对 话 框 旨 在 使 用 户 能 够 以 简 单 明 了 的 方 式 描 述 其 问 题 在 教 程 示 例 中, 我 们 要 尝 试 确 定 要 生 产 的 不 同 面 包 产 品 的 箱 数, 从 而 使 总 利 润 最 大 化 24 Evolver 分 步 介 绍

31 选 择 目 标 单 元 格 示 例 模 型 中 的 总 利 润 就 是 所 说 的 目 标 单 元 格 这 是 您 尝 试 最 小 化 或 最 大 化 其 所 包 含 值 的 单 元 格, 或 尝 试 使 其 值 尽 量 接 近 预 设 值 的 单 元 格 要 指 定 目 标 单 元 格 : 1) 将 最 优 化 目 标 选 项 设 置 为 最 大 值 2) 在 单 元 格 字 段 中, 输 入 目 标 单 元 格 $I$11 在 Evolver 对 话 框 字 段 中 输 入 单 元 格 引 用 的 方 法 有 两 种 :1) 使 用 鼠 标 指 针 单 击 字 段, 并 在 字 段 中 直 接 输 入 引 用, 或 者 2) 将 光 标 放 置 在 选 中 字 段 上, 然 后 单 击 引 用 条 目 图 标, 以 便 用 鼠 标 直 接 选 择 工 作 表 单 元 格 添 加 可 调 整 单 元 格 范 围 现 在, 您 必 须 指 定 包 含 数 值 的 单 元 格 的 位 置,Evolver 可 以 调 整 这 些 数 值 来 查 找 解 法 您 可 以 通 过 模 型 对 话 框 的 可 调 整 单 元 范 围 部 分 在 一 个 单 元 块 中 一 次 性 添 加 和 编 辑 这 些 变 量 此 外, 可 以 在 可 调 整 单 元 范 围 内 输 入 的 单 元 格 的 数 目 视 您 正 在 使 用 的 Evolver 版 本 而 定 1) 单 击 可 调 整 单 元 范 围 部 分 中 的 添 加 按 钮 2) 在 Excel 中 选 择 $C$4:$G$4 作 为 要 添 加 到 可 调 整 单 元 格 范 围 的 单 元 格 输 入 可 调 整 单 元 格 的 取 值 范 围 在 大 多 数 情 况 下, 您 需 要 将 可 调 整 单 元 格 范 围 的 可 能 值 限 制 在 一 个 特 定 的 取 值 范 围 内 在 Evolver 中, 将 其 称 为 范 围 约 束 条 件 当 选 择 一 组 要 调 整 的 单 元 格 时, 您 可 以 快 速 输 入 此 取 值 范 围 以 面 包 厂 为 例, 在 此 范 围 内, 生 产 的 每 种 面 包 产 品 的 箱 数 的 最 小 可 能 值 为 0, 而 最 大 可 能 值 为 100,000 要 输 入 此 范 围 约 束 条 件 : 1) 在 最 小 值 单 元 格 中 输 入 0, 而 在 最 大 值 单 元 格 中 输 入 100,000 2) 在 值 单 元 格 中, 单 击 向 下 箭 头 并 从 对 话 框 中 选 择 整 数 Evolver 分 步 介 绍 25

32 接 下 来, 输 入 要 调 整 的 另 一 个 单 元 格 范 围 : 1) 单 击 添 加, 以 输 入 另 一 个 可 调 整 单 元 格 2) 选 择 单 元 格 B4 3) 输 入 20,000 作 为 最 小 值, 而 输 入 100,000 作 为 最 大 值 4) 在 值 单 元 格 中, 单 击 向 下 箭 头 并 从 对 话 框 中 选 择 离 散 将 默 认 步 进 大 小 值 设 为 2 这 可 以 指 定 最 后 的 可 调 整 单 元 格 B4 代 表 低 热 量 面 包 的 生 产 水 平 通 过 选 择 步 进 大 小 2, 我 们 要 求 箱 数 为 偶 数 ( 容 许 值 为 ) 26 Evolver 分 步 介 绍

33 如 果 此 问 题 中 还 存 在 其 他 变 量, 我 们 将 继 续 添 加 几 组 可 调 整 单 元 格 在 Evolver 中, 您 可 以 创 建 数 量 不 受 限 制 的 可 调 整 单 元 格 组 要 添 加 更 多 单 元 格, 请 再 次 单 击 添 加 按 钮 稍 后, 您 可 能 需 要 检 查 可 调 整 单 元 格 或 更 改 其 中 的 一 些 设 置 要 执 行 此 操 作, 只 需 在 表 格 中 编 辑 取 值 范 围 您 也 可 以 选 择 一 组 单 元 格, 然 后 单 击 删 除 按 钮 将 其 删 除 选 择 求 解 方 法 定 义 可 调 整 单 元 格 时, 您 可 以 指 定 要 使 用 的 求 解 方 法 不 同 的 求 解 方 法 可 以 处 理 不 同 类 型 的 可 调 整 单 元 格 设 置 求 解 方 法 以 用 于 可 调 整 单 元 格 组, 而 且 可 以 通 过 单 击 组 按 钮 并 选 择 编 辑 来 显 示 可 调 整 单 元 组 设 置 对 话 框 对 其 进 行 更 改 通 常, 您 将 使 用 默 认 的 菜 单 求 解 方 法 ; 在 此 求 解 方 法 中, 每 个 单 元 格 值 可 以 独 立 于 其 他 单 元 格 进 行 更 改 由 于 将 其 选 为 默 认 方 法, 因 此 您 无 需 进 行 更 改 菜 单 和 顺 序 求 解 方 法 是 最 常 用 的 方 法, 而 且 可 以 将 其 结 合 使 用, 以 解 决 复 杂 的 组 合 问 题 尤 其 值 得 一 提 的 是, 菜 单 求 解 方 法 将 每 个 变 量 视 为 菜 单 中 的 基 本 成 分, 其 通 过 分 别 更 改 每 个 变 量 的 值 来 尝 试 确 定 最 佳 搭 配 与 此 相 反, 顺 序 求 解 方 法 在 变 量 之 间 交 换 值, 按 不 同 的 方 式 排 列 初 始 值 以 确 定 最 佳 顺 序 对 于 此 模 型, 将 求 解 方 法 设 置 为 菜 单, 然 后 只 需 : 在 描 述 字 段 中 输 入 生 产 的 箱 数 标 记 Evolver 分 步 介 绍 27

34 约 束 条 件 Evolver 允 许 您 输 入 约 束 条 件, 必 须 符 合 这 些 条 件 才 能 使 解 法 有 效 在 此 示 例 模 型 中, 必 须 符 合 三 个 附 加 约 束 条 件, 才 能 使 每 种 面 包 产 品 的 一 组 可 能 生 产 水 平 有 效 这 些 是 除 我 们 已 为 可 调 整 单 元 格 输 入 的 范 围 约 束 条 件 之 外 的 附 加 约 束 条 件 这 三 个 约 束 条 件 如 下 所 示 : 1) 保 证 生 产 时 间 在 所 用 的 员 工 工 时 的 限 制 之 内 ( 所 用 的 员 工 总 工 时 < 50,000) 2) 保 持 可 接 受 的 高 纤 维 面 包 与 低 热 量 面 包 的 比 率 ( 生 产 的 高 纤 维 面 包 的 箱 数 >= 1.5 * 生 产 的 低 热 量 面 包 的 箱 数 ) 3) 保 持 可 接 受 的 五 谷 物 面 包 与 低 热 量 面 包 的 比 率 ( 生 产 的 五 谷 物 面 包 的 箱 数 >= 1.5 * 生 产 的 低 热 量 面 包 的 箱 数 ) 当 Evolver 每 次 针 对 您 的 模 型 生 成 一 个 可 能 解 法 时,Evolver 会 检 查 此 解 法 是 否 符 合 您 已 输 入 的 约 束 条 件 约 束 条 件 显 示 在 Evolver 模 型 对 话 框 底 部 的 约 束 条 件 部 分 您 可 以 在 Evolver 中 指 定 两 种 类 型 的 约 束 条 件 : 严 格 必 须 符 合 才 能 使 解 法 有 效 的 条 件 ( 例 如, 严 格 迭 代 约 束 条 件 为 C10<=A4; 在 这 种 情 况 下, 如 果 解 法 为 C10 生 成 的 值 比 A4 单 元 格 的 值 大, 则 此 解 法 将 会 被 丢 弃 ) 宽 松 我 们 希 望 尽 可 能 符 合, 但 可 能 会 为 了 大 大 改 进 目 标 单 元 格 结 果 而 愿 意 做 出 让 步 的 条 件 ( 即 宽 松 约 束 条 件 可 以 是 C10<100 在 这 种 情 况 下,C10 的 值 可 以 超 过 100, 但 是, 当 此 情 况 发 生 时, 为 目 标 单 元 格 计 算 的 值 将 会 根 据 您 输 入 惩 罚 函 数 而 减 小 ) 28 Evolver 分 步 介 绍

35 添 加 约 束 条 件 要 添 加 约 束 条 件 : 1) 单 击 Evolver 主 对 话 框 的 约 束 条 件 部 分 的 添 加 按 钮 约 束 条 件 设 置 对 话 框 将 会 显 示, 您 可 以 在 其 中 输 入 模 型 的 约 束 条 件 简 单 和 公 式 约 束 条 件 可 以 使 用 简 单 和 公 式 这 两 种 格 式 输 入 约 束 条 件 简 单 格 式 允 许 使 用 < <= > >= 或 = 关 系 输 入 约 束 条 件 典 型 的 简 单 格 式 约 束 条 件 为 0< A1 的 值 <10, 其 中 在 单 元 格 范 围 框 中 输 入 A1, 在 最 小 值 框 中 输 入 0, 而 在 最 大 值 框 中 输 入 10 可 以 从 下 拉 列 表 框 中 选 择 所 需 的 运 算 符 如 果 使 用 简 单 格 式 的 约 束 条 件, 您 可 以 只 输 入 一 个 最 小 值 一 个 最 大 值 或 同 时 输 入 二 者 另 一 方 面, 公 式 约 束 条 件 允 许 您 将 任 何 有 效 的 Excel 公 式 做 为 约 束 条 件 输 入 例 如, 可 以 输 入 以 下 公 式 =IF(A1>100, B1>0, B1<0) 在 此 约 束 条 件 中, 无 论 我 们 要 求 B1 是 正 值 还 是 负 值, 均 由 单 元 格 A1 的 值 确 定 此 外, 可 以 在 单 元 格 中 输 入 公 式 ; 如 果 单 元 格 是 C1, 则 可 以 在 约 束 条 件 设 置 对 话 框 的 公 式 字 段 中 输 入 =C1 一 般 而 言, 使 用 简 单 格 式 输 入 约 束 条 件 可 以 使 RISKOptimizer 查 找 最 佳 解 法 的 速 度 更 快 刚 才 讨 论 的 公 式 可 以 在 单 元 格 D1 中 输 入 为 =IF(A1>100, B1, -B1) 然 后, 可 以 增 加 要 求 D1>0 的 简 单 格 式 约 束 条 件 Evolver 分 步 介 绍 29

36 要 输 入 面 包 厂 模 型 的 约 束 条 件, 您 要 指 定 三 个 新 的 严 格 约 束 条 件 必 须 符 合 这 些 作 为 已 输 入 条 件 的 严 格 约 束 条 件, 否 则 Evolver 将 会 丢 弃 可 能 解 法 首 先, 输 入 简 单 格 式 的 严 格 约 束 条 件 : 1) 在 描 述 框 中, 输 入 可 接 受 的 总 工 时 2) 在 要 约 束 的 范 围 框 中, 输 入 I8 3) 在 要 约 束 的 范 围 框 的 右 侧, 选 择 <= 运 算 符 4) 在 最 大 值 框 中, 输 入 50,000 5) 单 击 确 定 以 输 入 此 约 束 条 件 30 Evolver 分 步 介 绍

37 接 下 来, 输 入 公 式 格 式 的 严 格 约 束 条 件 : 1) 单 击 添 加 以 再 次 显 示 约 束 条 件 设 置 对 话 框 2) 在 描 述 框 中, 输 入 可 接 受 的 高 纤 维 面 包 与 低 热 量 面 包 的 比 率 3) 在 条 目 样 式 框 中, 选 择 公 式 4) 在 约 束 条 件 公 式 框 中, 输 入 C4>= 1.5*B4 5) 单 击 确 定 6) 单 击 添 加 以 再 次 显 示 约 束 条 件 设 置 对 话 框 7) 在 描 述 框 中, 输 入 可 接 受 的 五 谷 物 面 包 与 低 热 量 面 包 的 比 率 8) 在 条 目 样 式 框 中, 选 择 公 式 9) 在 约 束 条 件 公 式 框 中, 输 入 D4>= 1.5*B4 10) 单 击 确 定 已 完 成 约 束 条 件 部 分 的 模 型 对 话 框 应 如 下 所 示 Evolver 分 步 介 绍 31

38 其 他 Evolver 选 项 在 最 优 化 过 程 中, 可 以 使 用 诸 如 显 示 Excel 重 新 计 算 和 运 行 时 间 之 类 的 选 项 来 控 制 Evolver 的 运 行 方 式 让 我 们 来 指 定 一 些 运 行 时 间 选 项 并 显 示 更 新 设 置 停 止 条 件 Evolver 将 按 照 您 的 要 求 运 行 当 处 于 以 下 情 况 时, 停 止 条 件 允 许 Evolver 自 动 停 止 运 行 :a) 已 检 查 一 定 数 目 的 方 案 或 试 验,b) 已 消 耗 一 定 数 量 的 时 间,c) 未 在 最 后 n 个 试 验 中 找 到 显 著 改 进 之 处, 或 d) 已 输 入 的 Excel 公 式 评 估 为 TRUE 要 查 看 和 编 辑 运 行 时 间 选 项 : 1) 单 击 Evolver 功 能 导 航 栏 或 工 具 栏 上 的 设 置 图 标 2) 选 择 运 行 时 间 选 项 卡 在 最 优 化 设 置 对 话 框 中, 您 可 以 选 择 这 些 最 优 化 停 止 条 件 的 任 意 组 合, 或 者 根 本 不 选 择 任 何 停 止 条 件 如 果 选 择 了 多 个 停 止 条 件, 当 符 合 所 选 的 任 何 一 个 停 止 条 件 时,Evolver 均 将 停 止 运 行 如 果 没 有 选 择 任 何 停 止 条 件,Evolver 将 会 一 直 运 行, 除 非 按 Evolver 工 具 栏 中 的 停 止 按 钮, 以 手 动 方 式 将 其 停 止 运 行 ; 其 也 会 在 尝 试 完 所 有 可 能 解 法 后 停 止 32 Evolver 分 步 介 绍

39 试 验 次 数 时 间 进 度 公 式 为 真 此 选 项 设 置 您 希 望 Evolver 运 行 的 试 验 的 数 目 在 每 次 试 验 中, Evolver 会 评 估 一 整 套 变 量 或 问 题 的 一 种 可 能 解 法 在 已 消 耗 指 定 数 量 的 时 间 后,Evolver 将 会 停 止 运 行 此 数 目 可 以 是 分 数 (4.25) 此 停 止 条 件 是 最 常 用 的 条 件, 因 为 它 跟 踪 改 进 之 处, 并 允 许 Evolver 在 改 进 比 率 降 低 之 前 保 持 运 行 例 如,Evolver 可 以 在 经 过 次 试 验 后, 并 且 目 标 单 元 格 值 改 进 未 超 过 0.01% 时 停 止 在 模 型 重 新 计 算 中, 如 果 已 输 入 的 Excel 公 式 评 估 为 TRUE, Evolver 将 会 停 止 运 行 关 闭 所 有 停 止 条 件 可 以 使 Evolver 自 由 运 行 Evolver 分 步 介 绍 33

40 视 图 选 项 当 Evolver 运 行 时, 视 图 选 项 卡 上 提 供 的 一 组 选 项 可 以 确 定 您 在 屏 幕 上 看 到 的 内 容 显 示 Excel 重 新 计 算 选 项 包 括 : 每 次 试 验 此 选 项 在 每 次 计 算 后 重 画 屏 幕, 允 许 您 查 看 Evolver 调 整 变 量 和 计 算 输 出 项 的 过 程 在 您 学 习 Evolver, 以 及 每 次 针 对 一 个 新 模 型 使 用 Evolver 时, 我 们 建 议 您 打 开 此 选 项, 以 确 定 您 的 模 型 是 否 正 在 进 行 正 确 计 算 每 个 新 的 最 佳 试 验 每 次 当 Evolver 生 成 一 个 新 的 最 佳 答 案 时, 此 选 项 会 重 画 屏 幕, 允 许 您 在 最 优 化 过 程 中 随 时 查 看 当 前 的 优 化 解 法 选 择 每 次 试 验 34 Evolver 分 步 介 绍

41 运 行 最 优 化 现 在, 所 有 要 做 的 事 就 是 最 优 化 此 模 型, 以 使 总 利 润 最 大 化, 同 时 满 足 生 产 限 制 要 求 要 进 行 此 操 作 : 1) 单 击 确 定 以 退 出 最 优 化 设 置 对 话 框 2) 单 击 开 始 最 优 化 图 标 由 于 运 行 最 优 化 时 未 在 运 行 时 间 选 项 卡 或 最 优 化 设 置 对 话 框 中 选 择 任 何 选 项, 因 此 我 们 必 须 通 过 以 下 方 法 停 止 最 优 化 : 在 运 行 过 程 中, 进 度 窗 口 会 显 示 :1) 到 目 前 为 止 找 到 的 最 佳 解 法, 2) Evolver 开 始 最 优 化 时, 目 标 单 元 格 的 初 始 值,3) 对 您 的 模 型 所 执 行 的 试 验 次 数, 以 及 有 效 试 验 次 数 ; 即 符 合 所 有 约 束 条 件, 以 及 4) 在 最 优 化 过 程 中 已 消 耗 的 时 间 在 运 行 过 程 中, 您 可 以 随 时 单 击 Excel 更 新 选 项 图 标 来 选 择 或 取 消 选 择 每 次 试 验 的 屏 幕 的 实 时 更 新 Evolver 分 步 介 绍 35

42 Evolver 观 察 器 Evolver 也 可 以 显 示 每 种 试 验 解 法 的 运 行 日 志 当 Evolver 运 行 时, 会 在 Evolver 观 察 器 中 显 示 此 运 行 日 志 要 查 看 试 验 的 运 行 日 志 : 1) 请 单 击 进 度 窗 口 中 的 观 察 器 ( 放 大 镜 ) 图 标, 以 显 示 Evolver 观 察 器 2) 单 击 日 志 选 项 卡 此 报 表 中 会 显 示 每 种 试 验 解 法 的 结 果 结 果 列 按 试 验 显 示 您 要 尝 试 最 大 化 或 最 小 化 的 目 标 单 元 格 的 值 在 此 案 例 中, 总 利 润 在 $I$11 中 B4 至 G4 列 确 定 用 于 可 调 整 单 元 格 的 值 36 Evolver 分 步 介 绍

43 停 止 最 优 化 由 于 运 行 最 优 化 时 未 在 运 行 时 间 选 项 卡 或 最 优 化 设 置 对 话 框 中 选 择 任 何 选 项, 因 此 我 们 必 须 通 过 以 下 方 法 停 止 最 优 化 : 1) 单 击 Evolver 观 察 器 或 进 度 窗 口 中 的 停 止 图 标 当 Evolver 进 程 停 止 时,Evolver 会 显 示 停 止 选 项 选 项 卡, 此 选 项 卡 提 供 以 下 选 择 : 当 符 合 Evolver 最 优 化 设 置 对 话 框 中 设 置 的 任 何 一 个 停 止 条 件 时, 这 些 相 同 选 项 将 会 自 动 出 现 Evolver 分 步 介 绍 37

44 摘 要 报 表 Evolver 可 以 创 建 一 个 最 优 化 摘 要 报 表, 其 中 包 含 诸 如 运 行 日 期 和 时 间 使 用 的 最 优 化 设 置 计 算 的 目 标 单 元 格 的 值, 以 及 每 个 可 调 整 单 元 格 的 初 始 值 和 最 佳 值 之 类 的 信 息 对 于 比 较 连 续 最 优 化 的 结 果, 此 报 表 将 非 常 有 用 38 Evolver 分 步 介 绍

45 将 结 果 放 在 模 型 中 要 将 面 包 厂 的 六 种 面 包 的 新 的 且 已 最 优 化 的 生 产 水 平 组 合 放 在 您 的 工 作 表 中 : 1) 确 保 在 显 示 停 止 选 项 选 项 卡 时, 未 选 择 恢 复 初 始 可 调 整 单 元 值 选 项 2) 单 击 确 定 按 钮 Evolver 将 会 返 回 到 BAKERY TUTORIAL WALKTHROUGH.XLS 电 子 表 格, 其 中 包 含 创 建 了 最 佳 解 法 的 所 有 新 变 量 值 重 要 提 示 : 在 我 们 的 示 例 中, 尽 管 您 看 到 Evolver 找 到 了 一 个 生 成 的 总 利 润 为 4,686,420 的 解 法, 但 您 的 结 果 可 能 比 此 结 果 稍 高 或 稍 低 这 些 差 异 由 Evolver 与 所 有 其 他 问 题 求 解 算 法 之 间 的 重 要 区 别 造 成 :Evolver 的 遗 传 算 法 和 OptQuest 引 擎 能 够 解 决 各 种 不 同 问 题, 并 找 到 更 佳 解 法 Evolver 分 步 介 绍 39

46 在 您 保 存 已 在 其 上 运 行 过 Evolver 的 任 何 工 作 表 时 ( 即 使 在 运 行 Evolver 之 后 恢 复 了 工 作 表 中 的 初 始 值 ),Evolver 对 话 框 中 的 所 有 Evolver 设 置 也 将 随 此 工 作 表 一 起 保 存 下 次 打 开 此 工 作 表 时, 所 有 最 近 的 Evolver 设 置 将 会 自 动 加 载 所 有 其 他 示 例 工 作 表 中 已 预 填 充 了 Evolver 设 置, 并 准 备 进 行 最 优 化 注 : 如 果 您 要 了 解 已 预 填 充 所 有 最 优 化 设 置 的 面 包 厂 模 型, 请 打 开 示 例 模 型 Bakery.xls 或 Bakery.xlsx 40 Evolver 分 步 介 绍

47 Evolver 参 考 指 南 模 型 定 义 命 令 可 调 整 单 元 范 围 可 调 整 单 元 组 菜 单 求 解 方 法 顺 序 求 解 方 法 分 组 求 解 方 法 预 算 求 解 方 法 项 目 求 解 方 法 日 程 安 排 求 解 方 法 时 间 块 数 和 约 束 单 元 格 约 束 条 件 添 加 添 加 约 束 条 件 约 束 条 件 准 确 度 条 目 样 式 宽 松 约 束 条 件 最 优 化 设 置 命 令 最 优 化 设 置 命 令 运 行 时 间 选 项 卡 最 优 化 运 行 时 间 选 项 设 置 命 令 引 擎 选 项 卡 最 优 化 模 式 优 化 使 用 遗 传 算 法 设 置 运 算 符 最 优 化 设 置 命 令 视 图 选 项 卡 最 优 化 设 置 命 令 宏 选 项 卡 开 始 最 优 化 命 令 实 用 工 具 命 令 应 用 程 序 设 置 命 令 约 束 条 件 求 解 器 命 令 Evolver 观 察 器 Evolver 参 考 指 南 41

48 Evolver 观 察 器 进 度 选 项 卡 Evolver 观 察 器 摘 要 选 项 卡 Evolver 观 察 器 日 志 选 项 卡 Evolver 观 察 器 总 体 选 项 卡 Evolver 观 察 器 多 样 性 选 项 卡 Evolver 观 察 器 停 止 选 项 选 项 卡 Evolver 参 考 指 南

49 模 型 定 义 命 令 定 义 模 型 的 目 标 可 调 整 单 元 格 和 约 束 条 件 选 择 Evolver 模 型 定 义 命 令 ( 或 单 击 Evolver 工 具 栏 上 的 模 型 图 标 ), 模 型 对 话 框 将 会 显 示 Evolver 模 型 对 话 框 Evolver 模 型 对 话 框 用 于 指 定 或 描 述 Evolver 的 最 优 化 问 题 在 开 始 时, 此 对 话 框 在 每 个 新 的 Excel 工 作 簿 中 显 示 为 空 白, 但 它 会 在 每 个 工 作 簿 中 保 存 其 信 息 这 意 味 着 再 次 打 开 工 作 表 时, 此 对 话 框 会 以 相 同 方 式 进 行 填 充 此 对 话 框 的 每 个 组 件 如 本 节 中 所 述 Evolver 参 考 指 南 43

50 模 型 对 话 框 中 的 选 项 包 括 : 最 优 化 目 标 最 优 化 目 标 选 项 确 定 Evolver 要 搜 索 的 答 案 的 类 型 如 果 选 择 最 小 值,Evolver 将 查 找 生 成 目 标 单 元 格 的 最 小 可 能 值 的 变 量 值 ( 最 小 -1e300) 如 果 选 择 最 大 值,Evolver 将 搜 索 生 成 目 标 单 元 格 的 最 大 可 能 值 的 变 量 值 ( 最 大 +1e300) 如 果 选 择 目 标 值,Evolver 将 搜 索 生 成 目 标 单 元 格 的 值 的 变 量 值, 此 值 应 尽 量 接 近 您 指 定 的 值 当 Evolver 找 到 生 成 此 结 果 的 解 法 时, Evolver 将 自 动 停 止 运 行 例 如, 如 果 您 指 定 Evolver 应 找 到 最 接 近 14 的 结 果,Evolver 可 能 找 到 生 成 诸 如 13.7 或 14.5 之 类 的 值 的 方 案 请 注 意,13.7 比 14.5 更 接 近 14;Evolver 不 会 关 注 生 成 的 值 是 大 于 还 是 小 于 您 指 定 的 值, 它 只 查 看 与 值 的 接 近 程 度 单 元 格 单 元 格 或 目 标 单 元 格 包 含 您 的 模 型 的 输 出 项 将 为 Evolver 生 成 的 每 种 试 验 解 法 生 成 此 目 标 单 元 格 的 值 ( 即 可 调 整 单 元 格 的 可 能 值 的 所 有 组 合 ) 目 标 单 元 格 应 包 含 一 个 与 可 调 整 单 元 格 相 关 的 公 式 ( 直 接 或 通 过 一 系 列 计 算 ) 可 以 使 用 标 准 Excel 公 式 ( 如 SUM()) 或 用 户 定 义 的 VBA 宏 函 数 来 生 成 此 公 式 通 过 使 用 VBA 宏 函 数, 您 可 以 使 Evolver 评 估 非 常 复 杂 的 模 型 当 Evolver 查 找 一 种 解 法 时, 它 使 用 目 标 单 元 格 的 值 作 为 评 级 或 目 标 函 数 来 评 估 每 种 可 能 方 案 的 优 良 程 度 在 构 建 模 型 时, 您 的 目 标 单 元 格 必 须 反 映 任 何 特 定 方 案 的 优 良 程 度, 因 此 在 Evolver 计 算 概 率 时, 它 能 够 准 确 测 量 其 进 度 44 Evolver 参 考 指 南

51 可 调 整 单 元 范 围 可 调 整 单 元 范 围 表 显 示 每 个 包 含 Evolver 可 以 调 整 的 单 元 格 或 值 的 范 围, 以 及 输 入 的 有 关 这 些 单 元 格 的 描 述 每 组 可 调 整 单 元 格 在 水 平 行 中 列 出 可 调 整 单 元 组 中 可 以 包 括 一 个 或 多 个 可 调 整 单 元 格 范 围 可 调 整 单 元 组 中 的 所 有 单 元 格 范 围 共 享 一 个 公 用 求 解 方 法 ; 如 果 使 用 遗 传 算 法, 它 们 还 会 共 享 交 叉 率 突 变 率 和 运 算 符 由 于 可 调 整 单 元 格 包 含 问 题 的 变 量, 因 此 您 必 须 至 少 定 义 一 组 可 调 整 单 元 格 来 使 用 Evolver 大 多 数 问 题 仅 使 用 一 组 可 调 整 单 元 格 描 述, 但 更 复 杂 的 问 题 可 能 需 要 同 时 使 用 不 同 的 解 法 进 行 求 解 的 不 同 的 变 量 块 此 独 特 结 构 允 许 从 多 个 可 调 整 单 元 格 组 中 轻 松 构 建 极 为 复 杂 的 问 题 以 下 选 项 可 以 用 于 输 入 可 调 整 单 元 范 围 : 添 加 通 过 单 击 可 调 整 单 元 列 表 框 旁 边 的 添 加 按 钮, 添 加 新 的 可 调 整 单 元 格 选 择 要 添 加 的 单 元 格 或 单 元 格 范 围, 然 后 在 可 调 整 单 元 范 围 表 中 显 示 一 个 新 行 在 此 表 格 中, 您 可 以 输 入 范 围 内 单 元 格 的 最 小 值 和 最 大 值, 以 及 要 检 验 的 值 类 型 范 围 内 的 整 数 值, 离 散 值 ( 具 有 定 义 的 步 进 大 小 ), 或 任 意 值 最 小 值 和 最 大 值 在 您 指 定 可 调 整 单 元 格 的 位 置 后, 最 小 值 和 最 大 值 条 目 会 设 置 每 个 可 调 整 单 元 格 的 可 接 受 值 的 范 围 默 认 情 况 下, 每 个 可 调 整 单 元 格 均 使 用 负 无 穷 与 正 无 穷 之 间 的 实 数 ( 双 精 度 浮 点 ) 值 Evolver 参 考 指 南 45

52 范 围 设 置 是 需 要 严 格 执 行 的 约 束 条 件 Evolver 将 不 允 许 任 何 变 量 使 用 设 置 范 围 之 外 的 值 在 可 以 改 进 Evolver 的 性 能 时, 最 好 为 您 的 变 量 设 置 更 加 具 体 的 范 围 例 如, 对 于 一 个 特 定 变 量, 您 可 能 知 道 数 字 不 能 为 负, 或 者 Evolver 应 只 使 用 50 到 70 之 间 的 值 范 围 在 范 围 字 段 中 输 入 要 调 整 的 单 元 格 的 引 用 通 过 使 用 鼠 标 选 择 电 子 表 格 中 的 区 域, 输 入 范 围 名 称 或 键 入 诸 如 Sheet1!A1:B8 之 类 的 有 效 Excel 引 用 来 输 入 此 引 用 范 围 字 段 可 以 用 于 所 有 求 解 方 法 但 是, 对 于 菜 单 和 预 算 方 法, 可 以 添 加 最 小 值 最 大 值 和 值 选 项, 以 允 许 输 入 可 调 整 单 元 格 的 范 围 注 : 通 过 向 变 量 分 配 紧 密 范 围, 您 可 以 限 制 搜 索 范 围, 并 加 速 Evolver 收 敛 解 法 但 是, 请 注 意 不 要 将 变 量 范 围 限 制 得 太 紧 密 ; 这 可 能 会 妨 碍 Evolver 查 找 优 化 解 法 值 值 条 目 允 许 您 指 定 Evolver 应 将 指 定 范 围 内 的 所 有 变 量 视 为 整 数 ( 如 ) 离 散 实 数 ( 如 , 如 果 步 长 大 小 为 0.5) 或 者 指 定 范 围 内 的 所 有 实 数 此 选 项 仅 适 用 于 菜 单 和 预 算 求 解 方 法 默 认 设 置 是 允 许 指 定 范 围 内 的 所 有 实 数 例 如, 如 果 指 定 值 范 围 介 于 1 至 4 之 间 : 任 意 值 表 示 包 括 介 于 1 至 4 之 间 的 所 有 实 数 整 数 表 示 包 括 值 和 4 步 进 大 小 为 0.5 的 离 散 表 示 包 括 值 和 4 46 Evolver 参 考 指 南

53 默 认 设 置 是 包 括 指 定 范 围 内 的 所 有 实 数 值 选 项 仅 适 用 于 菜 单 和 预 算 求 解 方 法 与 允 许 任 意 值 的 可 调 整 单 元 格 相 比, 使 用 离 散 可 调 整 单 元 格 可 大 大 减 少 可 能 解 法 的 数 量, 这 通 常 可 以 加 快 最 优 化 的 速 度 可 调 整 单 元 组 每 组 可 调 整 单 元 格 可 以 包 含 多 个 单 元 格 范 围 这 允 许 您 构 建 一 个 具 有 层 次 结 构 的 相 关 单 元 格 范 围 的 组 在 该 组 中, 每 个 单 元 格 范 围 均 具 有 自 己 的 最 小 值 - 最 大 值 范 围 约 束 条 件 可 调 整 单 元 组 中 的 所 有 单 元 格 范 围 共 享 一 个 公 用 求 解 方 法 此 解 法 在 可 调 整 单 元 组 设 置 对 话 框 中 指 定 通 过 单 击 可 调 整 单 元 范 围 表 旁 边 的 组 按 钮 访 问 此 对 话 框 您 可 以 创 建 一 个 在 其 中 添 加 可 调 整 单 元 格 范 围 的 新 组, 或 编 辑 一 个 现 有 组 的 设 置 可 调 整 单 元 组 设 置 对 话 框 中 的 选 项 包 括 : 描 述 描 述 对 话 框 和 报 表 中 的 可 调 整 单 元 格 范 围 组 求 解 方 法 选 择 用 于 组 中 每 个 可 调 整 单 元 格 范 围 的 求 解 方 法 Evolver 参 考 指 南 47

54 当 您 选 择 要 由 Evolver 进 行 调 整 的 单 元 格 范 围 时, 您 也 可 以 指 定 在 调 整 这 些 可 调 整 单 元 格 时 要 应 用 的 求 解 方 法 每 种 求 解 方 法 以 一 种 不 同 的 方 式 调 整 变 量 的 值 例 如, 菜 单 求 解 方 法 将 选 中 的 每 个 变 量 视 为 菜 单 中 的 基 本 成 分 ; 每 个 变 量 的 值 可 以 独 立 于 其 他 变 量 的 值 进 行 更 改 相 反, 顺 序 求 解 方 法 则 在 可 调 整 单 元 格 之 间 交 换 值, 并 对 单 元 格 中 的 初 始 值 重 新 进 行 排 序 Evolver 共 有 六 种 求 解 方 法 三 种 求 解 方 法 ( 菜 单 顺 序 和 分 组 ) 使 用 完 全 不 同 的 算 法 其 他 三 种 求 解 方 法 是 前 三 种 求 解 方 法 的 子 级, 并 添 加 了 其 他 约 束 条 件 以 下 部 分 描 述 每 种 求 解 方 法 的 函 数 要 更 好 地 了 解 如 何 使 用 每 种 求 解 方 法, 我 们 建 议 您 研 究 软 件 随 附 的 示 例 文 件 ( 请 参 见 应 用 示 例 ) 48 Evolver 参 考 指 南

55 菜 单 求 解 方 法 在 各 种 求 解 方 法 中, 菜 单 求 解 方 法 是 最 简 单 且 最 常 用 的 类 型 如 果 要 调 整 的 一 组 变 量 相 互 之 间 可 以 独 立 改 变 时, 请 使 用 菜 单 求 解 方 法 将 每 个 变 量 视 为 蛋 糕 中 每 个 基 本 成 分 的 数 量 ; 当 您 使 用 菜 单 求 解 方 法 时, 您 将 告 知 Evolver 生 成 这 些 变 量 的 数 量, 以 确 定 最 佳 搭 配 针 对 菜 单 变 量 的 唯 一 约 束 条 件 是 设 置 范 围 ( 最 高 值 和 最 低 值 ), 这 些 值 必 须 处 于 设 置 的 范 围 之 间 在 可 调 整 单 元 对 话 框 的 最 小 值 和 最 大 值 字 段 中 设 置 这 些 值 ( 例 如,1 到 100), 同 时 也 指 明 Evolver 是 否 应 尝 试 整 数 (1 2 7), 具 有 特 定 步 进 大 小 的 范 围 内 的 离 散 值 ( ) 或 实 数 ( ) 以 下 示 例 说 明 在 调 用 Evolver 之 前 位 于 某 个 工 作 表 中 的 一 组 变 量 值, 以 及 在 使 用 菜 单 求 解 方 法 后, 所 生 成 的 两 个 新 方 案 的 可 能 形 式 一 组 初 始 变 量 值 一 组 可 能 菜 单 值 另 一 组 可 能 菜 单 值 ,664 14,021 93,572 Evolver 参 考 指 南 49

56 顺 序 求 解 方 法 顺 序 求 解 方 法 是 第 二 常 用 的 求 解 方 法 类 型, 排 在 菜 单 求 解 方 法 之 后 顺 序 是 一 组 项 目 的 排 列, 而 您 在 其 中 尝 试 确 定 排 列 一 组 特 定 值 的 最 佳 方 式 与 要 求 Evolver 生 成 所 选 变 量 的 值 的 菜 单 和 预 算 求 解 方 法 不 同, 顺 序 求 解 方 法 要 求 Evolver 使 用 模 型 中 的 现 有 值 一 个 顺 序 可 以 表 示 要 执 行 的 一 组 任 务 的 顺 序 例 如, 您 可 能 需 要 确 定 完 成 和 5 五 项 任 务 的 顺 序 顺 序 求 解 方 法 将 会 搅 乱 这 些 值, 因 此 一 种 方 案 可 能 是 由 于 Evolver 只 尝 试 初 始 工 作 表 中 的 变 量 值, 因 此 在 使 用 顺 序 求 解 方 法 时, 不 需 要 为 可 调 整 单 元 格 输 入 最 小 值 - 最 大 值 范 围 以 下 示 例 说 明 在 调 用 Evolver 之 前 位 于 某 个 工 作 表 中 的 一 组 变 量 值, 以 及 在 使 用 顺 序 求 解 方 法 后, 所 生 成 的 两 个 新 方 案 的 可 能 形 式 一 组 初 始 变 量 值 一 组 可 能 顺 序 值 另 一 组 可 能 顺 序 值 , , 分 组 求 解 方 法 65, 如 果 您 的 问 题 涉 及 多 个 要 分 为 多 个 组 的 项 目, 应 使 用 分 组 求 解 方 法 默 认 情 况 下,RISKOptimizer 创 建 的 不 同 组 的 数 量 将 等 于 开 始 最 优 化 时 在 可 调 整 单 元 格 中 显 示 的 唯 一 值 的 数 量 ( 可 以 使 用 下 文 讨 论 的 组 身 份 代 码 字 段 更 改 此 默 认 行 为 ) 例 如, 假 设 50 个 单 元 格 的 范 围 包 含 的 值 只 有 和 17 当 您 选 择 50 个 单 元 格 并 使 用 分 组 求 解 方 法 调 整 这 些 值 时,Evolver 将 50 个 单 元 格 中 的 每 个 单 元 格 分 配 到 3 个 组 (2 3.5 或 17) 其 中 之 一 所 有 组 均 至 少 由 一 个 可 调 整 单 元 格 表 示 ; 这 与 将 50 个 变 量 中 的 每 个 变 量 投 掷 到 几 个 块 中 的 其 中 一 个 的 方 式 一 样, 而 且 确 保 每 个 块 中 至 少 有 一 个 变 量 另 一 个 示 例 是 将 1s 0s 和 -1s 分 配 到 交 易 系 统, 以 指 明 买 入 卖 出 和 持 仓 头 寸 与 顺 序 求 解 方 法 一 样, 分 组 求 解 方 法 要 求 Evolver 排 列 现 有 值, 因 此 没 有 要 定 义 的 最 小 - 最 大 范 围 或 整 数 选 项 注 : 当 使 用 分 组 求 解 方 法 时, 不 能 将 任 何 单 元 格 设 置 为 空 白, 除 非 您 希 望 其 中 的 一 个 组 显 示 为 Evolver 参 考 指 南

57 如 果 将 整 数 选 项 设 置 为 开 且 范 围 设 置 为 从 1 到 3( 或 存 在 的 组 数 ) 时, 您 可 能 注 意 到 使 用 分 组 求 解 方 法 近 似 于 使 用 菜 单 求 解 方 法 菜 单 与 分 组 可 调 整 单 元 格 的 差 异 在 于 执 行 搜 索 的 方 式 对 于 解 决 分 组 问 题, 算 法 更 关 注 所 有 变 量 的 值, 因 为 其 可 以 将 一 个 组 中 的 一 组 变 量 与 另 一 个 组 中 的 一 组 变 量 进 行 交 换 以 下 示 例 说 明 在 调 用 Evolver 之 前 位 于 某 个 工 作 表 中 的 一 组 变 量 值, 以 及 在 使 用 分 组 求 解 方 法 后, 所 生 成 的 两 个 新 方 案 的 可 能 形 式 一 组 初 始 变 量 值 一 组 可 能 分 组 值 另 一 组 可 能 分 组 值 使 用 分 组 求 解 方 法 时, 可 调 整 单 元 组 设 置 对 话 框 中 会 有 2 项 附 加 设 置 : 必 须 使 用 的 所 有 组 如 果 勾 选 此 选 项, 则 每 个 解 法 将 具 有 每 个 组 中 的 成 员 例 如, 如 果 可 调 整 单 元 格 是 A1:D1, 而 组 身 份 代 码 是 1 2 和 3, 则 Evolver 将 不 会 尝 试 将 1 分 配 到 所 有 4 个 单 元 格 的 解 法 ( 缺 少 2 和 3) 此 外, 如 果 未 选 中 该 复 选 框, 则 也 可 使 用 此 解 法 组 身 份 代 码 ( 可 选 ) 此 设 置 允 许 用 户 指 定 包 含 数 字 组 身 份 代 码 的 范 围 通 常,Evolver 从 可 调 整 范 围 中 读 取 组 身 份 代 码 例 如, 如 果 可 调 整 范 围 是 A1:D1, 而 且 范 围 中 包 含 数 字 , 则 Evolver 将 使 用 1 2 和 3 作 为 组 身 份 代 码 但 是, 组 的 数 量 可 能 多 于 可 调 整 单 元 格 的 数 量 ; 例 如, 我 们 可 能 需 要 将 单 元 格 A1:D1 表 示 的 项 目 分 配 到 组 1 至 5 中 在 这 种 情 况 下, 组 身 份 代 码 设 置 将 允 许 用 户 指 定 一 个 包 含 五 个 单 元 格 的 范 围, 同 时 将 数 字 1 到 5 用 作 最 优 化 过 程 中 的 组 身 份 代 码 必 须 使 用 的 所 有 组 如 果 勾 选 此 选 项, 则 每 个 解 法 将 具 有 每 个 组 中 的 成 员 例 如, 如 果 可 调 整 单 元 格 是 A1:D1, 而 组 身 份 代 码 是 1 2 和 3, 则 Evolver 将 不 会 尝 试 将 1 分 配 到 所 有 4 个 单 元 格 的 解 法 ( 缺 少 2 和 3) 此 外, 如 果 未 选 中 复 选 框, 也 可 能 使 用 此 解 法 Evolver 参 考 指 南 51

58 预 算 求 解 方 法 预 算 求 解 方 法 与 菜 单 求 解 方 法 相 似, 但 不 同 之 处 在 于 所 有 变 量 值 的 总 和 必 须 为 一 个 特 定 数 字 此 数 字 是 开 始 最 优 化 时 变 量 值 的 总 和 例 如, 您 可 能 需 要 确 定 在 几 个 部 门 之 间 分 配 年 度 预 算 的 最 佳 方 式 预 算 求 解 方 法 将 使 用 各 部 门 当 前 值 的 总 和, 并 将 此 总 和 用 作 要 最 优 化 分 配 的 总 预 算 以 下 是 使 用 预 算 求 解 方 法 后, 可 能 看 似 两 个 新 方 案 的 示 例 一 组 初 始 预 算 值 一 组 可 能 预 算 值 另 一 组 可 能 预 算 值 将 会 尝 试 许 多 值, 但 所 有 值 的 总 和 仍 为 相 反, 如 果 使 用 预 算 求 解 方 法, 用 户 可 以 使 用 菜 单 求 解 方 法 并 添 加 指 定 可 调 整 单 元 格 的 固 定 总 值 的 约 束 条 件 如 果 使 用 OptQuest 引 擎, 此 方 法 会 非 常 有 效 但 是, 如 果 使 用 遗 传 算 法, 预 算 解 法 将 会 更 有 效 52 Evolver 参 考 指 南

59 项 目 求 解 方 法 项 目 求 解 方 法 与 顺 序 求 解 方 法 相 似, 只 是 某 些 项 目 ( 任 务 ) 必 须 位 于 其 他 项 目 之 前 您 可 以 在 项 目 管 理 中 使 用 项 目 求 解 方 法, 以 重 新 排 列 任 务 的 顺 序, 但 此 顺 序 将 始 终 符 合 优 先 约 束 条 件 如 果 包 含 任 务 顺 序 的 可 调 整 单 元 格 位 于 一 列, 而 不 是 一 行, 则 将 更 容 易 处 理 和 理 解 使 用 项 目 求 解 方 法 建 模 的 问 题 这 是 因 为 此 求 解 方 法 预 计 采 用 垂 直 方 式 ( 而 非 水 平 方 式 ) 来 排 列 优 先 任 务 单 元 格, 如 果 可 调 整 单 元 格 也 呈 垂 直 排 列, 将 会 使 工 作 表 检 查 更 为 容 易 在 指 定 可 调 整 单 元 格 的 位 置 之 后, 您 应 在 对 话 框 的 优 先 任 务 部 分 中 指 定 优 先 任 务 单 元 格 的 位 置 这 是 一 个 描 述 哪 些 任 务 必 须 位 于 其 他 任 务 之 后 的 单 元 格 表 此 求 解 方 法 使 用 此 表 重 新 排 列 方 案 中 变 量 的 顺 序, 直 到 符 合 优 先 约 束 条 件 可 调 整 单 元 格 中 每 项 任 务 的 优 先 任 务 范 围 中 应 包 含 一 行 从 优 先 任 务 范 围 的 第 一 列 开 始, 应 在 单 独 的 列 中 列 出 该 行 任 务 所 依 据 的 各 任 务 的 识 别 号 码 如 何 为 项 目 求 解 方 法 设 置 引 用 单 元 的 示 例 优 先 任 务 范 围 应 指 定 为 n 行 m 列, 其 中 n 为 项 目 ( 可 调 整 单 元 格 ) 中 的 任 务 数, 而 m 为 任 何 一 个 任 务 所 具 有 的 最 大 优 先 任 务 数 以 下 示 例 说 明 在 调 用 Evolver 之 前 位 于 某 个 工 作 表 中 的 一 组 变 量 值, 以 及 在 使 用 具 有 约 束 条 件 (2 必 须 始 终 位 于 1 之 后, 而 4 必 须 始 终 位 于 2 之 后 ) 的 项 目 求 解 方 法 后, 所 生 成 的 两 个 新 方 案 的 可 能 形 式 一 组 初 始 变 量 值 一 组 可 能 项 目 值 另 一 组 可 能 项 目 值 Evolver 参 考 指 南 53

60 日 程 安 排 求 解 方 法 日 程 安 排 类 似 于 分 组 ; 它 属 于 任 务 与 时 间 的 分 配 每 项 任 务 假 设 为 花 费 相 同 的 时 间, 如 同 学 校 中 同 样 课 时 长 度 的 课 程 但 是, 与 分 组 不 同, 日 程 安 排 求 解 方 法 的 可 调 整 单 元 组 设 置 对 话 框 使 您 可 以 直 接 指 定 要 使 用 的 时 段 ( 组 ) 数 请 注 意, 当 您 选 择 日 程 安 排 方 法 时, 此 对 话 框 的 下 部 将 出 现 几 个 相 关 选 项 用 户 可 以 指 定 一 个 定 义 与 日 程 安 排 相 关 的 约 束 条 件 的 范 围 此 范 围 可 以 是 任 何 长 度, 但 必 须 准 确 分 为 三 列 可 以 识 别 的 约 束 条 件 有 8 类 : 1) ( 与 ) 第 1 和 第 3 列 中 的 任 务 必 须 在 同 一 时 段 内 出 现 2) ( 不 与 一 起 ) 第 1 和 第 3 列 中 的 任 务 不 能 在 同 一 时 段 内 出 现 3) ( 早 于 ) 第 1 列 中 的 任 务 必 须 在 第 3 列 中 的 任 务 之 前 出 现 4) ( 在 ) 第 1 列 中 的 任 务 必 须 在 第 3 列 中 的 时 段 内 出 现 5) ( 不 晚 于 ) 第 1 列 中 的 任 务 必 须 与 第 3 列 中 的 任 务 在 同 一 时 间 或 之 前 出 现 6) ( 不 早 于 ) 第 1 列 中 的 任 务 必 须 与 第 3 列 中 的 任 务 在 同 一 时 间 或 之 后 出 现 7) ( 不 在 ) 第 1 列 中 的 任 务 不 能 在 第 3 列 中 的 时 段 内 出 现 8) ( 晚 于 ) 第 1 列 中 的 任 务 必 须 在 第 3 列 中 的 任 务 之 后 出 现 54 Evolver 参 考 指 南

61 您 可 以 为 约 束 条 件 输 入 数 字 代 码 (1 至 8) 或 英 文 说 明 ( 晚 于 不 在 等 ) ( 注 :Evolver 的 所 有 语 言 版 本 均 可 以 识 别 为 约 束 条 件 输 入 的 英 文 说 明 以 及 其 转 换 形 式 ) 符 合 问 题 中 指 定 的 所 有 约 束 条 件 要 创 建 约 束 条 件, 请 在 您 的 工 作 表 中 找 到 一 个 空 位 置 并 创 建 一 个 表, 其 中 左 右 列 表 示 任 务, 而 中 间 列 表 示 约 束 条 件 的 类 型 数 字 1 至 8 表 示 上 面 所 列 的 约 束 条 件 的 类 型 在 开 始 最 优 化 之 前, 约 束 条 件 范 围 中 的 单 元 格 内 必 须 包 含 约 束 条 件 数 据 此 任 务 约 束 条 件 此 任 务 Evolver 参 考 指 南 55

62 以 下 示 例 说 明 在 调 用 Evolver 之 前 位 于 某 个 工 作 表 中 的 一 组 变 量 值, 以 及 在 使 用 日 程 安 排 求 解 方 法 后, 所 生 成 的 两 个 新 方 案 可 能 形 式 一 组 初 始 变 量 值 一 组 可 能 日 程 安 排 值 另 一 组 可 能 日 程 安 排 值 注 : 当 您 选 择 日 程 安 排 求 解 方 法 时, 将 始 终 使 用 从 1 开 始 的 整 数 ( ), 无 论 可 调 整 单 元 格 中 的 初 始 值 如 何 这 些 值 代 表 时 隙, 并 且 最 大 可 能 值 等 于 在 时 间 块 数 字 段 中 指 定 的 值 时 间 块 数 和 约 束 单 元 格 有 关 这 些 选 项 的 更 多 信 息, 请 参 见 本 章 求 解 方 法 一 节 中 的 日 程 安 排 求 解 方 法 56 Evolver 参 考 指 南

63 约 束 条 件 Evolver 允 许 您 输 入 要 使 解 法 有 效 而 必 须 符 合 的 约 束 条 件 或 条 件 已 输 入 的 约 束 条 件 将 显 示 在 模 型 定 义 对 话 框 的 约 束 条 件 表 中 添 加 添 加 约 束 条 件 单 击 约 束 条 件 表 旁 边 的 添 加 按 钮 可 以 显 示 约 束 条 件 设 置 对 话 框, 您 可 以 在 此 对 话 框 中 输 入 约 束 条 件 使 用 此 对 话 框, 您 可 以 输 入 所 需 的 约 束 条 件 类 型, 以 及 其 描 述 类 型 和 定 义 约 束 条 件 类 型 您 可 以 在 Evolver 中 指 定 两 种 类 型 的 约 束 条 件 : 严 格, 或 必 须 符 合 才 能 使 解 法 有 效 的 条 件 ( 即 严 格 约 束 条 件 可 以 是 C10<=A4; 在 这 种 情 况 下, 如 果 解 法 为 C10 生 成 的 值 大 于 单 元 格 A4 的 值, 则 此 解 法 将 被 丢 弃 ) 宽 松, 或 我 们 希 望 尽 可 能 符 合, 但 可 能 会 为 了 大 大 改 进 适 应 度 或 目 标 单 元 格 结 果 而 愿 意 做 出 让 步 的 条 件 ( 即 宽 松 约 束 条 件 可 以 是 C10<100;C10 的 值 可 以 超 过 100, 但 是, 当 此 情 况 发 生 时, 为 目 标 单 元 格 计 算 的 值 将 会 根 据 您 输 入 惩 罚 函 数 而 减 小 ) Evolver 参 考 指 南 57

64 约 束 条 件 准 确 度 条 目 样 式 约 束 条 件 准 确 度 是 指 违 反 约 束 条 件 的 程 度 非 常 小, 以 至 于 Evolver 将 忽 略 不 计, 并 且 将 某 种 解 法 视 为 有 效, 尽 管 该 解 法 稍 稍 违 反 了 约 束 条 件 在 处 理 约 束 条 件 时 可 以 稍 稍 违 反 是 因 为 计 算 机 只 能 处 理 具 有 有 限 精 度 的 数 学 运 算 建 议 将 准 确 度 设 置 为 自 动 ; 在 这 种 情 况 下, 最 优 化 摘 要 将 报 告 实 际 准 确 度 数 ; 这 是 可 以 忽 略 的 违 反 约 束 条 件 的 最 大 程 度 此 外, 还 可 以 在 准 确 度 字 段 中 输 入 特 定 的 准 确 度 数 可 以 使 用 简 单 和 公 式 这 两 种 条 目 样 式 输 入 约 束 条 件 简 单 格 式 允 许 使 用 < <= > >= 或 = 关 系 输 入 约 束 条 件 典 型 的 简 单 约 束 条 件 为 0< A1 的 值 <10, 其 中 在 单 元 格 范 围 框 中 输 入 A1, 在 最 小 值 框 中 输 入 0, 而 在 最 大 值 框 中 输 入 10 可 以 从 下 拉 列 表 框 中 选 择 所 需 的 运 算 符 如 果 使 用 简 单 格 式 的 约 束 条 件, 您 可 以 只 输 入 一 个 最 小 值 一 个 最 大 值 或 同 时 输 入 二 者 另 一 方 面, 公 式 约 束 条 件 允 许 您 将 任 何 有 效 的 Excel 公 式 做 为 约 束 条 件 输 入 例 如, 可 以 输 入 以 下 公 式 =IF(A1>100, B1>0, B1<0) 在 此 约 束 条 件 中, 无 论 我 们 要 求 B1 是 正 值 还 是 负 值, 均 由 单 元 格 A1 的 值 确 定 此 外, 可 以 在 单 元 格 中 输 入 公 式 ; 如 果 单 元 格 是 C1, 则 可 以 在 约 束 条 件 设 置 对 话 框 的 公 式 字 段 中 输 入 =C1 一 般 而 言, 使 用 简 单 格 式 输 入 约 束 条 件 可 以 使 Evolver 查 找 最 佳 解 法 的 速 度 更 快 刚 才 讨 论 的 公 式 可 以 在 单 元 格 D1 中 输 入 为 =IF(A1>100, B1, -B1) 然 后, 可 以 增 加 要 求 D1>0 的 简 单 格 式 约 束 条 件 58 Evolver 参 考 指 南

65 宽 松 约 束 条 件 宽 松 约 束 条 件 是 我 们 希 望 尽 可 能 符 合, 但 可 能 会 为 了 大 大 改 进 目 标 单 元 格 结 果 ( 目 标 函 数 值 ) 而 愿 意 做 出 让 步 的 条 件 如 果 不 符 合 宽 松 约 束 条 件, 则 会 引 起 目 标 单 元 格 中 出 现 远 离 其 优 化 值 的 变 化 由 不 符 合 宽 松 约 束 条 件 所 引 起 的 变 化 量 将 使 用 在 指 定 宽 松 约 束 条 件 时 输 入 的 惩 罚 函 数 来 进 行 计 算 有 关 惩 罚 函 数 的 更 多 信 息, 如 下 所 示 : 输 入 惩 罚 函 数 Evolver 具 有 默 认 惩 罚 函 数, 此 函 数 在 您 首 次 输 入 宽 松 约 束 条 件 时 显 示 但 是, 可 以 在 不 符 合 宽 松 约 束 条 件 时, 输 入 任 何 有 效 的 Excel 公 式 来 计 算 要 应 用 的 惩 罚 数 额 输 入 的 惩 罚 函 数 应 包 括 关 键 字 偏 差, 此 关 键 字 表 示 约 束 条 件 超 出 其 限 制 时 所 依 据 的 绝 对 量 每 次 重 新 计 算 时,Evolver 都 会 检 查 是 否 已 符 合 宽 松 约 束 条 件 ; 如 果 不 符 合, 它 将 在 输 入 的 惩 罚 公 式 中 加 入 偏 差 量, 然 后 计 算 要 应 用 到 目 标 单 元 格 的 惩 罚 数 额 您 可 以 在 计 算 的 目 标 单 元 格 值 中 添 加 或 减 去 惩 罚 数 额, 以 降 低 其 最 佳 程 度 例 如, 如 果 在 Evolver 模 型 对 话 框 的 最 优 化 目 标 字 段 中 选 择 最 大 值, 则 将 从 计 算 的 目 标 单 元 格 值 中 减 去 惩 罚 查 看 输 入 的 惩 罚 函 数 的 影 响 Evolver 包 括 一 个 Excel 工 作 表 Penalty Functions and Soft Constraints.xlsx( 和 Penalty Functions and Soft Constraints.xls), 此 工 作 表 可 以 用 于 评 估 不 同 的 惩 罚 函 数 对 特 定 的 宽 松 约 束 条 件 和 目 标 单 元 格 结 果 的 影 响 Evolver 参 考 指 南 59

66 惩 罚 函 数 和 宽 松 约 束 条 件 工 作 簿 允 许 您 从 模 型 中 选 择 一 个 希 望 分 析 其 影 响 的 宽 松 约 束 条 件 然 后, 您 可 以 更 改 惩 罚 函 数, 以 查 看 此 函 数 如 何 将 未 符 合 的 宽 松 约 束 条 件 的 特 定 值 设 为 特 定 的 惩 罚 目 标 值 例 如, 如 果 宽 松 约 束 条 件 为 A10<100, 您 可 以 通 过 Penalty Functions and Soft Constraints.XLS 查 看 在 使 用 数 值 105 计 算 单 元 格 A10 时, 目 标 值 将 会 是 多 少 查 看 已 应 用 的 惩 罚 在 由 于 不 符 合 宽 松 约 束 条 件 而 应 用 惩 罚 时, 可 以 在 Evolver 观 察 器 中 查 看 所 应 用 的 惩 罚 数 额 此 外, 惩 罚 值 还 会 显 示 在 最 优 化 日 志 工 作 表 中, 您 可 以 在 最 优 化 之 后 选 择 创 建 此 工 作 表 注 : 如 果 在 最 优 化 结 束 时 将 解 法 放 置 在 工 作 表 中, 则 电 子 表 格 中 显 示 的 计 算 得 出 的 目 标 单 元 格 结 果 将 不 会 包 括 任 何 因 不 符 合 宽 松 约 束 条 件 而 应 用 的 惩 罚 检 查 最 优 化 日 志 工 作 表, 以 查 看 惩 罚 目 标 单 元 格 结 果 以 及 因 每 个 不 符 合 的 宽 松 约 束 条 件 而 施 加 的 惩 罚 数 额 在 工 作 表 公 式 中 执 行 宽 松 约 束 条 件 您 可 以 在 工 作 表 的 公 式 中 直 接 执 行 惩 罚 函 数 如 果 在 工 作 表 中 直 接 执 行 宽 松 约 束 条 件, 则 不 应 当 在 主 Evolver 对 话 框 中 输 入 宽 松 约 束 条 件 有 关 在 您 的 工 作 表 中 执 行 惩 罚 函 数 的 更 多 信 息, 请 参 见 Evolver 附 加 说 明 中 的 宽 松 约 束 条 件 一 节 60 Evolver 参 考 指 南

67 最 优 化 设 置 命 令 最 优 化 设 置 命 令 运 行 时 间 选 项 卡 定 义 最 优 化 的 运 行 时 间 设 置 最 优 化 设 置 对 话 框 的 运 行 时 间 选 项 卡 显 示 确 定 最 优 化 的 运 行 时 间 的 Evolver 设 置 这 些 停 止 条 件 可 以 指 定 在 最 优 化 的 过 程 中 Evolver 将 如 何 以 及 在 何 时 停 止 选 择 开 始 最 优 化 命 令 后,Evolver 将 会 连 续 运 行, 搜 索 更 好 的 解 法 并 运 行 试 验, 直 到 符 合 所 选 的 停 止 标 准 您 可 以 打 开 任 意 数 目 的 这 些 条 件, 或 者 如 果 您 想 让 Evolver 无 限 制 地 进 行 搜 索 ( 直 到 您 将 其 停 止 ), 则 完 全 不 需 要 这 些 条 件 当 选 中 多 个 条 件 时, 只 要 符 合 其 中 一 个 选 中 条 件,Evolver 就 会 停 止 您 也 可 以 覆 盖 这 些 选 择, 并 使 用 Evolver 观 察 器 或 进 度 窗 口 中 的 停 止 按 钮 随 时 手 动 停 止 Evolver Evolver 参 考 指 南 61

68 最 优 化 运 行 时 间 选 项 运 行 时 间 选 项 卡 上 的 最 优 化 运 行 时 间 选 项 包 括 : 试 验 设 置 此 选 项 后,Evolver 会 在 生 成 特 定 数 目 的 试 验 解 法 后 停 止 如 果 在 尝 试 不 同 的 建 模 方 法 时 比 较 Evolver 的 效 率, 试 验 设 置 将 尤 其 有 用 通 过 更 改 问 题 的 建 模 方 式, 或 选 择 不 同 的 求 解 方 法, 您 可 以 提 高 Evolver 的 效 率 使 模 型 运 行 指 定 数 目 的 试 验 将 指 明 Evolver 如 何 有 效 收 敛 某 个 解 法, 无 论 选 定 的 变 量 数 目 使 用 的 计 算 机 硬 件 的 速 度 或 屏 幕 重 画 时 间 有 何 不 同 Evolver 最 优 化 摘 要 表 在 比 较 运 行 之 间 的 结 果 时 也 非 常 有 用 有 关 最 优 化 摘 要 表 的 更 多 信 息, 请 参 见 本 章 的 Evolver 观 察 器 停 止 选 项 一 节 时 间 设 置 此 选 项 后,Evolver 会 在 经 过 特 定 的 小 时 数 分 钟 数 或 秒 数 后 停 止 优 化 方 案 此 条 目 可 以 是 任 何 正 实 数 ( 等 ) 进 度 设 置 此 选 项 后,Evolver 会 在 目 标 单 元 格 中 的 改 进 少 于 指 定 量 ( 更 改 标 准 ) 时 停 止 优 化 方 案 您 可 以 指 定 检 查 改 进 的 试 验 次 数 ( 整 数 ) 同 时, 可 以 在 最 大 变 化 字 段 中 输 入 一 个 百 分 比 值 ( 如 1%) 作 为 最 大 变 化 值 假 设 我 们 要 尝 试 将 目 标 单 元 格 的 值 最 大 化, 并 且 在 进 度 停 止 条 件 中 使 用 的 参 数 为 次 试 验 且 发 生 了 0.01% 的 更 改 此 外, 还 假 设 在 进 行 次 试 验 后, 到 目 前 为 止 确 定 的 最 佳 答 案 为 2000 如 果 进 度 选 项 是 选 择 的 唯 一 停 止 条 件, 则 在 Evolver 进 行 次 试 验 时, 只 有 在 最 后 次 试 验 中 至 少 找 到 答 案 时 才 会 继 续 换 言 之, 如 果 Evolver 的 答 案 在 最 后 次 试 验 中 没 有 获 得 至 少 0.01% 的 改 进, 因 此 它 假 设 很 难 找 到 更 多 的 改 进, 并 停 止 了 搜 索 最 优 化 问 题 越 复 杂, 在 此 停 止 条 件 中 指 定 的 试 验 次 数 就 越 多 这 是 最 常 用 的 停 止 条 件, 因 为 它 为 用 户 提 供 了 一 种 有 效 的 方 法, 可 以 在 改 进 率 减 慢, 并 且 Evolver 似 乎 未 找 到 任 何 更 好 的 解 法 时 停 止 Evolver 如 果 您 正 在 Evolver 观 察 器 的 进 度 选 项 卡 上 查 看 最 佳 结 果 的 图 表, 您 将 看 到 在 符 合 此 条 件 并 停 止 Evolver 之 前, 图 表 暂 时 呈 稳 定 或 水 平 状 态 进 度 实 际 上 只 是 一 种 自 动 执 行 您 能 够 自 己 通 过 图 表 执 行 的 所 有 操 作 的 方 法 使 图 表 运 行 直 到 改 进 呈 平 稳 状 态 公 式 为 真 此 停 止 条 件 可 以 在 最 优 化 过 程 中 输 入 ( 引 用 ) 的 Excel 公 式 的 估 值 为 TURE 时 停 止 最 优 化 遇 到 错 误 停 止 此 停 止 条 件 可 以 在 为 目 标 单 元 格 计 算 出 错 误 值 时 停 止 最 优 化 注 : 您 也 可 以 不 选 择 停 止 条 件, 此 时 Evolver 将 一 直 运 行, 直 到 您 按 Evolver 进 度 或 观 察 器 窗 口 中 的 停 止 按 钮, 或 者 其 确 定 已 尝 试 完 所 有 可 能 解 法 后 停 止 62 Evolver 参 考 指 南

69 设 置 命 令 引 擎 选 项 卡 选 择 最 优 化 引 擎 和 设 置 最 优 化 设 置 对 话 框 中 的 引 擎 选 项 卡 选 择 在 最 优 化 过 程 中 使 用 的 最 优 化 引 擎 和 设 置 Evolver 使 用 OptQuest 和 遗 传 算 法 查 找 问 题 的 优 化 解 法 此 外, 如 果 将 最 优 化 模 式 设 置 为 自 动, 其 会 使 用 线 性 编 程 方 法 解 决 线 性 问 题 初 始 种 子 字 段 是 指 最 优 化 算 法 ( 遗 传 算 法 或 OptQuest) 的 随 机 数 生 成 器 通 过 将 此 字 段 设 置 为 固 定 整 数 值, 我 们 确 保 在 可 调 整 单 元 格 的 初 始 值 相 同 的 情 况 下, 在 两 个 最 优 化 中 生 成 相 同 的 解 法 序 列 将 此 字 段 设 置 自 动, 可 以 使 Evolver 随 机 选 择 原 始 设 置 最 优 化 模 式 在 大 多 数 情 况 下,Evolver 可 以 自 动 检 测 哪 种 引 擎 能 够 为 您 的 模 型 提 供 最 佳 且 最 快 的 解 法 自 动 设 置 可 以 设 定 此 功 能 ( 并 允 许 Evolver 使 用 线 性 编 程 方 法 处 理 线 性 问 题 ) 但 是, 有 时 您 可 能 想 要 指 定 应 当 使 用 的 特 定 引 擎 例 如, 您 的 模 型 可 能 需 要 只 能 使 用 遗 传 算 法 引 擎 的 项 目 或 日 期 安 排 求 解 方 法 Evolver 参 考 指 南 63

70 优 化 使 用 遗 传 算 法 设 置 遗 传 算 法 和 OptQuest 两 种 引 擎 可 用 于 查 找 问 题 的 优 化 解 法 遗 传 算 法 引 擎 起 源 于 Palisade 的 求 解 程 序 Evolver, 并 且 在 Evolver 7.0 之 前 的 版 本 中 使 用 遗 传 算 法 引 擎 模 拟 达 尔 文 的 自 然 选 择 法 则, 方 法 是 创 建 允 许 一 个 问 题 的 数 百 个 可 能 的 解 法 相 互 竞 争 的 环 境, 最 后 仅 留 下 最 适 合 的 解 法 如 同 在 生 物 进 化 中 一 样, 每 一 个 解 法 可 以 通 过 子 孙 解 法 遗 传 良 好 的 基 因, 因 此 整 个 解 法 群 体 将 继 续 进 化 为 更 好 的 解 法 OptQuest 引 擎 使 用 元 启 发 式 算 法 数 学 最 优 化 和 神 经 网 络 组 件 来 指 导 查 找 所 有 类 型 的 决 策 和 计 划 问 题 的 最 佳 解 法 OptQuest 的 方 法 将 最 先 进 的 元 启 发 式 算 法 程 序 ( 包 括 禁 忌 搜 索 神 经 网 络 和 分 散 搜 索 ) 集 成 至 单 个 复 合 方 法 中 引 擎 选 项 卡 中 的 遗 传 算 法 设 置 包 括 : 总 体 规 模 总 体 规 模 可 以 告 知 Evolver 在 任 何 特 定 时 间 应 在 内 存 中 存 储 的 组 织 ( 或 完 整 的 变 量 组 ) 数 量 尽 管 仍 有 许 多 关 于 针 对 不 同 问 题 使 用 的 最 佳 总 体 规 模 的 争 议 与 研 究, 但 我 们 通 常 建 议 在 您 的 群 体 中 使 用 个 组 织, 具 体 取 决 于 问 题 的 大 小 ( 越 大 的 群 体 适 用 于 越 大 的 问 题 ) 通 常 的 观 点 是 较 大 的 群 体 确 定 解 法 所 需 要 的 时 间 较 长, 但 更 有 可 能 因 为 其 更 多 样 化 的 基 因 群 而 找 到 一 个 整 体 答 案 交 叉 和 突 变 当 您 的 问 题 似 乎 具 有 无 限 可 能 性 时, 搜 索 优 化 解 法 所 遇 到 的 关 键 难 题 之 一 是 决 定 将 重 点 集 中 在 何 处 换 言 之, 应 投 入 多 少 计 算 时 间 来 查 看 解 法 空 间 的 新 领 域, 以 及 应 投 入 多 少 时 间 来 微 调 群 体 中 已 证 明 效 果 相 当 不 错 的 解 法? 遗 传 算 法 之 所 以 成 功, 很 大 一 部 分 应 归 功 于 其 本 身 能 够 保 持 这 种 平 衡 遗 传 算 法 的 结 构 允 许 繁 殖 良 好 的 解 法, 但 也 保 留 了 不 太 适 合 的 组 织 以 保 持 多 样 性, 并 希 望 隐 藏 的 基 因 可 以 证 明 其 对 最 终 解 法 的 重 要 性 交 叉 和 突 变 是 两 个 可 以 影 响 搜 索 范 围 的 参 数, 而 Evolver 允 许 用 户 提 前 以 及 在 进 化 过 程 中 更 改 这 些 参 数 这 样 一 来, 知 识 丰 富 的 用 户 可 以 通 过 确 定 遗 传 算 法 应 将 其 重 点 集 中 在 何 处 来 帮 助 完 成 该 算 法 在 大 多 数 情 况 下, 不 需 要 调 整 默 认 的 交 叉 和 突 变 设 置 ( 分 别 为.5 和.1) 如 果 您 希 望 针 对 您 的 问 题 微 调 此 算 法 进 行 比 较 研 究 或 仅 为 了 试 验, 此 处 对 这 两 个 参 数 进 行 了 简 要 介 绍 : 交 叉 交 叉 率 可 以 设 置 在 0.01 和 1.0 之 间, 它 反 映 了 未 来 的 方 案 或 组 织 将 会 包 含 上 一 代 的 父 组 织 中 信 息 组 合 的 可 能 性 经 验 丰 富 的 用 户 可 以 通 过 微 调 Evolver 在 针 对 复 杂 问 题 方 面 的 性 能 来 更 改 此 比 率 64 Evolver 参 考 指 南

71 换 言 之,0.5 的 比 率 表 示 子 孙 组 织 中 约 50% 的 变 量 值 来 自 某 个 父 对 象, 而 剩 余 的 值 来 自 其 他 父 对 象 0.9 的 比 率 表 示 子 孙 组 织 中 约 90% 的 值 将 来 自 第 一 个 父 对 象, 而 10% 来 自 第 二 个 父 对 象 交 叉 率 1 表 示 将 不 会 发 生 交 叉, 因 此 将 仅 评 估 这 些 父 对 象 的 克 隆 Evolver 使 用 的 默 认 比 率 为 0.5 在 Evolver 开 始 解 决 问 题 后, 您 可 以 通 过 使 用 Evolver 观 察 器 来 更 改 交 叉 率 ( 请 参 见 本 章 的 Evolver 观 察 器 一 节 ) 突 变 率 突 变 率 可 以 设 置 在 0.0 和 1.0 之 间, 它 反 映 了 未 来 的 方 案 将 会 包 含 某 些 随 机 值 的 可 能 性 较 高 的 突 变 率 仅 表 示 将 更 多 的 突 变 或 随 机 的 基 因 值 引 入 群 体 由 于 突 变 发 生 在 交 叉 之 后, 因 此 将 突 变 率 设 置 为 1(100% 随 机 值 ) 可 以 有 效 阻 止 交 叉 产 生 任 何 效 果, 而 Evolver 将 生 成 完 全 随 机 的 方 案 如 果 优 化 解 法 的 所 有 数 据 均 位 于 群 体 中 的 某 个 位 置, 则 单 独 的 交 叉 运 算 符 将 足 以 在 最 后 拼 凑 解 法 突 变 已 证 实 是 生 物 界 中 的 一 种 强 大 力 量, 出 于 许 多 相 同 原 因, 遗 传 算 法 中 也 需 要 发 生 突 变 : 保 持 单 个 组 织 的 多 样 化 群 体 是 至 关 重 要 的, 这 样 可 以 防 止 群 体 变 得 过 于 僵 化, 而 无 法 适 应 动 态 环 境 如 同 在 遗 传 算 法 中 一 样, 动 物 界 中 通 常 是 基 因 突 变 最 终 导 致 产 生 关 键 的 新 功 能 在 大 多 数 情 况 下, 不 需 要 调 整 默 认 的 突 变 设 置, 但 经 验 丰 富 的 用 户 可 通 过 微 调 Evolver 在 针 对 复 杂 问 题 方 面 的 性 能 来 更 改 此 设 置 如 果 Evolver 的 群 体 基 本 相 同, 并 且 没 有 在 过 去 的 数 百 次 试 验 中 找 到 新 的 解 法, 则 用 户 可 能 需 要 提 高 突 变 率 典 型 的 设 置 变 化 为.06 到.2 在 Evolver 开 始 解 决 问 题 后, 您 可 以 通 过 使 用 Evolver 观 察 器 来 动 态 更 改 突 变 率 ( 请 参 见 本 章 后 面 的 Evolver 观 察 器 一 节 ) 在 突 变 率 字 段 的 下 拉 列 表 中 选 择 自 动, 即 可 选 择 自 动 突 变 率 调 整 自 动 突 变 率 调 整 允 许 Evolver 在 组 织 明 显 老 化 时 自 动 增 加 突 变 率 ; 也 就 是 说, 其 在 整 个 延 长 数 量 的 试 验 中 一 直 保 持 不 变 对 于 许 多 模 型, 尤 其 是 不 知 其 最 佳 突 变 率 的 模 型, 选 择 自 动 可 以 更 快 地 获 得 更 好 的 结 果 Evolver 参 考 指 南 65

72 运 算 符 与 菜 单 求 解 方 法 配 合 使 用 时,Evolver 将 包 括 可 选 择 的 遗 传 算 子 单 击 最 优 化 设 置 对 话 框 引 擎 选 项 卡 中 的 运 算 符 按 钮, 允 许 您 选 择 在 为 一 组 可 调 整 单 元 格 生 成 可 能 值 时 使 用 的 特 定 遗 传 算 子 ( 如 启 发 式 交 叉 或 边 界 突 变 ) 此 外, 您 还 可 以 使 Evolver 自 动 检 验 所 有 可 用 的 运 算 符, 并 确 定 用 于 您 的 问 题 的 最 佳 运 算 符 遗 传 算 法 使 用 遗 传 算 子 从 当 前 成 员 中 创 建 群 体 的 新 成 员 Evolver 采 用 的 两 种 遗 传 算 子 类 型 为 突 变 和 交 叉 突 变 运 算 符 可 以 确 定 基 因 ( 变 量 ) 是 否 将 发 生 随 机 变 化 以 及 如 何 发 生 变 化 交 叉 运 算 符 可 以 确 定 群 体 中 的 两 个 成 员 对 如 何 交 换 基 因 来 生 成 子 孙, 这 可 能 是 比 其 任 一 父 对 象 更 好 的 答 案 66 Evolver 参 考 指 南

73 Evolver 包 括 以 下 专 用 遗 传 算 子 : 线 性 运 算 符 旨 在 解 决 优 化 解 法 位 于 由 约 束 条 件 定 义 的 搜 索 空 间 边 界 的 问 题 此 突 变 和 交 叉 运 算 符 对 极 其 适 合 解 决 线 性 最 优 化 问 题 边 界 突 变 旨 在 快 速 最 优 化 以 单 调 方 式 影 响 结 果 的 变 量, 并 且 可 以 在 不 违 反 约 束 条 件 的 情 况 下 设 置 为 其 最 大 范 围 柯 西 突 变 旨 在 大 多 数 时 候 使 变 量 产 生 较 小 的 变 化, 但 可 偶 尔 产 生 较 大 的 变 化 不 均 匀 突 变 随 着 计 算 的 试 验 的 增 多, 产 生 的 突 变 将 越 来 越 小 这 允 许 Evolver 对 答 案 进 行 微 调 算 术 交 叉 通 过 采 用 算 术 方 式 结 合 两 个 父 对 象 来 创 建 新 子 孙 ( 与 交 换 基 因 相 反 ) 启 发 式 交 叉 使 用 由 父 对 象 生 成 的 值 来 确 定 如 何 生 成 子 孙 沿 着 最 佳 方 向 搜 索 并 提 供 局 部 微 调 根 据 最 优 化 问 题 的 类 型, 不 同 的 突 变 和 交 叉 运 算 符 组 合 可 能 会 产 生 比 其 他 更 好 的 结 果 在 可 调 整 单 元 组 设 置 对 话 框 的 运 算 符 选 项 卡 中, 如 果 使 用 菜 单 求 解 方 法, 则 可 以 选 择 任 意 数 目 的 运 算 符 做 出 多 个 选 择 时,Evolver 将 检 验 所 选 运 算 符 的 有 效 组 合, 以 确 定 用 于 您 的 模 型 的 最 佳 运 算 符 运 行 之 后, 最 优 化 摘 要 表 将 根 据 每 个 选 定 运 算 符 在 运 行 期 间 的 表 现 来 对 其 进 行 排 名 ( 但 请 注 意, 这 些 得 分 将 仅 在 最 优 化 中 有 足 够 的 试 验 来 确 定 时 才 显 示 ) 对 于 同 一 模 型 的 后 续 运 行, 仅 选 择 效 果 最 佳 的 运 算 符 可 以 更 快 更 好 地 执 行 最 优 化 Evolver 参 考 指 南 67