The Henderson Approximation and the Mass Action Law of Guldberg and Waage

Using contemporary accounts, we describe the scope of the Henderson approximation, and its relationship to the mass action law of Guldberg & Waage. The Henderson approximation, apparently written in logarithmic form by Hasselbalch, has the same form as the mass action law, but has a completely different meaning and a much more restricted range of applicability. The Guldberg-Waage law is the fundamental mass action relationship valid for all chemical equilibria, whereas the Henderson approximation is useful only within a limited range of a sufficiently concentrated two-component buffer mixture.     

Convexity of Domains of Riemannian Manifolds

In this paper the problem of the geodesic connectedness and convexity ofincomplete Riemannian manifolds is analyzed. To this aim, a detailedstudy of the notion of convexity for the associated Cauchy boundary iscarried out. In particular, under widely discussed hypotheses,we prove the convexity of open domains (whose boundaries may benondifferentiable) of a complete Riemannian manifold. Variationalmethods are mainly used. Examples and applications are provided,including a result for dynamical systems on the existence oftrajectories with fixed energy.     

Remarks on exact controllability for Stokes and Navier–Stokes systems

This Note deals with the controllability of Stokes and Navier–Stokes systems with distributed controls with support in possibly small subdomains. We first present a new global Carleman inequality for the solutions to Stokes-like systems that leads to the null controllability at any time T>0. Then, we present a local result concerning exact controllability to trajectories of the Navier–Stokes system. To cite this article: E. Fernández-Cara et al., C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Rietveld refinement of CdSe phases annealed under argon atmosphere

Hexagonal and cubic cadmium selenide were prepared from a chemical route by using cadmium chloride and potassium selenium hydride obtained from reaction of selenium powder and potassium boron hydride. The product obtained was thermally treated under argon flux at 300, 500 and 600 °C for 2 h and characterized by X-ray photoelectron spectroscopy and X-ray diffraction. The X-ray diffraction data were refined by Rietveld method and the structural parameters were determined for the phases of each annealed samples. At 300 °C five phases were identified: Cubic and hexagonal cadmium selenides and the contaminants: Potassium chloride, boron oxide and cadmium boron oxide. At 500 and 600 °C only the hexagonal cadmium selenide phase was identified besides the other above mentioned contaminant.     

Unavoidable Traces Of Set Systems

Sauer, Shelah, Vapnik and Chervonenkis proved that if a set system on n vertices contains many sets, then the set system has full trace on a large set. Although the restriction on the size of the groundset cannot be lifted, Frankl and Pach found a trace structure that is guaranteed to occur in uniform set systems even if we do not bound the size of the groundset. In this note we shall give three sequences of structures such that every set system consisting of sufficiently many sets contains at least one of these structures with many sets.     

Effect of induced shielding current transmission in longitudinal direction on levitation force of melt grown single-domain YBa_2Cu_3O_(7-x) cylindrical superconductor

YBa2Cu3O7-x (YBCO) bulk is one of the most important high temperature superconducting materials for magnetic levitation applications, because it has a high magnetic irreversibility field Hirr at liquid nitrogen temperature, and can grow into large grains. The levitation force of YBCO bulk is proportional to the critical current density (Jc) and grain radius (r)[1], so higher Jc and r are appreciated for YBCO bulks to achieve higher levitation force. Now single-domain YBCO bulks up to s…     

Affine Arithmetic: Concepts and Applications

Affine arithmetic is a model for self-validated numerical computation that keeps track of first-order correlations between computed and input quantities. We explain the main concepts in affine arithmetic and how it handles the dependency problem in standard interval arithmetic. We also describe some of its applications.