Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Verification of data”

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,279 records · Page 71
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Analysis of PNAR Spent Fuel Safeguards Measurements using the ORIGEN Data Analysis Module

This paper summarizes the analysis of the Passive Neutron Albedo Reactivity (PNAR) measurements using the ORIGEN data analysis module for 23 boiling water reactor spent fuel assemblies that were performed in Finland under an international collaboration on spent fuel safeguards verification methods. PNAR is part of the proposed integrated nondestructive system to be used for safeguards verifications at the planned Finnish encapsulation facility. Besides measuring passive neutron and gamma emission rates from an assembly like a Fork detector, PNAR also measures the PNAR ratio, which is expected to correlate with the fissile content in the assembly. The emission rates and PNAR ratio can be used to verify the operator declarations and the fissile content of an assembly, respectively. The analysis was performed using the ORIGEN Data Analysis Module, which was originally developed for predicting Fork detector neutron and gamma signals for spent fuel measurements and has been integrated into the Integrated Review and Analysis Package developed by Euratom and the IAEA. The Module includes the ORIGEN burnup analysis code and integrates detector response functions pre-generated using MCNP to predict detector signals in several seconds per assembly. In this study, new response functions specific to PNAR measurements were generated for ORIGEN Module. The study also analyzes impacts of using detailed fuel design and operation information vs. standard safeguards information on results calculated by ORIGEN Module. Using detailed information reduced the standard deviation of relative differences between calculated and measured neutron count rates among the 23 assemblies from ~10% to ~4%. The results obtained using standard safeguards information for these PNAR measurements were similar to those obtained for the Fork detector. A clear trend was found between the calculated net neutron multiplications and the measured PNAR ratios of the 23 assemblies. This paper describes how ORIGEN Module calculates the expected PNAR neutron and gamma signals and PNAR ratio and how they compare with corresponding measured values.

Ilas, Germina↗
NASA NTRS2016

Snow Process Estimation Over the Extratropical Andes Using a Data Assimilation Framework Integrating MERRA Data and Landsat Imagery

A data assimilation framework was implemented with the objective of obtaining high resolution retrospective snow water equivalent (SWE) estimates over several Andean study basins. The framework integrates Landsat fractional snow covered area (fSCA) images, a land surface and snow depletion model, and the Modern Era Retrospective Analysis for Research and Applications (MERRA) reanalysis as a forcing data set. The outputs are SWE and fSCA fields (1985-2015) at a resolution of 90 m that are consistent with the observed depletion record. Verification using in-situ snow surveys showed significant improvements in the accuracy of the SWE estimates relative to forward model estimates, with increases in correlation (0.49-0.87) and reductions in root mean square error (0.316 m to 0.129 m) and mean error (-0.221 m to 0.009 m). A sensitivity analysis showed that the framework is robust to variations in physiography, fSCA data availability and a priori precipitation biases. Results from the application to the headwater basin of the Aconcagua River showed how the forward model versus the fSCA-conditioned estimate resulted in different quantifications of the relationship between runoff and SWE, and different correlation patterns between pixel-wise SWE and ENSO. The illustrative results confirm the influence that ENSO has on snow accumulation for Andean basins draining into the Pacific, with ENSO explaining approximately 25% of the variability in near-peak (1 September) SWE values. Our results show how the assimilation of fSCA data results in a significant improvement upon MERRA-forced modeled SWE estimates, further increasing the utility of the MERRA data for high-resolution snow modeling applications.

SWE↗
NASA NTRS1983

Graphics enhanced computer emulation for improved timing-race and fault tolerance control system analysis

A computer simulation system has been developed for the Space Shuttle's advanced Centaur liquid fuel booster rocket, in order to conduct systems safety verification and flight operations training. This simulation utility is designed to analyze functional system behavior by integrating control avionics with mechanical and fluid elements, and is able to emulate any system operation, from simple relay logic to complex VLSI components, with wire-by-wire detail. A novel graphics data entry system offers a pseudo-wire wrap data base that can be easily updated. Visual subsystem operations can be selected and displayed in color on a six-monitor graphics processor. System timing and fault verification analyses are conducted by injecting component fault modes and min/max timing delays, and then observing system operation through a red line monitor.

