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 1,405 records · Page 78
All sourcesNASA NTRSDOE OSTI
NASA NTRS1982

Verification testing of the PKI collector at Sandia National Laboratories, Albuquerque, New Mexico

Verification testing of a solar collector was undertaken prior to its operation as part of an industrial process heat plant at Capitol Concrete Products in Topeka, Kansas. Testing was performed at a control plant installed at Sandia National Laboratory, Albuquerque, New Mexico (SNLA). Early results show that plant performance is even better than anticipated and far in excess of test criteria. Overall plant efficiencies of 65 to 80 percent were typical during hours of good insolation. A number of flaws and imperfections were detected during operability testing, the most important being a problem in elevation drive alignment due to a manufacturing error. All problems were corrected as they occurred and the plant, with over 40 hours of operation, is currently continuing operability testing in a wholly-automatic mode.

Hauger, J. S.↗
NASA NTRS1984

Analysis of lidar, radar and satellite measurements on severe thunderstorms and their environments

Intercomparison of wind data from the airborne Doppler lidar, ground-based Doppler radars, the 444 m NSSL-KTVY tower, and rawinsonde were completed. The vertical profile of wind in the PBL measured by the radars compared favorably with the profiles measured by the tower and rawinsonde while the one obtained from lidar data differed from the other three by as much as 3m/sec in wind speed and 38 degrees in direction. The time dependence of differences in wind estimates from radar and lidar suggested that these discrepencies could be attributed to a Schuler resonance in the aircraft's inertial navigation system which caused an erroneous component of the aircraft's velocity vector to be subtracted from the lidar radial velocities, thus creating errors in the synthesized wind speed and direction. The vertical profile of turbulent fluctuations of the horizontal wind detected by the different systems compared well. Also, spectra from the different sensing systems compared well in both magnitude and shape, suggesting that the lidar and radar detected similar turbulent structure.

Bluestein, H.↗
NASA NTRS1986

Detection of NO sub x,C2H4 concentrations by using CO and CO2 lasers

A laser, especially the infrared line tunable laser, opens up a new way to monitor the atmospheric environment, and already has gotten effective practical application. One of the most serious problems in open path remote measurement at atmospheric pressure is the broadening effect which leads to increased linewidths, spectral interferences, and, as a result, tends to reduce detection sensitivity, so measuring laser wavelengths should be selected carefully, and interaction between the measuring wavelength and gas to be measured must be known very well. Therefore, N2O, No, NO2, CH4, NH3 and C2H4 absorption properties at some lines of CO and CO2 line tunable lasers were studied. The absorption coefficients of NO, NO2, and C2H4; some results on detection of NO sub x, C2H4 concentrations in both laboratory and field; and selection of measuring wavelengths and error analysis are discussed.

Gengchen, W.↗
NASA NTRS1993

Three-body effects in the PSR 1257+12 planetary system

A detailed theoretical analysis of the three-body effects in the putative planetary system of PSR 1257+12 is presented. Ways in which these effects are manifested in the pattern of pulse arrival times are discussed; the dominant perturbation is described as a modulation of the phases of the near-sinusoidal signals of the two planetary companions. Explicit formulas for the time dependence of the oscillating orbital elements that are needed for an improved timing model for this system are provided. If a timing model with fixed, independent Keplerian orbits continues to be used for the timing analysis, and if two planets are indeed orbiting this pulsar, then the three-body effects should become detectable by means of a growth in the postfit residuals as more observations are accumulated. If the typical error in the pulse arrival time measurements is about 10 microsec, the amplitude of the postfit residuals will increase beyond this level with three to five years of timing observations.

Malhotra, Renu↗
NASA NTRS1994

An Algorithm to Generate Deep-Layer Temperatures from Microwave Satellite Observations for the Purpose of Monitoring Climate Change

