优化流程Xpress.ppt

DIMACS/EMRE April 20, 2006 Xpress-Mosel入门 林森科技 2007.6  概述 安装 建模 输入和求解线性规划问题 数据处理 绘制用户曲线 混合整数规划 二次规划 启发式算法 第1章 安装Xpress-MP 完整版 双击xp2006a_win32_setup安装文件 将xpauth.ini文件复制到bin文件夹下 学生版 双击student安装文件 安装密码studentonly 第2章 建模 优化流程 Xpress-MP 系列软件介绍 建模示例 优化工程流程 Xpress-MP 系列软件 建模示例 一个投资者希望用一定数量的资金进行投资。他对十种不同的股票进行投资，并估计在一年内投资的收益。下表给出了每种股票的国别，风险类别（R：高风险，N：低风险）和期望投资是收益率（ROI）。投资者确定了某些约束条件。为了分摊风险，他希望对每种股票的投资最多占总资金的30％。进一步，他希望资金的一半能够投资在北美的股票和最多三分之一是高风险投资。这些资金应该怎样在各种股票中进行分配才能达到最大化的收益的目的呢？ 股票的国别和估计投资收益列表 定义变量 定义决策变量frac 定义辅助变量 SHARES作为投资者希望投资的股票的集合 RET作为股票s的期望ROI。 NA表示北美国家股票集合 RISK表示高风险股票集合。 设定约束条件 所有变量的边界 不同股票的分数之和必须为100％ 投资者对北美的股票的投资最少50％ 投资到这个类型股票的资金之和不能超过整个资金的 0.33 设定目标函数 投资者的目标是最大化所有股票投资的收益 第3章 输入和求解线性规划问题 启动Xpress-IVE图形用户界面 线性规划模型 修正错误和调试模型 求解，优化显示和查看解 启动Xpress-IVE图形用户界面 双击桌面上的图标 开始-所有程序- Xpress-MP- Xpress-IVE命令启动程序 window的Dos环境下输入ive命令 双击模型文件（扩展名为.mos） 行号显示 线性规划-一般结构 定义模型：model，end-model 引用求解：uses, maximize，minimize 声明部分:declarations ,end-declarations 输出：writeln 格式 分行：可以用分号将多个语句分开写到一行内 注释：Mosel中单独一行的注释以！开始。多行的注释以（！开始并且以！）结束 修改错误和调试模型 定义模型：model，end-model 引用求解：uses, maximize，minimize 声明部分:declarations ,end-declarations 输出：writeln 格式 分行：可以用分号将多个语句分开写到一行内 注释：Mosel中单独一行的注释以！开始。多行的注释以（！开始并且以！）结束 错误分析 error 100: Syntax error 指向下面一行 RET:= [5,17,26,12,8,9,7,6,31,21 我们需要添加中括号以结束的定义（如果定义一直延续到下一行，我们需要添加在行的末端添加一个逗号表示当前行并没有结束）。 warning 121: Statement with no effect Return = sum(s in SHARES) RET(s)*frac(s) 警告在模型执行时并不隐藏，但是当Mosel编译器提示这行没有意义时，则这一行一定存在错误。查找这个错误需要仔细检查：我们使用了＝而不是:=。这样Return应该被定义为右边所有项之和并对它进行赋值，这句现在并没有意义 error 123: ‘maximize’ is not defined 跳转到这一行 maximize(Return) 这是由于在模型中定义了maximize处理过程，但是我们忘记了在Mosel模型开始部分添加以下这行。 uses mmxprs 调试 选择Build－Options命令或者点击运行选项按钮 将会显示表Matrix visualization，选择Show original matrix，然后点击确认Apply。 执行一个模型时，它可以在IVE图形用户界面右边的运行工具栏产生可视化的矩阵显示 显示的另一个变化是在工作区窗口的左边：显示模型定义中的所有项目。可以通过点击“＋”号对所有信息进行查看 断点调试 选择Debug－Start/Continue命令或者点击按钮启动 或者停止调试 。 Debug菜单的项目和调试按钮允许用户完成标准的调试任务，例如设置断点（按钮 ），运行模型到指针位置（按钮 ），或者单步执行（按钮 和