Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “error detection”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 865 records · Page 48
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Avoiding Selection Bias in Generating Examples of Plans in the Presence of Heuristic Error

It is generally understood that heuristic error hurts the performance of search algorithms, measured in terms of search effort. Hence there is an interest in understanding how to reduce heuristic error. One way to do this is to learn a heuristic from a set of examples of plans generated offline, e.g. bootstrapping methods. In this paper, we consider how some methods for generating examples of plans may skew the training set in the presence of heuristic errors. Initial theoretical results show that duplicate detection is one source of selection bias in the canonical A* algorithm. We introduce a duplicate selection scheme for A* that avoids selection bias in generating cost-optimal examples, without compromising memory efficiency, and develop ideas in the satisficing setting. We evaluate our approach on n x m grids with multiple cost-optimal solutions and synthetic heuristic error. Finally, we attempt to extend these ideas to the problem of generating extreme examples of plans.

Alison S Paredes↗
NASA NTRS1988

Interleaver design for trellis-coded differential 8-PSK modulation with non-coherent detection

The effect of finite interleaver size on bit error rate (BER) performance of coded 8-DPSK is determined by means of computer simulations. The losses evaluated in this way include the SNR degradation due to the timing and frequency errors of the symbol synchronizer and the automatic frequency control (AFC) of the receiver. BER measurements are presented using a conventional 2/3 rate convolutional 8-state trellis-code for typical Rayleigh and Rician fading channels. It is shown that for a Rician channel with a Rician parameter of 7 dB, a Doppler spread of 100 Hz and a data rate of 2400 bps, an interleaver with size 16 x 16 symbols performs nearly as well as a very large interleaver. It is also shown that for very fast Rayleigh channels, the BER-curves flatten out at large SNR.

Edbauer, Franz↗
NASA NTRS2003

Evaluation of Alternate Concepts for Synthetic Vision Flight Displays With Weather-Penetrating Sensor Image Inserts During Simulated Landing Approaches

A simulation study was conducted in 1994 at Langley Research Center that used 12 commercial airline pilots repeatedly flying complex Microwave Landing System (MLS)-type approaches to parallel runways under Category IIIc weather conditions. Two sensor insert concepts of 'Synthetic Vision Systems' (SVS) were used in the simulated flights, with a more conventional electro-optical display (similar to a Head-Up Display with raster capability for sensor imagery), flown under less restrictive visibility conditions, used as a control condition. The SVS concepts combined the sensor imagery with a computer-generated image (CGI) of an out-the-window scene based on an onboard airport database. Various scenarios involving runway traffic incursions (taxiing aircraft and parked fuel trucks) and navigational system position errors (both static and dynamic) were used to assess the pilots' ability to manage the approach task with the display concepts. The two SVS sensor insert concepts contrasted the simple overlay of sensor imagery on the CGI scene without additional image processing (the SV display) to the complex integration (the AV display) of the CGI scene with pilot-decision aiding using both object and edge detection techniques for detection of obstacle conflicts and runway alignment errors.

Parrish, Russell V.↗
NASA NTRS1975

The Shuttle Orbital Maneuvering System P-V-T Propellant Quantity Gaging Accuracy and Leak Detection Allowance for Four Instrumentation Conditions

The shuttle orbital maneuvering system (OMS) pressure-volume-temperature (P-V-T) propellant gaging module computes the quantity of usable OMS propellant remaining based on the real gas P-V-T relationship for the propellant tank pressurant, helium. The OMS P-V-T propellant quantity gaging error was determined for four sets of instrumentation configurations and accuracies with the propellant tank operating in the normal constant pressure mode and in the blowdown mode. The instrumentation inaccuracy allowance for propellant leak detection was also computed for these same four sets of instrumentation. These gaging errors and leak detection allowances are presented in tables designed to permit a direct comparison of the effectiveness of the four instrumentation sets. The results show the magnitudes of the improvements in propellant quantity gaging accuracies and propellant leak detection allowances which can be achieved by employing more accurate pressure and temperature instrumentation.

Duhon, D. D.↗
NASA NTRS1989

Comparison of thermal (FLIR) and television images

