Soft core thermodynamics from self-consistent hard core fluids

In an effort to generalize the self-consistent Ornstein-Zernike approximation (SCOZA) -- an accurate liquid-state theory that has been restricted so far to hard-core systems -- to arbitrary soft-core systems we study a combination of SCOZA with a recently developed perturbation theory. The latter was constructed by Ben-Amotz and Stell [J. Phys. Chem. B 108,6877-6882 (2004)] as a reformulation of the Week-Chandler-Andersen perturbation theory directly in terms of an arbitrary hard-sphere reference system. We investigate the accuracy of the combined approach for the Lennard-Jones fluid by comparison with simulation data and pure perturbation theory predictions and determine the dependence of the thermodynamic properties and the phase behavior on the choice of the effective hard-core diameter of the reference system.Comment: 38 pages, 10 figure

Accuracy and transferability of Gaussian approximation potential models for tungsten

We introduce interatomic potentials for tungsten in the bcc crystal phase and its defects within the Gaussian approximation potential framework, fitted to a database of first-principles density functional theory calculations. We investigate the performance of a sequence of models based on databases of increasing coverage in configuration space and showcase our strategy of choosing representative small unit cells to train models that predict properties observable only using thousands of atoms. The most comprehensive model is then used to calculate properties of the screw dislocation, including its structure, the Peierls barrier and the energetics of the vacancy-dislocation interaction. All software and raw data are available at www.libatoms.org

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a formal semantics of the source language and a high-level operational semantics of the target, i.e. a subset of Haskell. The main correctness theorem is expressed in terms of a simulation relation between the operational semantics of actor programs and their translation. This allows us to then prove that the resource consumption is preserved over this translation, as we establish an equivalence of the cost of the original and Haskell-translated execution traces.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

Assessment of the potential of MERIS near-infrared water vapour products to correct ASAR interferometric measurements

Atmospheric water vapour is a major limitation for high precision Interferometric Synthetic Aperture Radar (InSAR) applications due to its significant impact on microwave signals. We propose a statistical criterion to test whether an independent water vapour product can reduce water vapour effects on InSAR interferograms, and assess the potential of the Medium Resolution Imaging Spectrometer (MERIS) near-infrared water vapour products for correcting Advanced SAR (ASAR) data. Spatio-temporal comparisons show c. 1.1mm agreement between MERIS and GPS/radiosonde water vapour products in terms of standard deviations. One major limitation with the use of MERIS water vapour products is the frequency of cloud free conditions. Our analysis indicates that in spite of the low global cloud free conditions (~25%), the frequency can be much higher for certain areas such as Eastern Tibet (~38%) and Southern California (~48%). This suggests that MERIS water vapour products show potential for correcting ASAR interferometric measurements in certain regions

Dipole Oscillations of a Bose-Einstein Condensate in Presence of Defects and Disorder

We consider dipole oscillations of a trapped dilute Bose-Einstein condensate in the presence of a scattering potential consisting either in a localized defect or in an extended disordered potential. In both cases the breaking of superfluidity and the damping of the oscillations are shown to be related to the appearance of a nonlinear dissipative flow. At supersonic velocities the flow becomes asymptotically dissipationless.Comment: 4 pages, 4 figure

Non-invasive vibrational mode spectroscopy of ion Coulomb crystals through resonant collective coupling to an optical cavity field

We report on a novel non-invasive method to determine the normal mode frequencies of ion Coulomb crystals in traps based on the resonance enhanced collective coupling between the electronic states of the ions and an optical cavity field at the single photon level. Excitations of the normal modes are observed through a Doppler broadening of the resonance. An excellent agreement with the predictions of a zero-temperature uniformly charged liquid plasma model is found. The technique opens up for investigations of the heating and damping of cold plasma modes, as well as the coupling between them.Comment: 4 pages, 4 figure

COLD-SAT: An orbital cryogenic hydrogen technology experiment

The COLD-SAT spacecraft will perform subcritical liquid hydrogen storage and transfer experiments under low-gravity conditions to provide engineering data for future space transportation missions. Consisting of an experiment module mated to a spacecraft bus, COLD-SAT will be placed in an initial 460 km circular orbit by an Atlas I commercial launch vehicle. After deployment, the three-axis-controlled spacecraft bus will provide electric power, experiment control and data management, communications, and attitude control along with propulsive acceleration levels ranging from 10(-6) to 10(-4)g. These accelerations are an important aspect of some of the experiments, as it is desired to know the effects that low gravity levels might have on the heat and mass transfer processes involved. The experiment module will contain the three liquid hydrogen tanks, valves, pressurization equipment, and instrumentation. At launch all the hydrogen will be in the largest tank, which has helium-purged MLI and is loaded and topped off by the hydrogen tanking system used for the Centaur upper stage of the Atlas. The two smaller tanks will be utilized in orbit for performing some of the experiments. The experiments are grouped into two classes on the basis of their priority, and include six regarded as enabling technology and nine regarded as enhancing technology