Xpress-MP在生产运作与调度中的研究与应用(7)
3．1 Xpress-MP软件的求解引擎
Xpress-MP是一个数学建模和优化工具包，它用于求解线性，整数，二次，非线性，以及随机规划问题。
Xpress-MP的求解引擎:
由于不同的规划问题求解机制不同，Xpress-MP为用户提供了不同的求解引擎来
解决不同种类的规划问题。
• Xpress-Optimizer中包含的优化算法使你能够求解线性规划问题（LP），混合整数规划问题（MIP），二次规划问题（QP），以及混合整数二次规划问题（MIQP）。
• Xpress-SLP是一个非线性规划问题（NLP）以及混合整数非线性规划问题（MINLP）的求解器。
• Xpress-SP是一个随机规划工具，用于求解具有不确定性的优化问题。
• Xpress-Kalis是一个有约束规划软件。Xpress-Kalis专用于离散组合问题，这些问题频繁出现于诸如规划和计划制定之类的问题中。
3．2 Xpress-MP软件的建模语言
Xpress-MP通过对生产调度问题的建模来解决规划问题。Xpress-Mose建模语言允许用户定义接近代数形式的模型以及在同样环境下求解该模型。Mosel程序可以直接在这种高级语言的环境中执行求解算法。Mosel可以被当作独立程序使用，或者在其他工具中使用，如，在具有优化解图形显示功能的Xpress-IVE图形用户界面中使用。Xpress-Mosel使你能够定义你的问题，然后使用一个或多个Xpress求解引擎进行求解，并对结果进行分析，这一切都通过一种专为此目的设计的全功能的编译型编程语言来实现。