xpress-optimizer 能够求解线性规划问题 - read.ppt

DIMACS/EMRE April 20, 2006 XpressMP 软件功能介绍 林森科技崔承刚 2007.6  培训内容 Xpress-MP软件介绍 Xpress-Mosel入门 Xpress-BCL库入门 Xpress-Optimizer优化器入门 Xpress-Kalis入门 概述 应用范围 求解器 建模和开发工具 编程接口 适用平台 Xpress-MP应用范围 设计优化解决方案 嵌入式开发（ERP，MES，供应链） 大型机构解决自身优化问题 求解器(1) Xpress-Optimizer 能够求解线性规划问题（LP），混合整数规划问题（MIP），二次规划问题（QP），以及混合整数二次规划问题（MIQP）。 Xpress-SLP 非线性规划问题（NLP）以及混合整数非线性规划问题（MINLP）的求解器。它使用了连续线性逼近方法，这一方法从过程工业的技术中发展而来，能够解决具有数千个变量的大型问题。 求解器(2) Xpress-SP 随机规划工具，用于求解具有不确定性的优化问题。Xpress-SP可以用于建模和求解在供应链管理，能源，财务，运输，等等过程中出现的问题，它将不确定性嵌入到优化问题中，以避免未来的变数。 Xpress-Kalis 有约束编程（constraint programming）软件，它构建于Artelys的Kalis求解器之上。Xpress-Kalis专用于离散组合问题，这些问题频繁出现于诸如规划和计划制定之类的问题中。 建模和开发工具（1） Xpress-Mosel 能够对问题进行建模，使用一个或多个Xpress求解器进行求解，并对结果进行分析，是一种建模专用的全功能的编译型编程环境 Xpress-Mosel环境包括Mosel语言及其调试器；用于直接访问其他软件组件和外部数据源的模块和I/O驱动；将模型嵌入到应用程序中的链接库；以及一个开放的接口 Xpress-BCL 面向对象的链接库，用于在应用程序中直接构建，求解，以及分析问题。 建模和开发工具（2） Xpress-IVE 完整的Windows下的Xpress-Mosel可视化开发环境。它包括一个Mosel程序编辑器，编译器，以及执行环境。 Xpress-Application Developer (XAD) 通过使用一组图形用户界面开发API对Xpress-Mosel进行扩展，使Mosel成为一个能够完成从问题的数学表达到创建用户界面中这一完整的优化应用程序开发过程的建模和编程语言。 ODBC I/O驱动以及mmodbc模块 使用数据库以及电子表格作为外部数据源。 编程接口 本地化功能 用户可以定义自己的模块或I/O驱动 ，对Mosel进行扩展，例如自己设计求解器等。 数据处理 提供开放式数据库连接（ODBC），能够直接访问所有常见的数据库以及电子表格的接口 ，另外数据也可以直接从文本文件，内存，或I/O流中读出或向其中写入 Mosel语言开发模型访问 可以从编程语言环境（例如，C或Java）中执行和访问Mosel语言开发的模型。 Xpress-BCL 库调用 具有C，C++，Java，和VB的接口 适用平台 Windows Linux Unix 进一步的信息: Xpress-Optimizer简介 Xpress-Optimizer中包含了复杂，鲁棒的算法，以对工业应用中最急需解决的问题进行迅速精确的求解。这一已被证实的优化技术已在世界上大量的商业应用中使用，以对具有数百万个变量以及约束条件的问题提供快速可靠的解答。 求解问题 LP——线性规划问题 MIP——混合整数规划问题 QP——二次规划问题 MIQP——混合整数二次规划问题 使用方式 命令行 交互式图形用户界面 链接库调用 编程接口C，C++，Java，Fortran，VB6，和.net 工业标准的LP和MPS文件格式完全兼容 单纯形求解器 采用原-对偶单纯形算法 集成了数据预处理方法，以降低问题规模和缩短求解时间。 自动设置以达到最佳性能，同时也提供了一组丰富的用户设置参数，以对优化过程进行高级控制。 快速从已有的基解上重新开始。可以对问题进行修改，从而将求解所需时间降低到原先的很小一部分。 不可行性检测和诊断，以发现问题的不可行性。 有效的退化分辨率技术。 Barrier（障碍函数法）求解器 采用内点算法求解线性和二次规划问题 集成了数据预处理方法，以降低问题规模和缩短求解时间。 先进的Cholesky分解算法。 快速地原始和对偶的交替求解得到到基解。 紧密列处理。 在特定的平台上对于多处理器计算机提供了并行的Barrier算法。 混合整数规划求解器 MIP预求解算法，对