An algorithm for generating deep-layer mean temperatures from satellite-observed microwave observations is presented. Unlike traditional temperature retrieval methods, this algorithm does not require a first guess temperature of the ambient atmosphere. By eliminating the first guess a potentially systematic source of error has been removed. The algorithm is expected to yield long-term records that are suitable for detecting small changes in climate. The atmospheric contribution to the deep-layer mean temperature is given by the averaging kernel. The algorithm computes the coefficients that will best approximate a desired averaging kernel from a linear combination of the satellite radiometer's weighting functions. The coefficients are then applied to the measurements to yield the deep-layer mean temperature. Three constraints were used in deriving the algorithm: (1) the sum of the coefficients must be one, (2) the noise of the product is minimized, and (3) the shape of the approximated averaging kernel is well-behaved. Note that a trade-off between constraints 2 and 3 is unavoidable. The algorithm can also be used to combine measurements from a future sensor (i.e., the 20-channel Advanced Microwave Sounding Unit (AMSU)) to yield the same averaging kernel as that based on an earlier sensor (i.e., the 4-channel Microwave Sounding Unit (MSU)). This will allow a time series of deep-layer mean temperatures based on MSU measurements to be continued with AMSU measurements. The AMSU is expected to replace the MSU in 1996.

Goldberg, Mitchell D.↗
NASA NTRS2003

Measurement of nutritional status in simulated microgravity by bioelectrical impedance spectroscopy

The potential of bioelectrical impedance spectroscopy (BIS) for assessing nutritional status in spaceflight was tested in two head-down-tilt bed-rest studies. BIS-predicted extracellular water (ECW), intracellular water (ICW), and total body water (TBW) measured using knee-elbow electrode placement were compared with deuterium and bromide dilution (DIL) volumes in healthy, 19- to 45-yr-old subjects. BIS was accurate during 44 h of head-down tilt with mean differences (BIS - DIL) of 0-0.1 kg for ECW, 0.3-0.5 for ICW, and 0.4-0.6 kg for TBW (n = 28). At 44 h, BIS followed the within-individual change in body water compartments with a relative prediction error (standard error of the estimate/baseline volume) of 2.0-3.6% of water space. In the second study, BIS did not detect an acute decrease (-1.41 +/- 0.91 kg) in ICW secondary to 48 h of a protein-free, 800 kcal/day diet (n = 18). BIS's insensitivity to ICW losses may be because they were predominantly (65%) localized to the trunk and/or because there was a general failure of BIS to measure ICW independently of ECW and TBW. BIS may have potential for measuring nutritional status during spaceflight, but its limitations in precision and insensitivity to acute ICW changes warrant further validation studies.

Non-NASA Center↗
NASA NTRS2011

Phase-Controlled Magnetic Mirror for Wavefront Correction

Typically, light interacts with matter via the electric field and interaction with weakly bound electrons. In a magnetic mirror, a patterned nanowire is fabricated over a metallic layer with a dielectric layer in between. Oscillation of the electrons in the nanowires in response to the magnetic field of incident photons causes a re-emission of photons and operation as a "magnetic mirror." By controlling the index of refraction in the dielectric layer using a local applied voltage, the phase of the emitted radiation can be controlled. This allows electrical modification of the reflected wavefront, resulting in a deformable mirror that can be used for wavefront control. Certain applications require wavefront quality in the few-nanometer regime, which is a major challenge for optical fabrication and alignment of mirrors or lenses. The use of a deformable magnetic mirror allows for a device with no moving parts that can modify the phase of incident light over many spatial scales, potentially with higher resolution than current approaches. Current deformable mirrors modify the incident wavefront by using nano-actuation of a substrate to physically bend the mirror to a desired shape. The purpose of the innovation is to modify the incident wavefront for the purpose of correction of fabrication and alignment-induced wavefront errors at the system level. The advanced degree of precision required for some applications such as gravity wave detection (LISA - Laser Interferometer Space Antenna) or planet finding (FKSI - Fourier-Kelvin Stellar Interferometer) requires wavefront control at the limits of the current state of the art. All the steps required to fabricate a magnetic mirror have been demonstrated. The modification is to apply a bias voltage to the dielectric layer so as to change the index of refraction and modify the phase of the reflected radiation. Light is reflected off the device and collected by a phase-sensing interferometer. The interferometer determines the initial wavefront of the device and fore optics. A wavefront correction is calculated, and voltage profile for each nanowire strip is determined. The voltage is applied, modifying the local index of refraction of the dielectric under the nanowire strip. This modifies the phase of the reflected light to allow wavefront correction.

Hagopian, John↗
NASA NTRSDate not supplied

Spaceborne Passive-Microwave and Visible/IR Observations of Severe Weather: Leveraging Multiple Perspectives for Detection, Validation, and Climatologies