Szatkowski, G. P.↗
DOE OSTI2021

Numerical evaluation of AGR-2 fission product release

The AGR-2 experiment produced normal operation and accident condition fuel performance data for tri-structural isotropic (TRISO) particles with UCO and UO 2 kernels. Data for compacts with no failed particles and for compacts with one or more failed particles are available. To model the fission product diffusion and release from these compacts, it is important to consider the computational mesh as well as the heat conduction and mass diffusion properties of the materials in a TRISO particle. Code and solution verification studies with the Bison fuel performance code were performed to show that the code is computing correct solutions. Bison comparisons to post-irradiation examination data and PARFUME predictions were made for several sets of compacts. Furthermore, these comparisons considered silver, cesium, strontium, and krypton with and without failed particles. Bison predictions closely match those of PARFUME, while both codes generally overpredict post-irradiation examination data.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
NASA NTRS2002

Synthesizing Certified Code

Code certification is a lightweight approach to demonstrate software quality on a formal level. Its basic idea is to require producers to provide formal proofs that their code satisfies certain quality properties. These proofs serve as certificates which can be checked independently. Since code certification uses the same underlying technology as program verification, it also requires many detailed annotations (e.g., loop invariants) to make the proofs possible. However, manually adding theses annotations to the code is time-consuming and error-prone. We address this problem by combining code certification with automatic program synthesis. We propose an approach to generate simultaneously, from a high-level specification, code and all annotations required to certify generated code. Here, we describe a certification extension of AUTOBAYES, a synthesis tool which automatically generates complex data analysis programs from compact specifications. AUTOBAYES contains sufficient high-level domain knowledge to generate detailed annotations. This allows us to use a general-purpose verification condition generator to produce a set of proof obligations in first-order logic. The obligations are then discharged using the automated theorem E-SETHEO. We demonstrate our approach by certifying operator safety for a generated iterative data classification program without manual annotation of the code.

Whalen, Michael↗
NASA NTRS2014

Materials International Space Station Experiment (MISSE): Overview, Accomplishments and Future Needs

