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,621 records · Page 90

Distortions in memory for visual displays

Systematic errors in perception and memory present a challenge to theories of perception and memory and to applied psychologists interested in overcoming them as well. A number of systematic errors in memory for maps and graphs are reviewed, and they are accounted for by an analysis of the perceptual processing presumed to occur in comprehension of maps and graphs. Visual stimuli, like verbal stimuli, are organized in comprehension and memory. For visual stimuli, the organization is a consequence of perceptual processing, which is bottom-up or data-driven in its earlier stages, but top-down and affected by conceptual knowledge later on. Segregation of figure from ground is an early process, and figure recognition later; for both, symmetry is a rapidly detected and ecologically valid cue. Once isolated, figures are organized relative to one another and relative to a frame of reference. Both perceptual (e.g., salience) and conceptual factors (e.g., significance) seem likely to affect selection of a reference frame. Consistent with the analysis, subjects perceived and remembered curves in graphs and rivers in maps as more symmetric than they actually were. Symmetry, useful for detecting and recognizing figures, distorts map and graph figures alike. Top-down processes also seem to operate in that calling attention to the symmetry vs. asymmetry of a slightly asymmetric curve yielded memory errors in the direction of the description. Conceptual frame of reference effects were demonstrated in memory for lines embedded in graphs. In earlier work, the orientation of map figures was distorted in memory toward horizontal or vertical. In recent work, graph lines, but not map lines, were remembered as closer to an imaginary 45 deg line than they had been. Reference frames are determined by both perceptual and conceptual factors, leading to selection of the canonical axes as a reference frame in maps, but selection of the imaginary 45 deg as a reference frame in graphs.

Tversky, Barbara↗

GraphCH: A Deep Framework for Assessing Cyber-Human Aspects in Insider Threat Detection

Insider threat is one of the most damaging cyber attacks that could cause the loss of intellectual property and enterprise data security breaches. Action sequence data such as host logs are used to investigate such threats and develop anomaly-based AI detectors. However, insider threat actions are similar to legitimate user activities, causing AI detectors to fail and suffer from high false alarm rates. Therefore, user cyber activity logs are inadequate to fully unfold insider threats. In this study, we adopt human psychological principles of risk-taking and impulsiveness along with host data to assess the influence and usefulness of human behavioral aspects in insider threat detection. Here, we hypothesize that individuals' impulsive and risk-taking behavior correlates with cyberspace activities. To validate our hypothesis, we conducted an IRB-approved study recruiting 35 participants who work in a large U.S. university and collected their cyber and psychological data for 90 days. Host and human-behavioral data analysis and mapping indicate that impulsive and risk-taking users trigger more system errors causing (un)intentional insider threats and are susceptible to attackers' social engineering and cognitive hacking. Utilizing cyber-human aspects, we introduce a Cyber-Human Graph Neural Network (GNN) based framework GraphCH to identify abnormal user behaviors and detect insider threats.

97 MATHEMATICS AND COMPUTING↗

Design, Detection, and Countermeasure of Frequency Spectrum Attack and Its Impact on Long Short-Term Memory Load Forecasting and Microgrid Energy Management

This paper introduces a frequency-domain false data injection attack called Frequency Spectrum Attack (FSA) and explores its effects on load forecasting and the energy management system (EMS) in a microgrid. The FSA analyzes time-series signals in the frequency domain to identify patterns in their frequency spectrum. It learns the distribution of dominant frequencies in a dataset of healthy signals. Subsequently, it manipulates the amplitudes of dominant frequencies within this healthy distribution, ensuring a stealthy attack against statistical analysis of the signal spectrum. We evaluated the performance of FSA on LSTM, a state-of-the-art network for load forecasting. The results show that FSA can triple the Mean Absolute Error (MAE) of predictions compared to the normal case and increase it by 70% compared to noise injection attacks. Furthermore, FSA indirectly enhances battery utilization in the EMS by 45%. We then proposed a detection method that combines statistical analysis and machine-learning-based classification techniques with features. The model effectively distinguishes FSA from healthy and noisy signals, achieving an accuracy of 98.7% and an F1-score of 98.1% on a load dataset, covering healthy, FSA, and noisy load data. Finally, a countermeasure was introduced based on the statistical analysis of the frequency spectrum of healthy signals to mitigate the impact of FSA. This countermeasure successfully reduces the MAE of the attacked model from 0.135 to 0.053, validating its effectiveness in mitigating FSA.

Nazeri, Amirhossein↗