Severe weather phenomena not only are responsible for damages to property, infrastructure, and agriculture, they are also difficult to measure in-situ and have been associated with large errors and uncertainties in precipitation estimation that pose challenges to establishing the current climatology of severe storms and their future trend in a changing Earth system. Severe convection exhibits distinct signatures in remote-sensing datasets, where it is manifested as textured or overshooting cloud tops in visible/IR imagery, or resulting a prominent brightness temperature depression in passive-microwave imagery. These distinct deep convective signatures in spaceborne datasets have been leveraged to analyze severe thunderstorms, create climatologies, improve prediction, and provide a method of detection around the globe where traditional ground-based data may be inconsistent or unavailable. Visible/IR and passive-microwave instruments are powerful tools for detecting severe thunderstorms, however, these datasets exhibit key limitations when examined individually: passive-microwave channels have large footprint and exhibit non-uniform beam filling. The visible/IR instruments have fine horizontal resolution but are limited by their insensitivity to processes occurring below cloud top. We investigate the nearly simultaneous and colocated MODIS (visible/IR) and AMSR-E (passive-microwave) onboard the Aqua satellite to leverage both datasets together and assess the extent to which these datasets can be combined to improve severe thunderstorm detection. We pair passive microwave, IR, and visible signatures of severe convection with ground-based weather radar, severe weather reports, and environmental parameters defined by the MERRA-2 reanalysis to characterize potentially severe convective storms observed by Aqua MODIS and AMSR-E. We will discuss how MODIS and AMSR-E signatures may be used together to diagnose storm properties and processes, and how the interrelationships between the signatures varies seasonally and geographically.

Sarah D. Bang↗
NASA NTRS1995

Equalization and detection for digital communication over nonlinear bandlimited satellite communication channels

This dissertation evaluates receiver-based methods for mitigating the effects due to nonlinear bandlimited signal distortion present in high data rate satellite channels. The effects of the nonlinear bandlimited distortion is illustrated for digitally modulated signals. A lucid development of the low-pass Volterra discrete time model for a nonlinear communication channel is presented. In addition, finite-state machine models are explicitly developed for a nonlinear bandlimited satellite channel. A nonlinear fixed equalizer based on Volterra series has previously been studied for compensation of noiseless signal distortion due to a nonlinear satellite channel. This dissertation studies adaptive Volterra equalizers on a downlink-limited nonlinear bandlimited satellite channel. We employ as figure of merits performance in the mean-square error and probability of error senses. In addition, a receiver consisting of a fractionally-spaced equalizer (FSE) followed by a Volterra equalizer (FSE-Volterra) is found to give improvement beyond that gained by the Volterra equalizer. Significant probability of error performance improvement is found for multilevel modulation schemes. Also, it is found that probability of error improvement is more significant for modulation schemes, constant amplitude and multilevel, which require higher signal to noise ratios (i.e., higher modulation orders) for reliable operation. The maximum likelihood sequence detection (MLSD) receiver for a nonlinear satellite channel, a bank of matched filters followed by a Viterbi detector, serves as a probability of error lower bound for the Volterra and FSE-Volterra equalizers. However, this receiver has not been evaluated for a specific satellite channel. In this work, an MLSD receiver is evaluated for a specific downlink-limited satellite channel. Because of the bank of matched filters, the MLSD receiver may be high in complexity. Consequently, the probability of error performance of a more practical suboptimal MLSD receiver, requiring only a single receive filter, is evaluated.

Gutierrez, Alberto, Jr.↗
DOE OSTI2021

HAIMOS Ensemble Forecasts for Intra-day and Day- Ahead GHI, DNI and Ramps