The human eye is sensitive to electromagnetic radiation in the 0.4 to 0.7 micron band (light). Thermal imaging (TI) systems are sensitive to heat radiation in the infrared band (3-5 or 8-14 microns) and are capable of transforming the distribution of relative temperatures in a scene into a visible TV image. The present experiment was designed to investigate the impact of the difference between TIs and regular TV images on the detection and identification of natural and man-made targets. Parallel TV and TI videotapes were recorded during helicopter flights. Fifteen subjects who viewed both the TV and the TI images (separately), were asked to detect predefined targets and to identify features pointed out to them by the experimenter. In general, performance with TVs was superior to performance with TIs in terms of response times and errors. However, subjects required significantly less time to detect man-made objects with TIs than with TVs. The correlation between the performance of the same task with the two kinds of images was very low. The results are discussed in terms of image quality and in terms of humans' internal representations of natural categories.

Brickner, Michael S.↗
NASA NTRS1981

X-ray and optical observations of the November 19, 1978 gamma-ray burst source region

The Nov. 19, 1978 gamma-ray burst (GRB) has a very well determined error box, 10 square arcmin (Cline et al., 1981). An 8000-sec IPC exposure with the Einstein Observatory detected, at a 3.4-sigma level, one low intensity (less than 3 x 10 to the -13th erg/sq cm per sec) X-ray source inside the error box. The probability of a serendipitous detection was 0.01. Inside the X-ray source error box there are two weak radio sources, one of them highly polarized (Hjellming and Ewald, 1981), and two 20-magnitude objects, not coincident with the radio sources visible in the ESO/SRC J and R plates. With the exception of N49, this is the first possible detection of X-ray emission inside a GRB box. Its low intensity justifies, in fact, the lack of detection for other events.

Pizzichini, G.↗
NASA NTRS2018

NeMO-Net & Fluid Lensing: The Neural Multi-Modal Observation & Training Network for Global Coral Reef Assessment Using Fluid Lensing Augmentation of NASA EOS Data

We present preliminary results from NASA NeMO-Net, the first neural multi-modal observation and training network for global coral reef assessment. NeMO-Net is an open-source deep convolutional neural network (CNN) and interactive active learning training software in development which will assess the present and past dynamics of coral reef ecosystems. NeMO-Net exploits active learning and data fusion of mm-scale remotely sensed 3D images of coral reefs captured using fluid lensing with the NASA FluidCam instrument, presently the highest-resolution remote sensing benthic imaging technology capable of removing ocean wave distortion, as well as hyperspectral airborne remote sensing data from the ongoing NASA CORAL mission and lower-resolution satellite data to determine coral reef ecosystem makeup globally at unprecedented spatial and temporal scales. Aquatic ecosystems, particularly coral reefs, remain quantitatively misrepresented by low-resolution remote sensing as a result of refractive distortion from ocean waves, optical attenuation, and remoteness. Machine learning classification of coral reefs using FluidCam mm-scale 3D data show that present satellite and airborne remote sensing techniques poorly characterize coral reef percent living cover, morphology type, and species breakdown at the mm, cm, and meter scales. Indeed, current global assessments of coral reef cover and morphology classification based on km-scale satellite data alone can suffer from segmentation errors greater than 40%, capable of change detection only on yearly temporal scales and decameter spatial scales, significantly hindering our understanding of patterns and processes in marine biodiversity at a time when these ecosystems are experiencing unprecedented anthropogenic pressures, ocean acidification, and sea surface temperature rise. NeMO-Net leverages our augmented machine learning algorithm that demonstrates data fusion of regional FluidCam (mm, cm-scale) airborne remote sensing with global low-resolution (m, km-scale) airborne and spaceborne imagery to reduce classification errors up to 80% over regional scales. Such technologies can substantially enhance our ability to assess coral reef ecosystems dynamics.

satellite data↗
NASA NTRS2018

NASA NeMO-Net

We present preliminary results from NASA NeMO-Net, the first neural multi-modal observation and training network for global coral reef assessment. NeMO-Net is an open-source deep convolutional neural network (CNN) and interactive active learning training software in development which will assess the present and past dynamics of coral reef ecosystems. NeMO-Net exploits active learning and data fusion of mm-scale remotely sensed 3D images of coral reefs captured using fluid lensing with the NASA FluidCam instrument, presently the highest-resolution remote sensing benthic imaging technology capable of removing ocean wave distortion, as well as hyperspectral airborne remote sensing data from the ongoing NASA CORAL mission and lower-resolution satellite data to determine coral reef ecosystem makeup globally at unprecedented spatial and temporal scales. Aquatic ecosystems, particularly coral reefs, remain quantitatively misrepresented by low- resolution remote sensing as a result of refractive distortion from ocean waves, optical attenuation, and remoteness. Machine learning classification of coral reefs using FluidCam mm-scale 3D data show that present satellite and airborne remote sensing techniques poorly characterize coral reef percent living cover, morphology type, and species breakdown at the mm, cm, and meter scales. Indeed, current global assessments of coral reef cover and morphology classification based on km-scale satellite data alone can suffer from segmentation errors greater than 40%, capable of change detection only on yearly temporal scales and decameter spatial scales, significantly hindering our understanding of patterns and processes in marine biodiversity at a time when these ecosystems are experiencing unprecedented anthropogenic pressures, ocean acidification, and sea surface temperature rise. NeMO-Net leverages our augmented machine learning algorithm that demonstrates data fusion of regional FluidCam (mm, cm-scale) airborne remote sensing with global low-resolution (m, km-scale) airborne and spaceborne imagery to reduce classification errors up to 80% over regional scales. Such technologies can substantially enhance our ability to assess coral reef ecosystems dynamics.

