15,209 research outputs found

    Homologically arc-homogeneous ENRs

    Get PDF
    We prove that an arc-homogeneous Euclidean neighborhood retract is a homology manifold.Comment: This is the version published by Geometry & Topology Monographs on 22 April 200

    Care 3 phase 2 report, maintenance manual

    Get PDF
    CARE 3 (Computer-Aided Reliability Estimation, version three) is a computer program designed to help estimate the reliability of complex, redundant systems. Although the program can model a wide variety of redundant structures, it was developed specifically for fault-tolerant avionics systems--systems distinguished by the need for extremely reliable performance since a system failure could well result in the loss of human life. It substantially generalizes the class of redundant configurations that could be accommodated, and includes a coverage model to determine the various coverage probabilities as a function of the applicable fault recovery mechanisms (detection delay, diagnostic scheduling interval, isolation and recovery delay, etc.). CARE 3 further generalizes the class of system structures that can be modeled and greatly expands the coverage model to take into account such effects as intermittent and transient faults, latent faults, error propagation, etc

    CARE 3 phase 2 report - mathematical description

    Get PDF
    CARE III (Computer-Aided Reliability Estimation, version three) a computer program designed to help estimate the reliability of complex, redundant systems is described. Although the program can model a wide variety of redundant structures, it was developed specifically for fault tolerant avionics systems. CARE III generalizes the class of system structures that can be modeled and greatly expands the coverage model to take into account such effects as intermittent and transient faults, latent faults, and error propagation

    Care 3, phase 1, volume 2

    Get PDF
    A computer program was developed as a general purpose reliability tool for fault tolerant avionics systems. The computer program requirements, together with several appendices containing computer printouts are presented

    Application of cabin atmosphere monitors to rapid screening of breath samples for the early detection of disease states

    Get PDF
    Analysis of human breath is a nonintrusive method to monitor both endogenous and exogenous chemicals found in the body. Several technologies were investigated and developed which are applicable to monitoring some organic molecules important in both physiological and pathological states. Two methods were developed for enriching the organic molecules exhaled in the breath of humans. One device is based on a respiratory face mask fitted with a polyethylene foam wafer; while the other device is a cryogenic trap utilizing an organic solvent. Using laboratory workers as controls, two organic molecules which occurred in the enriched breath of all subjects were tentatively identified as lactic acid and contisol. Both of these substances occurred in breath in sufficient amounts that the conventional method of gas-liquid chromatography was adequate for detection and quantification. To detect and quantitate trace amounts of chemicals in breath, another type of technology was developed in which analysis was conducted using high pressure liquid chromatography and mass spectrometry

    Care 3, Phase 1, volume 1

    Get PDF
    A computer program to aid in accessing the reliability of fault tolerant avionics systems was developed. A simple mathematical expression was used to evaluate the reliability of any redundant configuration over any interval during which the failure rates and coverage parameters remained unaffected by configuration changes. Provision was made for convolving such expressions in order to evaluate the reliability of a dual mode system. A coverage model was also developed to determine the various relevant coverage coefficients as a function of the available hardware and software fault detector characteristics, and subsequent isolation and recovery delay statistics

    Basic research planning in mathematical pattern recognition and image analysis

    Get PDF
    Fundamental problems encountered while attempting to develop automated techniques for applications of remote sensing are discussed under the following categories: (1) geometric and radiometric preprocessing; (2) spatial, spectral, temporal, syntactic, and ancillary digital image representation; (3) image partitioning, proportion estimation, and error models in object scene interference; (4) parallel processing and image data structures; and (5) continuing studies in polarization; computer architectures and parallel processing; and the applicability of "expert systems" to interactive analysis

    The CARE 3 Phase 3 Report: Test and Evaluation

    Get PDF
    CARE 3 (Computer-Aided Reliability Estimation, version three) is a computer program designed to help estimate the reliability of complex, redundant systems; although the program can model a wide variety of redundant structures, it was developed specifically for fault-tolerant avionics systems, systems distinguished by the need for extremely reliable performance since a system failure could well result in the loss of human life. CARE 3 further generalizes the class of system structures that can be modeled and greatly expands the coverage model to take into account such effects as intermittent and transient faults, latent faults, error propagation, etc. The initial test and evaluation of CARE 3 are reported

    An ultra-compact low temperature scanning probe microscope for magnetic fields above 30 T

    Full text link
    We present the design of a highly compact High Field Scanning Probe Microscope (HF-SPM) for operation at cryogenic temperatures in an extremely high magnetic field, provided by a water-cooled Bitter magnet able to reach 38 T. The HF-SPM is 14 mm in diameter: an Attocube nano-positioner controls the coarse approach of a piezo resistive AFM cantilever to a scanned sample. The Bitter magnet constitutes an extreme environment for SPM due to the high level of vibrational noise; the Bitter magnet noise at frequencies up to 300 kHz is characterized and noise mitigation methods are described. The performance of the HF-SPM is demonstrated by topographic imaging and noise measurements at up to 30 T. Additionally, the use of the SPM as a three-dimensional dilatometer for magnetostriction measurements is demonstrated via measurements on a magnetically frustrated spinel sample.Comment: 6 pages, 5 figure
    corecore