Computation of an extractive distillation column with affine arithmetic

AIChE Journal

Volumn 55, Issue 7, 2009, Pages 1695-1704

  Baharev, Ali ^a   Achterberg, Tobias ^b   Rév, Endre ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b ZUSE INSTITUTE BERLIN   (Germany)

Author keywords

Affine arithmetic; Intervalarithmetic; MESH equations; Root finding; Separation

Indexed keywords

AFFINE ARITHMETIC; BRANCH-AND-PRUNE ALGORITHMS; EXTRACTIVE DISTILLATION; GUARANTEED CONVERGENCE; INTERVAL METHODS; INTERVALARITHMETIC; MESH EQUATIONS; MULTIPLE SOLUTIONS; ROOT FINDING; STANDARD METHOD; TERNARY MIXTURES;

DISTILLATION; NONLINEAR EQUATIONS;

DISTILLATION COLUMNS;

EID: 67650760770     PISSN: 00011541     EISSN: 15475905     Source Type: Journal    
DOI: 10.1002/aic.11777     Document Type: Article

References (46)

1. Pratt HRC. Countercurrent Separation Processes. Amsterdam, Netherlands: Elsevier, 1967.
2. King CJ. Separation Processes. New York: McGraw-Hill; 1980.
3. Bekiaris N, Morari M. Multiple steady states in distillation: ∞/∞ Predictions, extensions, and implications for design, synthesis, and simulation. Ind Eng Chem Res. 1996;35:4264-4280.
4. Müller D, Marquardt W. Experimental verification of multiple steady states in heterogeneous azeotropic distillation. Ind Eng Chem Res. 1997;36:5410-5418.
5. Lin Y, Gwaltney CR, Stadtherr MA. Reliable Modeling and optimization for chemical engineering applications: interval analysis approach. Reliable Comput. 2006;12:427-450.
6. Tessier SR, Brennecke JF, Stadtherr MA. Reliable phase stability analysis for excess gibbs energy models. Chem Eng Sci. 2000;55:1785-1796.
7. Xu G, Haynes WD, Stadtherr MA. Reliable phase stability analysis for asymmetric models. Fluid Phase Equilib. 2005;235:152-165.
8. Burgos-Solórzano GI, Brennecke JF, Stadtherr MA. Validated computing approach for high-pressure chemical and multiphase equilibrium. Fluid Phase Equilib. 2004;219:245-255.
9. Hua JZ, Brennecke JF, Stadtherr MA. Enhanced Interval analysis for phase stability: cubic equation of state models. Ind Eng Chem Res. 1998;37:1519-1527.
10. Simoni LD, Lin Y, Brennecke JF, Stadtherr MA. Modeling liquidliquid equilibrium of ionic liquid systems with NRTL, electrolyte-NRTL, and UNIQUAC. Ind Eng Chem Res. 2008;47:256-272.
11. Stradi BA, Brennecke JF, Kohn JP, Stadtherr MA. Reliable computation of mixture critical points. AIChE J. 2001;47:212-221.
12. Maier RW, Brennecke JF, Stadtherr MA. Reliable computation of homogeneous azeotropes. AIChE J. 1998;44:1745-1755.
13. Gau CY, Stadtherr MA. Deterministic global optimization for errorin-variables parameter estimation. AIChE J. 2002;48:1192-1197.
14. Nedialkov NS, Jackson KR, Corliss GF. Validated solutions of initial value problems for ordinary differential equations. Appl Math Comput. 1999;105:21-68.
15. Lin Y, Stadtherr MA. Validated solutions of initial value problems for parametric ODEs. Appl Numer Math. 2007;58:1145-1162.
16. Lin Y, Enszer JA, Stadtherr MA. Enclosing all solutions of twopoint boundary value problems for ODEs. Comput Chem Eng. 2008;32:1714-1725.
17. Lin Y, Stadtherr MA. Deterministic global optimization of nonlinear dynamic systems. AIChE J. 2007;53:866-875.
18. Kearfott RB. Preconditioners for the interval Gauss-Seidel method. SIAM J Numer Anal. 1990;27:804-822.
19. Lin Y, Stadtherr MA. LP Strategy for interval-Newton method in deterministic global optimization. Ind Eng Chem Res. 2004;43:3741-3749.
20. Kearfott RB. Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems. Computing. 1991;47:169-191.
21. Beelitz T, Frommer A, Lang B, Willems P. Symbolic-numeric techniques for solving nonlinear systems. PAMM. 2005;5:705-708.
22. Schichl H, Neumaier A. Interval analysis on directed acyclic graphs for global optimization. J Glob Optim. 2005;33:541-562.
23. Hammer R, Hocks M, Kulisch U, Ratz D. C Toolbox for Verified Computing I, Basic Numerical Problems. Berlin: Springer-Verlag, 1995.
24. Comba JLD, Stolfi J. Affine arithmetic and its applications to computer graphics. In: Proceedings of the VI Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI093). 1993: 9-18.
25. Stolfi J, Figueiredo LH. Self-validated numerical methods and applications. In: Monograph for the 21st Brazilian Mathematics Colloquium (CBM097), IMPA. Rio de Janeiro, Brazil, 1997.
26. Stolfi J, Figueiredo LH. An introduction to affine arithmetic. TEMA Tend Mat Appl Comput. 2003;4:297-312.
27. Figueiredo LH, Stolfi J. Affine arithmetic: concepts and applications. Numer Algorithms. 2004;37:147-158.
28. Kolev LV. A new method for global solution of systems of non-linear equations. Reliable Comput. 1998;4:125-146.
29. Kolev LV. An efficient interval method for global analysis of nonlinear resistive circuits. Int J Circuit Theory Appl. 1998;26:81-92.
30. Kolev LV, Mladenov VM. A linear programming implementation of a interval method for global non-linear DC analysis. IEEE Int Conf Electron Circuits Syst. 1998;1:75-78.
31. Kolev LV. An improved method for global solution of non-linear systems. Reliable Comput. 1999;5:103-111.
32. Kolev LV. An interval method for global nonlinear analysis. IEEE Trans Circuits Syst I: Fundam Theory Appl. 2000;47:675-683.
33. Kolev LV. Automatic computation of a linear interval enclosure. Reliable Comput. 2001;7:17-28.
34. Kolev LV. An improved interval linearization for solving non-linear problems. Numer Algorithms. 2004;37:213-224.
35. Kolev LV. New formulae for multiplication of intervals. Reliable Comput. 2006;12:281-292.
36. Kolev LV. Optimal multiplication of G-intervals. Reliable Comput. 2007;13:399-408.
37. Nenov IP, Fylstra DH. Interval methods for accelerated global search in the microsoft excel solver. Reliable Comput. 2003;9:143-159.
38. Yamamura K, Kumakura T, Inoue Y. Finding all solutions of nonlinear equations using inverses of approximate Jacobian matrices. IEICE Trans Fundam. 2001;E84-A:2950-2952.
39. Yamamura K, Tanaka K. Finding all solutions of weakly nonlinear equations using the dual simplex method. Electron Commun Jpn Part III: Fundam Electron Sci. 2006;89:1-7.
40. Miyajima S, Kashiwagi M. Existence test for solution of nonlinear systems applying affine arithmetic. J Comput Appl Math. 2007;199:304-309.
41. Baharev A, Rév E. Reliable computation of equilibrium cascades with affine arithmetic. AIChE J. 2008;54:1782-1797.
42. Moore RE. Methods and applications of interval analysis. Philadelphia: SIAM, 1979.
43. Hansen ER. Global optimization using interval analysis. New York: Marcel Dekker, 1992.
44. Meyers S. Effective C: 50 specific ways to improve your programs and design, 2nd ed. Addison-Wesley Professional Computing Series. Boston:Addison-Wesley Professional, 1997.
45. GNULinear Programming Kit. Available at: http://www.gnu.org/software/ glpk.
46. Meintjes K, Morgan AP. Chemical equilibrium systems as numerical test problems. ACM TOMS. 1990;16:143-151.