The objective of this research is to develop a hybrid physics-based/data-driven forecast model to improve direct normal and global horizontal irradiance (DNI and GHI) prediction for horizons ranging from 1 to 72 hours. Project objectives also address key gaps in state-of-the-art solar forecasting: accurate probabilistic solar forecasts and the forecasting of large irradiance ramps (ramp onset and magnitude). The proposed model ensembles Numerical Weather Prediction (NWP) forecasts, determinist physics-based algorithms, and new-generation cloud cover products (high-resolution rapid refresh satellite images and Large Eddy Simulations). The result is the Hybrid Adaptive Input Model Objective Selection (HAIMOS) ensemble model. HAIMOS blends state of the art machine learning methodologies with physics-based models for cloud cover and cloud optical depth forecasts. The technical activities followed a two-pronged strategy. First, the preprocessing of data, the selection of inputs to the nonlinear approximators, the type of approximator and objective functions, and post-processing ensembling techniques included in HAIMOS were all optimized adaptively to find the best model for a specific goal (reduce DNI/GHI forecast error, improve the prediction of ramp onset, etc.). Second, a large effort was put in improving cloud identification and the forecast of cloud cover and cloud optical depth. To this end, new-generation cloud parametrization products were developed in this work. These include improved algorithms to assist in cloud identification, cloud classification and cloud parametrization from satellite images – three key factors in the accuracy of 1 to 6-hours irradiance forecasts and prediction of ramp onset. Furthermore, we also included cloud information extracted from high resolution rapid refresh satellite images (GOES-16) and Large Eddy Simulations (LES). LES was used to model the atmosphere in detail over locations of interest and produce cloud optical depth forecasts. Once these data streams were validated, they were used as input data to the HAIMOS forecast. The model was developed using data from several climatologically distinct locations with potential for high solar penetration. In the last year of the project, we conducted a validation campaign according to the guidelines stipulated by the Topic Area 1 project as described in the FOA. This effort brings, for the first time, proven machine-learning methodologies for generating state-of-the-art solar forecasts interweaved with detailed physics-based models for cloud detection, and cloud optical depth forecasts. HAIMOS will generate accurate irradiance probabilistic forecast to assist in reducing solar generation prediction error. Globally optimized solar forecast models are more likely to impact solar energy stakeholders. The goal of this project was to increase the state-of-the-art forecast skill from their present values of 10 to 35%. At the end of the project, we achieved between 30% and 50% forecast skill across a wide range of horizons for both GHI and DNI.

14 SOLAR ENERGY↗
NASA NTRS2016

Aircraft Fault Detection Using Real-Time Frequency Response Estimation

A real-time method for estimating time-varying aircraft frequency responses from input and output measurements was demonstrated. The Bat-4 subscale airplane was used with NASA Langley Research Center's AirSTAR unmanned aerial flight test facility to conduct flight tests and collect data for dynamic modeling. Orthogonal phase-optimized multisine inputs, summed with pilot stick and pedal inputs, were used to excite the responses. The aircraft was tested in its normal configuration and with emulated failures, which included a stuck left ruddervator and an increased command path latency. No prior knowledge of a dynamic model was used or available for the estimation. The longitudinal short period dynamics were investigated in this work. Time-varying frequency responses and stability margins were tracked well using a 20 second sliding window of data, as compared to a post-flight analysis using output error parameter estimation and a low-order equivalent system model. This method could be used in a real-time fault detection system, or for other applications of dynamic modeling such as real-time verification of stability margins during envelope expansion tests.

Grauer, Jared A.↗
NASA NTRS2000

Comparison of Pilots' Situational Awareness While Monitoring Autoland Approaches Using Conventional and Advanced Flight Display Formats

A simulation experiment was performed to assess situation awareness (SA) and workload of pilots while monitoring simulated autoland operations in Instrument Meteorological Conditions with three advanced display concepts: two enhanced electronic flight information system (EFIS)-type display concepts and one totally synthetic, integrated pictorial display concept. Each concept incorporated sensor-derived wireframe runway and iconic depictions of sensor-detected traffic in different locations on the display media. Various scenarios, involving conflicting traffic situation assessments, main display failures, and navigation/autopilot system errors, were used to assess the pilots' SA and workload during autoland approaches with the display concepts. From the results, for each scenario, the integrated pictorial display concept provided the pilots with statistically equivalent or substantially improved SA over the other display concepts. In addition to increased SA, subjective rankings indicated that the pictorial concept offered reductions in overall pilot workload (in both mean ranking and spread) over the two enhanced EFIS-type display concepts. Out of the display concepts flown, the pilots ranked the pictorial concept as the display that was easiest to use to maintain situational awareness, to monitor an autoland approach, to interpret information from the runway and obstacle detecting sensor systems, and to make the decision to go around.

Kramer, Lynda J.↗
NASA NTRS2011