EXPRES. I. HD 3651 as an Ideal RV Benchmark

The next generation of exoplanet-hunting spectrographs should deliver up to an order of magnitude improvement in radial velocity (RV) precision over the standard 1 m s{sup −1} state-of-the-art spectrographs. This advance is critical for enabling the detection of Earth-mass planets around Sun-like stars. New calibration techniques such as laser frequency combs and stabilized etalons ensure that the instrumental stability is well characterized. However, additional sources of error include stellar noise, undetected short-period planets, and telluric contamination. To understand and ultimately mitigate error sources, the contributing terms in the error budget must be isolated to the greatest extent possible. Here, we introduce a new high-cadence RV program, the Extreme Precision Spectrograph (EXPRES) 100 Earths Survey, which aims to identify rocky planets around bright, nearby G and K dwarfs. We also present a benchmark case: the 62 day orbit of a Saturn-mass planet orbiting the chromospherically quiet star, HD 3651. The combination of high eccentricity (0.6) and a moderately long orbital period ensures significant dynamical clearing of any inner planets. Our Keplerian model for this planetary orbit has a residual rms of 58 cm s{sup −1} over a ∼6 month time baseline. By eliminating significant contributors to the RV error budget, HD 3651 serves as a standard for evaluating the long-term precision of extreme precision RV programs.

79 ASTRONOMY AND ASTROPHYSICS↗

Building Lunar Maps for Terrain Relative Navigation and Hazard Detection Applications

Terrain Relative Navigation (TRN) systems localize a spacecraft with respect to a map of the surface by comparing descent imagery to that reference map. The spacecraft position estimates can only be as accurate as the reference map itself. Accurate map products that are based on orbital reconnaissance data must be validated for navigation applications to ensure that all relevant error sources are minimized. Currently available map products have been generated for scientific applications, so the need for accurate TRN maps remains a gap to be filled for upcoming lunar lander missions, in particular missions to the South Pole region. Additionally, representative high-resolution maps that contain lander-scale features are needed for successful development and testing of Hazard Detection (HD) systems. This paper describes one of NASA’s current efforts to develop benchmark data sets that can be used for developing and testing TRN and HD algorithms as well as suggested processes and metrics for generating and validating lunar maps that can be used for navigation and hazard detection.

Lunar Maps↗

Wilkinson Microwave Anisotropy Probe (WMAP) First Year Observations: TE Polarization

The Wilkinson Microwave Anisotropy Probe (WMAP) has mapped the full sky in Stokes I, Q, and U parameters at frequencies 23, 33, 41, 61, and 94 GHz. We detect correlations between the temperature and polarization maps significant at more than 10 standard deviations. The correlations are inconsistent with instrument noise and are significantly larger than the upper limits established for potential systematic errors. The correlations are present in all WAMP frequency bands with similar amplitude from 23 to 94 GHz, and are consistent with a superposition of a CMB signal with a weak foreground. The fitted CMB component is robust against different data combinations and fitting techniques. On small angular scales (theta less than 5 deg), the WMAP data show the temperature-polarization correlation expected from adiabatic perturbations in the temperature power spectrum. The data for l greater than 20 agree well with the signal predicted solely from the temperature power spectra, with no additional free parameters. We detect excess power on large angular scales (theta greater than 10 deg) compared to predictions based on the temperature power spectra alone. The excess power is well described by reionization at redshift 11 is less than z(sub r) is less than 30 at 95% confidence, depending on the ionization history. A model-independent fit to reionization optical depth yields results consistent with the best-fit ACDM model, with best fit value t = 0.17 +/- 0.04 at 68% confidence, including systematic and foreground uncertainties. This value is larger than expected given the detection of a Gunn-Peterson trough in the absorption spectra of distant quasars, and implies that the universe has a complex ionization history: WMAP has detected the signal from an early epoch of reionization.

Kogut, A.↗

Dark Energy Survey Year 6 results: cell-based coadds and METADETECTION weak lensing shape catalogue

