A report on SHARP (Spacecraft Health Automated Reasoning Prototype) and the Voyager Neptune encounter

The development and application of the Spacecraft Health Automated Reasoning Prototype (SHARP) for the operations of the telecommunications systems and link analysis functions in Voyager mission operations are presented. An overview is provided of the design and functional description of the SHARP system as it was applied to Voyager. Some of the current problems and motivations for automation in real-time mission operations are discussed, as are the specific solutions that SHARP provides. The application of SHARP to Voyager telecommunications had the goal of being a proof-of-capability demonstration of artificial intelligence as applied to the problem of real-time monitoring functions in planetary mission operations. AS part of achieving this central goal, the SHARP application effort was also required to address the issue of the design of an appropriate software system architecture for a ground-based, highly automated spacecraft monitoring system for mission operations, including methods for: (1) embedding a knowledge-based expert system for fault detection, isolation, and recovery within this architecture; (2) acquiring, managing, and fusing the multiple sources of information used by operations personnel; and (3) providing information-rich displays to human operators who need to exercise the capabilities of the automated system. In this regard, SHARP has provided an excellent example of how advanced artificial intelligence techniques can be smoothly integrated with a variety of conventionally programmed software modules, as well as guidance and solutions for many questions about automation in mission operations

Living with the user: Design drama for dementia care through responsive scripted experiences in the home

Participation in forms of drama and narrative can provoke empathy and creativity in user-centred design processes. In this paper, we expand upon existing methods to explore the potential for responsive scripted experiences that are delivered through the combination of sensors and output devices placed in a home. The approach is being developed in the context of Dementia care, where the capacity for rich user participation in design activities is limited. In this case, a system can act as a proxy for a person with Dementia, allowing designers to gain experiences and insight as to what it is like to provide care for, and live with, this person. We describe the rationale behind the approach, a prototype system architecture, and our current work to explore the creation of scripted experiences for design, played out though UbiComp technologies.This research is funded by the Arts and Humanities Research Council UK, (AH/K00266X/1) and Horizon Digital Economy Research (RCUK grant EP/G065802/1)

Stability of Fermi Surfaces and K-Theory

Nonrelativistic Fermi liquids in d+1 dimensions exhibit generalized Fermi surfaces: (d-p)-dimensional submanifolds in the momentum-frequency space supporting gapless excitations. We show that the universality classes of stable Fermi surfaces are classified by K-theory, with the pattern of stability determined by Bott periodicity. The Atiyah-Bott-Shapiro construction implies that the low-energy modes near a Fermi surface exhibit relativistic invariance in the transverse p+1 dimensions. This suggests an intriguing parallel between norelativistic Fermi liquids and D-branes of string theory.Comment: 4 pages, revte

Molecular Marker Linkage Map for Apple

Linkage maps for two apple clones, White Angel and Rome Beauty, were constructed using isozyme and DNA polymorphisms segregating in a population produced from a Rome Beauty × White Angel cross. The linkage map for White Angel consists of 253 markers arranged in 24 linkage groups and extends over 950 cM. The Rome Beauty map contains 156 markers on 21 linkage groups. The White Angel map was taken as the standard, and we were able to identify linkage groups in Rome Beauty homologous to 13 White Angel linkage groups. The location of several genes not segregating in the Rome Beauty × White Angel population could be determined on the basis of known linkages with segregating markers. Hence, the standard map for apple now contains about 360 markers, with most linkage groups saturated at 10-15 cM. The double pseudotestcross format of the mapping population permitted the comparison of recombination frequencies in male and female parents in certain regions of the genome where appropriate markers were available. The recombination frequencies observed for the approximately 170 cM that were comparable gave no indication that a sex-related difference in recombination rate was characteristic of appl

On the Geometry of Supersymmetric Quantum Mechanical Systems

We consider some simple examples of supersymmetric quantum mechanical systems and explore their possible geometric interpretation with the help of geometric aspects of real Clifford algebras. This leads to natural extensions of the considered systems to higher dimensions and more complicated potentials.Comment: 18 page

A Search for Sub-Millisecond Pulsars

