Computer program determines exact two-sided tolerance limits for normal distributions

Computer program determines by numerical integration the exact statistical two-sided tolerance limits, when the proportion between the limits is at least a specified number. The program is limited to situations in which the underlying probability distribution for the population sampled is the normal distribution with unknown mean and variance

Necrotic tumor growth: an analytic approach

The present paper deals with a free boundary problem modeling the growth process of necrotic multi-layer tumors. We prove the existence of flat stationary solutions and determine the linearization of our model at such an equilibrium. Finally, we compute the solutions of the stationary linearized problem and comment on bifurcation.Comment: 14 pages, 3 figure

Covariant Uniform Acceleration

We show that standard Relativistic Dynamics Equation F=dp/d\tau is only partially covariant. To achieve full Lorentz covariance, we replace the four-force F by a rank 2 antisymmetric tensor acting on the four-velocity. By taking this tensor to be constant, we obtain a covariant definition of uniformly accelerated motion. We compute explicit solutions for uniformly accelerated motion which are divided into four types: null, linear, rotational, and general. For null acceleration, the worldline is cubic in the time. Linear acceleration covariantly extends 1D hyperbolic motion, while rotational acceleration covariantly extends pure rotational motion. We use Generalized Fermi-Walker transport to construct a uniformly accelerated family of inertial frames which are instantaneously comoving to a uniformly accelerated observer. We explain the connection between our approach and that of Mashhoon. We show that our solutions of uniformly accelerated motion have constant acceleration in the comoving frame. Assuming the Weak Hypothesis of Locality, we obtain local spacetime transformations from a uniformly accelerated frame K' to an inertial frame K. The spacetime transformations between two uniformly accelerated frames with the same acceleration are Lorentz. We compute the metric at an arbitrary point of a uniformly accelerated frame. We obtain velocity and acceleration transformations from a uniformly accelerated system K' to an inertial frame K. We derive the general formula for the time dilation between accelerated clocks. We obtain a formula for the angular velocity of a uniformly accelerated object. Every rest point of K' is uniformly accelerated, and its acceleration is a function of the observer's acceleration and its position. We obtain an interpretation of the Lorentz-Abraham-Dirac equation as an acceleration transformation from K' to K.Comment: 36 page

Revising the multipole moments of numerical spacetimes, and its consequences

Identifying the relativistic multipole moments of a spacetime of an astrophysical object that has been constructed numerically is of major interest, both because the multipole moments are intimately related to the internal structure of the object, and because the construction of a suitable analytic metric that mimics a numerical metric should be based on the multipole moments of the latter one, in order to yield a reliable representation. In this note we show that there has been a widespread delusion in the way the multipole moments of a numerical metric are read from the asymptotic expansion of the metric functions. We show how one should read correctly the first few multipole moments (starting from the quadrupole mass-moment), and how these corrected moments improve the efficiency of describing the metric functions with analytic metrics that have already been used in the literature, as well as other consequences of using the correct moments.Comment: article + supplemental materia

The exp-log normal form of types

Lambda calculi with algebraic data types lie at the core of functional programming languages and proof assistants, but conceal at least two fundamental theoretical problems already in the presence of the simplest non-trivial data type, the sum type. First, we do not know of an explicit and implemented algorithm for deciding the beta-eta-equality of terms---and this in spite of the first decidability results proven two decades ago. Second, it is not clear how to decide when two types are essentially the same, i.e. isomorphic, in spite of the meta-theoretic results on decidability of the isomorphism. In this paper, we present the exp-log normal form of types---derived from the representation of exponential polynomials via the unary exponential and logarithmic functions---that any type built from arrows, products, and sums, can be isomorphically mapped to. The type normal form can be used as a simple heuristic for deciding type isomorphism, thanks to the fact that it is a systematic application of the high-school identities. We then show that the type normal form allows to reduce the standard beta-eta equational theory of the lambda calculus to a specialized version of itself, while preserving the completeness of equality on terms. We end by describing an alternative representation of normal terms of the lambda calculus with sums, together with a Coq-implemented converter into/from our new term calculus. The difference with the only other previously implemented heuristic for deciding interesting instances of eta-equality by Balat, Di Cosmo, and Fiore, is that we exploit the type information of terms substantially and this often allows us to obtain a canonical representation of terms without performing sophisticated term analyses

