- 在线时间
- 16 小时
- 最后登录
- 2013-11-17
- 注册时间
- 2009-12-29
- 听众数
- 3
- 收听数
- 0
- 能力
- 0 分
- 体力
- 3423 点
- 威望
- 0 点
- 阅读权限
- 60
- 积分
- 1130
- 相册
- 0
- 日志
- 0
- 记录
- 5
- 帖子
- 196
- 主题
- 2
- 精华
- 0
- 分享
- 0
- 好友
- 12
升级   13% TA的每日心情 | 开心 2013-11-17 09:53 |
|---|
签到天数: 5 天 [LV.2]偶尔看看I - 自我介绍
- 我是一名大学生,也是一名热血青年,我会努力奋斗,努不止息!
群组: C题讨论群 群组: B题讨论群 群组: A题讨论群 群组: D题讨论群 |
18#
发表于 2010-7-31 18:22
|只看该作者
|
|邮箱已经成功绑定
Xpress-MP介绍" a& L. A s# ^5 C
本帖来自 数学中国 作者 olh2008 日期 2009-11-26 1309 您是本帖第636个浏览者
3 B. }# D1 F0 h7 e; J2 A
9 G+ L/ Y k" I运筹学优化仿真软件 1 C K _4 {) a- o) ^& t ] V. P. H7 p+ J9 w
Xpress-MP是一个数学建模和优化工具包,它用于求解线性,整数,二次,非线性,以及随机规划问题。Xpress-MP的用户包括: + [% D. X1 _( p V/ D; o5 p' c N6 ]: R: ~1 F
● 需要在其产品中嵌入优化功能的OEMISV。
1 K6 k- S) e+ [& F# {1 \ q6 g2 Y- p0 d● 向顾客提供优化解决方案的咨询人员。 0 ? ~& E+ m+ {
# P2 {( m1 _+ N% v, z n● 大型机构中需直接解决其自身的优化问题的商业分析师和其他最终用户。 . d& g1 C0 K- g8 U m1 p; i. d! ^- C3 D, ^5 n4 V# n
Xpress-MP工具包可以用于所有常见的计算机平台,并具有不同性能的版本,以及解决各种不同规模的问题。本产品支持多种用户软件接口,包括可以使用C,C++,VB,Java,和.net语言进行调用的API库,以及独立的命令行界面。
- ^9 e9 y! Z2 a4 i+ m( m J& t) W6 在这里我们将介绍Xpress-MP工具包中的各种产品,这些产品使Xpress-MP能够应用于如此广泛的领域中。 H' j4 Z7 p( K" U% e" m% x3 B, M) u
求解引擎
$ F- }6 Z6 ^7 `6 R1 n1 o8 D6 `! r! o- T! Q◆Xpress-Optimizer中包含的优化算法使你能够求解线性规划问题(LP),混合整数规划问题(MIP),二次规划问题(QP),以及混合整数二次规划问题(MIQP)。 5 W R$ c+ z& o6 S7 h L1 H# P# W4 @# Z/ ~0 O) I4 H
◆Xpress-SLP是一个非线性规划问题(NLP)以及混合整数非线性规划问题(MINLP)的求解器。它使用了连续线性逼近方法,这一方法从过程工业的技术中发展而来,能够解决具有数千个变量的大型问题。 3 x! B- ]! c, J' Q% x! P k
, p8 E5 A- ~" M: v◆Xpress-SP是一个随机规划工具,用于求解具有不确定性的优化问题。Xpress-SP可以用于建模和求解在供应链管理,能源,财务,运输,等等过程中出现的问题,它将不确定性嵌入到优化问题中,以避免未来的变数。 e# E1 q- ^& s; A1 n( d
" j! V! j& P4 d" n& H- m/ b/ G$ g◆Xpress-Kalis是一个有约束规划软件,它构建于Artelys的Kalis求解器之上。Xpress-Kalis专用于离散组合问题,这些问题频繁出现于诸如规划和计划制定之类的问题中。 0 f% y& ]: v& Z1 N7 ~
G+ u! a z1 } z( N9 H3 g5 D建模和开发工具
v# r5 l; M1 b' ~. k3 O2 E7 r o% h1 q [ ~& w4 A3 t◆Xpress-Mosel使你能够定义你的问题,然后使用一个或多个Xpress求解引擎进行求解,并对结果进行分析,这一切都通过一种专为此目的设计的全功能的编译型编程语言来实现。 / b5 p7 `, ?2 T8 q$ o
0 E7 h; [5 M1 w) b& u+ G◆Xpress-Mosel环境包括Mosel语言及其调试器;用于在此语言中直接访问其他软件组件和外部数据源的模块和IO驱动;用于将模型嵌入到应用程序中的库;以及一个开放的接口,以便用户对Mosel语言进行扩展。 6 O F N. M% _; D y7 u+ B# g& i" u$ y
◆Xpress-BCL是一个面向对象的库,用于在应用程序中直接构建,求解,以及分析问题。 : b" D A7 Q) c3 E* @' L
3 u6 t( q% ; [8 m' W◆Xpress-IVE是一个完整的Windows下的Xpress-Mosel可视化开发环境。它包括一个Mosel程序编辑器,编译器,以及执行环境。 % P ]# I % T5 ^' H3 ^ D! L. C* c* J+ l! G
Xpress-Application Developer(XAD)通过使用一组图形用户界面开发API对Xpress-Mosel进行扩展,使Mosel成为一个能够完成从问题的数学表达到创建用户界面中这一完整的优化应用程序开发过程的建模和编程语言。 9 A+ ]8 {0 C# y3 g0 z
+ e( J U. Z0 j# R2 J S6 n9 X5 @其他工具 5 G, `8 p- X% X, }' R8 r! {2 N% C+ e. s
用于Xpress-Mosel:ODBC IO驱动以及mmodbc模块使用户能够使用数据库以及电子表格作为外部数据源。 * S- y* C! ~! M2 w' A1 f
( Y5 L4 ~ k) 9 8 X5 nXpress-Optimizer
; L+ H4 r6 P5 U% ! O3 M4 u. S- `- ^Xpress-Optimizer中包含了复杂,鲁棒的算法,以对工业应用中最急需解决的问题进行迅速精确的求解。这一已被证实的优化技术已在世界上大量的商业应用中使用,以对具有数百万个变量以及约束条件的问题提供快速可靠的解答。 5 r i. _1 Z, j
9 }9 S) I0 r+ t8 a* D/ \Xpress-Optimizer因其解决数值求解困难或求解不稳定的问题的能力而声名远扬,这也是它在过程工业中能够在市场中遥遥领先的原因所在。 - P7 i. r7 F( M
9 W+ `( `+ z& n先进的算法 8 d2 K) } ~0 M5 h6 W' N( T
2 b* A; G6 N+ Z$ F: ?5 bXpress-Optimizer算法使你能够求解: 6 p l y9 b5 d9 h% V1 c6 X c
' ?, ^/ o% q1 {7 z$ V7 M◆LP——线性规划问题 ! L$ x% `' v; Z! p) g+ Y% B. p" M$ H
◆MIP——混合整数规划问题 9 L7 q4 L7 K1 _4 R! N7 v0 M; x- m
( e% I, y2 N. }- T◆QP——二次规划问题 : Z& b. J: O/ f
8 w9 g2 } V5 N& Q& C4 _3 Z7 k◆MIQP——混合整数二次规划问题
r5 K' t% B6 n2 \% \3 x6 z& R+ G. m- Q如果你的问题是非线性的,则可以使用Xpress-SLP求解器,它使用了连续线性逼近技术,可以解决具有数千个变量的非线性和混合整数非线性问题。
9 R2 X/ A! E" b8 B, ~6 @1 P0 V g+ d9 ~, `灵活的运用
% c+ z7 f+ g' ~! O7 y A j7 S; q5 j, e& I工具包中提供了命令行工具形式的Xpress-Optimizer,并有一组简单但强大的交互用户界面;也提供了可调用的库形式的Xpress-Optimizer,并具有C,C++,Java,Fortran,VB6,和.net编程接口。它与工业标准的LP和MPS文件格式完全兼容,并且对日志记录,二进制存储文件,以及ASCII二进制解决方案文件提供了广泛的支持。 $ U# G2 u8 P# ~' W1 g6 y- _* f- w+ r3 |$ }7 K+ O
作为Xpress-MP工具包中的一个集成组件,Xpress-Optimizer引擎也可以与Xpress-Mosel的高级模型开发环境或Xpress-BCL建模库的广泛的规划功能结合使用。
7 g0 A6 a8 _1 P# r) m- I& A$ } h& u0 w4 Y, 9 . c) ' m2 c跨平台 0 x# m# b y4 Z6 I( f) z; a
; P( a" R4 C' A3 YXpress-Optimizer可以应用于多种计算机体系结构和操作系统之上,并针对每个平台的特性进行了优化。 1 Q5 _& d. p2 5 m& U- C L
3 q5 R4 y! V' V1 o" c$ S单纯形优化器 % M& @ I. d) i; r. x+ Q8 k% N. f/ l5 @5 s v1 U
Xpress-Optimizer为原始和对偶单纯形算法提供了快速,可靠的实现,以对LP问题进行求解。 / Q! Z' d6 c0 P0 E& d1 ]
+ [5 [! n$ A d% b _◆集成了预求解算法,以降低问题规模和缩短求解时间。 Q1 k- E U! R ) q, k9 n1 k9 m$ n; t
◆自动设置以达到最佳性能,同时也提供了一组丰富的用户设置参数,以对优化过程进行高级控制。 # S, b4 I1 H5 [0 V2 Z2 T6 B; t& x9 m3 U8 v6 r
◆快速从已有的高级基础上重新开始。可以对问题进行修改,从而将求解所需时间降低到原先的很小一部分。
6 n2 r; t1 f1 \' y# G$ W( _0 q) L p6 {! R◆不可行性检测和诊断,以发现问题的不可行性。 7 j7 I0 L) i3 }2 {( J
c; W p, N u7 y o7 ( c◆有效的退化分辨率技术。 & M9 [& j, Y, A& h) ^( x' X" R1 e2 p: y8 w
Barrier优化器 - |& U$ |0 Q: u. U& ]3 f
) n, k% A! `9 N5 Xpress-Optimizer Barrier算法是对单纯形算法的一个替代,它使用内点法对线性规划和二次规划问题进行求解。 . v3 i' G; w, l
0 J O4 q; v8 l( ~0 H◆集成了预求解算法,以降低问题规模和缩短求解时间。 . J% k+ w, u 5 A5 d
( A/ s o% [ g0 u◆先进的Cholesky分解算法。 ?. C9 E3 \. h! G7 ?. Y8 G
- ^5 I. w8 h$ t! } Q) j# [+ 3 K◆快速地基本和对偶交叉到基本解。
) r; h" y# s' ]: U6 o/ I9 n; d7 j2 B& `2 e◆密集列处理。
! n$ j/ @1 d% Y+ p, d9 |7 f5 ]8 z3 d, t; w◆无交叉的解。 1 n7 w3 z$ }: v8 |
5 L$ k- U0 W+ X8 B) W! O◆在特定的平台上对于多处理器计算机提供了并行的Barrier算法。 I2 b q J& o7 F; j! c% v& H
; |! h# v, z& }, \1 TMIP优化器 ; g A5 _9 i4 V9 h l T
g5 y3 B8 |2 C2 p5 F/ ~& Q& kXpress-Optimizer使用复杂的分支界定法来求解MIP和MIQP问题,这种方法因其快速找到高质量解的能力而闻名于世。 $ x l+ ^+ u' S. e+ X4 W K7 H* g( {1 E, W, K, R
◆MIP预求解算法,对问题进行预处理,以减小问题规模和缩短求解时间。
* ` X# J( `2 @, {9 R9 p7 M; d. t◆先进的割平面法,以自动提高边界的质量,并减小全局搜索的范围。 4 W! p6 C8 }8 S+ E
5 Q4 b/ d' z9 c8 [◆流覆盖
& j6 O* m. N3 ` `/ C' x3 I: j D# K, F! ]& }! T, s6 G2 m◆广义上界(GUB)覆盖
- m4 \4 `5 v% J' ?2 G4 ~3 k- h6 R j( a. U◆提升与投射 " G! A8 e) Y* J2 g0 k
! R- F5 J. T' ^; ^◆Clique割
# a5 `% I8 O" X4 q" C& H# m3 |5 `; b$ C$ X. y& I, h& r% ^◆流路径
2 n! D0 u# R! J, M0 l$ d3 v( K9 n1 ◆混合整数舍入 2 d' c; \" M( K" O9 D
- I6 i1 w+ Y% W) I p◆Gomory分数割 4 y6 u& b9 ?) ~1 K! |
5 W+ s% s$ H; N, T K; g◆二进制,整数,以及半连续变量,和特殊顺序的集合 n# G7 m; z& I, u% M! w g( p
7 q% q4 Z3 ~& j. {. i& a◆广度优先,最优优先,深度优先搜索。可自定义的节点以及变量选择策略。用户回调函数使可以对节点和变量选择进行完全控制。
; [$ P( z/ ^6 x" c1 [* ~+ X) j9 Y' I J Q' ]◆多重LP算法,以初始LP松弛及节点求解。 9 H w9 M+ l Y6 A
3 n7 N X- m! y, V! A( Q◆用户定义的分支优先级以及分支方向命令。 1 # R) h0 o! ; d8 M3 C& f' G, Q# b8 F/ B3 N. V
◆直观推断。
0 N: J8 e# ]0 d3 f f2 E) {) i) c◆在特定的平台上对于多处理器计算机提供了并行的MIP算法。
4 ]$ B2 _! b l( s" d3 u6 i O F# }Xpress-Mosel - v3 J, H% x1 u5 R; z5 D' r- I% ~# w$ [+ D$ P
Xpress-Mosel使你能够定义你的问题,然后使用适当的求解引擎进行求解,并对结果进行分析,这一切都将使用一种专为此目的设计的全功能的编译型编程语言来实现。Mosel程序是编译型的程序,这使它能够快速运行,并对最终用户隐藏其中的知识产权。这些程序可以交互地运行,或嵌入到应用程序中。
3 T8 P4 w3 _' g, l' o+ ?' c1 V. }$ P3 ~$ L }' iMosel语言 y3 _ L( q) ]) P' _+ D( a3 @$ I
Mosel语言易于学习和使用,这就使用户不需太多花费就可以从无到有开发优化模型,理解并审查别人开发的模型,并在远期对模型进行修改和维护。可视化的开发环境Xpress-IVE使这一过程变得更为简单。
6 ]) s D5 \8 z0 W+ R+ N3 p! w# l% 3 Z. t对任意范围,任意索引集,以及稀疏对象的完全支持意味着即使规模最大最复杂的问题也可以进行清晰简练的表达,而且不需要依赖于任何特定的数据实例。
d* u2 ^ G! c- G2 B% d i7 [. f6 C# U0 e o1 j# @! L% U你可以使用Mosel调试器来协助用Mosel语言进行模型开发。这一调试器支持所有典型的调试功能,以对模型的执行进行跟踪和分析。 4 q+ K( o2 u- Z9 H. B! b3 A) i& i+ m- c
求解器模块和数据处理 $ d4 } t. F% r& ?1 T5 ^: u
; f8 F6 `( h% S8 Q1 uMosel是完全开放的,用户可对其进行扩展。Mosel发行版本包括扩展库(也称为模块),借助于其中的一个扩展库,你只需要在Mosel程序中插入优化语句,就可以直接控制Xpress-Optimizer。其他求解器模块提供了对Xpress-SLP的访问,以定义和求解非线性问题,也提供了对随机规划工具Xpress-SP,以及有约束规划软件Xpress-CP等的访问。 / Q7 C% r" s, I0 |+ ~+ p6 \7 u" ]. Y
, w, X6 K+ & A! S' p另外有一个模块提供了ODBC数据驱动,它提供了直接访问所有常见的数据库以及电子表格的接口。除了使用ODBC接口之外,数据也可以直接从文本文件,内存,或IO流中读出或向其中写入。 1 N h6 H# R! h' Z- d8 @- , ^& P
, s. r7 F( D! F1 a. c" L9 k n/ l9 V模型嵌入库
3 `2 n( Y5 b* p6 w- { z% w6 i4 b% f为对模型进行部署,通常需要将模型嵌入到公司的信息系统中。借助Mosel库,你可以从编程语言环境(例如,C或Java)中执行和访问Mosel语言开发的模型。这一灵活的接口为诸如在模型和大的应用程序之间交换数据和解的值这样的应用提供了方法。 / S" H$ l. Z3 ~5 q. y6 k( k R
W& {3 l4 g- j, P8 ^. I p除了Mosel自己的功能之外,某些模块也提供了从编程语言环境中对其内部函数的直接访问。
& a2 D( [3 P8 E J2 U) x4 H g$ W. f本地化的接口 8 Z$ Q Y- j x8 M, e+ v+ X N# u2 ^
* S6 j% |: \" l v0 o( b$ U4 U! K4 m通过Mosel的本地化接口,用户可以定义自己的模块或IO驱动,它们将与Mosel发行版本中的软件组件同等看待。这样用户就可以向Mosel语言加入新的功能(例如,实现针对特定问题的数据处理,或连接到外部的求解器或求解算法),并可以根据自己的需要使Mosel语言不断进化。 - v8 ]- q d+ H8 D J# E, [2 Z5
9 y( x- N2 m2 D) UXpress-BCL 0 V' s4 f! C9 e _ O _! T5 i8 Z& T/ Z5 H+ ]
Xpress-BCL是一个面相对象的库,它用于在应用程序中创建数学规划问题。它使用按部就班的方法,有加入一个变量,加入一个约束等等这样的函数,作为开发者,你可以在你的程序中调用这些函数,以逐步构建出整个问题。 ; ]2 c+ d! s) y3 o
5 O& _' A% R) |8 L8 w0 p, f+ q在定义了完整的问题之后,就可以使用Xpress-Optimizer对其进行求解。还有一些BCL函数使你能够在你的应用程序中直接访问和分析求得的解。
8 q0 p! H1 z \8 s {) n" @. N1 N! l) x, u3 0 j6 k2 `BCL库具有C,C++,Java,和VB的接口。
9 Z8 N6 M' h+ D, e% i: F% [, ^( L A- w! w, dXpress-IVE & B) z' y9 6 P4 x: h1 S3 [0 C) P7 k1 [
Xpress-IVE是一个完整的可视化开发环境,用于在Windows环境下进行Xpress-Mosel的开发。它整合了Mosel程序编辑器,编译器,以及执行环境。用户可以在一个实体树中浏览其模型程序中的对象,这样就可以查看所有优化对象的已有的解的值。可以将Mosel源文件和数据文件组织成为工程。在运行时可以可视化地观察和分析优化器的性能。 t, K' z$ `6 [& ^
/ ]9 |7 [( B7 }& A$ ?6 L( z* I, n3 k& d* ^对于在一个独立的可视化环境中为应用程序开发Mosel程序,针对特定的问题分析和调节优化器,以及开发和运行一次性的优化问题应用程序,Xpress-IVE是一个理想的工具。 A' W T4 r$ S; R+ r! L5 J) H* f; q5 l# G/ \0 A" @+ v
Xpress-IVE是使用Xpress-SP进行随机规划,以及使用Xpress-Kalis进行有约束规划的推荐开发环境。 ' t3 h+ R) f, z U R, }7 F3 m
# U, f% | T- J9 o" QXpress-IVE屏幕截图 + e% U1 l4 O3 T' } Z9 u k% m/ b; _% L3 o4 ?
8 z6 M. X \+ M! C/ w1 I
0 O! k$ w1 }( F1 E# d i
: ^. Y! q5 q# ~: B# c( J' A2 y3 C5 S! I& S! L0 Q8 C4 {模型文件编辑
u7 ?$ X- n9 ~0 `# ^; q6 I s$ U) @! M+ b x/ t4 Z# o% E4 i3 } E6 }
p, b$ Y$ 6 l5 o% u9 x5 O( X) |8 h
1 Q6 q A( N @8 i. b! z优化 0 u4 [* m( {4 r5 @
, ) ' U z$ C- X& k. I8 R6 q I) ^5 Q6 _ u# Y8 Y; r9 v
) s6 i( q: \4 W- i% Z" C) R集成了Xpress-Kalis和Xpress-SP $ K; q8 h( B0 x. E' o+ l4 p4 B% y: S _6 V% B' R6 U% S
z. C: z1 |$ p/ y9 A! z
# v! _6 {1 L k' i1 ] F. z5 q T( k& Z! O r; w& }$ Z. c2 Y) t! `* e: a& Y3 c
矩阵视图 , q5 X9 v3 A8 o
% x8 e( s% r, i! g5 p5 S0 N6 n( g8 _& s
) n G5 J7 c2 u Y! N7 x E) x d
4 r V; k8 L8 p! K1 e/ g* w6 Y) I! t M5 S( y; P- k模型创建向导 ' p7 e) N* U" V$ l: a# F- W& q' Z5 f
8 z% }) {& }# `. X+ ~+ q1 M }& C n( W. [
) u4 f) r; d4 ~. g$ U. o; b
' B6 H* ?4 Z6 o7 S# f" ] r! @& Y+ g2 K! L9 h! G. e2 o部署 用户图 Mosel模块支持 Mosel模块创建 ( p, R7 D- T A. p0 Q4 m
5 w, m. ]6 J) D$ @Xpress-SLP 6 q; ?; z9 n: B% S$ F+ ]6 B
8 ( f8 Y; v3 O8 w n. F& eXpress-SLP是一个非线性问题的求解器。它使用了连续线性逼近方法,这一方法是从过程工业的技术中发展而来的,能够解决具有数千个变量的大型问题。问题的定义可以使用Xpress-Mosel和Xpress-IVE来进行,或使用基于文件的格式,或直接从扩展API中进行。也可以对混合整数非线性问题进行求解。
0 R; {; ?1 p9 R. A7 p; q! c9 E7 [8 c$ Y. l9 Q' N# AXpress-IVE提供了一些可视化的辅助手段,它也能够使用电子表格或其他外部程序创建自定义的显示(例子中显示了一个从地球到月球的火箭的轨迹的演变,分别进行了10次,20次,和30次迭代,以及收敛后的解)。Xpress-SLP具有接口,这样使用其他语言在系统之外编写的函数或在电子表格中的函数都可以在模型中当作普通的数学函数来使用。 ( L( o& X Z0 G P! V- ]9 K, V U, v% P- q0 h2 L
在工具包中Xpress-SLP以一个C语言库的形式提供,具有附加的VB接口,也以一个Xpress-Mosel模块或独立的命令行工具的形式提供。 h' o6 Z! @ J
" t {; P5 y- \' w! V3 XXpress-SP 2 y! x7 x% ?0 T( G1 K
+ a i. m1 l8 @# Xpress-SP是一个随机规划工具,用于求解具有不确定性的优化问题。Xpress-SP可以用于建模和解决在供应链管理,能源,财务,运输等等过程中出现的问题,它将不确定性嵌入到优化问题中,以避免了未来的变数。通过将不确定性结合到优化过程中,Xpress-SP使能够对资源进行高效的管理,实现消除保守的计划中的管理费用,减少对未实现的目标的惩罚,并得到更高的服务质量和更多的利润。 & B8 |) Y5 ], o/ R K. s
z f) r w D8 T; {, w, d长久以来,随机规划问题因建模不确定性的复杂性,尤对于多阶段问题,而一直是一个难于解决的问题。 - s V( `+ r0 W& d. V) H& u: V% l y' X
通过在Xpress-Mosel中无缝地集成随机问题建模措施,Xpress-SP简化了建模随机问题的过程。 7 Q; V6 P B$ s$ Y9 [! H2 X
' h8 u B s u2 _$ fXpress-IVE现在包含一个可视化的环境,以对随机模型进行开发和调试。 5 } N ; }. D4 k t8 `8 n8 T2 F+ Y1 \: j9 [1 v1 m `3 ?
' I4 p ~, n0 h
# a3 ` j3 s/ ]6 F+ iXpress-Kalis n9 x4 c- z S5 z- D F5 t" k$ p' r4 Q B
Xpress-Kalis通过一个Mosel模块,Kalis,提供了对Artelys Kalis有约束求解器的访问。Xpress-Kalis软件由Artelys SA开发,并归其所有。通过Xpress-Kalis,可以在Mosel环境中使用Kalis的有约束规划功能,从而使用户能够通过Mosel语言定义并求解有约束规划(CP)问题。Mosel环境的所有数据处理功能,包括与内存之间的数据传输(使用Mosel IO驱动),和ODBC访问数据库(通过mmodbc模块),都无需其他支持就可以在Kalis中直接使用。
* Y7 E/ C0 |, W4 t+ h1 h8 a! L. ~& h! g [, ( I$ 5 L特点 ]; }& z8 g E) f! q% _( a1 Z+ N- r* C
除了标准的线性约束之外,Xpress-Kalis对有限域变量定义了一组所谓的“全局约束关系”,包括“全不同(all-different)”,“元素(element)”,“出现(occurrence)”(cardinality),“相等(equivalence)”,和“蕴涵(implication)”。也可以将若干个约束综合到一个逻辑表达式中,例如描述排他逻辑。 % H. A p7 8 A) [9 M a! B6 a3 D+ q0 s5 F
约束处理:约束可以自动生成,或由用户显式声明,这样就可以编写具有不同交互程度的模型。
* V3 h4 E4 M) W' ?6 o. d m' G. F, r' FKalis的独特能力在于其对枚举策略的灵活定义:用户可以在若干个不同的分支方案(定义了搜索树的形状)中选择,并通过自己的直观推断来定义内建变量的组合和值选取策略。 2 f) X ( K7 A( q) j6 ~; i; A7 O
0 y1 L: t8 \( a6 dXpress-IVE显示 # Q$ H9 k% g) D b' v J% D' k n6 q3 e( R/ V0 D2 n
可视化的开发环境Xpress-IVE支持通过若干个针对不同软件的显示方式对CP模型进行开发和分析,包括CP搜索树和CP统计面板这样的图形表示。在不同的显示中,IVE的所有标准特性(例如,可浏览的实体显示,语法高亮,调试器等)都同样可用。 1 [# k7 [8 J$ f7 S- _$ M6 _! d
( n! g0 w R0 `# y% E, 4 G3 A* c4 @8 c; l" O
7 H0 A( U! s) i
* B U3 h* K: e0 W' r+ Y' W5 g; Y& O9 ~) u m w. D; B k使用用户图建模 搜索树显示 CP统计数据
4 V ]0 X9 w: T- J9 H8 i! y- d; U! W2 g9 s9 U联合求解器
" A% M4 q) Y( V- L6 l6 W1 e4 h5 P5 j# H. NMosel语言可以用作一个平台,以联合不同的求解器,尤其是将Xpress-Kalis与Xpress-Optimizer结合起来,以进行联合CP-LPMIP问题求解。
$ h% { `& t/ |4 v* x8 p! E- ; Y% a' j8 S& s4 o$ o5 g. FXpress-Application Developer
- I$ n& W( y7 C) S2 g& |7 ? L C U3 S8 L# x. I. LXpress Application Developer(XAD)对Xpress-Mosel进行扩展,使Mosel成为一个能够完成从问题的数学表达到创建用户界面中这一完整的优化应用程序开发过程的建模和编程语言。 " E! M" s) ^6 o' v
! }- s( } K# H. Q什么是XAD? $ l% u" Z1 D3 D. S& H0 i! [
, i q7 W4 E- V hXAD是一个使用Mosel进行图形用户界面开发的API。它由Dash Optimization开发,是对Mosel建模和编程语言的一个扩展。
; h7 [. v- ]4 k! d6 S2 l" q. e9 o, f w4 q' ~! I它怎样工作? ; ^& T3 o) J8 ^8 P' Z- q, k
% E. A! ( r- n6 j# x u1 uXAD使用一组简洁但富有表现力的Mosel程序来构建用户界面,例如XADcreatebutton,等等。用户界面事件,例如鼠标移动,按钮按下等,都可以很容易地通过事件回调函数引入到Mosel语言中。使用Mosel语言可以极为容易地将建模,优化,和用户界面函数结合起来。
9 [2 t+ z; d. A) |( E' C' `6 r- U A0 ~使用XAD的优点
, ]+ k" T% f( M3 ^5 ^2 $ {( F% I在开发优化应用程序时不再需要切换编程语言环境。 ; ) {9 H( y4 V, o# A& g3 W: s5 x5 Q m1 z$ G" G
◆直观的开发用户界面的API。
$ c/ X4 t3 X& v/ \. M& e9 P. ~9 [ A7 f+ d& V& p B◆强大的功能。 . u+ i+ h) j* C1 _8 M+ k
. k7 }. B# p f E9 l; H; f7 ^◆与Mosel的密切结合。
: Y m* U7 I" D5 ], Z! s7 t x. Z X; i8 H X) G$ p◆快速的应用程序开发。 & u b' ; l4 X L! ~! n w) n z- Y5 e' m* F0 Q, P9 O5 M6 \
应用 6 E X& e) @8 X4 V9 R h
4 U- |( k* C. V G' J- L2 E6 X/ oXpress-Application Developer可以用于原型开发,也可以用于在例如供应链优化,财务,交通路径,资源分配,战略规划等领域创建可部署的应用软件。
/ U. R" E `9 V; ~! t* r- ? |
|