An integrated approach to system design, reliability, and diagnosis

The requirement for ultradependability of computer systems in future avionics and space applications necessitates a top-down, integrated systems engineering approach for design, implementation, testing, and operation. The functional analyses of hardware and software systems must be combined by models that are flexible enough to represent their interactions and behavior. The information contained in these models must be accessible throughout all phases of the system life cycle in order to maintain consistency and accuracy in design and operational decisions. One approach being taken by researchers at Ames Research Center is the creation of an object-oriented environment that integrates information about system components required in the reliability evaluation with behavioral information useful for diagnostic algorithms. Procedures have been developed at Ames that perform reliability evaluations during design and failure diagnoses during system operation. These procedures utilize information from a central source, structured as object-oriented fault trees. Fault trees were selected because they are a flexible model widely used in aerospace applications and because they give a concise, structured representation of system behavior. The utility of this integrated environment for aerospace applications in light of our experiences during its development and use is described. The techniques for reliability evaluation and failure diagnosis are discussed, and current extensions of the environment and areas requiring further development are summarized

A diagnosis system using object-oriented fault tree models

Spaceborne computing systems must provide reliable, continuous operation for extended periods. Due to weight, power, and volume constraints, these systems must manage resources very effectively. A fault diagnosis algorithm is described which enables fast and flexible diagnoses in the dynamic distributed computing environments planned for future space missions. The algorithm uses a knowledge base that is easily changed and updated to reflect current system status. Augmented fault trees represented in an object-oriented form provide deep system knowledge that is easy to access and revise as a system changes. Given such a fault tree, a set of failure events that have occurred, and a set of failure events that have not occurred, this diagnosis system uses forward and backward chaining to propagate causal and temporal information about other failure events in the system being diagnosed. Once the system has established temporal and causal constraints, it reasons backward from heuristically selected failure events to find a set of basic failure events which are a likely cause of the occurrence of the top failure event in the fault tree. The diagnosis system has been implemented in common LISP using Flavors

Circuit quantum acoustodynamics with surface acoustic waves

The experimental investigation of quantum devices incorporating mechanical resonators has opened up new frontiers in the study of quantum mechanics at a macroscopic level$^{1,2}$. Superconducting microwave circuits have proven to be a powerful platform for the realisation of such quantum devices, both in cavity optomechanics$^{3,4}$, and circuit quantum electro-dynamics (QED)$^{5,6}$. While most experiments to date have involved localised nanomechanical resonators, it has recently been shown that propagating surface acoustic waves (SAWs) can be piezoelectrically coupled to superconducting qubits$^{7,8}$, and confined in high-quality Fabry-Perot cavities up to microwave frequencies in the quantum regime$^{9}$, indicating the possibility of realising coherent exchange of quantum information between the two systems. Here we present measurements of a device in which a superconducting qubit is embedded in, and interacts with, the acoustic field of a Fabry-Perot SAW cavity on quartz, realising a surface acoustic version of cavity quantum electrodynamics. This quantum acoustodynamics (QAD) architecture may be used to develop new quantum acoustic devices in which quantum information is stored in trapped on-chip surface acoustic wavepackets, and manipulated in ways that are impossible with purely electromagnetic signals, due to the $10^{5}$ times slower speed of travel of the mechanical waves.Comment: 12 pages, 9 figures, 1 tabl

Spatial and temporal variability in the relative contribution of king mackerel (Scomberomorus cavalla) stocks to winter mixed fisheries off South Florida

King mackerel (Scomberomorus cavalla) are ecologically and economically important scombrids that inhabit U.S. waters of the Gulf of Mexico (GOM) and Atlantic Ocean (Atlantic). Separate migratory groups, or stocks, migrate from eastern GOM and southeastern U.S. Atlantic to south Florida waters where the stocks mix during winter. Currently, all winter landings from a management-defined south Florida mixing zone are attributed to the GOM stock. In this study, the stock composition of winter landings across three south Florida sampling zones was estimated by using stock-specific otolith morphological variables and Fourier harmonics. The mean accuracies of the jackknifed classifications from stepwise linear discriminant function analysis of otolith shape variables ranged from 66−76% for sex-specific models. Estimates of the contribution of the Atlantic stock to winter landings, derived from maximum likelihood stock mixing models, indicated the contribution was highest off southeastern Florida (as high as 82.8% for females in winter 2001−02) and lowest off southwestern Florida (as low as 14.5% for females in winter 2002−03). Overall, results provided evidence that the Atlantic stock contributes a certain, and perhaps a significant (i.e., ≥50%), percentage of landings taken in the management-defined winter mixing zone off south Florida, and the practice of assigning all winter mixing zone landings to the GOM stock shoul

Power system technologies for the manned Mars mission

The high impulse of electric propulsion makes it an attractive option for manned interplanetary missions such as a manned mission to Mars. This option is, however, dependent on the availability of high energy sources for propulsive power in addition to that required for the manned interplanetary transit vehicle. Two power system technologies are presented: nuclear and solar. The ion thruster technology for the interplanetary transit vehicle is described for a typical mission. The power management and distribution system components required for such a mission must be further developed beyond today's technology status. High voltage-high current technology advancements must be achieved. These advancements are described. In addition, large amounts of waste heat must be rejected to the space environment by the thermal management system. Advanced concepts such as the liquid droplet radiator are discussed as possible candidates for the manned Mars mission. These thermal management technologies have great potential for significant weight reductions over the more conventional systems

A review of residual stress analysis using thermoelastic techniques

Thermoelastic Stress Analysis (TSA) is a full-field technique for experimental stress analysis that is based on infra-red thermography. The technique has proved to be extremely effective for studying elastic stress fields and is now well established. It is based on the measurement of the temperature change that occurs as a result of a stress change. As residual stress is essentially a mean stress it is accepted that the linear form of the TSA relationship cannot be used to evaluate residual stresses. However, there are situations where this linear relationship is not valid or departures in material properties due to manufacturing procedures have enabled evaluations of residual stresses. The purpose of this paper is to review the current status of using a TSA based approach for the evaluation of residual stresses and to provide some examples of where promising results have been obtained

Noticing for Equity to Sustain Multilingual Literacies

This department explores how teachers can sustain students’ multilingual literacies and reimagine literacy learning across multiple contexts in conversation with researchers, practitioners, and communities

Isolation by genomic subtraction of subspecies-specific DNA probes from Verticillium dahliae

The vascular wilt pathogen Verticillium dahliae Kleb. has a very broad host range, including more than 200 different plant species in 45 families. Most isolates cannot be discriminated morphologically, and reliable, rapid methods for classifying and differentiating strains are needed. We have used a genomic subtraction method to isolate DNA probes that can be used to differentiate V. dahliae isolates and to investigate the genetic variation within this fungal species

CC Sculptoris: A superhumping intermediate polar

We present high speed optical, spectroscopic and Swift X-ray observations made during the dwarf nova superoutburst of CC Scl in November 2011. An orbital period of 1.383 h and superhump period of 1.443 h were measured, but the principal new finding is that CC Scl is a previously unrecognised intermediate polar, with a white dwarf spin period of 389.49 s which is seen in both optical and Swift X-ray light curves only during the outburst. In this it closely resembles the old nova GK Per, but unlike the latter has one of the shortest orbital periods among intermediate polars.Comment: Accepted for publication in MNRAS; 11 pages, 19 figure