SEARCH · Engineering Papers
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.
This presentation introduces PRECiSA, a static analysis framework for analyzing floating-point programs. PRECiSA computes round-off error bounds for a class of floating-point programs, and produces a formal proof certificate of the correctness of these bounds. PRECiSA also has the capability of generating C code which is instrumented to detect unstable branching conditions from a real-number algorithm specification.
Seven algorithms for failure detection, isolation, and correction of strapdown inertial instruments in the dodecahedron configuration are competitively evaluated by means of a digital computer simulation that provides them with identical inputs. Their performance is compared in terms of orientation errors and computer burden. The analytical foundations of the algorithms are presented. The features that are found to contribute to superior performance are use of a definite logical structure, elimination of interaction between failures, different thresholds for first and second failures, use of the 'parity' test signals, and avoidance of iteration loops.
The compilation of global Landsat data-sets and the ever-lowering costs of computing now make it feasible to monitor the Earth's land cover at Landsat resolutions of 30 m. In this article, we describe the methods to create global products of forest cover and cover change at Landsat resolutions. Nevertheless, there are many challenges in ensuring the creation of high-quality products. And we propose various ways in which the challenges can be overcome. Among the challenges are the need for atmospheric correction, incorrect calibration coefficients in some of the data-sets, the different phenologies between compilations, the need for terrain correction, the lack of consistent reference data for training and accuracy assessment, and the need for highly automated characterization and change detection. We propose and evaluate the creation and use of surface reflectance products, improved selection of scenes to reduce phenological differences, terrain illumination correction, automated training selection, and the use of information extraction procedures robust to errors in training data along with several other issues. At several stages we use Moderate Resolution Spectroradiometer data and products to assist our analysis. A global working prototype product of forest cover and forest cover change is included.
An open-loop technique is presented for estimating and correcting Doppler frequency shift in an M-ary differential phase-shift-keyed (MDPSK) receiver. The novelty of the scheme is based on the observation that whereas the change in phase of the received signal over a full symbol contains the sum of the data (phase) and the Doppler-induced phase shift, the same change in phase over half a symbol (within a given symbol interval) contains only the Doppler-induced phase shift. Thus, by proper processing, the latter can be estimated and removed from the former. Analytical and simulation results are given for the variance of the above estimator, and the error probability performance of the MDPSK receiver is evaluated in the presence of the Doppler correction. Next, the practical considerations associated with the application of this technique on bandlimited Nyquist channels are discussed and incorporated into the final design. It is shown that the receiver can, in the absence of timing jitter, be designed to allow combined Doppler correction and data detection with no penalty due to intersymbol interference (ISI). The effects of ISI due to timing jitter are assessed by computer simulation.
NASA, at the John F. Kennedy Space Center (KSC), developed and operates a unique high-precision lightning location system to provide lightning-related weather warnings. These warnings are used to stop lightning- sensitive operations such as space vehicle launches and ground operations where equipment and personnel are at risk. The data is provided to the Range Weather Operations (45th Weather Squadron, U.S. Air Force) where it is used with other meteorological data to issue weather advisories and warnings for Cape Canaveral Air Station and KSC operations. This system, called Lightning Detection and Ranging (LDAR), provides users with a graphical display in three dimensions of 66 megahertz radio frequency events generated by lightning processes. The locations of these events provide a sound basis for the prediction of lightning hazards. This document provides the basis for the design approach and data analysis for a system of radio frequency receivers to provide azimuth and elevation data for lightning pulses detected simultaneously by the LDAR system. The intent is for this direction-finding system to correct and augment the data provided by LDAR and, thereby, increase the rate of valid data and to correct or discard any invalid data. This document develops the necessary equations and algorithms, identifies sources of systematic errors and means to correct them, and analyzes the algorithms for random error. This data analysis approach is not found in the existing literature and was developed to facilitate the operation of this Short Baseline LDAR (SBLDAR). These algorithms may also be useful for other direction-finding systems using radio pulses or ultrasonic pulse data.
Algorithms for failure detection, isolation, and correction of redundant inertial instruments in the strapdown dodecahedron configuration are competitively evaluated in a digital computer simulation that subjects them to identical environments. Their performance is compared in terms of orientation and inertial velocity errors and in terms of missed and false alarms. The algorithms appear in the simulation program in modular form, so that they may be readily extracted for use elsewhere. The simulation program and its inputs and outputs are described. The algorithms, along with an eight algorithm that was not simulated, also compared analytically to show the relationships among them.
The efforts to improve the data quality for the Sea-viewing Wide Field-of-view Sensor (SeaWiFS) data products have continued, following the third reprocessing of the global data set in May 2000. Analyses have been ongoing to address all aspects of the processing algorithms, particularly the calibration methodologies, atmospheric correction, and data flagging and masking. All proposed changes were subjected to rigorous testing, evaluation and validation. The results of these activities culminated in the fourth reprocessing, which was completed in July 2002. The algorithm changes, which were implemented for this reprocessing, are described in the chapters of this volume. Chapter 1 presents an overview of the activities leading up to the fourth reprocessing, and summarizes the effects of the changes. Chapter 2 describes the modifications to the on-orbit calibration, specifically the focal plane temperature correction and the temporal dependence. Chapter 3 describes the changes to the vicarious calibration, including the stray light correction to the Marine Optical Buoy (MOBY) data and improved data screening procedures. Chapter 4 describes improvements to the near-infrared (NIR) band correction algorithm. Chapter 5 describes changes to the atmospheric correction and the oceanic property retrieval algorithms, including out-of-band corrections, NIR noise reduction, and handling of unusual conditions. Chapter 6 describes various changes to the flags and masks, to increase the number of valid retrievals, improve the detection of the flag conditions, and add new flags. Chapter 7 describes modifications to the level-la and level-3 algorithms, to improve the navigation accuracy, correct certain types of spacecraft time anomalies, and correct a binning logic error. Chapter 8 describes the algorithm used to generate the SeaWiFS photosynthetically available radiation (PAR) product. Chapter 9 describes a coupled ocean-atmosphere model, which is used in one of the changes described in Chapter 4. Finally, Chapter 10 describes a comparison of results from the third and fourth reprocessings along the US. Northeast coast.
Heliostat optical errors can account for significant losses in efficiency of power tower concentrating solar power (CSP) plants. Accurately measuring heliostat optical errors can help to improve plant performance. A Non-Intrusive Optical (NIO) method has been developed to efficiently measure heliostat optical errors from UAS collected images of the mirror surface reflection [1]–[3]. In some cases, plant data of heliostat geometry can be incomplete or contain inaccuracies, in which case field collected data can be used to detect and correct uncertainties, which is valuable information for plant operators.
A real time adaptive controller was designed and tested successfully on a fourth order laboratory dynamic system which features very low structural damping and a noncolocated actuator sensor pair. The controller, implemented in a digital minicomputer, consists of a state estimator, a set of state feedback gains, and a frequency locked loop (FLL) for real time parameter identification. The FLL can detect the closed loop natural frequency of the system being controlled, calculate the mismatch between a plant parameter and its counterpart in the state estimator, and correct the estimator parameter in real time. The adaptation algorithm can correct the controller error and stabilize the system for more than 50% variation in the plant natural frequency, compared with a 10% stability margin in frequency variation for a fixed gain controller having the same performance at the nominal plant condition. After it has locked to the correct plant frequency, the adaptive controller works as well as the fixed gain controller does when there is no parameter mismatch. The very rapid convergence of this adaptive system is demonstrated experimentally, and can also be proven with simple root locus methods.
The very large-scale integration (VLSI) architecture of a single chip (255, 223) Reed-Solomon decoder for decoding both errors and erasures is described. A decoding failure detection capability is also included in this system so that the decoder will recognize a failure to decode instead of introducing additional errors. This could happen whenever the received word contains too many errors and erasures for the code to correct. The number of transistors needed to implement this decoder is estimated at about 75,000 if the delay for received message is not included. This is in contrast to the older transform decoding algorithm which needs about 100,000 transistors. However, the transform decoder is simpler in architecture than the time decoder. It is therefore possible to implement a single chip (255, 223) Reed-Solomon decoder with today's VLSI technology. An implementation strategy for the decoder system is presented. This represents the first step in a plan to take advantage of advanced coding techniques to realize a 2.0 dB coding gain for future space missions.
Using a large quantity of Rossi X-Ray Timing Explorer data presented in the literature, I offer a detailed investigation into the accuracy of the quasi-periodic oscillation (QPO) frequency determination. The QPO phenomenon seen in X-ray binaries is possibly a result of the resonance of the intrinsic (eigen) oscillations and harmonic driving forces of the system. I show that the resonances, in the presence of the damping of oscillations, occur at frequencies that are systematically and randomly shifted with respect to the eigenfrequencies of the system. The shift value strongly depends on the damping rate that is measured by the half-width of the QPO feature. Taking into account this effect, I analyze the QPO data for four Z sources, Scorpius X-I, GX 340+0, GX 5-1, and GX 17+2, and two atoll sources, 4U 1728-34 and 4U 0614+09. The transition-layer model (TLM) predicts the existence of the invariant quantity delta, an inclination angle of the magnetospheric axis with respect to the normal to the disk. I calculate delta and the error bars of delta using the resonance shift, and I find that the inferred delta-values are consistent with constants for these four Z sources, in which horizontal-branch oscillation and kilohertz frequencies have been detected and correctly identified. It is shown that the inferred delta are in the range between 5.5 deg and 6.5 deg. I conclude that the TLM seems to be compatible with the data.
We present an overview of the single- and multiple-sector results of the Science Processing Operations Center (SPOC) transit search in the primary Transiting Exoplanet Survey Satellite (TESS) mission. TESS was designed to survey bright stars in the greater Solar neighborhood in search of transiting exoplanets. Data were acquired at a 2-minute cadence for 16,000-20,000 pre-selected target stars in each 28-day observation sector and processed in the SPOC pipeline at NASA Ames Research Center. The photometry pipeline produced a systematic error corrected light curve for each target star. Light curves were searched for transiting planet signatures by sector for all target stars, and separately for target stars observed in multiple sectors. Potential transit signals for which the transiting planet detection threshold was exceeded and a series of transit consistency tests were passed are referred to as Threshold Crossing Events (TCEs). We highlight the full TCE population and the population of SPOC TCEs that were later identified as TESS Objects of Interest (TOIs). Characteristics of the TCE populations implied by limb-darkened transiting planet model fits are also presented. SPOC pipeline data products are delivered to the Mikulski Archive for Space Telescopes (MAST)(http://archive.stsci.edu/missions-and-data/tess) for access by the community. Funding for the TESS Mission has been provided by the NASA Science Mission Directorate.
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.
Modeling studies suggest that polar regions play a major role in modulating the Earth's climate and that they may be more sensitive than lower latitudes to climate change. Until recently, however, data from meteorological stations poleward of 70 degs have been sparse, and consequently, our understanding of air-sea-ice interaction processes is relatively poor. Satellite-borne sensors now offer a promising opportunity to observe polar regions and ultimately to improve parameterizations of energy transfer processes in climate models. This study focuses on the application of the TIROS-N operational vertical sounder (TOVS) to sea-ice-covered regions in the nonmelt season. TOVS radiances are processed with the improved initialization inversion ('3I') algorithm, providng estimates of layer-average temperature and moisture, cloud conditions, and surface characteristics at a horizontal resolution of approximately 100 km x 100 km. Although TOVS has flown continuously on polar-orbiting satellites since 1978, its potential has not been realized in high latitudes because the quality of retrievals is often significantly lower over sea ice and snow than over the surfaces. The recent availability of three Arctic data sets has provided an opportunity to validate TOVS retrievals: the first from the Coordinated Eastern Arctic Experiment (CEAREX) in winter 1988/1989, the second from the LeadEx field program in spring 1992, and the third from Russian drifting ice stations. Comparisons with these data reveal deficiencies in TOVS retrievals over sea ice during the cold season; e.g., ice surface temperature is often 5 to 15 K too warm, microwave emissivity is approximately 15% too low at large view angles, clear/cloudy scenes are sometimes misidentified, and low-level inversions are often not captured. In this study, methods to reduce these errors are investigated. Improvements to the ice surface temperature retrieval have reduced rms errors from approximately 7 K to 3 K; correction of microwaves (50 GHz) brightness temperatures for view angle dependence now allows the surface type (open water versus sea ice) to be determined; modifications to the clear/cloud tests have improved cloud detection over sea ice, especially where it is inhomogeneous; and improved surface temperature estimates have resulted in more successful diagnoses of low-level stratification. Applications of improved retrievals to studies of the Arctic energy budget are encouraging. Preliminary calculations of air-ice stress vectors, 10-m wind speed, and horizontal advection of heat and moisture are presented.
In our publication [Nucl. Phys. A 1027 (2022) 122511, https://doi.org/10.1016/j.nuclphysa.2022.122511] we have detected typographical errors in Table 4 [List of $2^+_1$ States in Even-Even Nuclei]. The misprints of decimals with one or more trailing zeros are not central to our findings, however, they may confuse the journal readers and require corrections. In addition, we have included recent results for the $0^+_2$ and $2^+_1$ first excited states that are not available in the ENSDF library as of April, 2021 or B(E2) tables.
Because of our present inability to produce error-free software, software fault tolerance is and will continue to be an important consideration in software systems. The root cause of software design errors is the complexity of the systems. Compounding the problems in building correct software is the difficulty in assessing the correctness of software for highly complex systems. After a brief overview of the software development processes, we note how hard-to-detect design faults are likely to be introduced during development and how software faults tend to be state-dependent and activated by particular input sequences. Although component reliability is an important quality measure for system level analysis, software reliability is hard to characterize and the use of post-verification reliability estimates remains a controversial issue. For some applications software safety is more important than reliability, and fault tolerance techniques used in those applications are aimed at preventing catastrophes. Single version software fault tolerance techniques discussed include system structuring and closure, atomic actions, inline fault detection, exception handling, and others. Multiversion techniques are based on the assumption that software built differently should fail differently and thus, if one of the redundant versions fails, it is expected that at least one of the other versions will provide an acceptable output. Recovery blocks, N-version programming, and other multiversion techniques are reviewed.
Preliminary Evidence of Gas-Phase Water Splitting on Holmium Nitrogen Oxide Clusters Christopher A. Zarzana1, Makayla R. Baxter , Introduction: Molecular hydrogen is a potential energy carrier that could be used to help implement a clean energy economy if it is generated from splitting of water. Improvements in the efficiencies of water-splitting electrolyzers relies on development of novel materials with enhanced performance. However, research in this area is slowed due to underdeveloped understanding of the mechanisms of device performance due to challenges interrogating the fundamental chemical reactions at play in bulk materials. Studies of the intrinsic reactivity of clusters that are representative of the reactive sites of these materials can increase understanding of the fundamental reaction mechanisms involved in hydrogen production, allowing for more efficient development of new water-splitting materials. Methods: Holmium tetranitrato ([Ho(NO3)4]-) clusters were generated in gas-phase using the electrospray ionization source of a Bruker (Billerica, MA, USA) micrOTOF-Q II quadrupole time-of-flight mass spectrometer. Spray solutions consisted of aqueous holmium (Ho) nitrate solutions (at nominally 3 mM) diluted to 30 µM in acetonitrile. The holmium (Ho) tetranitrato clusters were isolated using the quadrupole and were subsequently activated and allowed to react with background water in the collision cell. High resolution, high mass accuracy spectra were recorded using the time-of-flight. Mass accuracy was ensured using external calibration with Agilent (Santa Clara, CA, USA) ESI-L Low Concentration tuning mix. Preliminary data: Collisional activation of the holmium tetranitrato complexes ([Ln(NO3)4]-) resulted in an expected series of ions resulting from the loss of ·NO and ·NO2. This included an ion at m/z = 382.885 assigned as [HoO2(NO3)3]- (theoretical m/z=382.884, error=-1.2 ppm), resulting from loss of ·NO, and an ion at m/z=366.890 assigned as [HoO(NO3)3]- (theorical m/z=366.889, error=-1.8 ppm), resulting from loss of ·NO2. Additional ions were detected that would result from more complicated losses from [Ho(NO3)4]-, including ions at m/z=320.898 assigned as [HoO2(NO3)2]- (theoretical m/z=320.896, error=-4.9 ppm), at m/z=304.904 assigned as [HoO(NO3)2]- (theoretical m/z=304.901, error=-8.1 ppm, very low signal), and at m/z=288.908 assigned as [Ho(NO3)2]- (theoretical m/z=288.907, error=-3.4 ppm). This ion series would arise from loss of some combination of ·NO, ·NO2, and ·NO3, although it is not known whether these losses occur sequentially (e.g. loss of ·NO and ·NO3 to yield [HoO2(NO3)2]-) or as a single species (e.g. direct loss of N2O4). These ions were accompanied by a complementary series representing addition of a single water molecule. This included an ion at m/z=338.908 assigned as [HoO2(NO3)2H2O]- (theoretical m/z=338.907, error=-4.1 ppm), an ion at m/z=322.912 assigned as [HoO(NO3)2H2O]- (theoretical m/z=322.912, error=1.2 ppm), and an ion at m/z=306.918 assigned as [Ho(NO3)2H2O]-, (theoretical m/z=306.918, error=-3.7 ppm). An additional hydrated ion was observed at m/z=276.921 assigned as [HoO2(NO3) H2O]- (theoretical m/z=276.919, error=-7.3 ppm), although corresponding dehydrated ion was not observed. An additional ion was observed at m/z=367.898 that has been assigned as [Ho(NO3)3OH]- (theoretical m/z=367.897, error=-2.5 ppm). It is hypothesized that this ion arises from addition of water to [Ho(NO3)3]- followed by elimination of a hydrogen radical. Neither [Ho(NO3)3]- nor [Ho(NO3)3H2O]- were detected, suggesting that, if the hypothesis is correct, addition of water to [Ho(NO3)3]- and its subsequent splitting is rapid. Elimination of HNO3 from [Ho(NO3)4H2O]- could also yield [Ho(NO3)3OH]-; however, no [Ho(NO3)4H2O]- ions were observed. Novelty: Potential evidence of water splitting on gas-phase lanthanide clusters offers a way to study the intrinsic reactivity of hydrogen-generation materials.
Hydrogen and oxygen stable isotope ratios (δ 2 H, δ 17 O, and δ 18 O values) are commonly used tracers of water. These ratios can be measured by isotope ratio infrared spectroscopy (IRIS). However, IRIS approaches are prone to errors induced by organic compounds present in plant, soil, and natural water samples. A novel approach using 17 O-excess values has shown promise for flagging spectrally contaminated plant samples during IRIS analysis. A systematic assessment of this flagging system is needed to prove it useful. Errors induced by methanol and ethanol water mixtures on measured IRIS and isotope ratio mass spectrometry (IRMS) results were evaluated. For IRIS analyses both liquid- and vapour-mode (via direct vapour equilibration) methods are used. The δ 2 H, δ 17 O, and δ 18 O values were measured and compared with known reference values to determine the errors induced by methanol and ethanol contamination. In addition, the 17 O-excess contamination detection approach was tested. This is a post-processing detection tool for both liquid and vapour IRIS triple-isotope analyses, utilizing calculated 17 O-excess values to flag contaminated samples. Organic contamination induced significant errors in IRIS results, not seen in IRMS results. Methanol caused larger errors than ethanol. Results from vapour-IRIS analyses had larger errors than those from liquid-IRIS analyses. The 17 O-excess approach identified methanol driven error in liquid- and vapour-mode IRIS samples at levels where isotope results became unacceptably erroneous. For ethanol contaminated samples, a mix of erroneous and correct flagging occurred with the 17 O-excess method. Here our results indicate that methanol is the more problematic contaminant for data corruption. The 17 O-excess method was therefore useful for data quality control. Organic contamination caused significant errors in IRIS stable isotope results. These errors were larger during vapour analyses than during liquid IRIS analyses, and larger for methanol than ethanol contamination. The 17 O-excess method is highly sensitive for detecting narrowband (methanol) contamination error in vapour and liquid analysis modes in IRIS.