Modeling of thermodynamic properties mixed-solvent electrolyte solutions is challenging. Reliable experimental data are essential for any model development and parametrization. In this work, a benchmark database (water + methanol/ethanol alkali halide) presented. The available mean ionic activity coefficient (MIAC) vapor–liquid equilibrium (VLE) comprehensively collected critically evaluated 61...

experimental determination of solubility and ternary phase diagram of chiral compound are of tedious and time consuming tasks, and in many cases, there is not enough experimental data for different enantiomeric compositions to access the experimental ternary phase diagram. using thermodynamic models with predictive capability, having less dependency on experimental data, affords a great advanta...

−− The aim of this work is to simulate and analyze an extractive distillation process (extractive distillation and recovery columns) for the separation of Tetrahydrofuran (THF)-Water azeotropic mixture using Aspen Plus® and Aspen Split simulators. Calculation of vapor liquid equilibrium of Tetrahydrofuran–Water–Entrainer system was done using the NRTL model, which binary interaction parameters ...

The liquid-liquid equilibrium (LLE) phase boundaries were determined experimentally for the ternary systems containing refined sunflower oil, methanol, and one of ten potential cosolvents at 308.2 K under atmospheric pressure by using cloud point method. n-Butylamine was found to be one of the best cosolvents, which could substantially enhance the miscibility between the oil and methanol. The L...

Given a model M and a temporal logic formula φ[?], where ? is a placeholder, the query checking problem, as defined for the case of CTL by Chan in 2000, is to find the strongest propositional formula f such that M |= φ[? ← f ]. The motivation for solving this problem is, among other things, to get insight on the model. We consider various objectives to the LTL query-checking problem, and study ...

• Aqueous solution of diethylene glycol diethyl ether (DEGDEE) near lower critical temperature (LCST) was studied. Scattering data shows segregation DEGDEE and water in a nanometer length scale without short-range ordering. Fluctuation compared with thermodynamic calculation using the nonrandom two-liquid (NRTL) equation. Disadvantages NRTL model LCST can be attributed to its mean-field charact...

We consider VC-minimal theories admitting unpackable generating families, and show that in such theories, forking of formulae over a model M is equivalent to containment in global types definable over M , generalizing a result of Dolich on o-minimal theories in [4].

Let T be an almost strongly minimal theory. Work inside a monster model M of T . Let M be a model (a small elementary substructure of M). If G is an M -definable group, and H is an M -definable subgroup, we can consider the homogeneous space G/H with the left-action by G. We will define “etale cohomology groups” H M(G/H,A) for all n ≥ 0 and all abelian groups A. We would like the following thin...

In abstract elementary classes limit models are sometimes the appropriate substitute for saturated models. For Galois-stable abstract elementary classes which satisfy the amalgamation property, we prove under the assumption that there is a mildly behaved dependence relation, that for any model M , any two limit models over M of the same cardinality are isomorphic. This is useful in dealing with...

Given a Heath–Jarrow–Morton (HJM) interest rate model M and a parametrized family of finite dimensional forward rate curves G, this paper provides a technique for projecting the infinite dimensional forward rate curve rt given by M onto the finite dimensional manifold G. The Stratonovich dynamics of the projected finite dimensional forward curve are derived and it is shown that, under the regul...