An extensible open-source deterministic global optimizer (EAGO) programmed entirely in the Julia language is presented. EAGO was developed to serve the need for supporting higher-complexity user-defined functions (e.g. functions defined implicitly via algorithms) within optimization models. EAGO embeds a first-of-its-kind implementation of McCormick arithmetic in an Evaluator structure allowing for the construction of convex/concave relaxations using a combination of source code transformation, multiple dispatch, and context-specific approaches. Utilities are included to parse user-defined functions into a directed acyclic graph representation and perform symbolic transformations enabling dramatically improved solution speed. EAGO is compatible with a wide variety of local optimizers, the most exhaustive library of transcendental functions, and allows for easy accessibility through the JuMP modelling language. Together with Julia's minimalist syntax and competitive speed, these powerful features make EAGO a versatile research platform enabling easy construction of novel meta-solvers, incorporation and utilization of new relaxations, and extension to advanced problem formulations encountered in engineering and operations research (e.g. multilevel problems, user-defined functions). The applicability and flexibility of this novel software is demonstrated on a diverse set of examples. Lastly, EAGO is demonstrated to perform comparably to state-of-the-art commercial optimizers on a benchmarking test set.

提出了一个完全用 Julia 语言编程的可扩展开源确定性全局优化器 (EAGO)。EAGO 的开发是为了满足在优化模型中支持更高复杂度的用户定义函数（例如通过算法隐式定义的函数）的需要。EAGO 在 Evaluator 结构中嵌入了首创的 McCormick 算法实现，允许使用源代码转换、多调度和上下文特定方法的组合来构造凸/凹松弛。包含实用程序以将用户定义的函数解析为有向无环图表示并执行符号转换，从而显着提高求解速度。EAGO 兼容多种局部优化器，最详尽的超越函数库，并允许通过 JuMP 建模语言轻松访问。再加上 Julia 的极简语法和具有竞争力的速度，这些强大的功能使 EAGO 成为一个多功能的研究平台，可以轻松构建新的元求解器、合并和利用新的松弛，以及扩展到工程和运筹学中遇到的高级问题公式（例如多级问题） ，用户定义的函数）。这种新颖软件的适用性和灵活性在一系列不同的示例中得到了证明。最后，EAGO 在基准测试集上的表现与最先进的商业优化器相当。这些强大的功能使 EAGO 成为一个多功能的研究平台，可以轻松构建新的元求解器、合并和利用新的松弛，以及扩展到工程和运筹学中遇到的高级问题公式（例如多级问题、用户定义的函数）。这种新颖软件的适用性和灵活性在一系列不同的示例中得到了证明。最后，EAGO 在基准测试集上的表现与最先进的商业优化器相当。这些强大的功能使 EAGO 成为一个多功能的研究平台，可以轻松构建新的元求解器、合并和利用新的松弛，以及扩展到工程和运筹学中遇到的高级问题公式（例如多级问题、用户定义的函数）。这种新颖软件的适用性和灵活性在一系列不同的示例中得到了证明。最后，EAGO 在基准测试集上的表现与最先进的商业优化器相当。这种新颖软件的适用性和灵活性在一系列不同的示例中得到了证明。最后，EAGO 在基准测试集上的表现与最先进的商业优化器相当。这种新颖软件的适用性和灵活性在一系列不同的示例中得到了证明。最后，EAGO 在基准测试集上的表现与最先进的商业优化器相当。