36,252 research outputs found
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
- …