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 631 records · Page 35

A Tutor That's Up to the Task

With assistance from NASA s Marshall Space Flight Center, a new breed of ITS for technical training and complex problem-solving has hit the market to provide students and trainees with the decision-making skills necessary to succeed to the next level. The Task Tutor Toolkit (T3), developed by Stottler Henke Associates, Inc., of San Mateo, California, is a generic tutoring system shell and scenario authoring tool that emulates expert instructors and lowers the cost and difficulty of creating scenario-based ITS for technical training. The functionality of Stottler Henke Associates T3 far exceeds that of traditional computer-based training systems, which test factual recall and narrow skills by prompting students to answer multiple-choice or fill-inthe- blank questions. The T3, on the contrary, lets students assess situations, generate solutions, make decisions, and carry out actions in realistically complex scenarios.At the beginning of each scenario, the T3 tutoring system presents a briefing that describes the situation and the goals the students should pursue. Each scenario contains a solution template that specifies a partially-ordered sequence of action patterns that match correct sequences of student actions. During each scenario, the built-in simulator notifies the tutoring system of each student action. The T3 uses this information to evaluate the student action by comparing it with the scenario s solution template and with error rules that detect incorrect actions.

Source record↗

(abstract) Formal Inspection Technology Transfer Program

A Formal Inspection Technology Transfer Program, based on the inspection process developed by Michael Fagan at IBM, has been developed at JPL. The goal of this program is to support organizations wishing to use Formal Inspections to improve the quality of software and system level engineering products. The Technology Transfer Program provides start-up materials and assistance to help organizations establish their own Formal Inspection program. The course materials and certified instructors associated with the Technology Transfer Program have proven to be effective in classes taught at other NASA centers as well as at JPL. Formal Inspections (NASA tailored Fagan Inspections) are a set of technical reviews whose objective is to increase quality and reduce the cost of software development by detecting and correcting errors early. A primary feature of inspections is the removal of engineering errors before they amplify into larger and more costly problems downstream in the development process. Note that the word 'inspection' is used differently in software than in a manufacturing context. A Formal Inspection is a front-end quality enhancement technique, rather than a task conducted just prior to product shipment for the purpose of sorting defective systems (manufacturing usage). Formal Inspections are supporting and in agreement with the 'total quality' approach being adopted by many NASA centers.

certified instructors Formal Inspections↗

Progress of Multi-Beam Long Trace-Profiler Development

The multi-beam long trace profiler (LTP) under development at NASA s Marshall Space Flight Center[1] is designed to increase the efficiency of metrology of replicated X-ray optics. The traditional LTP operates on a single laser beam that scans along the test surface to detect the slope errors. While capable of exceptional surface slope accuracy, the LTP single beam scanning has slow measuring speed. As metrology constitutes a significant fraction of the time spent in optics production, an increase in the efficiency of metrology helps in decreasing the cost of fabrication of the x-ray optics and in improving their quality. Metrology efficiency can be increased by replacing the single laser beam with multiple beams that can scan a section of the test surface at a single instance. The increase in speed with such a system would be almost proportional to the number of laser beams. A collaborative feasibility study has been made and specifications were fixed for a multi-beam long trace profiler. The progress made in the development of this metrology system is presented.

Gubarev, Mikhail↗

TPSAS-NF1676L-32967-DND

The Stratospheric Aerosol and Gas Experiment III (SAGE III) was delivered to the International Space Station (ISS) on 23 February 2017. The SAGE III payload was robotically installed on Ex-PRESS Logistics Carrier-4 (ELC-4) on the S3 Truss and began acquiring science measurements on 17 March 2017. The SAGE III telescope and instrument assembly employs the methods of solar occultation and lunar occultation to retrieve near-global vertical profiles of atmospheric ozone, water vapor, nitrogen dioxide, multiwavelength aerosol extinctions, and other gaseous species and atmospheric state parameters. The activities on the ISS contribute to a dynamic operational environment. The attitude changes, EVAs, and the arrival and departure of vehicles require continual consideration when operating. After operating for two years, the SAGE III payload has planned over 20,000 occultation events and acquired approximately 17,000. A significant number of the missed events were because of visiting vehicles blocking the field of view. Using instrument data from these blocked events, the SAGE III team has mapped the structure of the ISS from the perspective of the instrument. Error Correction and Detection (EDAC) methods are necessary to preserve the functionality of the instrument software. On SAGE III the Hexapod Electrical Unit (HEU), which controls the orientation of the telescope, reports whenever an EDAC occurs. By analyzing the EDAC messages in the HEU telemetry, information concerning the orbital environment of the ISS can be obtained. To be presented is a summary of operational considerations when working on ISS along with how instrument data can be used to map the structural and electromagnetic environment of ISS.