Michigan Orbital DEbris Survey Telescope Observations of the Geosynchronous Orbital Debris Environment. Observing Years: 2007-2009

NASA uses the Michigan Orbital DEbris Survey Telescope (MODEST), the University of Michigan's 0.61-m aperture Curtis-Schmidt telescope at the Cerro Tololo Inter-American Observatory in Chile, to help characterize the debris environment in geosynchronous orbit; this began in February 2001 and continues to the present day. Detected objects that are found to be on the U.S. Space Surveillance Network cataloged objects list are termed correlated targets (CTs), while those not found on the list are called uncorrelated targets (UCTs). This Johnson Space Center report provides details of observational and data-reduction processes for the entire MODEST dataset acquired in calendar years (CYs) 2007, 2008, and 2009. Specifically, this report describes the collection and analysis of 36 nights of data collected in CY 2007, 43 nights of data collected in CY 2008, and 43 nights of data collected in CY 2009. MODEST is equipped with a 2048 x 2048-pixel charged coupled device camera with a 1.3 by 1.3 deg field of view. This system is capable of detecting objects fainter than 18th magnitude (R filter) using a 5-s integration. This corresponds to a 20-cm diameter, 0.175-albedo object at 36,000 km altitude assuming a diffuse Lambertian phase function. The average number of detections each night over all 3 years was 26. The percentage of this number that represented the UCT population ranged from 34% to 18%, depending on the observing strategy and the field center location. Due to the short orbital arc over which observations are made, the eccentricity of the object s orbit is extremely difficult to measure accurately. Therefore, a circular orbit was assumed when calculating the orbital elements. A comparison of the measured inclination (INC), right ascension of ascending node (RAAN), and mean motion to the quantities for CTs from the U.S. Space Surveillance Network shows acceptable errors. This analysis lends credibility to the determination of the UCT orbital distributions. Figure 1 shows the size distribution of 3,143 objects detected in the data processed for CYs 2007, 2008, and 2009. The actual peak of the absolute magnitude distribution for the functional correlated targets is 10th magnitude, whereas the peak was 11th magnitude in 2002 2003 and 10th magnitude for 2004-2006. An absolute magnitude of 10.5 corresponds to objects with average diameters of 6.3 m, assuming an albedo of 0.175 and a diffuse Lambertian phase function. This result generally agrees with the known sizes of intact satellites. The absolute magnitude distribution for the UCTs is broad, but starts to roll off near 25 cm diameter or 17.5 magnitude. This roll off in the distribution reflects the detection capability of MODEST, not the true nature of the population. The true population is believed to continue at the same slope through fainter magnitudes based on comparisons with the LEO break-up law.

Abercromby, K. J.↗
NASA NTRS2013

Studies in Astronomical Time Series Analysis. VI. Bayesian Block Representations

This paper addresses the problem of detecting and characterizing local variability in time series and other forms of sequential data. The goal is to identify and characterize statistically significant variations, at the same time suppressing the inevitable corrupting observational errors. We present a simple nonparametric modeling technique and an algorithm implementing it-an improved and generalized version of Bayesian Blocks [Scargle 1998]-that finds the optimal segmentation of the data in the observation interval. The structure of the algorithm allows it to be used in either a real-time trigger mode, or a retrospective mode. Maximum likelihood or marginal posterior functions to measure model fitness are presented for events, binned counts, and measurements at arbitrary times with known error distributions. Problems addressed include those connected with data gaps, variable exposure, extension to piece- wise linear and piecewise exponential representations, multivariate time series data, analysis of variance, data on the circle, other data modes, and dispersed data. Simulations provide evidence that the detection efficiency for weak signals is close to a theoretical asymptotic limit derived by [Arias-Castro, Donoho and Huo 2003]. In the spirit of Reproducible Research [Donoho et al. (2008)] all of the code and data necessary to reproduce all of the figures in this paper are included as auxiliary material.

signal detection↗
DOE OSTI2024

Energetic and Spectroscopic Properties of Astrophysically Relevant MgC 4 H Radicals Using High-Level Ab Initio Calculations