NASA↗
NASA NTRS2008

The Mars Climate Sounder In-Flight Positioning Anomaly

The paper discusses the Mars Climate Sounder (MCS) instrument s in-flight positioning errors and presents background material about it. A short overview of the instrument s science objectives and data acquisition techniques is provided. The brief mechanical description familiarizes the reader with the MCS instrument. Several key items of the flight qualification program, which had a rigorous joint drive test program but some limitations in overall system testing, are discussed. Implications this might have had for the flight anomaly, which began after several months of flawless space operation, are mentioned. The detection, interpretation, and instrument response to the errors is discussed. The anomaly prompted engineering reviews, renewed ground, and some in-flight testing. A summary of these events, including a timeline, is included. Several items of concern were uncovered during the anomaly investigation, the root cause, however, was never found. The instrument is now used with two operational constraints that work around the anomaly. It continues science gathering at an only slightly diminished pace that will yield approximately 90% of the originally intended science.

Jau, Bruno M.↗
NASA NTRS2008

The Mars climate sounder in-flight positioning anomaly

The paper discusses the Mars Climate Sounder (MCS) instrument’s in-flight positioning errors and presents background material about it. A short overview of the instrument’s science objectives and data acquisition techniques is provided. The brief mechanical description familiarizes the reader with the MCS instrument. Several key items of the flight qualification program, which had a rigorous joint drive test program but some limitations in overall system testing, are discussed. Implications this might have had for the flight anomaly, which began after several months of flawless space operation, are mentioned. The detection, interpretation, and instrument response to the errors is discussed. The anomaly prompted engineering reviews, renewed ground, and some in-flight testing. A summary of these events, including a timeline, is included. Several items of concern were uncovered during the anomaly investigation, the root cause, however, was never found. The instrument is now used with two operational constraints that work around the anomaly. It continues science gathering at an only slightly diminished pace that will yield approximately 90% of the originally intended science.

Kass, David↗
NASA NTRS1987

Comparison of direct and heterodyne detection optical intersatellite communication links

The performance of direct and heterodyne detection optical intersatellite communication links are evaluated and compared. It is shown that the performance of optical links is very sensitive to the pointing and tracking errors at the transmitter and receiver. In the presence of random pointing and tracking errors, optimal antenna gains exist that will minimize the required transmitter power. In addition to limiting the antenna gains, random pointing and tracking errors also impose a power penalty in the link budget. This power penalty is between 1.6 to 3 dB for a direct detection QPPM link, and 3 to 5 dB for a heterodyne QFSK system. For the heterodyne systems, the carrier phase noise presents another major factor of performance degradation that must be considered. In contrast, the loss due to synchronization error is small. The link budgets for direct and heterodyne detection systems are evaluated. It is shown that, for systems with large pointing and tracking errors, the link budget is dominated by the spatial tracking error, and the direct detection system shows a superior performance because it is less sensitive to the spatial tracking error. On the other hand, for systems with small pointing and tracking jitters, the antenna gains are in general limited by the launch cost, and suboptimal antenna gains are often used in practice. In which case, the heterodyne system has a slightly higher power margin because of higher receiver sensitivity.

Chen, C. C.↗
NASA NTRS1987

Measurement-based analysis of error latency