Andrew J Peterson↗

Segmented mirror coarse phasing with a dispersed fringe sensor: experiments on NGST's wavefront control testbed

A piston sensing and control algorithm for the segmented mirror coarse phasing using a dispersed fringe sensor (DFS) has been developed for Next Generation Space Telescope (NGST) wavefront sensing and control. The DFS can detect residual piston errors as large as order of a depth-of-focus and can phase the segment mirrors with an accuracy less than 0.1 micron, which is within the capture range of the fine phasing for NGST. A series of experiments has been carried out on the NGST's Wavefront Control Testbed (WCT) to validate the modeling results, evaluate the DFS performance, and systematically explore the factors that affect the DFS performance. This paper reports the testbed results for several critical issues of DFS performance, including DFS dynamic range, accuracy, fringe visibility, and the effects of segment mirror aberrations.

Space↗

Toward Autonomous Field Inspection of CSP Collectors With a Polarimetric Imaging Drone

We developed a polarimetric imaging drone to perform field inspections of heliostats and carried out field tests at Sandia’s National Solar Thermal Test Facility (NSTTF). The preliminary results show that Degree of Linear Polarization (DOLP) and Angle of Polarization (AOP) images greatly enhanced the edge detection results compared with the conventional visible images, supporting fast and accurate detection of heliostat mirror edges and cracks. The system holds the promise to enable future automated detection of heliostats optical errors and mirror defects.

14 SOLAR ENERGY↗

Hexagonal multiple phase-and-amplitude-shift-keyed signal sets

Selection of a particular signal set array for a bandwidth-constrained multiple phase-and-amplitude-shift-keyed (MPASK) communication system for a linear additive Gaussian noise channel requires consideration of factors such as average and/or peak power vs symbol error probability, signal amplitude dynamic range, simplicity of generation and detection, and number of bit errors per symbol error (Gray code properties). A simple technique is presented for generating and optimally detecting the honeycomb (hexagonal) signal set, i.e., the signal set that has the tightest sphere-packing properties. The symbol and bit error probability performance of this set is compared to other two-dimensional signal sets that have been investigated in the literature, and is shown to be slightly superior from an average power standpoint. The paper concludes with a comparison of all of these signal sets from the standpoint of the factors listed above.

Simon, M. K.↗

Quantum computer-enabled receivers for optical communication

Abstract Optical communication is the standard for high-bandwidth information transfer in today’s digital age. The increasing demand for bandwidth has led to the maturation of coherent transceivers that use phase- and amplitude-modulated optical signals to encode more bits of information per transmitted pulse. Such encoding schemes achieve higher information density, but also require more complicated receivers to discriminate the signaling states. In fact, achieving the ultimate limit of optical communication capacity, especially in the low light regime, requires coherent joint detection of multiple pulses. Despite their superiority, such joint detection receivers are not in widespread use because of the difficulty of constructing them in the optical domain. In this work we describe how optomechanical transduction of phase information from coherent optical pulses to superconducting qubit states followed by the execution of trained short-depth variational quantum circuits can perform joint detection of communication codewords with error probabilities that surpass all classical, individual pulse detection receivers. Importantly, we utilize a model of optomechanical transduction that captures non-idealities such as thermal noise and loss in order to understand the transduction performance necessary to achieve a quantum advantage with such a scheme. We also execute the trained variational circuits on an IBM-Q device with the modeled transduced states as input to demonstrate that a quantum advantage is possible even with current levels of quantum computing hardware noise.

97 MATHEMATICS AND COMPUTING↗

Use of interactive graphics to analyze QUICK-geometry

