SEARCH · Search NASA

Results for “design validations”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 55 records · Page 3

All sources NASA NTRS DOE OSTI

NASA NTRS1990

Design for validation, based on formal methods

Validation of ultra-reliable systems decomposes into two subproblems: (1) quantification of probability of system failure due to physical failure; (2) establishing that Design Errors are not present. Methods of design, testing, and analysis of ultra-reliable software are discussed. It is concluded that a design-for-validation based on formal methods is needed for the digital flight control systems problem, and also that formal methods will play a major role in the development of future high reliability digital systems.

Butler, Ricky W.↗

NASA NTRS1989

Design for validation: An approach to systems validation

Every complex system built is validated in some manner. Computer validation begins with review of the system design. As systems became too complicated for one person to review, validation began to rely on the application of adhoc methods by many individuals. As the cost of the changes mounted and the expense of failure increased, more organized procedures became essential. Attempts at devising and carrying out those procedures showed that validation is indeed a difficult technical problem. The successful transformation of the validation process into a systematic series of formally sound, integrated steps is necessary if the liability inherent in the future digita-system-based avionic and space systems is to be minimized. A suggested framework and timetable for the transformtion are presented. Basic working definitions of two pivotal ideas (validation and system life-cyle) are provided and show how the two concepts interact. Many examples are given of past and present validation activities by NASA and others. A conceptual framework is presented for the validation process. Finally, important areas are listed for ongoing development of the validation process at NASA Langley Research Center.

Carter, William C.↗

DOE OSTI2025

An End-to-End Framework for Verifying and Validating Manufacturing Design Integrity

Cyber attacks on networked automated manufacturing systems can severely impact part quality. In fact, malicious modifications may be introduced at any point during the manufacturing lifecycle. Therefore, it is vital to verify and validate that manufactured parts conform to their designs. This chapter describes a formal, end-to-end framework that verifies and validates the design integrity of manufactured parts by considering all potential points of alteration during precision manufacturing processes. The framework prevents unauthorized changes to computer-aided designs, verifies the correctness of translations from CAD models to G-code, maintains the integrity of G-code transferred to manufacturing machines, verifies the runtime execution of G-code and part geometry, and considers the contexts of manufacturing machine operations and how manufactured parts could be altered.

Jablonski, Matthew [Cybersecurity Manufacturing In↗

DOE OSTI2022

Horizontal Split Table Conceptual Design for Validation of Nuclear Data used in Advanced Reactors [Slides]

A methodology to create conceptual designs of benchmark critical experiments for advanced reactors nuclear data testing and validation was developed. A first concept was explored, pebble-bed high-temperature gas cooled reactor, based on the HTR-10 reactor. The very high correlation is a proof of concept that the design is similar to the application, and performing such critical experiments would help nuclear data testing and validation. This proof-of-concept was included in the IER-539 CED-1:Preliminary Design of a New Horizontal Split Table report. Other concepts could be explored if needed, such as Molten-salt reactor, Sodium-cooled fast reactor or Heat pipe reactors/Microreactor.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

NASA NTRS2019

Thermal design and validation of Mars 202 gas Dust Removal Tool (gDRT)

As part of the science goals for the planned Mars 2020 mission, two instruments, PIXL and SHERLOC, intend to study the Mars surface at a close scale. These two instruments are planned to be used on smooth rock surfaces that are free of dust and other particles. Such surfaces are prepared by using a drill with an abrading drill bit; residual dust and particles are then blown away using a compressed gas system—the Gas Dust Removal Tool (gDRT). Early in the design process a risk of valve leakage below the vendor’s -20C rating was identified. To mitigate this risk a parallel path was implemented: 1) qualify the valves to operate at -135C, and 2) develop thermal control capability to elevated temperatures in case qualification efforts are unsuccessful. While qualification efforts are ongoing, it is expected that the valves will be qualified to an operating temperature of -135C. In the event that qualification is not successful, thermal control has been realized via a thermally isolated valve configuration and thermostatically controlled heaters. Thermal testing of gDRT has validated this design and enabled thermal model correlation in order to provide more accurate survival energy predictions. The resulting energy consumption for heating the valves at the Jezero landing site represents a minimal impact to the Rover energy budget.

Novak, Keith↗

DOE OSTI2022

Architecture Design and Validation for Autonomous Energy Systems

The architecture presentation discusses the requirement grid architecture design to integrate AES capabilities. Three NREL projects that cover control, communication, and operation architectures are discussed as reference AES implementations. Testing platforms and capabilities such as ADMS test bed are introduced to validate AES solutions and developed architectures.