Materials and devices used on the exterior of spacecraft in low Earth orbit (LEO) are subjected to environmental threats that can cause degradation in material properties, possibly threatening spacecraft mission success. These threats include: atomic oxygen (AO), ultraviolet and x-ray radiation, charged particle radiation, temperature extremes and thermal cycling, micrometeoroid and debris impacts, and contamination. Space environmental threats vary greatly based on spacecraft materials, thicknesses and stress levels, and the mission environment and duration. For more than a decade the Materials International Space Station Experiment (MISSE) has enabled the study of the long duration environmental durability of spacecraft materials in the LEO environment. The overall objective of MISSE is to test the stability and durability of materials and devices in the space environment in order to gain valuable knowledge on the performance of materials in space, as well as to enable lifetime predictions of new materials that may be used in future space flight. MISSE is a series of materials flight experiments, which are attached to the exterior of the International Space Station (ISS). Individual experiments were loaded onto suitcase-like trays, called Passive Experiment Containers (PECs). The PECs were transported to the ISS in the Space Shuttle cargo bay and attached to, and removed from, the ISS during extravehicular activities (EVAs). The PECs were retrieved after one or more years of space exposure and returned to Earth enabling post-flight experiment evaluation. MISSE is a multi-organization project with participants from the National Aeronautics and Space Administration (NASA), the Department of Defense (DoD), industry and academia. MISSE has provided a platform for environmental durability studies for thousands of samples and numerous devices, and it has produced many tangible impacts. Ten PECs (and one smaller tray) have been flown, representing MISSE 1 through MISSE 8, yielding long-duration space environmental performance and durability data that enable material validation, processing recertification and space qualification; improved predictions of materials and component lifetimes in space; model verification and development; and correlation factors between space-exposure and ground-facilities enabling more accurate in-space performance predictions based on ground-laboratory testing. A few of the many experiment results and observations, and their impacts, are provided. Those highlighted include examples on improved understanding of atomic oxygen scattering mechanisms, LEO coating durability results, and polymer erosion yields and their impacts on spacecraft design. The MISSE 2 Atomic Oxygen Scattering Chamber Experiment discovered that the peak flux of scattered AO was determined to be 45 deg from normal incidence, not the model predicted cosine dependence. In addition, the erosion yield (E(sub y)) of Kapton H for AO scattered off oxidized-Al is 22% of the E(sub y) of direct AO impingement. These results were used to help determine the degradation mechanism of a cesium iodide detector within the Hubble Space Telescope Cosmic Origins Spectrograph Experiment. The MISSE 6 Indium Tin Oxide (ITO) Degradation Experiment measured surface electrical resistance of ram and wake ITO coated samples. The data confirmed that ITO is a stable AO protective coating, and the results validated the durability of ITO conductive coatings for solar arrays for the Atmosphere-Space Transition 2 Explorer program. The MISSE 2, 6 and 7 Polymer Experiments have provided LEO AO Ey data on over 120 polymer and composites samples. The flight E(sub y) values were found to range from 3.05 x 10(exp -26) cu cm/atom for the AO resistant polymer CORIN to 9.14 x 10(exp -26) cu cm/atom for polyoxymethylene (POM). In addition, flying the same polymers on different missions has advanced the understanding of the AO E(sub y) dependency on solar exposure for polymers containing fluorine. The MISSE polymer results are highly requested and have impacted spacecraft design for WorldView-2 & -3, the Global Precipitation Measurement-Microwave Imager, and other spacecraft. The flight data has enabled the development of an Atomic Oxygen Erosion Predictive Tool that allows the erosion prediction of new and non-flown polymers. The data has also been used to develop a new NASA Technical Standards Handbook "Spacecraft Polymers Atomic Oxygen Durability Handbook." Many intangible benefits have also been derived from MISSE. For example, over 40 students have collaborated on Glenn's MISSE experiments, which have resulted in greater than $80K in student scholarships and awards in national and international science fairs. Students have also given presentations and won poster competition awards at international space conferences.

Flight Experiment↗
DOE OSTI2021

Understanding fission gas bubble distribution, lanthanide transportation, and thermal conductivity degradation in neutron-irradiated α-U using machine learning

U—10Zr based metallic nuclear fuel is the leading candidate for next-generation sodium-cooled fast reactors in the United States. US research reactors have used and tested this fuel type since the 1960s and accumulated considerable experience and knowledge about the fuel performance. Most of the knowledge, however, remains empirical. The lack of mechanistic understanding of fuel performance puts a large burden on proof through experimental verification for the qualification of U—10Zr fuel for commercial use. Further, this paper proposes an image data-driven machine learning approach, coupled with domain knowledge provided by advanced post irradiation examination, to provide unprecedented quantified insights into the morphology, size, density and the connectivity of fission gas bubbles and their effects on the fission product transportation and thermal conductivity. Specifically, we developed a method to automatically detect, extract statistics, and classify ~19,000 fission gas bubbles into different categories, and quantitatively link the data to lanthanide transportation through connected bubbles and degradation of thermal conductivity along the radial temperature gradient in a neutron irradiated U—10Zr annular fuel. Results indicate the approach can be modified to study other irradiation effects, such as secondary phase redistribution and gaseous fuel swelling in other irradiated nuclear fuels.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2023

Short-lead seasonal precipitation forecast in northeastern Brazil using an ensemble of artificial neural networks