The QUICK InterActive Graphics Analysis (QUIAGA) program and its advantages for displaying aircraft QUICK-geometry to aid in detection and analysis of errors are described. The QUICK-geometry system generates a completely analytical aircraft geometry description for use by finite-difference flow codes. The QUIAGA program was developed to exercise the QUICK-geometry subroutines to examine the analytic definition of a configuration by plotting cross sections and body lines on a graphics terminal. A number of options are available, including multiple cross-section views, hidden-line removal, and display of control point locations. Use of these options for 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. The QUIAGA program has been used in developing a QUICK-geometry model of the NASA Space Shuttle Orbiter, and examples from this experience are given to show some of the program's features. Details of program usage and an example session are given in the appendixes.

Townsend, J. C.↗

Receiver design, performance analysis, and evaluation for space-borne laser altimeters and space-to-space laser ranging systems

Laser altimeters measure the time of flight of the laser pulses to determine the range of the target. The simplest altimeter receiver consists of a photodetector followed by a leading edge detector. A time interval unit (TIU) measures the time from the transmitted laser pulse to the leading edge of the received pulse as it crosses a preset threshold. However, the ranging error of this simple detection scheme depends on the received, pulse amplitude, pulse shape, and the threshold. In practice, the pulse shape and the amplitude are determined by the target target characteristics which has to be assumed unknown prior to the measurement. The ranging error can be improved if one also measures the pulse width and use the average of the leading and trailing edges (half pulse width) as the pulse arrival time. The ranging error becomes independent of the received pulse amplitude and the pulse width as long as the pulse shape is symmetric. The pulse width also gives the slope of the target. The ultimate detection scheme is to digitize the received waveform and calculate the centroid as the pulse arrival time. The centroid detection always gives unbiased measurement even for asymmetric pulses. In this report, we analyze the laser altimeter ranging errors for these three detection schemes using the Mars Orbital Laser Altimeter (MOLA) as an example.

Davidson, Frederic M.↗

Logic design for dynamic and interactive recovery.

Recovery in a fault-tolerant computer means the continuation of system operation with data integrity after an error occurs. This paper delineates two parallel concepts embodied in the hardware and software functions required for recovery; detection, diagnosis, and reconfiguration for hardware, data integrity, checkpointing, and restart for the software. The hardware relies on the recovery variable set, checking circuits, and diagnostics, and the software relies on the recovery information set, audit, and reconstruct routines, to characterize the system state and assist in recovery when required. Of particular utility is a handware unit, the recovery control unit, which serves as an interface between error detection and software recovery programs in the supervisor and provides dynamic interactive recovery.

Carter, W. C.↗

Applications of the Dulmage–Mendelsohn decomposition for debugging nonlinear optimization problems

Nonlinear modeling and optimization is a valuable tool for aiding decisions by engineering practitioners, but programming an optimization problem based on a complex electrical, mechanical, or chemical process is a time-consuming and error-prone activity. Therefore, there is a need for model analysis and debugging tools that can detect and diagnose modeling errors. One such tool is the Dulmage–Mendelsohn decomposition, which identifies structurally under- and over-determined subsets in systems of equations and variables by partitioning the bipartite graph of the system. This work provides the necessary background to understand the Dulmage–Mendelsohn decomposition and its application to the analysis of nonlinear optimization problems, demonstrates its use in diagnosing a variety of modeling errors, and introduces software implementations for analyzing nonlinear optimization problems in the Pyomo and JuMP algebraic modeling languages.

42 ENGINEERING↗

Code verification for practically singular equations

We report the method-of-moments implementation of the electric-field integral equation (EFIE) yields many code-verification challenges due to the various sources of numerical error and their possible interactions. Matters are further complicated by singular integrals, which arise from the presence of a Green's function. To address these singular integrals, an approach is presented in wherein both the solution and Green's function are manufactured. Because the arising equations are poorly conditioned, they are reformulated as a set of constraints for an optimization problem that selects the solution closest to the manufactured solution. In this paper, we demonstrate how, for such practically singular systems of equations, computing the truncation error by inserting the exact solution into the discretized equations cannot detect certain orders of coding errors. On the other hand, the discretization error from the optimal solution is a more sensitive metric that can detect orders less than those of the expected convergence rate.

97 MATHEMATICS AND COMPUTING↗