We present the metadetection weak lensing galaxy shape catalogue from the 6-yr Dark Energy Survey (DES Y6) imaging data. This data set is the final release from DES, spanning 4422 deg 2 of the southern sky. We describe how the catalogue was constructed, including the two new major processing steps, cell-based image coaddition, and shear measurements with metadetection. The DES Y6 M etadetection weak lensing shape catalogue consists of 151 922 791 galaxies detected over riz bands, with an effective number density of n eff = 8.22 galaxies per arcmin 2 and shape noise of σ e = 0.29. We carry out a suite of validation tests on the catalogue, including testing for point spread function (PSF) leakage, testing for the impact of PSF modelling errors, and testing the correlation of the shear measurements with galaxy, PSF, and survey properties. In addition to demonstrating that our catalogue is robust for weak lensing science, we use the DES Y6 image simulation suite to estimate the overall multiplicative shear bias of our shear measurement pipeline. We find no detectable multiplicative bias at the roughly half-per cent level, with m = (3.4 ± 6.1) x 10 –3 , at 3σ uncertainty. This is the first time both cell-based coaddition and Metadetection algorithms are applied to observational data, paving the way to the Stage-IV weak lensing surveys.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Evaluating Radiation Impact on Superconducting Transmon Qubits in Above and Underground Facilities

Superconducting qubits can be sensitive to sudden energy deposits into the substrate from cosmic rays and ambient radioactivity. While previous studies have primarily focused on exploring correlated effects over time and distance due to cosmic rays, this study uniquely offers a direct comparison of a transmon qubit's response at Fermilab SQMS above-ground facilities and the deep-underground Gran Sasso Laboratory (INFN-LNGS, Italy). Despite the vastly different radiation environments, we observe a similar average qubit lifetime (T1) of approximately 80 microseconds at both sites. We then employ a fast decay detection protocol and investigate the time structure, sensitivity, and relative rates of triggered events due to radiation versus intrinsic noise. We compare the above and underground performance of several high-coherence qubits with similar designs. Our findings reveal no significant difference in events with radiation-like signatures between above-ground and underground conditions for these sapphire and niobium-based transmon qubits. This suggests that most such events are likely due to other noise sources, which predominantly contribute to single-qubit errors in contemporary transmon qubits. By exposing the qubits to gamma sources with varying activity levels, we further evaluate their response to radiation in a low-background environment. The results show that qubits can indeed detect particle impacts; however, this capability is only realized by substantially reducing other noise sources, which in turn affects detection efficiency [1].

Roy, Tanay↗

A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts

The NASA DAIDALUS library provides formal definitions for Detect-and-Avoid avionics concepts such as when an aircraft is well-clear with respect to the surrounding air traffic, i.e., it does not operate in such proximity to create a collision hazard. While several properties are proven correct for DAIDALUS assuming ideal real number arithmetic, an actual implementation that uses floating-point numbers may behave unexpectedly because of round-off errors and run-time exceptions. This paper presents an experience report on the application of a formal methods toolchain to extract and verify floating-point C code from a real-valued specification of the well-clear module of DAIDALUS. This toolchain comprises the PVS theorem prover, the PRECiSA floating-point analyzer and code generator, and the Frama-C analysis suite. The generated code is automatically instrumented to detect when the control flow of the floating-point program may diverge from the ideal real number specification, and it is annotated with contracts that state the maximum accumulated round-off error. The absence of overflows is also formally verified for the generated code. In order to apply the toolchain to an industrial case study such as DAIDALUS, a formally verified pre-processing of the input specification is performed, which includes a program slicing and several semantic-preserving simplifications.

Program verification↗

WMAP Detection of Early Reionization

The Wilkinson Microwave Anisotropy Probe (WMAP) has mapped the full sky in Stokes I, Q, and U parameters at frequencies 23, 33, 41, 61, and 94 GHz. We detect correlations between the temperature and polarization maps significant at more than 10 standard deviations. The correlations are inconsistent with instrument noise and are significantly larger than the upper limits established for potential systenatic errors. The correlations are present in all WMAP frequency bands with similar amplitude from 23 to 94 GHz, and are consistent with a superposition of a CMB signal with a weak foreground. The fitted CMB component is robust against different data combinations and fitting techniques. On small angular scales the WMAP data show the temperature-polarization correlation expected from adiabatic density perturbations. The data for $\ell > 20$ agree well with the signal predicted solely from the temperature power spectra, with no additional free parameters. The existence of correlations on super-horizon scales provides significant support for inflationary cosmologies. We detect excess power on large angular scales compared to predictions based on the temperature power spectra alone. The excess power is well described by reionization at redshift $11 < z < 30$ at 95\% confidence. A model-independent fit to reionization optical depth yields results consistent with the best-fit $\Lambda$CDM model, with best fit value $\tau = 0.17 \pm 0.04$ at 68\% confidence, including systematic and foreground uncertainties. This value is larger than expected given the detection of a Gunn-Peterson trough in the absorption spectra of distant quasars, and implies that the universe has a complex ionization history. I will discuss the WMAP data and its implications for reionization in the early universe.

