Академический Документы
Профессиональный Документы
Культура Документы
Guia de utilizao
O GAMS (General Algebraic Modeling System) um ambiente para otimizao que fornece
interface para vrios algoritmos. Os modelos so fornecidos pelo usurio em um arquivo de entrada na forma
de equaes algbricas usando uma linguagem de alto nvel. O GAMS compila este modelo e faz a intervace
com um solver (ou seja, um algoritmo de otimizao). O modelo compilado e a soluo obtida so
mostrados ao usurio atravs de um arquivo de resultados. A extenso do arquivo do modelo *.GMS,
enquanto que a extenso do arquivo de resultados *.LST.
O formato dos arquivos de entrada no rgido, embora a sintaxe seja. Existe um nmero muito
grande de opes de modo a fornecer a flexibilidade para manusear modelos simples e complexos.
Exemplo de utilizao:
min Z = 1,5.Y1 + 2,5.Y2 + 0,5.Y3 + X1 2 + X2 2
sujeito a (X1 2,3)2 X2
X1 2.Y1 0
X1 X2 + 4,1.(1 Y2 ) 0
Y1 + Y2 1
X1 + X2 + 3.Y3 1,3.X3 = 0
X3 ln(X1 )
X1 5
X2 5
com X1 , X2 , X3 0 reais
Y1 , Y2 = {0, 1} binrias
Y3 0 inteira
* Problema de Otimizacao
FREE VARIABLES Z;
POSITIVE VARIABLES X1, X2, X3;
BINARY VARIABLES Y1, Y2;
INTEGER VARIABLES Y3;
* equacoes e restricoes
OBJ.. Z =E= 1.5*Y1 +2.5*Y2 +0.5*Y3 +X1**2 +X2**2 ;
R1.. SQR(X1 -2.3) =L= X2 ;
R2.. X1 -2*Y1 =G= 0 ;
R3.. X1 -X2 +4.1*(1 -Y2) =L= 0 ;
R4.. Y1 +Y2 =G= 1 ;
R5.. X1 +X2 +3*Y3 -1.3*X3 =E= 0 ;
R6.. X3 =G= LOG(X1) ;
* limites superiores
X1.UP = 5 ;
X2.UP = 5 ;
* ponto inicial
X1.L = 1 ;
X2.L = 2 ;
- Para definir limites inferiores e superiores das variveis e os chutes iniciais, use-se os seguintes sufixos:
.LO limite inferior (lower bound)
.UP limite superior (upper bound)
.L chute inicial (level)
Exemplo:
1X7 X.LO = 1 ;
X.UP = 7 ;
Iniciar em X = 3 X.L = 3 ;
- Ao final, especifica-se um nome para o modelo (no exemplo: TESTE) e informa-se quais equaes
devem ser usadas (ALL para todas). Podem ser definidos vrios modelos em um mesmo arquivo, usando
combinaes diferentes de equaes.
- A chamada do otimizador feita da seguinte forma:
SOLVE (nome do modelo) USING (solver) MINIMIZING ou MAXIMIZING (varivel da funo objetivo)
- Estes so os tipos de solvers disponveis no GAMS:
LP programao linear
MIP programao mista-inteira linear
RMIP programao mista-inteira linear relaxada
NLP programao no-linear com funes suaves
MINLP programao mista-inteira no linear
RMINLP programao mista-inteira no linear relaxada
- Vrios solvers de otimizao comerciais esto disponveis no GAMS, entre eles podemos citar : ZOOM,
MINOS, OSL, CONOPT, DICOPT, BARON e CPLEX.
MODEL STATISTICS
S O L V E S U M M A R Y
------------------------------------------------------------------
Dicopt2x-C Nov 19, 2000 WIN.DI.NA 19.6 021.016.039.WAT
------------------------------------------------------------------
Aldo Vecchietti and Ignacio E. Grossmann
Engineering Design Research Center
Carnegie Mellon University
Pittsburgh, Pennsylvania 15213
Erwin Kalvelagen
GAMS Development Corp.
1217 Potomac Street, N.W.
Washington DC 20007
Na internet:
GAMS http://www.gams.com