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

Generalized Log-Normal Chain-Ladder

We propose an asymptotic theory for distribution forecasting from the log normal chain-ladder model. The theory overcomes the difficulty of convoluting log normal variables and takes estimation error into account. The results differ from that of the over-dispersed Poisson model and from the chain-ladder based bootstrap. We embed the log normal chain-ladder model in a class of infinitely divisible distributions called the generalized log normal chain-ladder model. The asymptotic theory uses small $\sigma$ asymptotics where the dimension of the reserving triangle is kept fixed while the standard deviation is assumed to decrease. The resulting asymptotic forecast distributions follow t distributions. The theory is supported by simulations and an empirical application

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