Kogut, A.↗

WMAP Detection of Early Reionization

The Wilkinson Microwave Anisotropy Probe (WMAP) has mapped the full sky in Stokes I, Q, and U parameters at frequencies 23, 33, 41, 61, and 94 GHz. We detect correlations between the temperature and polarization maps significant at more than 10 standard deviations. The correlations are inconsistent with instrument noise and are significantly larger than the upper limits established for potential systematic errors. The correlations are present in all WMAP frequency bands with similar amplitude from 23 to 94 GHz, and are consistent with a superposition of a CMB signal with a weak foreground. The fitted CMB component is robust against different data combinations and fitting techniques. On small angular scales the WMAP data show the temperature-polarization correlation expected from adiabatic density perturbations. The data for $\ell > 20$ agree well with the signal predicted solely from the temperature power spectra, with no additional free parameters. The existence of correlations on super-horizon scales provides significant support for inflationary cosmologies. We detect excess power on large angular scales compared to predictions based on the temperature power spectra alone. The excess power is well described by reionization at redshift $11 < z < 30$ at 95\% confidence. A model-independent fit to reionization optical depth yields results consistent with the best-fit $\Lambda$CDM model, with best fit value $\tau = 0.17 \pm 0.04$ at 68\% confidence, including systematic and foreground uncertainties. This trough in the absorption spectra of distant quasars, and implies that the universe has a complex ionization history. I will discuss the WMAP data and its implications for reionization in the early universe.

Kogut, A.↗

A considerable effect of stratospheric aerosol on lidar-detected ozone profile and a three-wavelength inversion technique for both ozone and aerosol

As far as the Differential Absorption Lidar (DIAL) technique is concerned, it is important that the off-line wavelength is close to the on-line wavelength in order to avoid a messy computation of the atmospheric aerosol scattering. However, the two wavelengths of ozone-DIAL are usually considerably different. Usually, an excimer laser of 308nm (on-line) and Raman shifting of 353nm or the third harmonic of a Nd-YAG laser with 355nm (off-line) are selected for measurements of the stratospheric ozone, and there is a difference of 45nm or 47nm between them. Because of the difference there is a difference in the atmospheric scatterings of the two wavelengths. This can cause some error in the retrieved ozone profile if the aerosol scattering is neglected. This paper is devoted to a study of the effect of the stratospheric aerosol on the ozone solution, and a three-wavelength detection technique is proposed for obtaining the more exact ozone profile and the aerosol profile in the stratosphere.

Qiu, Jinhuan↗

Automatic Generation of Guard-Stable Floating-Point Code

In floating-point programs, test instability occurs when the control flow of a conditional statement diverges from its ideal execution under real arithmetic. This phenomenon is caused by the presence of round-off errors in floating-point computations. Writing programs that correctly handle test instability often require expertise on finite precision computations and rounding errors. This paper presents a fully automatic tool chain that generates and formally verifies a test-stable floating-point C program from its functional specification in real arithmetic. The generated program is instrumented to soundly detect when unstable tests may occur and, in these cases, to issue a warning. The proposed approach combines the PRECiSA floating-point static analyzer, the Frama-C software verification suite, and the PVS theorem prover.

Floating-Point Arithmetic↗

Field Deployable Mirror Soiling Detection Based on Polarimetric Imaging

Heliostat mirror soiling is one of the significant factors for reduced optical efficiency of Concentrated Solar Power (CSP) fields. However, it remains challenging to determine the mirror soiling patterns across the large area of the CSP field. Here we propose a fast and field deployable inspection method to measure the heliostat mirror soiling levels based on polarization images in regular daylight settings without additional light sources. Under sunny and clear sky conditions, we have demonstrated accurate measurement of reflection efficiency (error ~1%) for mirrors with different soiling levels.

14 SOLAR ENERGY↗

Holistic Measurement Driven Resilience: Combining Operational Fault and Failure Measurements and Fault Injection for Quantifying Fault Detection, Propagation and Impact. Final report