We have conducted a search of 19 southern Galactic globular clusters for sub-millisecond pulsars at 660 MHz with the Parkes 64-m radio telescope. To minimize dispersion smearing we used the CPSR baseband recorder, which samples the 20 MHz observing band at the Nyquist rate. By possessing a complete description of the signal we could synthesize an optimal filterbank in software, and in the case of globular clusters of known dispersion measure, much of the dispersion could be removed using coherent techniques. This allowed for very high time resolution (25.6 us in most cases), making our searches in general sensitive to sub-millisecond pulsars with flux densities greater than about 3 mJy at 50 cm. No new pulsars were discovered, placing important constraints on the proportion of pulsars with very short spin periods in these clusters.Comment: 8 pages, 3 figures, to appear in Ap

Thermal tides in the Martian middle atmosphere as seen by the Mars Climate Sounder

The first systematic observations of the middle atmosphere of Mars (35–80km) with the Mars Climate Sounder (MCS) show dramatic patterns of diurnal thermal variation, evident in retrievals of temperature and water ice opacity. At the time of writing, the data set of MCS limb retrievals is sufficient for spectral analysis within a limited range of latitudes and seasons. This analysis shows that these thermal variations are almost exclusively associated with a diurnal thermal tide. Using a Martian general circulation model to extend our analysis, we show that the diurnal thermal tide dominates these patterns for all latitudes and all seasons

Binarity as a key factor in protoplanetary disk evolution: Spitzer disk census of the eta Chamaeleontis cluster

The formation of planets is directly linked to the evolution of the circumstellar (CS) disk from which they are born. The dissipation timescales of CS disks are, therefore, of direct astrophysical importance in evaluating the time available for planet formation. We employ Spitzer Space Telescope spectra to complete the CS disk census for the late-type members of the ~8 Myr-old eta Chamaeleontis star cluster. Of the 15 K- and M-type members, eight show excess emission. We find that the presence of a CS disk is anti-correlated with binarity, with all but one disk associated with single stars. With nine single stars in total, about 80% retain a CS disk. Of the six known or suspected close binaries the only CS disk is associated with the primary of RECX 9. No circumbinary disks have been detected. We also find that stars with disks are slow rotators with surface values of specific angular momentum j = 2-15 j_sun. All high specific angular momentum systems with j = 20-30 j_sun are confined to the primary stars of binaries. This provides novel empirical evidence for rotational disk locking and again demonstrates the much shorter disk lifetimes in close binary systems compared to single star systems. We estimate the characteristic mean disk dissipation timescale to be ~5 Myr and ~9 Myr for the binary and single star systems, respectively.Comment: Accepted by ApJ

The Chandra X-ray Observatory Resolves the X-ray Morphology and Spectra of a Jet in PKS 0637-752

The core-dominated radio-loud quasar PKS 0637-752 (z = 0.654) was the first celestial object observed with the Chandra X-ray Observatory, offering the early surprise of the detection of a remarkable X-ray jet. Several observations with a variety of detector configurations contribute to a total exposure time with the Chandra Advanced CCD Imaging Spectrometer (ACIS; Garmire et al. 2000, in preparation) of about 100ks. A spatial analysis of all the available X-ray data, making use of Chandra's spatial resolving power of about 0.4 arcsec, reveals a jet that extends about 10 arcsec to the west of the nucleus. At least four X-ray knots are resolved along the jet, which contains about 5% of the overall X-ray luminosity of the source. Previous observations of PKS 0637-752 in the radio band (Tingay et al. 1998) had identified a kpc-scale radio jet extending to the West of the quasar. The X-ray and radio jets are similar in shape, intensity distribution, and angular structure out to about 9 arcsec, after which the X-ray brightness decreases more rapidly and the radio jet turns abruptly to the north. The X-ray luminosity of the total source is log Lx ~ 45.8 erg/s (2 - 10keV), and appears not to have changed since it was observed with ASCA in November 1996. We present the results of fitting a variety of emission models to the observed spectral distribution, comment on the non-existence of emission lines recently reported in the ASCA observations of PKS 0637-752, and briefly discuss plausible X-ray emission mechanisms.Comment: 24 pages, includes 8 figures, Accepted for publication in Ap