|
GAMS示例
% @9 K4 c& A: L下面这个问题主要是用来举例说明GAMS是如何让您以一种自然的方式建立模型.GAMS能够处理大的多和高度复杂的问题.在这里只展示了GAMS的很少一部分的基本特征. 4 {" W# B' z$ k) z8 t0 l1 Q
& a7 g6 o0 X3 P4 p0 J" J6 O; Y) }" Z# k3 l( G2 Q9 d* b
. Y5 G! P) x/ f/ `8 C9 N T j! G| | # R2 a; S" |$ Z+ G+ f9 G
代数描述 |
( v7 [6 b, G1 E. R9 Q下面是问题的标准的代数描述,这是用来最小化把货物从2个工厂运输到3个市场的费用.受约束于供需约束. 0 N, p( U% `0 s- Z
指标: 7 @1 E9 `+ B# r
i=工厂(plants) j=市场(markets) g( ^+ c5 Q. c c7 L9 p: y4 ^1 H
给定的数据:
: J2 G% B0 ~ B o6 D =在工厂i日常供应量(批数cases)
=在市场j的日常需求量(批数cases)
=在工厂i和市场j之间的距离(千英里)
=在工厂i和市场j之间每单位的运输费用($/批/千英里) : Q+ t7 o7 m0 c
Q: S% a" r/ q# C' c9 d1 H
4 _/ F7 z3 O% j6 | n8 [3 _+ J# n
# C( ~* l7 r8 a: C6 p/ p0 V' K| 距离 |
( M# v, Y* w+ H$ i& \5 |+ f |
6 h8 ? e g, t1 I% B, o1 J+ H, r0 D$ m) T+ e. k
| |
% u5 S! p N1 F市场 | 8 r8 q# ~- f: t5 N, M4 F/ c
|
% l" N0 ]+ g) t; p" M' [
8 P- ^; c/ @+ o8 x* Q| 工厂 |
/ w, W- r( D4 _6 M0 g8 b& L7 @' INew York | " T7 z3 t5 {- Z0 z' J: w5 Q
Chicago |
0 C2 K! t+ g3 W* \5 t5 H; z4 lTopeka |
; J% y t; ?. o6 u- q供应量 | / _ T7 z( L _" s o
: C. G# k1 f6 @# v G) A8 M: a| Seattle | & C1 X! R2 M$ V! e
2.5 | 1 t5 R! D- H% w) a8 Z) _& }. P
1.7 | ! F& { U1 h7 c& _7 j6 k
1.8 | ( X& x/ K& V# O# f+ f1 f
350 |
, [# U) t$ b& f! j$ }: P: H/ y( F0 I9 h+ D9 x/ h4 s
| San Diego | 5 E/ j* O2 B1 h; T6 I9 t' s
2.5 | , ^6 N8 A8 l3 d5 C
1.8 |
0 ]4 @- G5 Q e2 D8 [% U3 ~1.4 |
* x7 |$ `( I* m- [/ x600 | 3 O7 M6 J& ]9 d( j _ e
0 D6 ?; }3 G' @! `; H: h" ~| 需求量 | , k6 u# J) v. E& T5 a
325 | 3 Q5 Y! w/ L9 G: M
300 | - ?( b: k) g* {( R
275 | ' Q! M" B8 w' R( y4 f8 y
| , o3 k" A: P6 }- n4 b6 z; @
F=每批每千英里的费用$ 0 o0 e* A* X6 A; U: {' l+ l
决策变量:
- h0 b( P5 u+ b3 q5 S =日常从工厂i运输到市场j的总量(批数cases) 这里 适用所有i,j 3 y0 V" c/ c! ~. M5 h" K5 m
约束: $ I/ }- ^3 b- ^0 H* s, R9 e
在工厂i的供应量**(批数cases): 适用所有的i 在市场j的需求量: 适用所有的j
3 i2 F# T) @! r, ?- u目标函数: - R* C @; \) U. V# r g8 I6 d
Minimize (千元) 7 m, w4 E, |3 \9 @" W! F2 y j
0 C! Z. A7 d7 H. @0 B) t# ^+ k: v1 V+ w7 Z# N! Z6 H7 m# a# P
' x9 ~0 h- N' D5 |! P| |
; w2 z/ O, w2 ?' h3 v& v2 i3 Z GAMS模型 | ! j' {, C# y, I) x
同样的模型在GAMS中建模.简练的代数描述使得模型高度紧凑,并带有逻辑结构.内部的文档,比如对参数的解释和测量的单位,使得模型很容易读懂.
6 B5 _" X" P; g A2 D$ l 集合(Sets)
. r6 Q C) w' n- }. y2 \ 9 L- x! c& A( i2 A8 a5 H& b1 o2 n
GAMS让您以直接的方式指定指标:声明和命名集合(这里是I和J),并列举它们的元素.
+ m* h4 G% j C' O参数 + U8 S8 g3 C, s, K. L

4 M2 ]0 j7 F4 U; \" q1 m: x这里的数据输入被作为指标参数A(I)和B(J),值简单的被列出.
8 \3 R i) N9 s% t+ S1 hGAMS让您可以在模型的任意位置放置解释性文本(以小写格式显示),当您在开发它时.您的注释自动被结合到输出报告中的合适位置.
( u) o2 w$ H3 F5 Y表格
, |/ x; D2 o6 j0 \ 数据同样能够以方便的表格形式输入.GAMS让您以数据的基本形式来输入数据-转换是特定的代数化的.
% v7 d, Q1 x) R5 [, ^9 e标量(Scalar) 2 A: F7 G# k% `: `7 s2 W# h
 常量能够被声明为标量,它的值是指定的.
- Y. W* n8 {0 g9 \/ ]( S
数据处理 - [* `2 l; N/ Z- g8 u. p6 h
 # X4 q+ o1 H' \; {: y
当数据值要被计算前,您首先要声明参数(比如,给它一个符号,随意给它编个指标),然后给它一个代数公式.GAMS将自动进行计算.
0 {9 v- g0 X+ {9 g) N- ~, m3 [变量
( s! X; ^0 L0 j3 P9 G0 _( F) L1 ^
Y @0 ?8 S: m: ^3 @4 S0 w/ p. X决策变量以代数的方式表达,带有特定的指标.从这种常见的形式,GAMS在域中生成变量的每个实例. , K- ~# y$ q+ k9 r6 K1 U% W+ L
变量可以被指定为下列类型:任意(FREE),正值(POSITIVE),负值(NEGATIVE),二元(BINARY),或者整数(INTEGER).默认是任意(FREE).
8 N) x; G) B" |# C0 P( C; |目标变量(这里是z)仅被声明,没有指标(index).
! ?) {" k! R' z2 I方程式
# J. K9 {( }8 w' B
& i! o. F. l5 Z, ~4 [目标函数和约束方程式首先被通过指定名字来声明.然后它们的概括的算术公式被声明.GAMS现在已经有了足够的信息(从上面的数据输入和从在方程式中指定的算术关系)来自动生成每个单独的约束声明-就像您能在下面的输出报告中看到的.
) c+ b. E9 N. n: Z5 B=E=表示'equal to' (等于) =L=表示 'less than or equal to' (小于或等于) =G=表示'greater than or equal to' (大于或等于)
2 X: f5 N& i. H* D模型声明 7 r8 l: O" D6 P* v* s' g7 A9 _

; @% s6 K7 b4 o; \0 t% N' x模型被指定了一个唯一的名字(这里是TRANSPORT),模型缔造者指定那个方程式应该被包含到这个特别的公式中.在这里我们指定了ALL,也就是说所有的方程式都是模型的一部分.就等于是MODEL TRANSPORT /COST, SUPPLY, DEMAND/ . 这个方程式选择使您能够在单个的GAMS输入文件中以公式表达不同的模型,基于相同或不同的给定数据.
2 W9 L# x: O I: l9 E4 e8 Y求解声明 ; [" ~) \- z# {# N, u, l2 T. I/ v
 / W' i0 I7 y7 [5 I, r6 O. M
求解声明(1)告诉GAMS那个模型要被求解,(2)选择要使用的求解器(在这里是LP求解器),(3)表明优化方向,或者是求最小值,或者是求最大值.(4)指定目标变量. 4 D; j3 l4 w+ S9 G( s) I7 l
9 c" S& m8 k/ A
' i& p4 F- q' w R) \! n: x) Z- f1 f0 a1 g, r
| |
( y2 W2 T# w9 T/ Z GAMS输出报告(部分摘录) |
1 {7 c# H% L& p" ^* f完整的GAMS输出报告比下面列出的部分摘录详细的多,包含了更多的帮助用于解释和诊断您的模型.甚至您能够修改输出格式来符合您的特定的需要. 9 t2 T4 j" f2 z
方程式列表
) ?# x# p9 C m& d$ [# z; {8 _ ! _3 Q% [) Y3 y$ A9 |) e
方程式列表显示从在GAMS输入中指定的分区(block)生成的单独的约束.在GAMS中使用者可以以一种非常紧凑的形式写下被索引的方程式分区(block),这将产生大量的单个方程式.在我们的示例中,我们指定了3个方程式分区,生成了6个单独的方程式. 9 C) C X. j1 |# @' [# Y3 `! h
列列表
( K! A, Z: l0 h/ X6 K 0 W1 r3 j. l* O i, [
列列表提供信息到生成的单独的变量上.变量X(I,J)扩展出6个单独的变量.当许多变量从一个分区中被生成,默认的列表只显示最初的3个(用户可以修改).
. \6 j) Q8 A0 {+ ~% t O' q! { H6 y4 y
" f- T" L z6 U$ V
) ] V' A3 I& r3 b$ S2 u& Z| | $ V6 w4 [9 ]/ ^1 o
求解信息 |
2 g6 Z. y# n+ X# @: i , F' G' o3 R6 E6 B, M4 r
求解声明将生成模型(单个方程式和对应到特定模型的变量的产物).首先一些关于生成的模型的统计表将会被显示:方程式数,变量和非零元素.
. q( K9 e- N7 X$ K: X( B在求解汇总信息部分,我们看到BDMLP被调用来求解这个模型.BDMLP经过4次反复,耗时0.18秒找到了这个问题的最优解.求解信息下列的消息来自求解器. , O* ]$ N) e- H0 ^$ b. v
解(Solution) * ~% u" d2 Z9 B* {4 y. ]: ~6 c3 u

0 |0 W3 \. k- |1 g) |解被显示在这里.边际值(marginals)对应方程式的重复和变量减少的花费. ) b" X! q% _$ L2 Q& J
写工具不需要学习一门其它的语言.在GAMS所有的数据处理,模型定义和报告编写都是在一个单独的环境中完成的. 7 A% U& R0 z( ]6 L+ o" w
+ L; M9 `9 O0 w+ |2 M* L$ Z* S
0 b0 c+ R s8 u
* L( \$ y: p- R5 ^( _! R' l| |
+ |' o' b0 w# ~" y" N 参考 |
' O/ q5 c7 h- ~& {3 J% @Dantzig G. B., Linear Programming and Extensions, Princeton University Press,Princeton, New Jersey, 1963, Chapter 3-3. |