Analysis of changes in leg volume parameters, and orthostatic tolerance in response to lower body negative pressure during 59 days exposure to zero gravity Skylab 3

The cardiovascular responses of the Apollo crewmen associated with postflight evaluations indicate varying decrements of orthostatic tolerance. The postflight changes indicate a slightly diminished ability to the cardiovascular system to function effectively against gravity following exposure to weightlessness. The objective of the Skylab LBNP experiments (M092) was to provide information about the magnitude and time course of the cardiovascular changes associated with prolonged periods of exposure to weightlessness. This report details the equipment, signal processing and analysis of the leg volume data obtained from the M092 experiment of the Skylab 3 Mission

Flexible Invariants Through Semantic Collaboration

Modular reasoning about class invariants is challenging in the presence of dependencies among collaborating objects that need to maintain global consistency. This paper presents semantic collaboration: a novel methodology to specify and reason about class invariants of sequential object-oriented programs, which models dependencies between collaborating objects by semantic means. Combined with a simple ownership mechanism and useful default schemes, semantic collaboration achieves the flexibility necessary to reason about complicated inter-object dependencies but requires limited annotation burden when applied to standard specification patterns. The methodology is implemented in AutoProof, our program verifier for the Eiffel programming language (but it is applicable to any language supporting some form of representation invariants). An evaluation on several challenge problems proposed in the literature demonstrates that it can handle a variety of idiomatic collaboration patterns, and is more widely applicable than the existing invariant methodologies.Comment: 22 page

Saunders Creek catchment groundwater assessment

The Saunders Creek is a tributary catchment for the River Murray which generates ephemeral flows in very wet years. Concerns have been expressed at the construction of large dams in the headwaters of the catchment, and their impacts on streamflow, and consequently recharge to aquifers. The catchment can be divided into two distinct groundwater regions: the Hills Zone and the Plains Zone. The Hills Zone comprises the consolidated basement rocks of the Mount Lofty Ranges, which form fractured rock aquifers. Borehole yields are generally low and salinities vary, apart from the western portion of the catchment where better quality water is drawn. The Plains Zone is underlain by unconsolidated sediments of the Murray Basin. The main aquifer is the Murray Group Limestone, which is utilised for domestic and stock purposes and is recharged mainly by infiltration of streamflow.repor

Retrodiction of Generalised Measurement Outcomes

If a generalised measurement is performed on a quantum system and we do not know the outcome, are we able to retrodict it with a second measurement? We obtain a necessary and sufficient condition for perfect retrodiction of the outcome of a known generalised measurement, given the final state, for an arbitrary initial state. From this, we deduce that, when the input and output Hilbert spaces have equal (finite) dimension, it is impossible to perfectly retrodict the outcome of any fine-grained measurement (where each POVM element corresponds to a single Kraus operator) for all initial states unless the measurement is unitarily equivalent to a projective measurement. It also enables us to show that every POVM can be realised in such a way that perfect outcome retrodiction is possible for an arbitrary initial state when the number of outcomes does not exceed the output Hilbert space dimension. We then consider the situation where the initial state is not arbitrary, though it may be entangled, and describe the conditions under which unambiguous outcome retrodiction is possible for a fine-grained generalised measurement. We find that this is possible for some state if the Kraus operators are linearly independent. This condition is also necessary when the Kraus operators are non-singular. From this, we deduce that every trace-preserving quantum operation is associated with a generalised measurement whose outcome is unambiguously retrodictable for some initial state, and also that a set of unitary operators can be unambiguously discriminated iff they are linearly independent. We then examine the issue of unambiguous outcome retrodiction without entanglement. This has important connections with the theory of locally linearly dependent and locally linearly independent operators.Comment: To appear in Physical Review

Elementary Excitations of a Bose-Einstein Condensate in an Effective Magnetic Field

We calculate the low energy elementary excitations of a Bose-Einstein Condensate in an effective magnetic field. The field is created by the interplay between light beams carrying orbital angular momentum and the trapped atoms. We examine the role of the homogeneous magnetic field, familiar from studies of rotating condensates, and also investigate spectra for vector potentials with a more general radial dependence. We discuss the instabilities which arise and how these may be manifested.Comment: 8 pages, 4 figure

Meson PVV Interactions are determined by Quark Loops

We show that all abnormal parity three-body meson interactions can be adequately described by quark loops, evaluated at zero external momentum, with couplings determined by $U(N_f)$ symmetry. We focus primarily on radiative meson decays which involve one pseudoscalar. The agreement with experiment for non-rare decays is surprisingly good and requires very few parameters, namely the coupling constants $g_{\pi qq}$ and $g_{\rho qq}$ and some mixing angles. This agreement extends to some three-body decays that are dominated by pion pairs in a P-wave state.Comment: 21 pages, Revtex, one figur