Quasi-Chemical and Structural Analysis of Polarizable Anion Hydration

Quasi-chemical theory is utilized to analyze the roles of solute polarization and size in determining the structure and thermodynamics of bulk anion hydration for the Hofmeister series Cl$^-$, Br$^-$, and I$^-$. Excellent agreement with experiment is obtained for whole salt hydration free energies using the polarizable AMOEBA force field. The quasi-chemical approach exactly partitions the solvation free energy into inner-shell, outer-shell packing, and outer-shell long-ranged contributions by means of a hard-sphere condition. Small conditioning radii, even well inside the first maximum of the ion-water(oxygen) radial distribution function, result in Gaussian behavior for the long-ranged contribution that dominates the ion hydration free energy. The spatial partitioning allows for a mean-field treatment of the long-ranged contribution, leading to a natural division into first-order electrostatic, induction, and van der Waals terms. The induction piece exhibits the strongest ion polarizability dependence, while the larger-magnitude first-order electrostatic piece yields an opposing but weaker polarizability dependence. In addition, a structural analysis is performed to examine the solvation anisotropy around the anions. As opposed to the hydration free energies, the solvation anisotropy depends more on ion polarizability than on ion size: increased polarizability leads to increased anisotropy. The water dipole moments near the ion are similar in magnitude to bulk water, while the ion dipole moments are found to be significantly larger than those observed in quantum mechanical studies. Possible impacts of the observed over-polarization of the ions on simulated anion surface segregation are discussed.Comment: slight revision, in press at J. Chem. Phy

Testing Einstein's time dilation under acceleration using M\"ossbauer spectroscopy

The Einstein time dilation formula was tested in several experiments. Many trials have been made to measure the transverse second order Doppler shift by M\"{o}ssbauer spectroscopy using a rotating absorber, to test the validity of this formula. Such experiments are also able to test if the time dilation depends only on the velocity of the absorber, as assumed by Einstein's clock hypothesis, or the present centripetal acceleration contributes to the time dilation. We show here that the fact that the experiment requires $\gamma$-ray emission and detection slits of finite size, the absorption line is broadened; by geometric longitudinal first order Doppler shifts immensely. Moreover, the absorption line is non-Lorenzian. We obtain an explicit expression for the absorption line for any angular velocity of the absorber. The analysis of the experimental results, in all previous experiments which did not observe the full absorption line itself, were wrong and the conclusions doubtful. The only proper experiment was done by K\"{u}ndig (Phys. Rev. 129 (1963) 2371), who observed the broadening, but associated it to random vibrations of the absorber. We establish necessary conditions for the successful measurement of a transverse second order Doppler shift by M\"{o}ssbauer spectroscopy. We indicate how the results of such an experiment can be used to verify the existence of a Doppler shift due to acceleration and to test the validity of Einstein's clock hypothesis.Comment: 11 pages, 4 figure

Evaluation of Emerging Diagnostic Tools for Commercial HVAC Systems

This paper compares and evaluates the capabilities of six emerging diagnostic tools for commercial HVAC systems. We present a brief description of the diagnostic tools, and then focus on evaluating the features of the tools. We include the following six tools in our analysis: Architectural Energy Corporation's ENFORMA? software, Facility Dynamics Engineering's Performance And Continuous Re-commissioning Analysis Tool (PACRAT), Pacific Northwest National Laboratory's Whole Building Diagnostician (WBD), Pacific Gas and Electric's Universal Translator, UC Berkeley's Fan System Tools, and Silicon Energy's Enterprise Energy Management Suite. The air-side economizer operation is the most common diagnostic across the tools, so this diagnostic function is evaluated in detail. We outline the key strengths and weaknesses of each tool, while keeping in mind the tool intent and current extent of commercialization. Each tool has unique features for data management and analysis, which can be beneficial for different applications and users