Efficient and reliable mixture critical points calculation by global optimization

Multicomponent systems may exhibit several critical points or no critical point at all. Local methods can find only one critical point for a given initial guess. Recently, several global methods have been proposed for finding all the solutions of the problem. In the present work, we propose a gradient-based calculation method using global optimization, with temperature and molar volume as primary variables, and with analytical partial derivatives calculated from a two-parameter cubic equation of state. The Tunneling global optimization method is used for finding all the global minima. The implementation is based on a unique feature of the Tunneling method, which is able to find efficiently and reliably multiple minima at the same level. Several mixtures from binaries to petroleum reservoir fluids are used to test the proposed method. Numerical experiments proved the efficiency and reliability of the Tunneling method for finding all mixture critical points.     

Short range correlations and the EMC effect

This Letter shows quantitatively that the magnitude of the EMC effect measured in electron deep inelastic scattering at intermediate x(B), 0.35≤x(B)≤0.7, is linearly related to the short range correlation (SRC) scale factor obtained from electron inclusive scattering at x(B)≥1. The observed phenomenological relationship is used to extract the ratio of the deuteron to the free pn pair cross sections and F(2)(n)/F(2)(p), the ratio of the free neutron to free proton structure functions. We speculate that the observed correlation is because both the EMC effect and SRC are dominated by the high virtuality (high momentum) nucleons in the nucleus.     

Surface characterization of anodized zirconium for biomedical applications

Mechanical properties and corrosion resistance of zirconium make this material suitable for biomedical implants. Its good in vivo performance is mainly due to the presence of a protective oxide layer that minimizes corrosion rate, diminishes the amount of metallic ions released to the biological media and facilitates the osseointegration process.Since the implant surface is the region in contact with living tissues, the characteristics of the surface film are of great interest. Surface modification is a route to enhance both biocompatibility and corrosion resistance of permanent implant materials. Anodizing is presented as an interesting process to modify metal surfaces with good reproducibility and independence of the geometry.In this work the surface of zirconium before and after anodizing in 1 mol/L phosphoric acid solution at a fixed potential between 3 and 30 V, was characterized by means of several surface techniques.It was found that during anodization the surface oxide grows with an inhomogeneous coverage on zirconium surface, modifying the topography. The incorporation of P from the electrolyte to the surface oxide during the anodizing process changes the surface chemistry. After 30 days of immersion in Simulated Body Fluid (SBF) solution, Ca-P rich compounds were present on anodized zirconium.     

Separation dichotomy and wavefronts for a nonlinear convolution equation

This paper is concerned with a scalar nonlinear convolution equation, which appears naturally in the theory of traveling waves for monostable evolution models. First, we prove that, at each end of the real line, every bounded positive solution of the convolution equation should either be separated from zero or be exponentially converging to zero. This dichotomy principle is then used to establish a general theorem guaranteeing the uniform persistence and existence of semi-wavefront solutions to the convolution equation. Finally, we apply our theoretical results to several well-studied classes of evolution equations with asymmetric non-local and non-monotone response. We show that, contrary to the symmetric case, these equations can possess simultaneously stationary, expansion and extinction waves.     

Analyzing completeness of axiomatic functional systems for temporal × modal logics

In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions (being injective, surjective, increasing, etc.) have been considered and axiomatic systems (called functional) which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Runge-Kutta schemes that maintain invariant solutions for differential algebraic systems

Implicit Runge-Kutta (IRK) methods and projected IRK methods for the solution of semiexplicit index-2 systems of differential algebraic systems (DAEs) have been proposed by several authors. In this paper we prove that if a method satisfiesBA+A ^t B–bb ^t =0, it conserves quadratic invariants of DAEs.     

Logarithmic Norms and Nonlinear DAE Stability

Logarithmic norms are often used to estimate stability and perturbation bounds in linear ODEs. Extensions to other classes of problems such as nonlinear dynamics, DAEs and PDEs require careful modifications of the logarithmic norm. With a conceptual focus, we combine the extension to nonlinear ODEs [15] with that of matrix pencils [10] in order to treat nonlinear DAEs with a view to cover certain unbounded operators, i.e. partial differential algebraic equations. Perturbation bounds are obtained from differential inequalities for any given norm by using the relation between Dini derivatives and semi-inner products. Simple discretizations are also considered.