This paper demonstrates a practical methodology for the study of error latency under a real workload. The method is illustrated with sampled data on the physical memory activity, gathered by hardware instrumentation on a VAX 11/780 during the normal workload cycle of the installation. These data are used to simulate fault occurrence and to reconstruct the error discovery process in the system. The technique provides a means to study the system under different workloads and for multiple days. An approach to determine the percentage of undiscovered errors is also developed and a verification of the entire methodology is performed. This study finds that the mean error latency, in the memory containing the operating system, varies by a factor of 10 to 1 (in hours) between the low and high workloads. It is found that of all errors occurring within a day, 70 percent are detected in the same day, 82 percent within the following day, and 91 percent within the third day. The increase in failure rate due to latency is not so much a function of remaining errors but is dependent on whether or not there is a latent error.

Chillarege, Ram↗
DOE OSTI2022

Learning high-dimensional parametric maps via reduced basis adaptive residual networks

We propose a scalable framework for the learning of high-dimensional parametric maps via adaptively constructed residual network (ResNet) maps between reduced bases of the inputs and outputs. When just few training data are available, it is beneficial to have a compact parametrization in order to ameliorate the ill-posedness of the neural network training problem. By linearly restricting high-dimensional maps to informed reduced bases of the inputs, one can compress high-dimensional maps in a constructive way that can be used to detect appropriate basis ranks, equipped with rigorous error estimates. A scalable neural network learning framework is thus to learn the nonlinear compressed reduced basis mapping. Unlike the reduced basis construction, however, neural network constructions are not guaranteed to reduce errors by adding representation power, making it difficult to achieve good practical performance. Inspired by recent approximation theory that connects ResNets to sequential minimizing flows, we present an adaptive ResNet construction algorithm. This algorithm allows for depth-wise enrichment of the neural network approximation, in a manner that can achieve good practical performance by first training a shallow network and then adapting. We prove universal approximation of the associated neural network class for $L^2_v$ functions on compact sets. Our overall framework allows for constructive means to detect appropriate breadth and depth, and related compact parametrizations of neural networks, significantly reducing the need for architectural hyperparameter tuning. Numerical experiments for parametric PDE problems and a 3D CFD wing design optimization parametric map demonstrate that the proposed methodology can achieve remarkably high accuracy for limited training data, and outperformed other neural network strategies we compared against.

42 ENGINEERING↗
NASA NTRS1981

HEAO A-2 observations of non-Abell Zwicky clusters containing extended radio sources

Burns and Owen's sample of 25 4C radio sources which coincide with Zwicky clusters of galaxies has been searched for X-ray emission using the HEAO 1 A-2 experiment. X-ray emission was detected from five sources at the 3sigma level, two of which exceeded 5sigma. Positions and 90% X-ray error boxes are given for each of the five sources detected. The clusters surveyed are non-Abell clusters which would generally not be expected to be detectable with the A-2 experiment. The search for X-ray emission was prompted by the knowledge of the existence of extended radio sources in the clusters. The relaxed structure of these sources implies the presence of a relatively dense intracluster medium which is expected to produce thermal bremsstrahlung X-ray emission.

Holman, G. D.↗
NASA NTRS2006

Chandra Observation of NGC 6822

Chandra observed the nearby dwarf galaxy NGC 6822. There are 70 sources in the Chandra field, two of which are fairly extended and likely background clusters of galaxies. A third source was resolved by Chandra and has the same size and position as a known supernova remnant. The suspected variability detected from this source in previous missions is shown to be in error. The majority of the remaining 67 sources are consistent with background sources. Of the 61 sources detected above a completeness limit of 10 events we estimate that 9+/-4+/-8 are associated with the galaxy including both systematic and statistical errors. We compare the X-ray positions of all sources with various catalogs and HST data'and offer tentative identifications for several. Based on the mass and star formation rate of NGC 6822 we only expect about 10 sources mostly high mass systems.

Tennant, Allyn F.↗
NASA NTRSDate not supplied

Estimation of Timing Performance with Pulsed Laser Links for Small Satellite PNT