This study assesses the deterministic and probabilistic forecasting skill of a 1-month-lead ensemble of Artificial Neural Networks (EANN) based on low-frequency climate oscillation indices. The predictand is the February-April (FMA) rainfall in the Brazilian state of Ceará, which is a prominent subject in climate forecasting studies due to its high seasonal predictability. Additionally, the study proposes combining the EANN with dynamical models into a hybrid multi-model ensemble (MME). The forecast verification is carried out through a leave-one-out cross-validation based on 40 years of data. The EANN forecasting skill is compared with traditional statistical models and the dynamical models that compose Ceará’s operational seasonal forecasting system. A spatial comparison showed that the EANN was among the models with the smallest Root Mean Squared Error (RMSE) and Ranked Probability Score (RPS) in most regions. Moreover, the analysis of the area-aggregated reliability showed that the EANN is better calibrated than the individual dynamical models and has better resolution than Multinomial Logistic Regression for above-normal (AN) and below-normal (BN) categories. It is also shown that combining the EANN and dynamical models into a hybrid MME reduces the overconfidence of the extreme categories observed in a dynamically-based MME, improving the reliability of the forecasting system.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2022

Improving the nonlinear control performance of the supply fan at air handling units using a gain scheduling control strategy

Due to its nonlinear nature, the supply fan at air handling units with the controller tuned at the design condition tends to be aggressive and oscillate under partial load conditions. Here, the objective of this paper is to develop and validate a gain scheduling control strategy to improve its nonlinear control performance. First, a control-oriented model, which does not require numerous physical parameters and extensive test data, is developed to study the nonlinearity of the fan system. Based on the theoretical model and experimental verifications, the issue of an aggressive response with a conventional fixed-gain controller is caused by the fact that the system gain is proportional to the ratio of the duct static pressure to the fan speed. To address the issue, a scheduling function of the measurable duct static pressure and fan speed is proposed to be included in the conventional fixed-gain controller to compensate for the fan system gain variation. The gain scheduling control strategy is found to approximately maintain the identical control performance under all operation conditions. Most importantly, the gain scheduling control strategy can be readily implemented without intensive computation and additional measurements, showing a promising potential in industrial applications.

42 ENGINEERING↗
DOE OSTI2022

Adaptive Neurocontrol for Grid-Following Inverters

The new generation of power systems involve a large number of autonomous operating units with the flow of data being restricted by privacy concerns or infrastructure hurdles. The systems are also time-varying so the control should adjust in a timely manner to avoid failures that usually have very negative economical implications. Adaptive neurocontrol which takes elements from adaptive control (great for time-varying problems) and model identification (could be in the form of neural network) by using local available data is a compelling tool. In this work, we summarize analytical results for adaptive neurocontrol, followed with numerical verification of how the method could work for future grids.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2026

Resilience Through Data-Driven, Intelligent Designed Control: A Formal Methods Approach

The PNNL and GTRI team developed a strategy to integrate temporal logic rule specification for detection of cyber-intrusion in the source code and control algorithms of CPS using advanced cyber-data. The GTRI team utilized its capabilities in rule synthesis and temporal logic specifications for software assurance and verification to detect and predict impact of cyber-intrusions and malware in the computational and control algorithms of cyber-physical systems. The team also developed a testing and verification approach that could be used to validate the suggested approach against a realistic use-case CPS showcasing improvements in system impact prediction performance. Temporal logic offers a compact expression of events in absolute and relative time and has a formalized translation to state machines. As such, temporal logic rules can feasibly be synthesized to any system as a rule engine, with the process being formally verified to be correct. The goal here is to utilize temporal logic rules to detect cyber-attacks and manipulations in the computational algorithms and provide real-time software assurance and verification guarantees.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1960

V. The X-15 flight research program in relation to the development of advanced military aircraft

The design, construction, and development of advanced military aircraft undoubtedly will involve the utilization of many relatively new concepts in several deafferent, but related, areas. In many cases, these new concepts will require new flight techniques or involve development problems inherent in the use of relatively unproven methods, materials, structures, systems, and configurations. Moreover, flight verification will be required of aircraft aerodynamics and flight behavior because of the usual uncertainties associated with predicted data. Solutions to these problems obviously would require flight testing involving extensive time and effort before the aircraft could become operationally acceptable. Upon the inception of the X-15 research airplane project, many new and far-reaching techniques and principles were studied and applied in the aircraft design and are currently being demonstrated and investigated. Because similar concepts are likely to be used in advanced military aircraft, the X-15 flight program will provide significant information, over a broad flight environment, pertinent to the development of these vehicles. This paper discusses the research objectives of the X-15 flight program, some of the flight aerodynamic characteristics currently being obtained, some development problems encountered, and the experience obtained with the advanced systems investigated.

