In this paper, a novel branch and bound algorithm based on the idea of Horst (Math Program. 1976, 10, 312) was developed to minimize the tangent plane distance function (TPDF) of the stability analysis problem where nonideal liquid phases are described by the UNIQUAC activity coefficient equation. Some simple transformations were used to construct the DC (i.e., difference of two convex functions) programming of TPDF that does not rely on any newly introduced parameters except the inner ones of the UNIQUAC equation. A compact partition of the feasible space and a valid underestimation function of the TPDF depending on the linear characteristics of the stability analysis problem were developed to guarantee the new branch and bound algorithm obtaining the -global convergence to the global solution of the TPDF. In comparison with the algorithms presented by Sun and Seider (Fluid Phase Equilib. 1995, 103, 213) and Floudas (AlChE J. 1995, 41, 1798), the novel branch and bound algorithm is slightly slower; however, it can provide complete reliability for solving the phase stability analysis problem. Liquid-liquid equilibrium compositions were then calculated by the Newton-Raphson method (Fluid Phase Equilib. 1982, 9, 21) on the basis of the global minimum of TPDF. The preliminary calculation results for three ternary systems showed that the novel branch and bound algorithm can solve the global stability problem effectively.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.