No abstract

No abstract

No abstract

A new approach for the numerical solution of smooth, nonlinear semi-infinite programs whose feasible set contains a nonempty interior is presented. Interval analysis methods are used to construct finite nonlinear, or mixed-integer nonlinear, reformulations of the original semi-infinite program under relatively mild assumptions on the problem structure. In certain cases the finite reformulation is exact and can be solved directly for the global minimum of the semi-infinite program (SIP). In the general case, this reformulation is over-constrained relative to the SIP, such that solving it yields a guaranteed feasible upper bound to the SIP solution. This upper bound can then be refined using a subdivision procedure which is shown to converge to the true SIP solution with finite -optimality. In particular, the method is shown to converge for SIPs which do not satisfy regularity assumptions required by reduction-based methods, and for which certain points in the feasible set are subject to an infinite number of active constraints. Numerical results are presented for a number of problems in the SIP literature. The solutions obtained are compared to those identified by reduction-based methods, the relative performances of the nonlinear and mixed-integer nonlinear formulations are studied, and the use of different inclusion functions in the finite reformulation is investigated.

Amyris is a fermentation product company that leverages synthetic biology and has been bringing novel fermentation products to the market since 2009. Driven by breakthroughs in genome editing, strain construction and testing, analytics, automation, data science, and process development, Amyris has commercialized nine separate fermentation products over the last decade. This has been accomplished by partnering with the teams at 17 different manufacturing sites around the world. This paper begins with the technology that drives Amyris, describes some key lessons learned from early scale-up experiences, and summarizes the technology transfer procedures and systems that have been built to enable moving more products to market faster. Finally, the breadth of the Amyris product portfolio continues to expand; thus the steps being taken to overcome current challenges (e.g. automated strain engineering can now outpace the rest of the product commercialization timeline) are described.