Galileo early cruise, including Venus, first Earth, and Gaspra encounters

This article documents Deep Space Network (DSN) support for the Galileo cruise to Jupiter. The unique trajectory affords multiple encounters during this cruise phase. Each encounter had or will have unique requirements for data acquisition and DSN support configurations. An overview of the cruise and encounters through the asteroid Gaspra encounter is provided

Medium corrections in the formation of light charged particles in heavy ion reactions

Within a microscopic statistical description of heavy ion collisions, we investigate the effect of the medium on the formation of light clusters. The dominant medium effects are self-energy corrections and Pauli blocking that produce the Mott effect for composite particles and enhanced reaction rates in the collision integrals. Microscopic description of composites in the medium follows the Dyson equation approach combined with the cluster mean-field expansion. The resulting effective few-body problem is solved within a properly modified Alt-Grassberger-Sandhas formalism. The results are incorporated in a Boltzmann-Uehling-Uhlenbeck simulation for heavy ion collisions. The number and spectra of light charged particles emerging from a heavy ion collision changes in a significant manner in effect of the medium modification of production and absorption processes.Comment: 16 pages, 6 figure

Constitutive modelling of Sandvik 1RK91

A physically based constitutive equation is being developed for the maraging\ud stainless steel Sandvik 1RK91. The steel is used to make precision parts. These parts are formed through multistage forming operations and heat treatments from cold rolled and annealed sheets. The specific alloy is designed to be thermodynamically unstable, so that deformation even at room temperatures can bring about a change in the phase of face centred cubic austenite to either hexagonal closed packed martensite and/or, body centred cubic martensite. This solid state phase change is a function of the strain path, strain, strain rate and temperature. Thus, the fraction of the new phase formed depends on the state of stress at a given location in the part being formed. Therefore a set of experiments is being conducted in order to quantify the stress-strain behavior of this steel under various stress states, strain, strain rate as well as temperature. A magnetic sensor records the fraction of ferromagnetic martensite formed from paramagnetic austenite. A thermocouple as well as an infra red thermometer is used to log the change in temperature of the steel during a mechanical test. The force-displacement data are converted to stress-strain data after correcting for the changes in strain rate and temperature. These data are then cast into a general form of constitutive equation and the transformation equations are derived from Olson-Cohen type functions

Magnetic properties of the quasi-two-dimensional S = 1/2 Heisenberg antiferromagnet [Cu(pyz)2(HF2)]PF6

We report on high-field magnetization, specific-heat and electron spin resonance (ESR) studies of the quasi-two-dimensional spin-1/2 Heisenberg antiferromagnet [Cu(pyz)2(HF2)]PF6. The frequency-field diagram of ESR modes below TN = 4.38 K is described in the frame of the meanfield theory, confirming a collinear magnetic structure with an easy-plane anisotropy. The obtained results allowed us to determine the anisotropy/exchange interaction ratio, A/J = 0.003, and the upper limit for the inter/intra-plane exchange-interaction ratio, J'/J = 1/16. It is argued that despite the onset of 3D long-range magnetic ordering the magnetic properties of this material (including high-magnetic-field magnetization and non-monotonic field dependence of the Neel temperature) are strongly affected by two-dimensional spin correlations.Comment: 5 pages, 7 figure

Dissociation energy of the hydrogen molecule at 10−9^{-9} accuracy

The ionization energy of ortho-H$_2$ has been determined to be $E^\mathrm{o}_\mathrm{I}(\mathrm{H}_2)/(hc)=124\,357.238\,062(25)$ cm$^{-1}$ from measurements of the GK(1,1)--X(0,1) interval by Doppler-free two-photon spectroscopy using a narrow band 179-nm laser source and the ionization energy of the GK(1,1) state by continuous-wave near-infrared laser spectroscopy. $E^\mathrm{o}_\mathrm{I}$(H$_2$) was used to derive the dissociation energy of H$_2$, $D^{N=1}_{0}$(H$_2$), at $35\,999.582\,894(25)$ cm$^{-1}$ with a precision that is more than one order of magnitude better than all previous results. The new result challenges calculations of this quantity and represents a benchmark value for future relativistic and QED calculations of molecular energies.Comment: 6 pages, 5 figure