Considering the importance of magnesium-bearing hydrocarbon molecules (MgC n H; n = 2, 4, and 6) in the carbon-rich circumstellar envelopes (e.g., IRC+10216), a total of 28 constitutional isomers of MgC 4 H have been theoretically investigated using density functional theory (DFT) and coupled-cluster methods. The zero-point vibrational energy corrected relative energies at the ROCCSD(T)/cc-pCVTZ level of theory reveal that the linear isomer, 1-magnesapent-2,4-diyn-1-yl (1, 2 Σ + ), is the global minimum geometry on the MgC 4 H potential energy surface. The latter has been detected both in the laboratory and in the evolved carbon star, IRC+10216. The calculated spectroscopic data for 1 match well with the experimental observations (error ~ 0.78%) which validates our theoretical methodology. Plausible isomerization processes happening among different isomers are examined using DFT and coupled-cluster methods. CASPT2 calculations have been performed for a few isomers exhibiting multireference characteristics. The second most stable isomer, 1-ethynyl-1λ 3 -magnesacycloprop-2-ene-2,3-diyl (2, 2 A 1 , μ = 2.54 D), is 146 kJ mol –1 higher in energy than 1 and possibly the next promising candidate to be detected in the laboratory or in the interstellar medium in future.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2021

A Synoptic VLBI Technique for Localizing Nonrepeating Fast Radio Bursts with CHIME/FRB

We demonstrate the blind interferometric detection and localization of two fast radio bursts (FRBs) with subarcminute precision on the 400 m baseline between the Canadian Hydrogen Intensity Mapping Experiment (CHIME) and the CHIME Pathfinder. In the same spirit as Very Long Baseline Interferometry (VLBI), the telescopes were synchronized to separate clocks, and the channelized voltage (herein referred to as baseband) data were saved to a disk with correlation performed offline. The simultaneous wide field of view and high sensitivity required for blind FRB searches implies a high data rate—6.5 terabits per second (Tb/s) for CHIME and 0.8 Tb s{sup −1} for the Pathfinder. Since such high data rates cannot be continuously saved, we buffer data from both telescopes locally in memory for ≈40 s, and write to the disk upon receipt of a low-latency trigger from the CHIME Fast Radio Burst Instrument (CHIME/FRB). The ≈200 deg{sup 2} field of view of the two telescopes allows us to use in-field calibrators to synchronize the two telescopes without needing either separate calibrator observations or an atomic timing standard. In addition to our FRB observations, we analyze bright single pulses from the pulsars B0329+54 and B0355+54 to characterize systematic localization errors. Our results demonstrate the successful implementation of key software, triggering, and calibration challenges for CHIME/FRB Outriggers: cylindrical VLBI outrigger telescopes which, along with the CHIME telescope, will localize thousands of single FRB events with sufficient precision to unambiguously associate a host galaxy with each burst.

47 OTHER INSTRUMENTATION↗
NASA NTRS1991

Syntactic error modeling and scoring normalization in speech recognition: Error modeling and scoring normalization in the speech recognition task for adult literacy training

The purpose was to develop a speech recognition system to be able to detect speech which is pronounced incorrectly, given that the text of the spoken speech is known to the recognizer. Better mechanisms are provided for using speech recognition in a literacy tutor application. Using a combination of scoring normalization techniques and cheater-mode decoding, a reasonable acceptance/rejection threshold was provided. In continuous speech, the system was tested to be able to provide above 80 pct. correct acceptance of words, while correctly rejecting over 80 pct. of incorrectly pronounced words.

Olorenshaw, Lex↗
NASA NTRS2007

Algorithm-Based Fault Tolerance for Numerical Subroutines

A software library implements a new methodology of detecting faults in numerical subroutines, thus enabling application programs that contain the subroutines to recover transparently from single-event upsets. The software library in question is fault-detecting middleware that is wrapped around the numericalsubroutines. Conventional serial versions (based on LAPACK and FFTW) and a parallel version (based on ScaLAPACK) exist. The source code of the application program that contains the numerical subroutines is not modified, and the middleware is transparent to the user. The methodology used is a type of algorithm- based fault tolerance (ABFT). In ABFT, a checksum is computed before a computation and compared with the checksum of the computational result; an error is declared if the difference between the checksums exceeds some threshold. Novel normalization methods are used in the checksum comparison to ensure correct fault detections independent of algorithm inputs. In tests of this software reported in the peer-reviewed literature, this library was shown to enable detection of 99.9 percent of significant faults while generating no false alarms.

Tumon, Michael↗