architecture design↗

DOE OSTI2026

Design and Validation of a Cryogenic Dilatometer

This project focuses on the design and development of a cryogenic dilatometer capable of measuring the thermal expansion of materials at extremely low temperatures. Understanding how materials change dimension with temperature is critical for applications involving cryogenic environments, particularly laminated systems housing superconducting magnets, where small dimensional changes can significantly affect performance and reliability. To address this, a dilatometer system was designed to operate within a liquid nitrogen environment while accurately measuring displacements caused by thermal contraction. The purpose of this device is to determine the coefficient of thermal expansion (CTE) of a material. The design process involved defining functional requirements, developing mechanical and thermal concepts for the measurement apparatus, selecting appropriate materials compatible with cryogenic temperatures, and integrating sensors capable of detecting small dimensional changes. The resulting system aims to provide a practical and repeatable method for evaluating material thermal expansion at cryogenic temperatures, supporting research into composite use in superconducting applications that require accurate characterization of material behavior in low-temperature environments.

Schmitt, Nicholas [Northern Illinois U.]↗

DOE OSTI2017

Optical Design and Validation of an Infrared Transmissive Spectrum Splitting Concentrator Photovoltaic Module

A new modular, hybrid solar power system is designed to generate both electrical and thermal energy by utilizing the full solar spectrum. The key element, an infrared-transparent concentrator photovoltaic (CPV) module, acts as a spectrum splitter, dividing solar radiation into two parts. The ultraviolet and visible light (“in-band”) are converted to electricity with high efficiency in CPV cells, while the infrared light (“out-of-band”) is transmitted directly to a thermal receiver, where thermal power may be converted to electricity by a suitable heat engine or used directly for industrial process heat applications whenever needed. Here, we describe the optical design, modeling, fabrication, and performance validation of this novel spectrum splitting CPV module. A transfer matrix style approach, cumulative transmission model, is built to study the reflection, absorption, and transmission in each layer of the CPV module. To optimize the optical performance, different materials for module superstrate/substrate, encapsulant, cell substrate, and cooling fluids are compared in order to enhance the transmission of out-of-band light through the CPV module by minimizing absorption. Six antireflection coatings along with front and backside electrical contact grids are designed to maximize transmittance of in-band light to the cell and out-of-band light to the thermal receiver. Here, the final design, currently being prototyped, predicts out-of-band light transmission to the thermal receiver of 74.1% (for the passively cooled version) and 65.3% (for the actively cooled version). When epitaxial liftoff technology is applied, the transmission will change to 80.8% (passively cooled) and 71.9% (actively cooled). Experimental prototypes show good agreement with modeled optical performance.

14 SOLAR ENERGY↗

DOE OSTI2023

The DESI Bright Galaxy Survey: Final Target Selection, Design, and Validation

Over the next 5 yr, the Dark Energy Spectroscopic Instrument (DESI) will use 10 spectrographs with 5000 fibers on the 4 m Mayall Telescope at Kitt Peak National Observatory to conduct the first Stage IV dark energy galaxy survey. At z < 0.6, the DESI Bright Galaxy Survey (BGS) will produce the most detailed map of the universe during the dark-energy-dominated epoch with redshifts of >10 million galaxies spanning 14,000 deg 2 . In this work, we present and validate the final BGS target selection and survey design. From the Legacy Surveys, BGS will target an r < 19.5 mag limited sample (BGS Bright), a fainter 19.5 < r < 20.175 color-selected sample (BGS Faint), and a smaller low-z quasar sample. BGS will observe these targets using exposure times scaled to achieve homogeneous completeness and cover the footprint three times. We use observations from the Survey Validation programs conducted prior to the main survey along with simulations to show that BGS can complete its strategy and make optimal use of "bright" time. BGS targets have stellar contamination <1%, and their densities do not depend strongly on imaging properties. BGS Bright will achieve >80% fiber assignment efficiency. Finally, BGS Bright and BGS Faint will achieve >95% redshift success over any observing condition. BGS meets the requirements for an extensive range of scientific applications. BGS will yield the most precise baryon acoustic oscillation and redshift-space distortion measurements at z < 0.4. It presents opportunities for new methods that require highly complete and dense samples (e.g., N-point statistics, multitracers). BGS further provides a powerful tool to study galaxy populations and the relations between galaxies and dark matter.

79 ASTRONOMY AND ASTROPHYSICS↗

NASA NTRS2018

Some General and Fundamental Requirements for Designing Observing System Simulation Experiments (OSSEs)

