模型与软件5_结构化构模方法.pptVIP

1 优化模型与软件工具 结构化构模方法 清华大学经济管理学院 管理科学与工程系 结构化构模方法 ? 模型构造方法的演进 ? 模型构造方法：问题与机会 ? 结构化构模方法 3 模型构造方法的演进 4 模型构造方法的进步 ? 50 年代：计算机刚刚发明，模型构造方法十分原 始，只有底层语言可供使用； ? 60 － 70 年代：计算机软件有了很大进步，出现了 商业化的数学规划软件，以及简单的数学描述语 言 ; ? 80 年代：模型构造方法有了新的突破，结构化构 模方法，出现较高级的模型语言； ? 90 年代以后：模型方法与 IT 技术结合，出现集成 化的模型应用环境； 5 传统模型构造方法 ? 模型描述方法简单 max : 2 x 11 + 9 x 13 - x 21 +2.5 x 22 +6 x 23 -2 x 31 +5 x 33 s.t. - 4 x 11 + 15 x 21 + 25 x 31 ? 0 -14 x 12 + 5 x 22 + 15 x 32 ? 0 -24 x 13 - 5 x 23 + 5 x 33 ? 0 0.1 x 11 - 0.5 x 21 - 0.9 x 31 ? 0 ? 数据与模型统一描述； ? 模型交流、修改十分困难； 6 模型描述的工业标准： MPS 格式 ? 更有效地描述稀疏矩阵（只描述非零元素），为模 型的计算机化打下基础； ? 按模型名、约束名 (Rows) 、变量名 (Columns) 、右边 项 (Rhs) 、变量界 (Bounds) 的顺序描述； ? Rows ： 8 个字符构成约束名，约束类型分为 ? N －非约束； G －大于等于约束； L －小于等于约 束； E －等于约束； ? Columns ：只描述模型中的非零元素；分别由行名、 列名和数值确定约束矩阵中的一个元素； ? Bounds ：分为： LO －下界； UP －上界； FX －固定 界； FR －自由变量 7 MPS 格式 name MISC01 rows N OBJ E ROW001 G ROW003 . . . L ROW054 columns COL001 ROW002 1. ROW006 50. COL001 ROW039 1. ROW041 1. . . . . . . COL083 OBJ 1. ROW001 1. rhs RHS ROW002 1. ROW003 1. . . . . . . RHS ROW054 1. bounds lo BND COL001 1. fx BND COL001 1. . . . . . . fr BND COL083 endata 8 模型计算机化的初级阶段 ? 矩阵生成（ MG ）与报告生成（ RG ）软件； ? 模型与数据分离； ? 还不能与数据库接口； MG RG 数据 文件 最终用 户报告 数学规 划软件 MPS 文件 模型 文件 输出 文件 9 集成化模型系统 ? 提供模型描述、数据处理、模型求解等完整功能； ? 提供丰富的求解软件； ? 提供可调用函数库，提供数据库接口； 集成化模型系统 数学规 划软件 模型 编译 模型 文件 模型 生成 模型 求解 用户 报告 数据 文件 用户 界面 数据库 10 集成化的模型应用环境 ? 电子表格优化系统 ? 免费学习软件，适于初学者使用； ? 适于构造中小规模的模型； ? EXCEL ； ? 专用模型集成软件 ? 提供数据处理模型描述，求解等完整功能 ; ? 提供丰富的求解软件： CPLEX, OSL, MINOS 等 ? 提供可调用函数库，提供数据库接口； ? GAMS, AMPL, ILOG, MPL 等； 11 模型构造方法：问题与机会 ? 问题之一：模型构造的低效率 ? 模型构造需要的三种描述缺乏一致性工具 ? 自然描述：与模型使用者和管理者的交流与沟通； ? 数学描述：用于模型的理论与逻辑分析； ? 实现描述：使用何种工具、如何进行计算； ? 目前的方法存在很多冗余、不一致，需掌握多种技巧； ?