Advances in Interval Methods for Deterministic Global Optimization in Chemical Engineering

In recent years, it has been shown that strategies based on an interval-Newton approach can be used to reliably solve a variety of nonlinear equation solving and optimization problems in chemical process engineering, including problems in parameter estimation and in the computation of phase behavior. These strategies provide a mathematical and computational guarantee either that all solutions have been located in an equation solving problem or that the global optimum has been found in an optimization problem. The primary drawback to this approach is the potentially high computational cost. In this paper, we consider strategies for bounding the solution set of the linear interval equation system that must be solved in the context of the interval-Newton method. Recent preconditioning techniques for this purpose are reviewed, and a new bounding approach based on the use of linear programming (LP) techniques is presented. Using this approach it is possible to determine the desired bounds exactly (within round out), leading to significant overall improvements in computational efficiency. These techniques will be demonstrated using several global optimization problems, with focus on problems arising in chemical engineering, including parameter estimation and molecular modeling. These problems range in size from under ten variables to over two hundred, and are solved deterministically using the interval methodology.

[1]  Mark A. Stadtherr,et al.  ROBUST PHASE STABILITY ANALYSIS USING INTERVAL METHODS , 1998 .

[2]  M. Stadtherr,et al.  Reliable Computation of Phase Stability and Equilibrium from the SAFT Equation of State , 2002 .

[3]  A. Neumaier.  Interval methods for systems of equations , 1990 .

[4]  M. Stadtherr,et al.  Reliable Nonlinear Parameter Estimation in VLE Modeling , 2000 .

[5]  Robert W. Maier,et al.  Reliable computation of homogeneous azeotropes , 1998 .

[6]  M. Stadtherr,et al.  Reliable computation of reactive azeotropes , 2000 .

[7]  Christodoulos A. Floudas,et al.  Locating all transition states and studying the reaction pathways of potential energy surfaces , 1999 .

[8]  R. Baker Kearfott,et al.  Preconditioners for the interval Gauss-Seidel method , 1990 .

[9]  Mark A. Stadtherr,et al.  MODELING AND DESIGN OF AN ENVIRONMENTALLY BENIGN REACTION PROCESS , 2000 .

[10]  Mark A. Stadtherr,et al.  Reliable Computation of High-Pressure Solid−Fluid Equilibrium , 2000 .

[11]  Thomas F. Edgar,et al.  Robust error‐in‐variables estimation using nonlinear programming techniques , 1990 .

[12]  Luc Jaulin,et al.  Applied Interval Analysis , 2001, Springer London.

[13]  M. Stadtherr,et al.  Reliable Phase Stability Analysis for Excess Gibbs Energy Models , 2000 .

[14]  R. Baker Kearfott,et al.  Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems , 1991, Computing.

[15]  Lorenz T. Biegler,et al.  A parallel implementation for parameter estimation with implicit models , 1993, Ann. Oper. Res..

[16]  Mark A. Stadtherr,et al.  Reliable computation of phase stability using interval analysis : Cubic equation of state models , 1998 .

[17]  N. Trefethen.  A Hundred-dollar Hundred-digit Challenge , 2002 .

[18]  Josef Stoer,et al.  Numerische Mathematik 1 , 1989 .

[19]  Mark A. Stadtherr,et al.  New interval methodologies for reliable chemical process modeling , 2002 .

[20]  R. B. Kearfott.  Rigorous Global Search: Continuous Problems , 1996 .

[21]  M. A. Potapov,et al.  Deterministic Global Optimization , 1994 .

[22]  W. Prager,et al.  Compatibility of approximate solution of linear equations with given error bounds for coefficients and right-hand sides , 1964 .

[23]  Robert W. Maier,et al.  Reliable density‐functional‐theory calculations of adsorption in nanoscale pores , 2001 .

[24]  Eldon Hansen,et al.  Global optimization using interval analysis , 1992, Pure and applied mathematics.

[25]  William R. Esposito,et al.  Global Optimization in Parameter Estimation of Nonlinear Algebraic Models via the Error-in-Variables Approach , 1998 .

[26]  Vladik Kreinovich,et al.  Computing Exact Componentwise Bounds on Solutions of Lineary Systems with Interval Data is NP-Hard , 1995, SIAM J. Matrix Anal. Appl..

[27]  Benito A. Stradi,et al.  Reliable computation of mixture critical points , 2001 .

[28]  M. Stadtherr,et al.  Reliable nonlinear parameter estimation using interval analysis: error-in-variable approach , 2000 .

[29]  M. Stadtherr,et al.  Enhanced Interval Analysis for Phase Stability: Cubic Equation of State Models , 1998 .