在线时间 155 小时 最后登录 2013-4-28 注册时间 2012-5-7 听众数 5 收听数 0 能力 2 分 体力 2333 点 威望 0 点 阅读权限 50 积分 913 相册 1 日志 26 记录 52 帖子 291 主题 102 精华 0 分享 6 好友 84
升级 78.25%
TA的每日心情 开心 2013-4-28 12:11
签到天数: 160 天
[LV.7]常住居民III
群组 : 数学软件学习
Xpress-MP是一个数学建模和优化工具包,它用于求解线性,整数,二次,非线性,以及随机规划问题。Xpress-MP的用户包括:fG>.S^3 T( K) b) M0 e- W
需要在其产品中嵌入优化功能的OEM/ISV。a( M+ L* C& F# ^ l
向顾客提供优化解决方案的咨询人员。M'"SVA
* Z- Z' k: Q8 z" a: |+ ? 大型机构中需直接解决其自身的优化问题的商业分析师和其他最终用户。f
5 I5 D6 M) D! g" w; I Xpress-MP工具包可以用于所有常见的计算机平台,并具有不同性能的版本,以及解决各种不同规模的问题。本产品支持多种用户/软件接口,包括可以使用C,C++,VB,Java,和.net语言进行调用的API库,以及独立的命令行界面。请点击此处以查看详细信息。rSV,V
0 t0 A0 }1 r4 P% q% C, c }# m% H 在这里我们将介绍Xpress-MP工具包中的各种产品,这些产品使Xpress-MP能够应用于如此广泛的领域中。E
; I; R& Q { v3 I, s) ~0 Y# \$ p$ z6 c 求解引擎DE, ^, y* i' ~4 I. u
Xpress-Optimizer中包含的优化算法使你能够求解线性规划问题(LP),混合整数规划问题(MIP),二次规划问题(QP),以及混合整数二次规划问题(MIQP)。
+ k2 j6 u# E- n- K* _, U$ ?- j Xpress-SLP是一个非线性规划问题(NLP)以及混合整数非线性规划问题(MINLP)的求解器。它使用了连续线性逼近方法,这一方法从过程工业的技术中发展而来,能够解决具有数千个变量的大型问题。EC
W9 q1 S! f4 w; A) J5 ^ Xpress-SP是一个随机规划工具,用于求解具有不确定性的优化问题。Xpress-SP可以用于建模和求解在供应链管理,能源,财务,运输,等等过程中出现的问题,它将不确定性嵌入到优化问题中,以避免未来的变数。M{D+4 Z" s- ~& M s* o) Y
Xpress-Kalis是一个有约束规划软件,它构建于Artelys的Kalis求解器之上。Xpress-Kalis专用于离散组合问题,这些问题频繁出现于诸如规划和计划制定之类的问题中。SB/; c" ], E8 o6 e$ w5 y7 }* d9 |
建模和开发工具z{yUh3. }' W+ G a4 Z6 z; t) B6 m! F
Xpress-Mosel使你能够定义你的问题,然后使用一个或多个Xpress求解引擎进行求解,并对结果进行分析,这一切都通过一种专为此目的设计的全功能的编译型编程语言来实现。=j,9E( |% I' ~ k+ Z6 i( U
Xpress-Mosel环境包括Mosel语言及其调试器;用于在此语言中直接访问其他软件组件和外部数据源的模块和I/O驱动;用于将模型嵌入到应用程序中的库;以及一个开放的接口,以便用户对Mosel语言进行扩展。%r'Mx& L7 c/ t# J0 V5 q2 q! f/ V: K' `
Xpress-BCL是一个面向对象的库,用于在应用程序中直接构建,求解,以及分析问题。xwXvZ7 N4 U8 J. g1 \! c9 ]" a1 g
Xpress-IVE是一个完整的Windows下的Xpress-Mosel可视化开发环境。它包括一个Mosel程序编辑器,编译器,以及执行环境。Jt
& W/ b* u$ s2 Z, v/ s; `+ E Xpress-Application Developer(XAD)通过使用一组图形用户界面开发API对Xpress-Mosel进行扩展,使Mosel成为一个能够完成从问题的数学表达到创建用户界面中这一完整的优化应用程序开发过程的建模和编程语言。:BSW`8: y) W7 I8 R% H+ z3 z$ J
其他工具*u;N:S$ m: p& c5 R5 S& E4 X
用于Xpress-Mosel:ODBC I/O驱动以及mmodbc模块使用户能够使用数据库以及电子表格作为外部数据Xpress-Optimizer)H$>[/9 I+ O; q0 ]2 I N- a* X3 I
Xpress-Optimizer中包含了复杂,鲁棒的算法,以对工业应用中最急需解决的问题进行迅速精确的求解。这一已被证实的优化技术已在世界上大量的商业应用中使用,以对具有数百万个变量以及约束条件的问题提供快速可靠的解答。 Q
& _& c$ o* {* y( ]2 ? Xpress-Optimizer因其解决数值求解困难或求解不稳定的问题的能力而声名远扬,这也是它在过程工业中能够在市场中遥遥领先的原因所在。~)fP|
. M" N+ \& i' L# z" S 先进的算法y8 u$ L- L; G9 I# g* ?) y- y4 O
Xpress-Optimizer算法使你能够求解:@
, n. G7 N9 l. C7 S4 O/ f5 d( i LP——线性规划问题!./fu4
8 h2 Q6 @+ O: X# D* p6 P! H MIP——混合整数规划问题K
; g7 b2 i. i4 x, U QP——二次规划问题H&WT'y! x [) ?+ U1 Y0 s
MIQP——混合整数二次规划问题1,U, m) w; l, k$ a# ]* m
如果你的问题是非线性的,则可以使用Xpress-SLP求解器,它使用了连续线性逼近技术,可以解决具有数千个变量的非线性和混合整数非线性问题。.b: h; v0 e* e- M E( a" h7 l
灵活的运用*Y7 K; Y% E, K( p, J( F' b' G0 M5 W; k
工具包中提供了命令行工具形式的Xpress-Optimizer,并有一组简单但强大的交互用户界面;也提供了可调用的库形式的Xpress-Optimizer,并具有C,C++,Java,Fortran,VB6,和.net编程接口。它与工业标准的LP和MPS文件格式完全兼容,并且对日志记录,二进制存储文件,以及ASCII/二进制解决方案文件提供了广泛的支持。ex2/<3 z# z: [( w- U2 A
作为Xpress-MP工具包中的一个集成组件,Xpress-Optimizer引擎也可以与Xpress-Mosel的高级模型开发环境或Xpress-BCL建模库的广泛的规划功能结合使用。BP&
" |" `; e4 k/ h 跨平台'DrbD! U, {1 \. U1 U' H" r5 ?0 R2 {
Xpress-Optimizer可以应用于多种计算机体系结构和操作系统之上,并针对每个平台的特性进行了优化。<D
) A. M" l2 y- }$ S ] ©数学中国 -- 数学中国 www.mathchina.com %X!
4 N0 _4 k; [3 n( v9 p$ B MIP优化器5n/ a% G* ~. u P' V6 V
Xpress-Optimizer使用复杂的分支界定法来求解MIP和MIQP问题,这种方法因其快速找到高质量解的能力而闻名于世。ZEJRh
% u8 u. x8 X. P7 C$ X% H7 L) g! } MIP预求解算法,对问题进行预处理,以减小问题规模和缩短求解时间。I1
- I3 _/ C" y0 I% k 先进的割平面法,以自动提高边界的质量,并减小全局搜索的范围。sj<_[Z
& x4 P# J2 v4 U4 x# a7 q8 q1 a 流覆盖ARI: L8 E6 E0 M5 e7 |" r1 F
广义上界(GUB)覆盖mr]??, X" X1 Z& ~0 j- x. c
提升与投射,O2
- e1 C: y% V6 ^! S Clique割aG
' F$ ]1 l1 x/ T* D% x1 T 流路径6_* fD F8 {+ j. c) a7 ?
混合整数舍入'z
2 H9 X4 E* g! X# F Gomory分数割zwjX;U2 V2 ~) `8 ^: c6 s
二进制,整数,以及半连续变量,和特殊顺序的集合3
6 z; H% I* c9 }- [% f! J 广度优先,最优优先,深度优先搜索。可自定义的节点以及变量选择策略。用户回调函数使可以对节点和变量选择进行完全控制。qW7 u( Z4 q2 u% H1 g
多重LP算法,以初始LP松弛及节点求解。.[Zci
) W) u3 u$ ~0 L$ B5 S6 r 用户定义的分支优先级以及分支方向命令。ud@. |9 |2 |' _9 k: E0 {. h1 O
直观推断。K#?!
5 w2 p; l [# g& y0 I$ u0 |3 E: | 在特定的平台上对于多处理器计算机提供了并行的MIP算法。^^p_a
/ J4 Q3 g f2 \% A3 [5 @ ©数学中国 -- 数学中国 www.mathchina.com J]{Ia8 O$ n/ C4 j- C8 I P: k/ W0 V. q3 m, x
Xpress-Mosel/@?(9
3 @: D, a- E. X! U Xpress-Mosel使你能够定义你的问题,然后使用适当的求解引擎进行求解,并对结果进行分析,这一切都将使用一种专为此目的设计的全功能的编译型编程语言来实现。Mosel程序是编译型的程序,这使它能够快速运行,并对最终用户隐藏其中的知识产权。这些程序可以交互地运行,或嵌入到应用程序中。*
s6 D* x2 B* q' P/ F# C% ` Mosel语言Q]}8p
' X5 j$ U% Q8 q Mosel语言易于学习和使用,这就使用户不需太多花费就可以从无到有开发优化模型,理解并审查别人开发的模型,并在远期对模型进行修改和维护。可视化的开发环境Xpress-IVE使这一过程变得更为简单。PGgr
7 a" O9 y3 f5 Y* O& ]! l 对任意范围,任意索引集,以及稀疏对象的完全支持意味着即使规模最大最复杂的问题也可以进行清晰简练的表达,而且不需要依赖于任何特定的数据实例。'
) R9 c: S8 M ] 你可以使用Mosel调试器来协助用Mosel语言进行模型开发。这一调试器支持所有典型的调试功能,以对模型的执行进行跟踪和分析。2I[YN" E0 v& m7 T) Q
求解器模块和数据处理`ZJ
, { E: z' D, v: ^& G( l- V Mosel是完全开放的,用户可对其进行扩展。Mosel发行版本包括扩展库(也称为模块),借助于其中的一个扩展库,你只需要在Mosel程序中插入优化语句,就可以直接控制Xpress-Optimizer。其他求解器模块提供了对Xpress-SLP的访问,以定义和求解非线性问题,也提供了对随机规划工具Xpress-SP,以及有约束规划软件Xpress-CP等的访问。p1 ?, q. M" H4 h1 V1 K: `2 W5 h
另外有一个模块提供了ODBC数据驱动,它提供了直接访问所有常见的数据库以及电子表格的接口。除了使用ODBC接口之外,数据也可以直接从文本文件,内存,或I/O流中读出或向其中写入。[i) o! r9 ?. J& }' a* R& t
模型嵌入库guXh1P' S$ J2 V9 m; y! V. x7 ?+ m, Q; ]
为对模型进行部署,通常需要将模型嵌入到公司的信息系统中。借助Mosel库,你可以从编程语言环境(例如,C或Java)中执行和访问Mosel语言开发的模型。这一灵活的接口为诸如在模型和大的应用程序之间交换数据和解的值这样的应用提供了方法。9F;J~F
5 B" u- x- J8 P/ h6 b 除了Mosel自己的功能之外,某些模块也提供了从编程语言环境中对其内部函数的直接访问。t., i3 N. W6 ~" x X& D" Y
6 W) e1 g9 r4 v2 R * k$ E% M! S2 D) L( h9 ~% j1 Q. P$ W
! T0 G5 C' i& I' k& q" q0 G9 u2 E
& u6 ?# j% ~" S/ |, v0 r% J 6 s o3 W' q" ~3 `0 z G2 M* a
8 |* u; z ^; Z - ~$ d+ t$ A& p) {" C' M
0 ^9 |( B: d1 e8 S$ w7 a5 H* q
' M: F8 w, L# a8 T7 x/ C1 K1 \
zan