Restricciones: Las siguientes restricciones se utilizan en este ejemplo:
Lmites en las variables
Para perodo PERIODOS y tipo TIPOS
Para perodo PERIODOS
( )
Para perodo PERIODOS y tipo TIPOS
( )
Para perodo PERIODOS y tipo TIPOS
( )
4. PRESENTACIN DE RESULTADOS
Los resultados son obtenidos con 2 solvers uno es el Minos y el otro es el KNitro,
el cual se accede a travs de la pgina : http://www.neos-
server.org/neos/solvers/minco:KNITRO/AMPL.html, esto debido a que el problema
es un problema de enteros, por lo que la solucin de KNitro, son los valores que
manda en la primera solucin de proc optomodel, y esto se debe a que se usa
programacin entera y entrega la solucin ptima del sistema.
Ahora la solucin que se obtiene con el Minos, solo tiene algunas variaciones, y se
debe a que Minos no usa programacin entera.
5. IMPRESIONES DE LOS MODELOS EN AMPL
*************************************************************
NEOS Server Version 5.0
Job# : 3073730
Password : AMXrapYm
Solver : minco:KNITRO:AMPL
Start : 2014-07-03 13:49:40
End : 2014-07-03 13:49:46
Host : NEOS HTCondor Pool
Disclaimer:
This information is provided without any express or
implied warranty. In particular, there is no warranty
of any kind concerning the fitness of this
information for any particular purpose.
*************************************************************
File exists
You are using the solver knitro.
Executing AMPL.
processing data.
processing commands.
Executing on neos-3.neos-server.org
Substitution eliminates 15 variables.
Adjusted problem:
45 variables:
30 integer variables
15 linear variables
40 constraints, all linear; 120 nonzeros
5 equality constraints
35 inequality constraints
1 linear objective; 45 nonzeros.
KNITRO 9.0.0: KNITRO: Number of threads = 1
======================================
Academic License (time limited)
KNITRO 9.0.0
Ziena Optimization
======================================
KNITRO changing mip_method from AUTO to 1.
KNITRO changing mip_rootalg from AUTO to 1.
KNITRO changing mip_lpalg from AUTO to 3.
KNITRO changing mip_branchrule from AUTO to 2.
KNITRO changing mip_selectrule from AUTO to 2.
KNITRO changing mip_rounding from AUTO to 3.
KNITRO changing mip_heuristic from AUTO to 1.
KNITRO changing mip_pseudoinit from AUTO to 1.
Problem Characteristics
-----------------------
Objective goal: Minimize
Number of variables: 45
bounded below: 15
bounded above: 0
bounded below and above: 30
fixed: 0
free: 0
Number of binary variables: 0
Number of integer variables: 30
Number of constraints: 40
linear equalities: 5
nonlinear equalities: 0
linear inequalities: 35
nonlinear inequalities: 0
range: 0
Number of nonzeros in Jacobian: 120
Number of nonzeros in Hessian: 0
No start point provided -- KNITRO computing one.
KNITRO detected 0 GUB constraints
KNITRO derived 0 knapsack covers after examining 0 constraints
KNITRO solving root node relaxation
KNITRO MIP using Branch and Bound method
Node Left Iinf Objective Best Relaxatn Best Incumbent
------ ------ ------ -------------- -------------- --------------
1 0 7 9.855143e+05 9.855143e+05
10 9 3 9.875429e+05 9.866429e+05
* 20 17 0 9.885400e+05 f 9.872929e+05 9.885400e+05
30 13 9.894714e+05 pr 9.876143e+05 9.885400e+05
40 7 9.887329e+05 pr 9.882829e+05 9.885400e+05
EXIT: Optimal solution found.
Final Statistics for MIP
------------------------
Final objective value = 9.88540000000000e+05
Final integrality gap (abs / rel) = 0.00e+00 / 0.00e+00 ( 0.00%)
# of nodes processed = 43
# of subproblems processed = 45
# of LP iterations = 129
Total program time (secs) = 0.12304 ( 0.033 CPU time)
Time spent in evaluations (secs) = 0.00083
===========================================================================
Locally optimal solution.
objective 988540; integrality gap 0
43 nodes; 45 subproblem solves
suffix incumbent OUT;
suffix relaxbnd OUT;
7. CONCLUSIONES
Se implement y se encontr la solucin ptima en la mayora de los casos para el
problema de planeamiento de sistemas de transmisin de energa elctrica,
implementando los modelos matemticos en el software de moldeamiento AMPL y
solucionndolos con los paquetes de optimizacin matemtica KNITRO y MINOS.
El uso de un lenguaje de modelamiento matemtico como lo es AMPL, reduce
significativamente la complejidad de construccin del modelo del problema en
comparacin con los lenguajes de programacin. De manera complementaria, el
uso de solvers elimina la necesidad de programar una tcnica de solucin.
Debido a que los solvers contienen tcnicas de solucin exactas, a la hora de
enfrentarse a problemas de optimizacin combinatorial de gran tamao y
complejidad tienden a quedar atrapados en soluciones ptimas locales. Sin
embargo, estas tcnicas pueden ser empleadas como herramientas de apoyo a
tcnicas de solucin ms robustas como las tcnicas Metaheursticas de
optimizacin. Tambin resultan tiles a la hora de realizar pruebas a modelos
nuevos o a variaciones de un modelo existente, aplicndolas a sistemas de prueba
de tamao moderado, o para verificar rpidamente que una solucin planteada
como ptima cumple en realidad con todas las restricciones planteadas por el
modelo con el que fue resuelto (comprobando si hay o no racionamiento en el
sistema).