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 487 records · Page 27

A software simulation study of a (255,223) Reed-Solomon encoder-decoder

A set of software programs which simulates a (255,223) Reed-Solomon encoder/decoder pair is described. The transform decoder algorithm uses a modified Euclid algorithm, and closely follows the pipeline architecture proposed for the hardware decoder. Uncorrectable error patterns are detected by a simple test, and the inverse transform is computed by a finite field FFT. Numerical examples of the decoder operation are given for some test codewords, with and without errors. The use of the software package is briefly described.

Pollara, F.↗

Radio and Optical Follow-Up Observations and Improved IPN Position of GRB 970111

We report on Westerbork 840 MHz, 1.4 and 5 GHz radio observations of the improved IPN-WFC error box of the gamma ray burst GRB 970111, between 26.4 hours and 120 days after the event onset. In the approximately 16 sq arcmin area defined by the IPN (BATSE and Ulysses) annulus and the published refined BeppoSAX Wide Field Camera (WFC) error box we detected no steady sources brighter than 0.56 mJy (4sigma), and no varying radio emission, down to 1.0 mJy (4sigma). We also report on B, V, R and I band observations of the error box with the 4.2 m William Herschel Telescope at La Palma. Subject headings: gamma rays: bursts - gamma rays: individual (GRB 9701 1 1)

Galama, T. J.↗

Internal Correction Of Errors In A DRAM

Error-correcting Hamming code built into circuit. A 256 K dynamic random-access memory (DRAM) circuit incorporates Hamming error-correcting code in its layout. Feature provides faster detection and correction of errors at less cost in amount of equipment, operating time, and software. On-chip error-correcting feature also makes new DRAM less susceptible to single-event upsets.

Zoutendyk, John A.↗

More data on (possible) gamma ray (point) sources

The 2CG catalog of gamma ray sources was compiled before detailed knowledge was available on the fine-scale structure of the diffuse Galactic gamma-ray emission. Two independent analyses to discriminate sources which are either compact objects of due to very local and strong enhancements in the Galactic cosmic-ray distribution from those which are artifacts due to the clumpy gas distribution are about to be completed: a maximum likelihood analysis and a cross correlation analysis. Arguments are given why differences, and therefore confusion, and in resulting source lists can be expected. Detailed analysis of all COS-B gamma-ray data on Geminga (2CG195+04), reveals the existence of a drastic spectral break below 200 MeV. A power-law spectrum with index -1.88 fits the data above about 100 MeV to 3.2 GeV, however, there are also indications for a spectral break above these energies. For energies above about 100 MeV no evidence for a long-term time variability was found. The error region of Geminga was searched for a radio counterpart at wavelengths of 90, 49, 21, 6, and 2 cm using the Westerbork Synthesis Radio Telescope and the Very Large Array. So far, 16 sources were detected in this error region. In the direction of 1E0630+178, the Einstein x ray source proposed to be a Vela-like pulsar and the counterpart of Geminga, no radio source was found at 21, 49, and 90 cm with 3 sigma upper limits on the flux densities ranging from 0.5 mJy at 21 cm to 4.5 mJy at 90 cm. Detailed structures in local molecular cloud complexes are so far only resolved in gamma rays for the closet and most massive complexes, namely those in the Orion-Monoceros and the Ophiuchus regions. For both region, there is circumstantial evidence for gamma ray emission from molecular gas that was photodissociated after the passage of a SN shell.

Hermsen, W.↗

Recognition of error symptoms in large systems

A methodology for automatically detecting symptoms of frequently occurring errors in large computer systems is developed. The proposed symptom recognition methodology and its validation are based on probabilistic techniques. The technique is shown to work on real failure data from two CYBER systems at the University of Illinois. The methodology allows for the resolution between independent and dependent causes and, also quantifies a measure of the strength of relationship among errors. Comparison made with failure/repair information obtained from field maintenance engineers shows that in 85% of the cases, the error symptoms recognized by our approach correspond to real system problems. Further, the remaining 15% although not directly supported by field data, were confirmed as valid problems. Some of these were shown to be persistent problems which otherwise would have been considered as minor transients and hence ignored.

Iyer, Ravishankar K.↗

Application of NASA General-Purpose Solver to Large-Scale Computations in Aeroacoustics

