A Framework for Globally Optimizing Mixed-Integer Signomial Programs

Mixed-integer signomial optimization problems have broad applicability in engineering. Extending the Global Mixed-Integer Quadratic Optimizer, GloMIQO (Misener, Floudas in J. Glob. Optim., 2012 . doi: 10.1007/s10898-012-9874-7 ), this manuscript documents a computational framework for deterministica...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Journal of optimization theory and applications Ročník 161; číslo 3; s. 905 - 932
Hlavní autoři: Misener, Ruth, Floudas, Christodoulos A.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Boston Springer US 01.06.2014
Springer Nature B.V
Témata:
Applications of Mathematics
Calculus of Variations and Optimal Control; Optimization
Computation
Engineering
Flattening
Integer programming
Mathematical models
Mathematics
Mathematics and Statistics
Operations Research/Decision Theory
Optimization
Optimization algorithms
Signal transduction
Software
Solvers
State of the art
Strategy
Studies
Theory of Computation
Trees
Variables
Numerical optimization software
Global optimization
Mixed-integer signomial optimization
ISSN:0022-3239, 1573-2878
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Mixed-integer signomial optimization problems have broad applicability in engineering. Extending the Global Mixed-Integer Quadratic Optimizer, GloMIQO (Misener, Floudas in J. Glob. Optim., 2012 . doi: 10.1007/s10898-012-9874-7 ), this manuscript documents a computational framework for deterministically addressing mixed-integer signomial optimization problems to ε -global optimality. This framework generalizes the GloMIQO strategies of (1) reformulating user input, (2) detecting special mathematical structure, and (3) globally optimizing the mixed-integer nonconvex program. Novel contributions of this paper include: flattening an expression tree towards term-based data structures; introducing additional nonconvex terms to interlink expressions; integrating a dynamic implementation of the reformulation-linearization technique into the branch-and-cut tree; designing term-based underestimators that specialize relaxation strategies according to variable bounds in the current tree node. Computational results are presented along with comparison of the computational framework to several state-of-the-art solvers.
Bibliografie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-2
content type line 23
ISSN:0022-3239
1573-2878
DOI:10.1007/s10957-013-0396-3