Satellite constellations are growing in size and in utility for applications as diverse as providing reliable, low-latency internet service to rural areas orEarth science missions.This expansion of satellite constellations brings attention to the need for responsive and reliable satellite communication.Current research in the PrecisionSpace Systems Laboratory at the University of Florida focuses on using pulsed laser communications as the method of relaying time signals instead of the radio frequency (RF)signals.The upcoming CLICK (CubeSat Laser Infrared CrosslinK) missions (Massachusetts Institute of Technology, University of Florida, NASA Ames Research Center) will demonstrate a spacecraft-to-spacecraft laser communication link and time-transfer.For pre-flight technology assessment of missions such as CLICK, a simulation of a spacecraft constellation in Earth orbit has been created to estimate clock synchronization and precision orbit determination based on measured instrumentation performance.We have developed a novel MATLAB-based numerical simulator to model spacecraft-to-spacecraft laser time-transfer and estimate the offset between the spacecraft clocks over time.This simulation includes timing errors associated with laser pulse generation and detection, as well as non-Gaussian clock drift models.The two on-board clocks modeled are a cesium-based Chip-Scale Atomic Clock (CSAC) and a rubidium-based Miniature Atomic Clock (MAC), both produced by Microchip.An example case of two spacecraft in a circular, low-Earth orbit receiving GPS position, GPS timing, and laser pulse time-of-flight measurements is simulated.The positions and velocities of the two spacecraft at a reference epoch and the constant clock model coefficients are estimated.Polynomial models of different orders were used as clock models. The effect of clock model order on the root-mean-square (RMS) of the clock error is apparent in the case using GPS and lasing measurements, showing that the clock model improves with increasing clock model order. Results compare the estimated clock model of a mission operation that only uses GPS measurements and a mission operation that uses both GPS and laser pulse time-of-flight measurements between spacecraft referenced to their on-board CSACs or on-board MACs. Including lasing measurements reduces the RMS clock model error by approximately 80% of the RMS of the cases with only GPS measurements.This simulation tool can be used to optimize the lasing operations schedule based on mission timing performance objectives. During this presentation, I will discuss the details of the simulation and clock model estimation, as well as discuss the results.I will compare the results of incorporating lasing timing measurements to using only GPS measurements and the outcomes of using different orders of polynomials.

Timing Performance↗
NASA NTRS1995

The AAMP5/AAMP-FV project

This presentation describes a project, formal verification of the microcode in the AAMP5 microprocessor, conducted to explore how formal techniques for specification and verification could be introduced into an industrial process. Sponsored by the Systems Validation Branch of NASA Langley and by Collins Commercial Avionics, a division of Rockwell International, it was conducted by Collins and the SRI International Computer Science Laboratory. The project consisted of specifying in the PVS language developed by SRI a portion of a Rockwell proprietary microprocessor, the AAMP5, at both the instruction set and register-transfer levels and using the PVS theorem prover to prove the microcode correct for a representative subset of instructions. While this presentation includes a brief technical overview, its emphasis is on the lessons learned in using PVS for an example of this size and the implications for using formal methods in an industrial setting. The central result of this project was to demonstrate the feasibility of formally specifying a commercial microprocessor and the use of mechanical proofs of correctness to verify microcode. This is particularly significant since the AAMP5 was not designed for formal verification, but to provide a more than three fold performance improvement, by pipelining instruction execution, while remaining object code compatible with the earlier AAMP2. As a consequence, the AAMP5 is one of the most complex microprocessors to which formal methods have been applied. Another key result was the discovery of both actual and seeded errors. Two actual microcode errors were discovered and corrected during development of the formal specification, illustrating the value of simply creating a precise specification. Two seeded errors were systematically uncovered while doing correctness proofs. One of these was an actual error that had been discovered after first fabrication but left in the microcode provided to SRI. The other error was designed to be unlikely to be detected by walkthroughs, testing, or simulation. Several other results emerged during the project, including the ease with which practicing engineers became comfortable with PVS, the need for libraries of general purpose theories, the usefulness of formal specification in revealing errors, the natural fit between formal specification and inspections, the difficulty of selecting the best style of specification for a new problem domain, the high level of assurance provided by proofs of correctness, and the need to engineer proof strategies for reuse.

Miller, Steven P.↗
NASA NTRS2015

Tracking Three-Dimensional Fish Behavior with a New Marine Acoustic Telemetry System

The persistent monitoring capability provided by acoustic telemetry systems allows us to study behavior, movement, and resource selection of mobile marine animals. Current marine acoustic telemetry systems are challenged by localization errors and limits in the number of animals that can be tracked simultaneously. We designed a new system to provide detection ranges of up to 1 km, to reduce localization errors to less than 1 m, and to increase to 500 the number of unique tags simultaneously tracked. The design builds on HTIs experience of more than a decade developing acoustic telemetry systems for freshwater environments. A field trial of the prototype system was conducted at the University of Washingtons Friday Harbor Marine Laboratory (Friday Harbor, WA). Copper rockfish (Sebastes caurinus) were selected for field trials of this new system because their high site-fidelity and small home ranges provide ample opportunity to track individual fish behavior while testing our ability to characterize the movements of a species of interest to management authorities.

acoustic telemetry↗