Of several iterative and direct equation solvers evaluated previously for computations in aeroacoustics, the most promising was the NASA-developed General-Purpose Solver (winner of NASA's 1999 software of the year award). This paper presents detailed, single-processor statistics of the performance of this solver, which has been tailored and optimized for large-scale aeroacoustic computations. The statistics, compiled using an SGI ORIGIN 2000 computer with 12 Gb available memory (RAM) and eight available processors, are the central processing unit time, RAM requirements, and solution error. The equation solver is capable of solving 10 thousand complex unknowns in as little as 0.01 sec using 0.02 Gb RAM, and 8.4 million complex unknowns in slightly less than 3 hours using all 12 Gb. This latter solution is the largest aeroacoustics problem solved to date with this technique. The study was unable to detect any noticeable error in the solution, since noise levels predicted from these solution vectors are in excellent agreement with the noise levels computed from the exact solution. The equation solver provides a means for obtaining numerical solutions to aeroacoustics problems in three dimensions.

Watson, Willie R.↗

Combining Information on Multiple Detection Techniques to Estimate the Effect of Patent Foramen Ovale on Susceptibility to Decompression Illness

The assembly and the maintenance of the International Space Station is expected to require hundreds of extravehicular excursions (EVA's) in the next 10 years. During an EVA, in order to allow movement and bending of limbs, spacesuit pressures are reduced to about 4.3 psi. as compared with about 14.7 psi. for normal atmospheric pressure at sea level. However, the exposure of astronauts to reduced pressures in spacesuits, is conducive to fonnation and growth of gas bubbles within venous blood or tissues, which could cause decompression illness (DCI), a pathology best known to occur among deep-sea divers when they return to the surface. To reduce the risk of DCI, astronauts adjust to the reduced pressure in stages for a prolonged time known as a "pre-breathe" period prior to their extravehicular activity. Despite the use of pre-breathe protocols, an increased risk of DCI can arise for about 25% of humans who have a small hole, known as a patent foramen ovale (PFO), between two chambers of the heart. The atrial septum's fossa oval is, an embryological remnant of a flap between the septae primum and secundum allows fetal right atrial blood to pass into the left atrium, and usually closes after birth (Hagen, et al,. 1984). If fusion does not occur, a valve-like opening, the foramen ovale persists between the two atria. It has been suggested that astronauts with PFO's might be at greater risk of stroke or other serious neurological DCI because bubbles from a venous site may traverse a PFO, travel to the aorta and then enter the cerebral circulatory system causing a stroke (Figure 1). Astronauts are not now screened for PFO's, however consideration is being given to doing so. Here, we study three main methods abbreviated here as "ITE", "TCD" and "TEE", for detecting PFO's in living subjects. All involve the introduction of bubbles into a vein, immediately after which a sensory probe attempts to detect the bubbles in systemic circulation. Presence of the injected bubbles in the systemic circulation is indicative of a PFO. More detailed descriptions are given after the explanation of PFO's under Figure I. Even if a true PFO affects the risk of DCI, there remains a question of how effective screening would be if the detection method has errors of omission and/or commission. Of the three methods studied here, TEE is the "gold standard", matching autopsy results with near-perfect sensitivity and specificity (Schneider, et al. , 1996). However TEE is also the most difficult method to implement, requiring an internal esophagal probe, and is therefore not widely used. Currently, the easiest to use and most common PFO detection method is TTE, which uses an external chest probe. This method has a specificity of near 100%, but suffers from a low sensitivity rate (about 30%). More recently, TCD has been developed, which uses ultrasound probes to detect the presence of bubbles in cerebral arteries. Studies indicate that TCD is quite effective, having a sensitivity of about 91% and a specificity of about 93% (Droste, et al., 1999) when applied correctly, however implementation is difficult and requires considerable training.

Feiveson, Alan H.↗

Detecting and Characterizing Semantic Inconsistencies in Ported Code

Adding similar features and bug fixes often requires porting program patches from reference implementations and adapting them to target implementations. Porting errors may result from faulty adaptations or inconsistent updates. This paper investigates (1) the types of porting errors found in practice, and (2) how to detect and characterize potential porting errors. Analyzing version histories, we define five categories of porting errors, including incorrect control- and data-flow, code redundancy, inconsistent identifier renamings, etc. Leveraging this categorization, we design a static control- and data-dependence analysis technique, SPA, to detect and characterize porting inconsistencies. Our evaluation on code from four open-source projects shows that SPA can detect porting inconsistencies with 65% to 73% precision and 90% recall, and identify inconsistency types with 58% to 63% precision and 92% to 100% recall. In a comparison with two existing error detection tools, SPA improves precision by 14 to 17 percentage points.

Semantic Errors↗

Effect of noisy phase reference on coherent detection of unbalanced QPSK signals

A phase error in the reference signal used in coherent detection of PSK signals causes a degradation in performance; this effect on bit error probability has been much discussed in the literature for BPSK and balanced QPSK systems. For unbalanced QPSK (UQPSK) systems, where the power and data rates in the two channels are unequal, and where the channel data symbols might also be different, the problem of computing the error probability is more complex, and only approximate solutions have been previously given. In this paper, exact expressions are derived for the conditional probability of error for the I and Q channels as a function of the channel power and data rate ratio. This is done for all combinations of Manchester and NRZ signalling schemes, and it is shown that in some cases the low data rate channel can be more seriously affected by a phase offset. Numerical results are also given for the average probability of error, assuming a biphase Costas loop is used for carrier synchronization.

Osborne, H. C.↗

High-Level Data Races

Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools, experience shows that the notion of data race is not powerful enough to capture certain types of inconsistencies occurring in practice. In this paper we investigate data races on a higher abstraction layer. This enables us to detect inconsistent uses of shared variables, even if no classical race condition occurs. For example, a data structure representing a coordinate pair may have to be treated atomically. By lifting the meaning of a data race to a higher level, such problems can now be covered. The paper defines the concepts view and view consistency to give a notation for this novel kind of property. It describes what kinds of errors can be detected with this new definition, and where its limitations are. It also gives a formal guideline for using data structures in a multi-threading environment.

Artho, Cyrille↗

Precise Localization of the Soft Gamma Repeater SGR 1627-41 with Chandra and the Anomalous X-Ray Pulsar AXP 1E1841-045 with Chandra

We present precise localizations of AXP 1E184-045 and SGR 1627-41 with Chandra. We obtained new infrared observations of SGR 1627-41 and reanalyzed archival observations of AXP 1E1841-045 in order to refine their positions and search for infrared counterparts. A faint source is detected inside the error circle of AXP 1E1841-045. In the case of SGR 1627-41, several sources are located within the error radius of the X-ray position, and we discuss the likelihood of one of them being the counterpart. We compare the properties of our candidates to those of other known anomalous X-ray pulsar (AXP) and soft gamma repeater (SGR) counterparts. We find that the counterpart candidates for SGR 1627-41 and SGR 1806-20 would have to be intrinsically much brighter than AXPs in order to have counterparts detectable with the observational limits currently available for these sources. To confirm the reported counterpart of SGR 1806-20, we obtained new infrared observations during the 2003 July burst activation of the source. No brightening of the suggested counterpart is detected, implying that the counterpart of SGR 1806-20 remains yet to be identified.

Wachter, Stefanie↗

Detecting and Characterizing Semantic Inconsistencies in Ported Code

Adding similar features and bug fixes often requires porting program patches from reference implementations and adapting them to target implementations. Porting errors may result from faulty adaptations or inconsistent updates. This paper investigates (I) the types of porting errors found in practice, and (2) how to detect and characterize potential porting errors. Analyzing version histories, we define five categories of porting errors, including incorrect control- and data-flow, code redundancy, inconsistent identifier renamings, etc. Leveraging this categorization, we design a static control- and data-dependence analysis technique, SPA, to detect and characterize porting inconsistencies. Our evaluation on code from four open-source projects shows thai SPA can dell-oct porting inconsistencies with 65% to 73% precision and 90% recall, and identify inconsistency types with 58% to 63% precision and 92% to 100% recall. In a comparison with two existing error detection tools, SPA improves precision by 14 to 17 percentage points

Ray, Baishakhi↗

Optical mass memory investigation

The MASTER 1 optical mass storage system advanced working model (AWM) was designed to demonstrate recording and playback of imagery data and to enable quantitative data to be derived as to the statistical distribution of raw errors experienced through the system. The AWM consists of two subsystems, the recorder and storage and retrieval. The recorder subsystem utilizes key technologies such as an acoustic travelling wave lens to achieve recording of digital data on fiche at a rate of 30 Mbits/sec, whereas the storage and retrieval reproducer subsystem utilizes a less complex optical system that employs an acousto-optical beam deflector to achieve data readout at a 5 Mbits/sec rate. The system has the built in capability for detecting and collecting error statistics. The recorder and storage and retrieval subsystems operate independent of one another and are each constructed in modular form with each module performing independent functions. The operation of each module and its interface to other modules is controlled by one controller for both subsystems.

Source record↗

Comparison of Cloud Detection Algorithms for Sentinel-2 Imagery

Accurate, automated cloud and cloud shadow detection is a key component of the processing needed to prepare optical satellite imagery for scientific analysis. Many existing cloud detection algorithms rely on temperature information to identify clouds, making detection difficult for imagers that lack a thermal band, like Sentinel-2. To get maximum benefit from Sentinel-2 products it is critical to understand which algorithms best identify clouds and their shadows in images. We examined the relative performance of five different cloud-masking algorithms (Sen2Cor, MAJA, LaSRC, Fmask and Tmask) in 6 Sentinel-2 scenes (28 total images) distributed across the Eastern Hemisphere. Expanding on these comparisons, we tested ensemble approaches to improve results. We tested three ensemble approaches to cloud and shadow classification based on the outputs of the five initial algorithms using the cloud masks in: (1) a majority prediction model; (2) a random forests model; and (3) a conditional logic model. Accuracy assessments show a trade-off between omission and commission errors in cloud detection for individual algorithms across all sites, and some algorithms are better at detecting either clouds or cloud shadows. No single algorithm outperforms the others for both clouds and shadows. Aggregating the results from multiple algorithms produces fewer undetected clouds and higher overall accuracy than any single algorithm, with as high as 2.7% improvement over the top-performing algorithm, suggesting an ensemble approach may be the most useful for processing of Sentinel-2 data.

Sentinel-2↗

Use of interactive graphics to analyze QUICK-geometry: Supplement

The advantages of using interactive computer graphics to display aircraft geometry to aid in detection and analysis of errors are described. The QUICK geometry system is reviewed and the Quick Interactive Graphics Analysis (QUIAGA) program is described. This QUIAGA program was developed to exercise the QUICK geometry subroutines to examine in several modes on a graphics terminal. Its use in the detection and analysis of errors in the QUICK geometry definition can be of great assistance in speedily arriving at a correct analytical geometry description for flow field computation. Experience with the program in developing a QUICK geometry model of the NASA Space Shuttle Orbiter is used to show some of its features. Appendixes giving details of program usage and an example session are included.

Townsend, J. C.↗

Preparing and Analyzing Iced Airfoils

SmaggIce version 1.2 is a computer program for preparing and analyzing iced airfoils. It includes interactive tools for (1) measuring ice-shape characteristics, (2) controlled smoothing of ice shapes, (3) curve discretization, (4) generation of artificial ice shapes, and (5) detection and correction of input errors. Measurements of ice shapes are essential for establishing relationships between characteristics of ice and effects of ice on airfoil performance. The shape-smoothing tool helps prepare ice shapes for use with already available grid-generation and computational-fluid-dynamics software for studying the aerodynamic effects of smoothed ice on airfoils. The artificial ice-shape generation tool supports parametric studies since ice-shape parameters can easily be controlled with the artificial ice. In such studies, artificial shapes generated by this program can supplement simulated ice obtained from icing research tunnels and real ice obtained from flight test under icing weather condition. SmaggIce also automatically detects geometry errors such as tangles or duplicate points in the boundary which may be introduced by digitization and provides tools to correct these. By use of interactive tools included in SmaggIce version 1.2, one can easily characterize ice shapes and prepare iced airfoils for grid generation and flow simulations.

Vickerman, Mary B.↗

Software approach to automatic patching of analog computer

The Automatic Patching Verification program (APV) is described which provides the hybrid computer programmer with a convenient method of performing a static check of the analog portion of his study. The static check insures that the program is patched as specified, and that the computing components being used are operating correctly. The APV language the programmer uses to specify his conditions and interconnections is similar to the FORTRAN language in syntax. The APV control program reads APV source program statements from an assigned input device. Each source program statement is processed immediately after it is read. A statement may select an analog console, set an analog mode, set a potentiometer or DAC, or read from the analog console and perform a test. Statements are read and processed sequentially. If an error condition is detected, an output occurs on an assigned output device. When an end statement is read, the test is terminated.

Source record↗

Shift register generators and applications to coding

The most important properties of shift register generated sequences are exposed. The application of shift registers as multiplication and division circuits leads to the generation of some error correcting and detecting codes.

Morakis, J. C.↗