The Angular Diameter and Fundamental Parameters of Sirius A

The Sydney University Stellar Interferometer (SUSI) has been used to make a new determination of the angular diameter of Sirius A. The observations were made at an effective wavelength of 694.1 nm and the new value for the limb-darkened angular diameter is 6.048 +/- 0.040mas (+/-0.66%). This new result is compared with previous measurements and is found to be in excellent agreement with a conventionally calibrated measurement made with the European Southern Observatory's Very Large Telescope Interferometer (VLTI) at 2.176 microns (but not with a second globally calibrated VLTI measurement). A weighted mean of the SUSI and first VLTI results gives the limb-darkened angular diameter of Sirius A as 6.041 +/- 0.017mas (+/-0.28%). Combination with the Hipparcos parallax gives the radius equal to 1.713 +/- 0.009R_sun. The bolometric flux has been determined from published photometry and spectrophotometry and, combined with the angular diameter, yields the emergent flux at the stellar surface equal to (5.32+/- 0.14)x10^8 Wm^-2 and the effective temperature equal to 9845 +/- 64 K. The luminosity is 24.7 +/- 0.7 L_sun.Comment: Accepted for publication in PAS

Inverse Simulation as a Tool for Fault Detection and Isolation in Planetary Rovers

With manned expeditions to planetary bodies beyond our own and the Moon currently intractable, the onus falls upon robotic systems to explore and analyse extraterrestrial environments such as Mars. These systems typically take the form of wheeled rovers, designed to navigate the difficult terrain of other worlds. Rovers have been used in this role since Lunokhod 1 landed on the Moon in 1970. While early rovers were remote controlled, communication latency with bodies beyond the Moon and the desire to improve mission effectiveness have resulted in increasing autonomy in planetary rovers. With an increase in autonomy, however, comes an increase in complexity. This can have a negative impact on the reliability of the rover system. With a fault-free system an unlikely prospect and human assistance millions of miles away, the rover must have a robust fault detection, isolation and recovery (FDIR) system. The need for comprehensive FDIR is demonstrated by the recent Chinese lunar rover, Yutu (or “Jade Rabbit”). Yutu was rendered immobile 42 days after landing and remained so for the duration of its operational life: 31 months. While its lifespan far exceeded its expected value, Yutu's inability to move severely impaired its ability to perform its mission. This clearly highlights the need for robust FDIR. A common approach to FDIR is through the generation and analysis of residuals. Output residuals may be obtained by comparing the outputs of the system with predictions of those outputs, obtained from a mathematical model of the system which is supplied with the system inputs. Output residuals allow simple detection and isolation of faults at the output of the system. Faults in earlier stages of the system, however, propagate through the system dynamics and can disperse amongst several of the outputs. This problem is exemplified by faults at the input, which can potentially excite every system state and thus manifest in every output residual. Methods exist for decoupling and analysing output residuals such that input faults may be isolated, however, these methods are complex and require comprehensive development and testing. A conceptually simpler approach is presented in this paper. Inverse simulation (InvSim) is a numerical method by which the inputs of a system are obtained for a desired output. It does so by using a Newton-Raphson algorithm to solve a non-linear model of the system for the input. When supplied with the outputs of a fault-afflicted system, InvSim produces the input required to drive a fault-free system to this output. The fault therefore manifests itself in this generated input signal. The InvSim-generated input may then be compared to the true system input to generate input residuals. Just as a fault at an output manifests itself in the residual for that output alone, a fault at an input similarly manifests itself only in the residual for that input. InvSim may also be used to generate residuals at other locations in the system, by considering distinct subsystems with their own inputs and outputs. This ability is tested comprehensively in this paper. Faults are applied to a simulated rover at a variety of locations within the system structure and residuals generated using both InvSim and conventional forward simulation. Residuals generated using InvSim are shown to facilitate detection and isolation of faults in several locations using simple analyses. By contrast, forward simulation requires the use of complex analytical methods such as structured residuals or adaptive thresholds

Dust Scattering in Miras R Car and RR Sco resolved by optical interferometric polarimetry

We present optical interferometric polarimetry measurements of the Mira-like variables R Car and RR Sco, using the Sydney University Stellar Interferometer. By making visibility measurements in two perpendicular polarisations, the relatively low-surface brightness light scattered by atmospheric dust could be spatially separated from the bright Mira photospheric flux. This is the first reported successful use of long-baseline optical interferometric polarimetry. Observations were able to place constraints on the distribution of circumstellar material in R Car and RR Sco. The inner radius of dust formation for both stars was found to be less than 3 stellar radii: much closer than the expected innermost stable location for commonly-assumed astrophysical ``dirty silicate'' dust in these systems (silicate dust with a significant iron content). A model with the dust distributed over a shell which is geometrically thin compared to the stellar radius was preferred over an outflow. We propose dust components whose chemistry and opacity properties enable survival at these extreme inner radii.Comment: 8 pages, 4 figures, accepted for MNRA

