简介

FICO Xpress（Dash）是世界级的建模优化软件，提供从模型建立、优化求解到用户界面接口、模型部署的全功能解决方案。运用Xpress可以求解大规模的模型优化问题，包括线性、整数、非线性以及约束规划等广阔的领域。FICO Xpress为用户提供了便利的开发环境、专业易用的建模语言、跨平台支持、丰富的API接口，先进的算法支持、强可扩展性以及良好的可控性。FICO Xpress的这些特性为用户在供应链管理、运作、物流和资产管理等领域作出更好的商业决策提供了可能，并由此给客户带来收益。FICO Xpress出色的性能表现已在制造、分销、零售、运输、金融以及投资等诸多行业赢得广泛赞誉。

FICO Xpress 主要用于解决现实世界生产生活中遇到的最优化问题，目前已在制造、分销、零售、运输、金融以及投资等诸多行业得到广泛应用。
按用户类型主要分为三类用途：

• 原始设备制造商（OEM）和独立软件开发商（ISV）在其产品中因需嵌入优化功能而调用Xpress的相关功能模块
• 向客户提供优化解决方案的咨询顾问按客户需求利用Xpress建模求解以获取方案可行性依据
• 大型机构中的商业分析师和其他最终用户分析求解工作中遇到的最优化问题

FICO Xpress工具包可以用于所有常见的计算机平台，并具有不同性能的版本，以及解决各种不同规模的问题。本产品支持多种用户/软件接口，包括可以使用C，C++，VB，Java，和.net语言进行调用的API库，以及独立的命令行界面。

在这里我们将介绍Xpress-MP工具包中的各种产品，这些产品使Xpress-MP能够应用于如此广泛的领域中。

求解引擎

• Xpress-Optimizer中包含的优化算法使你能够求解线性规划问题（LP），混合整数规划问题（MIP），二次规划问题（QP），以及混合整数二次规划问题（MIQP）。
• Xpress-SLP是一个非线性规划问题（NLP）以及混合整数非线性规划问题（MINLP）的求解器。它使用了连续线性逼近方法，这一方法从过程工业的技术中发展而来，能够解决具有数千个变量的大型问题。
• Xpress-Kalis是一个约束规划软件，它构建于Artelys的Kalis求解器之上。Xpress-Kalis专用于离散组合问题，这些问题频繁出现于诸如规划和计划制定之类的问题中。

建模和开发工具

• Xpress-Mosel使你能够定义你的问题，然后使用一个或多个Xpress求解引擎进行求解，并对结果进行分析，这一切都通过一种专为此目的设计的全功能的编译型编程语言来实现。Xpress-Mosel环境包括Mosel语言及其调试器；用于在此语言中直接访问其他软件组件和外部数据源的模块和I/O驱动；用于将模型嵌入到应用程序中的库；以及一个开放的接口，以便用户对Mosel语言进行扩展。
• Xpress-BCL是一个面向对象的库，用于在应用程序中直接构建，求解，以及分析问题。
• Xpress-IVE是一个完整的Windows下的Xpress-Mosel可视化开发环境。它包括一个Mosel程序编辑器，编译器，以及执行环境。
• Xpress-Application Developer（XAD）通过使用一组图形用户界面开发API对Xpress-Mosel进行扩展，使Mosel成为一个能够完成从问题的数学表达到创建用户界面中这一完整的优化应用程序开发过程的建模和编程语言。

其他工具

• 用于Xpress-Mosel：ODBC I/O驱动以及mmodbc模块使用户能够使用数据库以及电子表格作为外部数据源。

功能特点

• 求解器独立，灵活、便于调用
• 可求解线性、0-1、整数、二次、非线、约束规划等丰富的优化问题
• 对于线性、0-1、整数规划等求解问题规模大于百万量级
• 提供自由、整数、半整、半连续、0-1、SOS_1/2等丰富的变量类型
• 支持启发式算法
• 搜素方式可控
• 能够自动分析和优化Xpress-Optimizer求解引擎的控制参数
• 具有模型无解时分析模型的能力，能够找到冲突集合，并支持对冲突集合的按条件分析查询
• 提供GUI开发支持
• 支持用户模块、算法的扩展
• 提供针对C/C++、Java、.NET、VB等常用开发语言的API支持，并有多种调用方式
• 针对Windows、Linux、Solaris、AIX、HP-UX等操作系统及相应的Intel/AMD、IBM PowerPC等架构提供广泛的跨平台支持
• 支持多线程并行运算，充分发挥Multi-Core/Multi-CPU系统的优势