Evaluation of a fault tolerant system for an integrated avionics sensor configuration with TSRV flight data

The performance analysis results of a fault inferring nonlinear detection system (FINDS) using sensor flight data for the NASA ATOPS B-737 aircraft in a Microwave Landing System (MLS) environment is presented. First, a statistical analysis of the flight recorded sensor data was made in order to determine the characteristics of sensor inaccuracies. Next, modifications were made to the detection and decision functions in the FINDS algorithm in order to improve false alarm and failure detection performance under real modelling errors present in the flight data. Finally, the failure detection and false alarm performance of the FINDS algorithm were analyzed by injecting bias failures into fourteen sensor outputs over six repetitive runs of the five minute flight data. In general, the detection speed, failure level estimation, and false alarm performance showed a marked improvement over the previously reported simulation runs. In agreement with earlier results, detection speed was faster for filter measurement sensors soon as MLS than for filter input sensors such as flight control accelerometers.

Caglayan, A. K.↗

Reinforcement Learning for Anomaly Detection in Nuclear Power Plant Operation and Maintenance

In nuclear power plants (NPPs), timely identification of sensor and human errors is critical to ensure safe and efficient plant operations. Anomaly detection models can be employed for this task. However, traditional anomaly detection approaches may have high dependency on labeled datasets and struggle with adaptability in complex, dynamic environments. Reinforcement learning (RL) has demonstrated significant potential in fault diagnosis and anomaly detection; however, its application to anomaly detection in NPPs remains a relatively underexplored research direction. Hence, to address this gap, in this study, we present a novel physics-informed reinforcement learning model, PIRL-AD: Physics-Informed Reinforcement Learning for Anomaly Detection, that integrates domain knowledge from calorimetric equations into the RL framework for enhanced sensor and human error anomaly detection. We evaluate the performance of PIRL-AD against a non-physics informed RL benchmark and a support vector machine (SVM) on data collected from a forced flow loop testbed. Experimental results suggest that PIRL-AD outperforms other baselines on a range of anomalous datasets that include both sensor and human-induced anomalies across key performance metrics, statistically outperforming the RL and SVM benchmarks with respect to geometric mean (respectively, 92.96% vs. 91.06% vs. 83.01%) and F1-score (respectively, 89.23% vs. 86.98% vs. 77.01%). Furthermore, the findings suggest the potential of physics-integrated reinforcement learning models for enhanced anomaly detection performance in NPPs.

Reinforcement learning↗

Microprocessor-controlled data synchronizer

Versatile receiver processes data at variety of rates and code formats. Functions performed are: bit detection, NRZ-L conversion, frame synchronization (with programmable word length), bit-sync acquisition and tracking, error-curve normalization, lock detection, half-bit-ambiguity resolution, and data-rate tracking.

Houston, S. W.↗

Quantum Key Distribution for Critical Infrastructures: Towards Cyber-Physical Security for Hydropower and Dams

Hydropower facilities are often remotely monitored or controlled from a centralized remote control room. Additionally, major component manufacturers monitor the performance of installed components, increasingly via public communication infrastructures. While these communications enable efficiencies and increased reliability, they also expand the cyber-attack surface. Communications may use the internet to remote control a facility’s control systems, or it may involve sending control commands over a network from a control room to a machine. The content could be encrypted and decrypted using a public key to protect the communicated information. These cryptographic encoding and decoding schemes become vulnerable as more advances are made in computer technologies, such as quantum computing. In contrast, quantum key distribution (QKD) and other quantum cryptographic protocols are not based upon a computational problem, and offer an alternative to symmetric cryptography in some scenarios. Although the underlying mechanism of quantum cryptogrpahic protocols such as QKD ensure that any attempt by an adversary to observe the quantum part of the protocol will result in a detectable signature as an increased error rate, potentially even preventing key generation, it serves as a warning for further investigation. In QKD, when the error rate is low enough and enough photons have been detected, a shared private key can be generated known only to the sender and receiver. We describe how this novel technology and its several modalities could benefit the critical infrastructures of dams or hydropower facilities. The presented discussions may be viewed as a precursor to a quantum cybersecurity roadmap for the identification of relevant threats and mitigation.

97 MATHEMATICS AND COMPUTING↗