The intent of this white paper is to inform WMO projects and working groups, together with the broader weather research and general meteorology and oceanography communities, regarding the use of Observing System Simulation Experiments (OSSEs). This paper is not intended to be either a critical or cursory review of past OSSE efforts. Instead, it describes some fundamental, but often neglected, aspects of OSSEs and prescribes important caveats regarding their design, validation, and application. Well designed, properly validated, and carefully conducted OSSEs can be invaluable for examining, understanding, and estimating impacts of proposed observing systems and new data assimilation techniques. Although significant imperfections and limitations should be expected, OSSEs either profoundly complement or uniquely provide both qualitative and quantitative characterizations of potential analysis of components of the earth system.

WMO↗

DOE OSTI2022

$\mathrm{CROPSR}$: an automated platform for complex genome-wide $\mathrm{CRISPR}$ g$\mathrm{RNA}$ design and validation

CRISPR/Cas9 technology has become an important tool to generate targeted, highly specific genome mutations. The technology has great potential for crop improvement, as crop genomes are tailored to optimize specific traits over generations of breeding. Many crops have highly complex and polyploid genomes, particularly those used for bioenergy or bioproducts. The majority of tools currently available for designing and evaluating gRNAs for CRISPR experiments were developed based on mammalian genomes that do not share the characteristics or design criteria for crop genomes. We have developed an open source tool for genome-wide design and evaluation of gRNA sequences for CRISPR experiments, CROPSR. The genome-wide approach provides a significant decrease in the time required to design a CRISPR experiment, including validation through PCR, at the expense of an overhead compute time required once per genome, at the first run. To better cater to the needs of crop geneticists, restrictions imposed by other packages on design and evaluation of gRNA sequences were lifted. A new machine learning model was developed to provide scores while avoiding situations in which the currently available tools sometimes failed to provide guides for repetitive, A/T-rich genomic regions. We show that our gRNA scoring model provides a significant increase in prediction accuracy over existing tools, even in non-crop genomes. CROPSR provides the scientific community with new methods and a new workflow for performing CRISPR/Cas9 knockout experiments. CROPSR reduces the challenges of working in crops, and helps speed gRNA sequence design, evaluation and validation. We hope that the new software will accelerate discovery and reduce the number of failed experiments.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2022

Design and Validation of a Gammaray Scanning System for Measuring Irradiated Nuclear Fuel

A prototype gamma-ray scanning system was designed to perform post-irradiation measurements of nuclear fuel at Idaho National Laboratory (INL). The system is composed of a coaxial high-purity germanium (HPGe) detector, a collimator, and mechanical positioning stages that translate the fuel sample across the front of the collimator. This paper documents the design process, modeling and the laboratory characterization performed to validate the system. The modeling of the system was done using the Monte Carlo N-Particle code with vendor-supplied design specifications, dimensional measurements, and x-ray radiographs of the HPGe detector. The characterization included measurements of calibrated radiation sources in different geometries, and calculations for absolute efficiency and dead time. Benchmark measurements were performed by scanning an irradiated fuel rodlet containing ten pellets of 4.9% enriched UO2 in zirconium alloy. These results were compared to simulated spectra to further help characterize the detector model. One goal of the system is to determine the number of fissions per gram of UO2 in the fuel; comparison of the results from this prototype system's assay of the irradiated fuel rodlet are in agreement with previously estimated results.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

NASA NTRS1982

Experiences and perspectives with SRI's tools for software design and validation

Development of tools that include the STP theorem poer and its associated Design Verification Systems; PHIL, a meta-programmable context sensitive structured editor; Pegasus, a system for support of graphical programming; and OBJ, an ultra high level programming language based on rewrite rules and abstract data type is reported.

Goguen, J.↗

DOE OSTI2022

DESIGN AND VALIDATION OF A GAMMA-RAY SCANNING SYSTEM FOR MEASURING IRRADIATED NUCLEAR FUEL (ABSTRACT)

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

DOE OSTI2022

Design and validation of a gamma-ray scanning system for measuring irradiated nuclear fuel

We report a prototype gamma-ray scanning system was designed to perform post-irradiation measurements of nuclear fuel at Idaho National Laboratory (INL). The system is composed of a coaxial high-purity germanium (HPGe) detector, a collimator, and mechanical positioning stages that translate the fuel sample across the front of the collimator. This paper documents the design process, modeling and the laboratory characterization performed to validate the system. The modeling of the system was done using the Monte Carlo N-Particle code with vendor-supplied design specifications, dimensional measurements, and x-ray radiographs of the HPGe detector. The characterization included measurements of calibrated radiation sources in different geometries, and calculations for absolute efficiency and dead time. Benchmark measurements were performed scanning an irradiated fuel rodlet containing ten pellets of 4.9% enriched UO2 in zirconium alloy. These results were compared to simulated spectra to further help characterize the detector model. One goal of the system is to determine the number of fissions per gram of UO2 in the fuel; comparison of the results from this prototype system's assay of the irradiated fuel rodlet are in agreement with previously estimated results.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

