Abstract
An interval arithmetic based branch-and-bound optimizer is applied to find the singular points and bifurcations in studying feasibility of batch extractive distillation. This kind of study is an important step in synthesizing economic industrial processes applied to separate liquid mixtures of azeotrope-forming chemical components. The feasibility check methodology includes computation and analysis of phase plots of differential algebraic equation systems (DAEs). Singular points and bifurcations play an essential role in judging feasibility. The feasible domain of parameters can be estimated by tracing the paths of the singular points in the phase plane; bifurcations indicate the border of this domain. Since the algebraic part of the DAE cannot be transformed to an explicit form, implicit function theorem is applied in formulating the criterion of bifurcation points. The singular points of the maps at specified process parameters are found with interval methodology. Limiting values of the parameters are determined by searching for points satisfying bifurcation criteria.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Lelkes Z., Lang P., Benadda B. and Moszkowicz P. (1998). Feasibility of extractive distillation in a batch rectifier. AIChE J. 44: 810–822
Lelkes Z., Rév E., Stéger Cs. and Fonyó Z. (2002). Batch extractive distillation of maximal azeotrope with middle boiling entrainer. AIChE J. 48: 2524–2536
Rév E., Lelkes Z., Varga V., Stéger Cs. and Fonyó Z. (2003). Separation of minimum boiling binary azeotrope in batch extractive rectifier with intermediate boiling entrainer. Ind. Eng. Chem. Res. 42: 162–174
Kunzentsov Y.A. (1998). Elements of Applied Bifurcation Theory. Springer, New York
Guckenheimer J. and Holmes P. (1983). Nonlinear Oscillations, Dynamical Systems and Bifurcations of Vector Fields. Springer, New York
Hammer R., Hocks M., Kulisch U. and Ratz D. (1993). Numerical Toolbox for Verified Computing I. Springer-Verlag, Berlin
Knüppel O. (1993). PROFIL—Programmer’s Runtime Optimized Fast Interval Library. Technische Universität Hamburg, Hamburg
Ratschek H. and Rokne J. (1984). Computer Methods for the Range of Functions. Ellis Horwood, Chichester
Markót M.Cs., Csendes T. and Csallner A.E. (2000). Multisection in Interval Branch-and-Bound Methods for Global Optimization II. Numerical Tests. J. Glob. Opt. 16: 219–228
Ratz., D.: Automatische Ergebnisverifikation bei globalen Optimierungsproblemen. Dissertation, Universität Karlsruhe (1992)
Csallner A.E., Csendes T. and Markót M.Cs. (2000). Multisection in Interval Branch-and-Bound Methods for Global Optimization I. Theoretical Results. J. Glob. Opt. 16: 371–392
Brook, A., Kendrick, D., Maereus, A., Raman, R.: GAMS: A User’s Guide. GAMS Development Corporation, Washington DC, http://www.gams.com. Cited 19 May 2006 (1998)
Drud, A.: CONOPT. Solver Manual. ARKI Consulting and Development A/S, Bagsvaerd, Denmark(2006). http://www.gams.com/dd/docs/solvers/conopt.pdf. Cited 19 May 2006
Golubitsky M. and Schaeffer D.G. (1985). Singularities and Groups in Bifurcation Theory vol. I. Springer, New York
Seydel R. (1994). Practical Bifurcation and Stability Analysis: From Equilibrium to Chaos. Springer, New York
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Frits, E.R., Markót, M.C., Lelkes, Z. et al. Use of an interval global optimization tool for exploring feasibility of batch extractive distillation. J Glob Optim 38, 297–313 (2007). https://doi.org/10.1007/s10898-006-9111-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10898-006-9111-3