***: an ecosystem for logic based modeling and optimization development

作     者：Chen, Qi Johnson, Emma S. Bernal, David E. Valentin, Romeo Kale, Sunjeev Bates, Johnny Siirola, John D. Grossmann, Ignacio E. 

作者机构：Carnegie Mellon Univ Ctr Adv Proc Decis Making Dept Chem Engn Pittsburgh PA 15213 USA Sandia Natl Labs Albuquerque NM 87123 USA 

出 版 物：《OPTIMIZATION AND ENGINEERING》 (最优化与工程学)

年 卷 期：2022年第23卷第1期

页      面：607-642页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 0701[理学-数学] 

基　　金：U.S. Department of Energy, Office of Fossil Energy's Crosscutting Research Program through the Institute for the Design of Advanced Energy Systems (IDAES) U.S. Department of Energy's National Nuclear Security Administration [DENA0003525] 

主　　题：Mathematical programming Generalized disjunctive programming MINLP 

摘      要：We present three core principles for engineering-oriented integrated modeling and optimization tool sets-intuitive modeling contexts, systematic computer-aided reformulations, and flexible solution strategies-and describe how new developments in *** for Generalized Disjunctive Programming (GDP) advance this vision. We describe a new logical expression system implementation for *** allowing for a more intuitive description of logical propositions. The logical expression system supports automated reformulation of these logical constraints to linear constraints. We also describe two new logic-based global optimization solver implementations built on *** that exploit logical structure to avoid zero-flow numerical difficulties that arise in nonlinear network design problems when nodes or streams disappear. These new solvers also demonstrate the capability to link to external libraries for expanded functionality within an integrated implementation. We present these new solvers in the context of a flexible array of solution paths available to GDP models. Finally, we present results on a new library of GDP models demonstrating the value of multiple solution approaches.