NASA NTRS2004

Validation of Design and Analysis Techniques of Tailored Composite Structures

Aeroelasticity is the relationship between the elasticity of an aircraft structure and its aerodynamics. This relationship can cause instabilities such as flutter in a wing. Engineers have long studied aeroelasticity to ensure such instabilities do not become a problem within normal operating conditions. In recent decades structural tailoring has been used to take advantage of aeroelasticity. It is possible to tailor an aircraft structure to respond favorably to multiple different flight regimes such as takeoff, landing, cruise, 2-g pull up, etc. Structures can be designed so that these responses provide an aerodynamic advantage. This research investigates the ability to design and analyze tailored structures made from filamentary composites. Specifically the accuracy of tailored composite analysis must be verified if this design technique is to become feasible. To pursue this idea, a validation experiment has been performed on a small-scale filamentary composite wing box. The box is tailored such that its cover panels induce a global bend-twist coupling under an applied load. Two types of analysis were chosen for the experiment. The first is a closed form analysis based on a theoretical model of a single cell tailored box beam and the second is a finite element analysis. The predicted results are compared with the measured data to validate the analyses. The comparison of results show that the finite element analysis is capable of predicting displacements and strains to within 10% on the small-scale structure. The closed form code is consistently able to predict the wing box bending to 25% of the measured value. This error is expected due to simplifying assumptions in the closed form analysis. Differences between the closed form code representation and the wing box specimen caused large errors in the twist prediction. The closed form analysis prediction of twist has not been validated from this test.

Jegley, Dawn C.↗

DOE OSTI2022

Horizontal Split Table Conceptual Design for Validation of Nuclear Data used in Advanced Reactors [Slides]

This presentation discusses a methodology that was developed to create conceptual designs of benchmark critical experiments for advanced reactors and nuclear data testing. A first concept that was explored was a pebble-bed high-temperature gas cooled reactor, based on the HTR-10 reactor. The very high correlation is a proof of concept that the design is similar to the application, and performing such critical experiments would help nuclear data testing and validation. Other concepts could be explored if needed, such as a molten-salt reactor, a sodium-cooled fast reactor, or heat pipe reactors/microreactor.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2016

Design and validation of an MR-conditional robot for transcranial focused ultrasound surgery in infants

Purpose: Current treatment of intraventricular hemorrhage (IVH) involves cerebral shunt placement or an invasive brain surgery. Magnetic resonance-guided focused ultrasound (MRgFUS) applied to the brains of pediatric patients presents an opportunity to treat IVH in a noninvasive manner, termed “incision-less surgery.” Current clinical and research focused ultrasound systems lack the capability to perform neonatal transcranial surgeries due to either range of motion or dexterity requirements. A novel robotic system is proposed to position a focused ultrasound transducer accurately above the head of a neonatal patient inside an MRI machine to deliver the therapy. Methods: A clinical Philips Sonalleve MRgFUS system was expanded to perform transcranial treatment. A five degree-of-freedom MR-conditional robot was designed and manufactured using MR compatible materials. The robot electronics and control were integrated into existing Philips electronics and software interfaces. The user commands the position of the robot with a graphical user interface, and is presented with real-time MR imaging of the patient throughout the surgery. The robot is validated through a series of experiments that characterize accuracy, signal-to-noise ratio degeneration of an MR image as a result of the robot, MR imaging artifacts generated by the robot, and the robot’s ability to operate in a representative surgical environment inside an MR machine. Results: Experimental results show the robot responds reliably within an MR environment, has achieved 0.59 ± 0.25 mm accuracy, does not produce severe MR-imaging artifacts, has a workspace providing sufficient coverage of a neonatal brain, and can manipulate a 5 kg payload. A full system demonstration shows these characteristics apply in an application environment. Conclusions: This paper presents a comprehensive look at the process of designing and validating a new robot from concept to implementation for use in an MR environment. An MR conditional robot has been designed and manufactured to design specifications. The system has demonstrated its feasibility as a platform for MRgFUS interventions for neonatal patients. The success of the system in experimental trials suggests that it is ready to be used for validation of the transcranial intervention in animal studies.

60 APPLIED LIFE SCIENCES↗