Techniques for the realization of ultrareliable spaceborne computers Interim scientific report

Error-free ultrareliable spaceborne computer

Federal Agency Efforts to Advance Media Literacy in Substance Abuse Prevention

This article describes and reflects upon efforts to generate greater support for media literacy and critical thinking within the strategies and programs of the Federal government, primarily in agencies with an interest in youth substance abuse prevention. Additionally, some of the inherent challenges and obstacles that impacted the ability to expand these efforts are discussed

Design of a fault tolerant airborne digital computer. Volume 1: Architecture

This volume is concerned with the architecture of a fault tolerant digital computer for an advanced commercial aircraft. All of the computations of the aircraft, including those presently carried out by analogue techniques, are to be carried out in this digital computer. Among the important qualities of the computer are the following: (1) The capacity is to be matched to the aircraft environment. (2) The reliability is to be selectively matched to the criticality and deadline requirements of each of the computations. (3) The system is to be readily expandable. contractible, and (4) The design is to appropriate to post 1975 technology. Three candidate architectures are discussed and assessed in terms of the above qualities. Of the three candidates, a newly conceived architecture, Software Implemented Fault Tolerance (SIFT), provides the best match to the above qualities. In addition SIFT is particularly simple and believable. The other candidates, Bus Checker System (BUCS), also newly conceived in this project, and the Hopkins multiprocessor are potentially more efficient than SIFT in the use of redundancy, but otherwise are not as attractive

Direct health care costs of treating seasonal affective disorder: a comparison of light therapy and fluoxetine.

Objective. To compare the direct mental health care costs between individuals with Seasonal Affective Disorder randomized to either fluoxetine or light therapy. Methods. Data from the CANSAD study was used. CANSAD was an 8-week multicentre double-blind study that randomized participants to receive either light therapy plus placebo capsules or placebo light therapy plus fluoxetine. Participants were aged 18-65 who met criteria for major depressive episodes with a seasonal (winter) pattern. Mental health care service use was collected for each subject for 4 weeks prior to the start of treatment and for 4 weeks prior to the end of treatment. All direct mental health care services costs were analysed, including inpatient and outpatient services, investigations, and medications. Results. The difference in mental health costs was significantly higher after treatment for the light therapy group compared to the medication group-a difference of $111.25 (z = -3.77, P = 0.000). However, when the amortized cost of the light box was taken into the account, the groups were switched with the fluoxetine group incurring greater direct care costs-a difference of$75.41 (z = -2.635, P = 0.008). Conclusion. The results suggest that individuals treated with medication had significantly less mental health care cost after-treatment compared to those treated with light therapy

Geometric Aspects of Composite Pulses

Unitary operations acting on a quantum system must be robust against systematic errors in control parameters for reliable quantum computing. Composite pulse technique in nuclear magnetic resonance (NMR) realises such a robust operation by employing a sequence of possibly poor quality pulses. In this article, we demonstrate that two kinds of composite pulses, one compensates for a pulse length error in a one-qubit system and the other compensates for a J-coupling error in a twoqubit system, have vanishing dynamical phase and thereby can be seen as geometric quantum gates, which implement unitary gates by the holonomy associated with dynamics of cyclic vectors defined in the text.Comment: 20 pages, 4 figures. Accepted for publication in Philosophical Transactions of the Royal Society

Nuclear Spins as Quantum Memory in Semiconductor Nanostructures

We theoretically consider solid state nuclear spins in a semiconductor nanostructure environment as long-lived, high-fidelity quantum memory. In particular, we calculate, in the limit of a strong applied magnetic field, the fidelity versus time of P donor nuclear spins in random bath environments of Si and GaAs, and the lifetime of excited intrinsic spins in polarized Si and GaAs environments. In the former situation, the nuclear spin dephases due to spectral diffusion induced by the dipolar interaction among nuclei in the bath. We calculate the decay of nuclear spin quantum memory in the context of Hahn and Carr-Purcell-Meiboom-Gill (CPMG) refocused spin echoes using a formally exact cluster expansion technique which has previously been successful in dealing with electron spin dephasing in a solid state nuclear spin bath. With decoherence dominated by transverse dephasing (T2), we find it feasible to maintain high fidelity (losses of less than 10^{-6}) quantum memory on nuclear spins for times of the order of 100 microseconds (GaAs:P) and 1 to 2 milliseconds (natural Si:P) using CPMG pulse sequences of just a few (~2-4) applied pulses. We also consider the complementary situation of a central flipped intrinsic nuclear spin in a bath of completely polarized nuclear spins where decoherence is caused by the direct flip-flop of the central spin with spins in the bath. Exact numerical calculations that include a sufficiently large neighborhood of surrounding nuclei show lifetimes on the order of 1-5 ms for both GaAs and natural Si. Our calculated nuclear spin coherence times may have significance for solid state quantum computer architectures using localized electron spins in semiconductors where nuclear spins have been proposed for quantum memory storage

Development and analysis of the Software Implemented Fault-Tolerance (SIFT) computer

SIFT (Software Implemented Fault Tolerance) is an experimental, fault-tolerant computer system designed to meet the extreme reliability requirements for safety-critical functions in advanced aircraft. Errors are masked by performing a majority voting operation over the results of identical computations, and faulty processors are removed from service by reassigning computations to the nonfaulty processors. This scheme has been implemented in a special architecture using a set of standard Bendix BDX930 processors, augmented by a special asynchronous-broadcast communication interface that provides direct, processor to processor communication among all processors. Fault isolation is accomplished in hardware; all other fault-tolerance functions, together with scheduling and synchronization are implemented exclusively by executive system software. The system reliability is predicted by a Markov model. Mathematical consistency of the system software with respect to the reliability model has been partially verified, using recently developed tools for machine-aided proof of program correctness

NASA space station automation: AI-based technology review

Research and Development projects in automation for the Space Station are discussed. Artificial Intelligence (AI) based automation technologies are planned to enhance crew safety through reduced need for EVA, increase crew productivity through the reduction of routine operations, increase space station autonomy, and augment space station capability through the use of teleoperation and robotics. AI technology will also be developed for the servicing of satellites at the Space Station, system monitoring and diagnosis, space manufacturing, and the assembly of large space structures

Quantum information processing using strongly-dipolar coupled nuclear spins

Dipolar coupled homonuclear spins present challenging, yet useful systems for quantum information processing. In such systems, eigenbasis of the system Hamiltonian is the appropriate computational basis and coherent control can be achieved by specially designed strongly modulating pulses. In this letter we describe the first experimental implementation of the quantum algorithm for numerical gradient estimation on the eigenbasis of a four spin system.Comment: 5 pages, 5 figures, Accepted in PR