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 Pyomo.GDP for Generalized Disjunctive Programming (GDP) advance this vision. We describe a new logical expression system implementation for Pyomo.GDP 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 Pyomo.GDP 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.

我们提出了面向工程的集成建模和优化工具集的三个核心原则-直观的建模上下文，系统的计算机辅助重新制定以及灵活的解决方案策略-并描述了Pyomo的新发展。 。我们为Pyomo.GDP描述了一种新的逻辑表达系统实现，从而可以更直观地描述逻辑命题。逻辑表达式系统支持将这些逻辑约束自动重新格式化为线性约束。我们还将描述基于Pyomo.GDP的两个新的基于逻辑的全局优化求解器实现，这些实现利用逻辑结构来避免当节点或流消失时在非线性网络设计问题中出现的“零流量”数值困难。这些新的求解器还展示了链接到外部库以实现集成实现中的扩展功能的功能。我们在可用于GDP模型的灵活解决方案路径范围内介绍这些新的求解器。最后，我们在一个新的GDP模型库中展示了结果，展示了多种解决方案方法的价值。