Smooth Gowdy symmetric generalized Taub-NUT solutions

We study a class of S3 Gowdy vacuum models with a regular past Cauchy horizon which we call smooth Gowdy symmetric generalized Taub-NUT solutions. In particular, we prove existence of such solutions by formulating a singular initial value problem with asymptotic data on the past Cauchy horizon. The result of our investigations is that a future Cauchy horizon exists for generic asymptotic data. Moreover, we derive an explicit expression for the metric on the future Cauchy horizon in terms of the asymptotic data on the past horizon. This complements earlier results about S2xS1 Gowdy models.Comment: 56 pages, 1 figure. The new version contains a detailed explanation of the Fuchsian method on the 2-spher

Statistical Physics and Light-Front Quantization

Light-front quantization has important advantages for describing relativistic statistical systems, particularly systems for which boost invariance is essential, such as the fireball created in a heavy ion collisions. In this paper we develop light-front field theory at finite temperature and density with special attention to quantum chromodynamics. We construct the most general form of the statistical operator allowed by the Poincare algebra and show that there are no zero-mode related problems when describing phase transitions. We then demonstrate a direct connection between densities in light-front thermal field theory and the parton distributions measured in hard scattering experiments. Our approach thus generalizes the concept of a parton distribution to finite temperature. In light-front quantization, the gauge-invariant Green's functions of a quark in a medium can be defined in terms of just 2-component spinors and have a much simpler spinor structure than the equal-time fermion propagator. From the Green's function, we introduce the new concept of a light-front density matrix, whose matrix elements are related to forward and to off-diagonal parton distributions. Furthermore, we explain how thermodynamic quantities can be calculated in discretized light-cone quantization, which is applicable at high chemical potential and is not plagued by the fermion-doubling problem.Comment: 30 pages, 3 figures; v2: Refs. added, minor changes, accepted for publication in PR

Archaeological sites and palaeoenvironments of Pleistocene West Africa

African paleoanthropological studies typically focus on regions of the continent such as Eastern, Southern and Northern Africa, which hold the highest density of Pleistocene archaeological sites. Nevertheless, lesser known areas such as West Africa also feature a high number of sites. Here, we present a high-resolution map synthesising all well contextualised Pleistocene archaeological sites present in Sub-Saharan West Africa. A detailed elevation and ecoregional map was developed and correlated with palaeoanthropological sites. This map is supplemented with 1,000- and 2000-year interval climate reconstructions over the last 120,000 years for three subregions of high archaeological interest. The presented archaeological sites were compiled by reviewing published literature, and selected based on: (1) documented archaeological stratification or >10 characteristic artefacts, (2) published coordinates, and (3) published chronometric ages or relative dating. The data presented here elucidates the current state of knowledge of Pleistocene West Africa, highlighting the regional potential for human evolutionary studies.1. Introduction 2. Data and methods 3. Map description 4. Discussio

IoTSan: Fortifying the Safety of IoT Systems

Today's IoT systems include event-driven smart applications (apps) that interact with sensors and actuators. A problem specific to IoT systems is that buggy apps, unforeseen bad app interactions, or device/communication failures, can cause unsafe and dangerous physical states. Detecting flaws that lead to such states, requires a holistic view of installed apps, component devices, their configurations, and more importantly, how they interact. In this paper, we design IoTSan, a novel practical system that uses model checking as a building block to reveal "interaction-level" flaws by identifying events that can lead the system to unsafe states. In building IoTSan, we design novel techniques tailored to IoT systems, to alleviate the state explosion associated with model checking. IoTSan also automatically translates IoT apps into a format amenable to model checking. Finally, to understand the root cause of a detected vulnerability, we design an attribution mechanism to identify problematic and potentially malicious apps. We evaluate IoTSan on the Samsung SmartThings platform. From 76 manually configured systems, IoTSan detects 147 vulnerabilities. We also evaluate IoTSan with malicious SmartThings apps from a previous effort. IoTSan detects the potential safety violations and also effectively attributes these apps as malicious.Comment: Proc. of the 14th ACM CoNEXT, 201