For HPC systems to date, application resilience to faults and failures has been accomplished by the brute- force method of checkpoint/restart, which allows an application to make forward progress in the face of system and application faults, errors, and failures independent of root cause or end result. It has remained the primary resilience mechanism because we lack a way to identify faults and anticipate consequences early enough to take meaningful mitigating action. However, checkpoint/restart implementations put a tremendous burden on system resources and on the applications themselves and is becoming less feasible at scale. Because we have not yet operated at scales at which checkpoint/restart fails to provide forward progress, despite increasing costs, vendors have had little motivation to provide the instrumentation necessary for early identification of faults and failures. However, as we move from petascale to exascale, component mean time to failure (MTTF) will render the existing techniques ineffectual and/or too expensive. Furthermore, fault recovery mechanisms such as failover and/or error correction introduce performance inconsistency. Instrumentation allowing early indication of problems and tools to enable use of such information by systems, operating systems, and applications offer an alternative, more scalable and less costly solution. In the HMDR project, we built on our experience and expertise developed and accumulated over years of research on design, monitoring, measurement, and assessment of resilient computing systems. Analysis of field data on the current and past generations of extreme-scale systems revealed several challenges that, if not addressed in increasingly larger and more complex systems, may hinder the effectiveness of future exascale computing systems. Specifically, i) file systems and interconnects in current-generation large-scale systems already operate at the margins of resiliency, including consistent performance, and may not scale to larger deployments; ii) automated, software-based failover mechanisms are frequently inadequate and can introduce wider failures, such that failures during recovery may lead to system/application failures, including system-wide outages; and iii) silent data corruption represents a critical fault mode and will require efficient detection mechanisms if next-generation applications are to take full advantage of exascale hardware. To address the above challenges, we assembled a team of world-renowned experts in resilient extreme- scale computing from the University of Illinois (Electrical and Computer Engineering, Computer Science, and NCSA), SNL, LANL, NERSC, and Cray. Our team includes representatives from centers that house many of the largest HPC resources in the world, both today and over the coming years. The team has a unique track record of research in i) system and application failure characterization based on the analysis of field data, ii) data-driven design of fault/error detection mechanisms, and iii) experimental characterization of system/application resiliency. The team includes system owners/operators who provide continuous data collection and access and ensure installation of appropriate analysis tools.

97 MATHEMATICS AND COMPUTING↗

An astrometric facility for planetary detection on the Space Station

The preliminary system definition study for an Astrometric Telescope Facility (ATF) designed for the Space Station IOC is discussed, and a strawman system is designed which is found to meet the requirements for extrasolar planetary systems search and study. The strawman facility design, with a prime-focus 1.25-m aperture telescope and an f ratio of 13, was selected to minimize random and systematic errors. A basic operations approach is identified, including the approach to launch, initial on-orbit assembly and checkout, normal operations, and the response to anomolous conditions or failures. The preliminary system is designed to be fail-safe and single-fault tolerant. Mission analysis indicates that the basic viewing required for planetary detection can be accomplished in about 2/3 of the total viewing time.

Nishioka, Kenji↗

A Preliminary Development of The Intelligent Change Detection System (ICDS): Using Machine Learning to Combat Change Blindness in Remote Operation Environments

The emergence of Advance Air Mobility (AAM) will increase the number and types of aerial vehicles operating in shared airspaces, which will subsequently affect the amount of actionable data that ground control station operators (GCSOs) will be expected to manage. In this environment, GCSOs are particularly susceptible to the visual perceptual phenomenon known as change blindness, in which a stimulus undergoes a change without the change being noticed by its observer. A machine agent designed to detect change blindness and mitigate the effects could improve human agent performance in a data-saturated remote operations environment. The objective of this paper is to describe a proof-of-concept system architecture that integrates real-time eye tracking and vehicle telemetry data to prevent human-agent errors resulting from change blindness while operating aircraft from a remote ground control station (GCS).

Real-Time Streaming Data Architecture↗

A Preliminary Development of The Intelligent Change Detection System (ICDS): Using Machine Learning to Combat Change Blindness in Remote Operation Environments

The emergence of Advance Air Mobility (AAM) will increase the number and types of aerial vehicles operating in shared airspaces, which will subsequently affect the amount of actionable data that ground control station operators (GCSOs) will be expected to manage. In this environment, GCSOs are particularly susceptible to the visual perceptual phenomenon known as change blindness, in which a stimulus undergoes a change without the change being noticed by its observer. A machine agent designed to detect change blindness and mitigate the effects could improve human agent performance in a data-saturated remote operations environment. The objective of this paper is to describe a proof-of-concept system architecture that integrates real-time eye tracking and vehicle telemetry data to prevent human-agent errors resulting from change blindness while operating aircraft from a remote ground control station (GCS).

Real-Time Streaming Data Architecture↗