Money in monetary policy design: monetary cross-checking in the New-Keynesian model

In the New-Keynesian model, optimal interest rate policy under uncertainty is formulated without reference to monetary aggregates as long as certain standard assumptions on the distributions of unobservables are satisfied. The model has been criticized for failing to explain common trends in money growth and inflation, and that therefore money should be used as a cross-check in policy formulation (see Lucas (2007)). We show that the New-Keynesian model can explain such trends if one allows for the possibility of persistent central bank misperceptions. Such misperceptions motivate the search for policies that include additional robustness checks. In earlier work, we proposed an interest rate rule that is near-optimal in normal times but includes a cross-check with monetary information. In case of unusual monetary trends, interest rates are adjusted. In this paper, we show in detail how to derive the appropriate magnitude of the interest rate adjustment following a significant cross-check with monetary information, when the New-Keynesian model is the central bank’s preferred model. The cross-check is shown to be effective in offsetting persistent deviations of inflation due to central bank misperceptions. Keywords: Monetary Policy, New-Keynesian Model, Money, Quantity Theory, European Central Bank, Policy Under Uncertaint

The radius and mass of the subgiant star bet Hyi from interferometry and asteroseismology

We have used the Sydney University Stellar Interferometer (SUSI) to measure the angular diameter of beta Hydri. This star is a nearby G2 subgiant whose mean density was recently measured with high precision using asteroseismology. We determine the radius and effective temperature of the star to be 1.814+/-0.017 R_sun (0.9%) and 5872+/-44 K (0.7%) respectively. By combining this value with the mean density, as estimated from asteroseismology, we make a direct estimate of the stellar mass. We find a value of 1.07+/-0.03 M_sun (2.8%), which agrees with published estimates based on fitting in the H-R diagram, but has much higher precision. These results place valuable constraints on theoretical models of beta Hyi and its oscillation frequencies.Comment: 3 figures, 3 tables, to appear in MNRAS Letter

Discovery of spatial periodicities in a coronal loop using automated edge-tracking algorithms

A new method for automated coronal loop tracking, in both spatial and temporal domains, is presented. Applying this technique to TRACE data, obtained using the 171 Å filter on 1998 July 14, we detect a coronal loop undergoing a 270 s kink-mode oscillation, as previously found by Aschwanden et al. However, we also detect flare-induced, and previously unnoticed, spatial periodicities on a scale of 3500 km, which occur along the coronal loop edge. Furthermore, we establish a reduction in oscillatory power for these spatial periodicities of 45% over a 222 s interval. We relate the reduction in detected oscillatory power to the physical damping of these loop-top oscillations

The Keck Aperture Masking Experiment: spectro-interferometry of 3 Mira Variables from 1.1 to 3.8 microns

We present results from a spectro-interferometric study of the Miras o Cet, R Leo and W Hya obtained with the Keck Aperture Masking Experiment from 1998 Sep to 2002 Jul. The spectrally dispersed visibility data permit fitting with circularly symmetric brightness profiles such as a simple uniform disk. The stellar angular diameter obtained over up to ~ 450 spectral channels spaning the region 1.1-3.8 microns is presented. Use of a simple uniform disk brightness model facilitates comparison between epochs and with existing data and theoretical models. Strong size variations with wavelength were recorded for all stars, probing zones of H2O, CO, OH, and dust formation. Comparison with contemporaneous spectra extracted from our data show a strong anti-correlation between the observed angular diameter and flux. These variations consolidate the notion of a complex stellar atmosphere consisting of molecular shells with time-dependent densities and temperatures. Our findings are compared with existing data and pulsation models. The models were found to reproduce the functional form of the wavelength vs. angular diameter curve well, although some departures are noted in the 2.8-3.5 micron range.Comment: 10 pages, 10 figures Accepted to Ap

Deductive synthesis of recursive plans in linear logic

Linear logic has previously been shown to be suitable for describing and deductively solving planning problems involving conjunction and disjunction. We introduce a recursively defined datatype and a corresponding induction rule, thereby allowing recursive plans to be synthesised. In order to make explicit the relationship between proofs and plans, we enhance the linear logic deduction rules to handle plans as a form of proof term