Thermodynamic derivative properties and densities for hyperbaric gas condensates: SRK equation of state predictions versus Monte Carlo data

The ability of Soave–Redlich–Kwong cubic equation of state (SRK EoS) to predict densities and thermodynamic derivative properties such as thermal expansivity, isothermal compressibility, calorific capacity, and Joule–Thompson coefficients, for two gas condensates over a wide range of pressures (up to 110 MPa) was studied. The predictions of the EoS were compared to Monte Carlo simulation data obtained by Lagache et al. [M.H. Lagache, P. Ungerer, A. Boutin, Fluid Phase Equilibr. 220 (2004) 221]. Two completely different alpha functions for the SRK EoS attractive term were used and their respective effects on the predictions of such properties were analyzed. Also, two different forms of the crossed terms of the attractive parameter, a_ij, and three expressions of the crossed terms of the repulsive parameter, b_ij, were combined in different ways, and predictions were carried out. Little sensitivity of the properties on the chosen alpha function, except for the calorific capacities, was found in the systems studied. The most commonly used combination rules to model phase behavior of reservoir fluids, i.e. geometric and arithmetic forms of a_ij and b_ij, respectively, predicted very deficient results for these fluids at extreme conditions, specially for density calculations.     

Comment on “The Free Will Theorem”

In a recent paper Conway and Kochen, Found. Phys. 36, 2006, claim to have established that theories of the Ghirardi-Rimini-Weber (RW) type, i.e., of spontaneous wave function collapse, cannot be made relativistic. On the other hand, relativistic GRW-type theories have already been presented, in my recent paper, J. Stat. Phys. 125, 2006, and by Dowker and Henson, J. Stat. Phys. 115, 2004. Here, I elucidate why these are not excluded by the arguments of Conway and Kochen.      

一个推广的Hardy-Hilbert型不等式及其逆式

本文引入单参数λ及应用Beta函数,给一个Hardy-Hilbert型不等式以具有最佳常数因子的推广,作为应用,给出了它的逆向形式．     

关于p-叶星形性和强星形性的充分条件 (英)

本文利用微分从属的方法得到了单位圆盘内p-叶星形函数和强星形函数的某些充分条件．     

Harmonic Calculus on Fractals - A Measure Geometric Approach I

Differentiation of functions w.r.t. finite atomless measures with compact support on the real line is introduced. The related harmonic calculus is similar to that of the classical Lebesgue case. As an application we obtain the Weyl exponent for the spectral asymptotics of the Laplacians w.r.t. linear Cantor-type measures with arbitrary weights.     

代数体函数的定理

本文定义并研究了代数体函数的加法．结合杨乐的方法,将仪洪勋联系重值的亚纯函数唯一性定理推广到多值的代数体函数．     

Deconvolution of very low primary energy SIMS depth profiles

In this paper, the deconvolution of SIMS profiles analysed at very low primary energy (0.5 keV/O₂⁺) is addressed. The depth resolution function (DRF) of the SIMS analysis in presence of roughness is established and a deconvolution procedure is implemented without or in presence of roughness on samples containing delta-doped layers of boron in silicon. It is shown that the deconvolution procedure can lead to a great improvement of the full width at half maximum (FWHM) of the measured peaks in the case where no roughness in detected in the crater bottom. In the case where it is present, the conditions required to use a deconvolution procedure are discussed, and the deconvolution is implemented using precise and restrictive assumptions.     

Fourth-order problems with fully nonlinear boundary conditions

Differential inequality method, bounding function method and topological degree are applied to obtain the existence criterions of at least one solution for the general fourth-order differential equations under nonlinear boundary conditions, and many existing results are complemented.     

Artificial time integration

Many recent algorithmic approaches involve the construction of a differential equation model for computational purposes, typically by introducing an artificial time variable. The actual computational model involves a discretization of the now time-dependent differential system, usually employing forward Euler. The resulting dynamics of such an algorithm is then a discrete dynamics, and it is expected to be “close enough” to the dynamics of the continuous system (which is typically easier to analyze) provided that small – hence many – time steps, or iterations, are taken. Indeed, recent papers in inverse problems and image processing routinely report results requiring thousands of iterations to converge. This makes one wonder if and how the computational modeling process can be improved to better reflect the actual properties sought. In this article we elaborate on several problem instances that illustrate the above observations. Algorithms may often lend themselves to a dual interpretation, in terms of a simply discretized differential equation with artificial time and in terms of a simple optimization algorithm; such a dual interpretation can be advantageous. We show how a broader computational modeling approach may possibly lead to algorithms with improved efficiency. AMS subject classification (2000)  65L05, 65M32, 65N21, 65N22, 65D18     

The Hadamard Theorem and Borel–Carathéodory Theorem on Riemann Surfaces

In this paper, we first define a kind of pseudo–distance function and annulus domain on Riemann surfaces, then prove the Hadamard Theorem and the Borel–Carathéodory Theorem on any Riemann surfaces. Supported by NSFC 10501052