Evaluation of LANDSAT-4 TM and MSS ground geometry performance without ground control

Techniques and software developed to characterize the Washington, D.C. scene were improved and are being systematically applied to an Imperial Valley, CA scene. Digital elevation files are being acquired. One hundred seventy-two tiepoints were located in the Imperial Valley scene. They were digitized from USGS maps to determine their lat-long coordinates. A least squares fit is currently being performed between line-sample image data and the lat-long positions of the tiepoints. Thematic mapper scanner sweeps were determined for the Imperial Valley P-data. VICAR jobs are currently under way to analyze sample-direction offsets between sweeps in the data, as well as band to band registration offsets. Tiepoint location is about to begin in the Harrisburg, PA scene

Care 3 phase 2 report, maintenance manual

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

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

Proving causal relationships using observational data

We describe a means of rejecting a null hypothesis concerning observed, but not deliberately manipulated, variables of the form H0: A -/-> B in favor of an alternative hypothesis HA: A --> B, even given the possibility of causally related unobserved variables. Rejection of such an H0 relies on the availability of two observed and appropriately related instrumental variables. While the researcher will have limited control over the confidence level in this test, simulation results suggest that type I errors occur with a probability of less than 0.15 (often substantially less) across a wide range of circumstances. The power of the test is limited if there are but few observations available and the strength of correspondence among the variables is weak. We demonstrate the method by testing a hypothesis with critically important policy implications relating to a possible cause of childhood malnourishment.causality, Monte Carlo, observational data, hypothesis testing, Research Methods/ Statistical Methods,

Care 3, phase 1, volume 2

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

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

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

Care 3, Phase 1, volume 1

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

Characterizing small-scale migration behavior of sequestered CO2 in a realistic geological fabric

For typical reservoir conditions, buoyancy and capillary forces grow dominant over viscous forces within a few hundred meters of the injection wells as the pressure gradient due to injection decreases, resulting in qualitatively different plume migration regimes. The migration regime depends on two factors: the capillary pressure of the leading edge of the plume and the range of threshold entry pressures within the rock at the leading edge of the plume. A capillary channel regime arises when these two factors have the same magnitude. Flow patterns within this regime vary from finger-like structures with minimal rock contact to back-filling structures with compact volumes of saturation distributed between fingers. Reservoir heterogeneity is one of the principal factors influencing CO2 migration pathway in the capillary channel regime. Here we characterize buoyancy-driven migration in a natural 2D geologic domain (1 m × 0.5 m peel from an alluvium) in which sedimentologic heterogeneity has been resolved at sub-millimeter (depositional) resolution. The relevant features of the heterogeneity are grain size distribution, which determines the mean and range of threshold pressures and correlation lengths of threshold pressures in horizontal and vertical directions. The relevant physics for this migration regime is invasion percolation, and simulations indicate that CO2 migrates through the peel in a few narrow pathways which cannot be captured by conventional coarse-grid simulations. The storage efficiency of the capillary channel regime would be low and consequently CO2 would also migrate greater distances than expected from models or simulations that neglect the capillary channel flow regime.Bureau of Economic Geolog

Closed trajectories of a particle model on null curves in anti-de Sitter 3-space

We study the existence of closed trajectories of a particle model on null curves in anti-de Sitter 3-space defined by a functional which is linear in the curvature of the particle path. Explicit expressions for the trajectories are found and the existence of infinitely many closed trajectories is proved.Comment: 12 pages, 1 figur

Integrable vortex-type equations on the two-sphere

We consider the Yang-Mills instanton equations on the four-dimensional manifold S^2xSigma, where Sigma is a compact Riemann surface of genus g>1 or its covering space H^2=SU(1,1)/U(1). Introducing a natural ansatz for the gauge potential, we reduce the instanton equations on S^2xSigma to vortex-type equations on the sphere S^2. It is shown that when the scalar curvature of the manifold S^2xSigma vanishes, the vortex-type equations are integrable, i.e. can be obtained as compatibility conditions of two linear equations (Lax pair) which are written down explicitly. Thus, the standard methods of integrable systems can be applied for constructing their solutions. However, even if the scalar curvature of S^2xSigma does not vanish, the vortex equations are well defined and have solutions for any values of the topological charge N. We show that any solution to the vortex equations on S^2 with a fixed topological charge N corresponds to a Yang-Mills instanton on S^2xSigma of charge (g-1)N.Comment: 14 pages; v2: clarifying comments added, published versio