Military aircraft↗
NASA NTRS1974

Remote sensing and snowpack management

The present work describes the use of an airborne electromagnetic sensing system for measuring snowpack depth, density, and water content. A transmitter sends a sequence of pulses of stepped frequencies, and the reflections are measured by a sensitive receiver. The combination of the snowpack and the earth interacts with the electromagnetic wave so as to modify the characteristics of the reflected signals. The variation of the reflected intensity with frequency provides the desired data. A theoretical analysis of return signal and snowpack parameter relationships is given, and the results of experimental verification of the theory are discussed.

Linlor, W. I.↗
NASA NTRS1975

Use of STS subsystems and components for MMSE, volume 1

Multiuse mission support equipment (MMSE) is flight/ground equipment for the shuttle era which is used in conjunction with more than one mission payload. Initial verification of STS subsystem's applicability to MMSE is provided along with the cost savings potential and programmatic data needed for further program planning decisions. Some 70 MMSE requirements were found to be potentially satisfied by STS equipment, and and 6 items of particular interest were chosen for special emphasis. All were found to be feasible and beneficial. Program cost savings through their use are estimated to be substantial. Further study is recommended to identify additional MMSE requirements and hardware.

Source record↗
NASA NTRS1976

Calibration and verification of environmental models

The problems of calibration and verification of mesoscale models used for investigating power plant discharges are considered. The value of remote sensors for data acquisition is discussed as well as an investigation of Biscayne Bay in southern Florida.

Lee, S. S.↗
NASA NTRS1980

STS-1 operational flight profile. Volume 5: Descent, cycle 3

The trajectory data presented are to be used for orbiter systems and subsystems evalation, flight and mission control center software verification, flight techniques and timeline development, crew training, and evaluation of operational mission suitability. The entry profile is very similar to cycle 2, however, elevon and body flap temperature margins have increased and the elevon schedule was changed. The terminal area energy management (TAEM) profile was completely reshaped to conform with new angle of attack constraints and left hand turn around the heading alignment cylinder. Also, the entry/TAEM interface was adjusted to minimize guidance induced angle of attack transients across the interface. The approach and landing phase was reshaped for a 20 deg glideslope and reduced velocity at touchdown. The definition of the runway threshold was standardized for all landing sites. This results in a shift at Edwards Air Force Base in aim points and touchdown relative to the threshold of 1000 feet. The rollout remains essentially unchanged with the exception of the speedbrake, which is now deployed to 50 percent at touchdown.

Moore, R.↗
NASA NTRS1981

Assessment of the first radiances received from the VSSR Atmospheric Sounder (VAS) instrument

The first orderly, calibrated radiances from the VAS-D instrument on the GOES-4 satellite are examined for: image quality, radiometric precision, radiation transfer verification at clear air radiosonde sites, regression retrieval accuracy, and mesoscale analysis features. Postlaunch problems involving calibration and data processing irregularities of scientific or operational significance are included. The radiances provide good visual and relative radiometric data for empirically conditioned retrievals of mesoscale temperature and moisture fields in clear air.

Chesters, D.↗
NASA NTRS1981

Verification of the Space Shuttle entry GN&C system

The certification procedures for the initial Shuttle flight are discussed. Particular attention is paid to the entry guidance, navigation, and control (GNC) verification, comprising tests, analysis, demonstration, inspection, and simulation. Flow diagrams for the verification and operational flight sequences are provided, along with a block diagram of the GNC circuitry interfaces. The development of the test matrix software for the GNC is outlined, noting the constant interplay between software verification and spacecraft reconfiguration to meet simulated performance requirements. Comparison of GNC performance predictions with actual entry flight data showed a good match in all performance areas except for sideslip excursions, bank overshoots, an area of transonic buffet, and an increased lift/drag ratio in the preflare to landing flight phase.

Van Hoften, J. D. A.↗