Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “program verification”

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,225 records · Page 68

Subscale Validation of the Subsurface Active Filtration of Exhaust (SAFE) Approach to the NTP Ground Testing

Nuclear thermal propulsion (NTP) has been recognized as an enabling technology for missions to Mars and beyond. However, one of the key challenges of developing a nuclear thermal rocket is conducting verification and development tests on the ground. A number of ground test options are presented, with the Sub-surface Active Filtration of Exhaust (SAFE) method identified as a preferred path forward for the NTP program. The SAFE concept utilizes the natural soil characteristics present at the Nevada National Security Site to provide a natural filter for nuclear rocket exhaust during ground testing. A validation method of the SAFE concept is presented, utilizing a non-nuclear sub-scale hydrogen/oxygen rocket seeded with detectible radioisotopes. Additionally, some alternative ground test concepts, based upon the SAFE concept, are presented. Finally, an overview of the ongoing discussions of developing a ground test campaign are presented.

Nuclear Rocket Engines↗

Investigation of Multi-Input, Multi-Output (MIMO) Random Control Applied to Direct Field Acoustic Testing

Direct Field Acoustic Testing (DFAT) offers potential cost and time savings over reverberant chamber acoustic testing of spacecraft. The NASA Multi-Purpose Crew Vehicle (MPCV) Program recently directed a series of acoustic tests on Orion structural test articles comparing DFAT and reverberant testing of the same test article with a view to qualifying DFAT for manned space flight vehicles. The verification process compared four parameters noise level compliance with the one third octave test specification, spatial uniformity of the acoustic field, spatial correlation of the acoustic field and vibration response of vehicle structure, including representative solar array panels. While the results of the verification were encouraging, MPCV Loads and Dynamics engaged Quartus Engineering to investigate whether alternative MIMO random control strategies might improve the spatial uniformity and/or the spatial correlation of the DFAT acoustic field. This paper presents the results of acoustic field simulations of the DFAT test and provides a better understanding of how MIMO random control systems originally developed for vibration and structural durability testing can be expected to perform in DFAT testing.

Direct Field↗

Automatic Generation of Guard-Stable Floating-Point Code

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

Floating-Point Arithmetic↗

Planetary Protection is Not a One Size Fits All Missions Approach: Enabling the Planetary Protection Programmatic and Engineering Process

Missions have a wide range of variables that change their management and engineering structure (e.g., competed vs directed missions, multiple NASA centers, international partnerships, increased commercial collaborations, etc.). Why would an identical planetary protection approach and structure for each mission make sense in this evolving landscape? Missions do not fit in a one-size-fits-all approach, likewise their planetary protection process should not be a one-size-fits-all approach. During the significant update to NPR 8715.24 and NASA-STD-8719.27 planetary protection policies, the programmatic execution and engineering implementation processes were changed to provide clarification, streamlining, and expansion to include alternative approaches. From a programmatic perspective, these changes include the flexibility in timing and combination of gate products in addition to providing varying levels of technical depth commensurate and appropriate with the mission categorization. From a technical perspective, these changes include the ability to A) leverage either a performance-based and/or a prescriptive-based approach, B) identify applicable international consensus standards for verification, and C) propose alternative methods that adhere to sound scientific and engineering consensus. This presentation will directly highlight the culture shift in planetary protection, areas of flexibility available to the technical community for mission program and engineering execution, and feature some of the specific mission scenarios that have already leveraged such processes.

Nick Benardini↗

Surface Landing Site Weather Analysis for NASA's Constellation Program

Weather information is an important asset for NASA's Constellation Program in developing the next generation space transportation system to fly to the International Space Station, the Moon and, eventually, to Mars. Weather conditions can affect vehicle safety and performance during multiple mission phases ranging from pre-launch ground processing of the Ares vehicles to landing and recovery operations, including all potential abort scenarios. Meteorological analysis is art important contributor, not only to the development and verification of system design requirements but also to mission planning and active ground operations. Of particular interest are the surface weather conditions at both nominal and abort landing sites for the manned Orion capsule. Weather parameters such as wind, rain, and fog all play critical roles in the safe landing of the vehicle and subsequent crew and vehicle recovery. The Marshall Space Flight Center (MSFC) Natural Environments Branch has been tasked by the Constellation Program with defining the natural environments at potential landing zones. This paper wiI1 describe the methodology used for data collection and quality control, detail the types of analyses performed, and provide a sample of the results that cab be obtained.

Altino, Karen M.↗

ARC Software Validation Work for the FFTF Reactor

Extensive efforts have been carried out at ANL for the verification and validation of the Argonne Reactor Codes (ARC) software package currently used for the design of Versatile Test Reactor (VTR). The ARC software package consists of steady state neutronics and thermal hydraulics modeling capabilities which are being used by the VTR program to develop most of the VTR reactor design details which will be part of the licensing application. It is anticipated that this software will continue to be used for the design work and for initial operations although additional software may be introduced at a later time. The validation work was focused primarily on obtaining validation data consistent with VTR and usable for the ARC software. Because no critical facilities or operating fast spectrum reactors are available to do experiments for the VTR, the next best option is to identify historical experimental data that can be used as validation data. Early on in VTR, the ZPPR-15 set of experiments was identified as good validation data because of 1) the availability and quality of the data, 2) existing staff that are already familiar with the experimental machine and measurements, 3) most of the ZPPR-15 loadings of interest have already been processed into ARC models, and 4) a full uncertainty quantification has already been done for several loadings of ZPPR-15. The FFTF startup and operations data was identified as the most consistent reactor type that has validation data usable for VTR. Finally, the EBR-II fuel depletion measurements were identified as the best available validation data for VTR. It is important to note that both the FFTF and EBR-II reactors typically come with higher uncertainties than the ZPPR. In the frame of the discussed verification and validation efforts, the present document discusses the analysis of selected FFTF measurements included in the benchmark specifications of the International Reactor Physics Experiment (IRPhE) handbook. The FFTF reactor core configurations from the benchmark specification are presented in Section 2. The analysis is performed with the use of the ARC code suite available at ANL for fast reactor studies and is discussed in Section 3. The reactor parameters from the benchmark include criticality, neutron spectra, effective delayed neutron spectra, control rod worth, isothermal temperature coefficient and low energy gamma-ray spectra. The calculated values and the comparison with the experimental data is discussed in Sections 4 to 9 for each considered reactor parameter. Finally, conclusions are presented in Section 10.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

2007 Lunar Regolith Simulant Workshop Overview

The National Aeronautics and Space Administration (NASA) vision has as a cornerstone, the establishment of an Outpost on the Moon. This Lunar Outpost will eventually provide the necessary planning, technology development, and training for a manned mission to Mars in the future. As part of the overall activity, NASA is conducting Earth-based research and advancing technologies to a Technology Readiness Level (TRL) 6 maturity under the Exploration Technology Development Program that will be incorporated into the Constellation Project as well as other projects. All aspects of the Lunar environment, including the Lunar regolith and its properties, are important in understanding the long-term impacts to hardware, scientific instruments, and humans prior to returning to the Moon and living on the Moon. With the goal of reducing risk to humans and hardware and increasing mission success on the Lunar surface, it is vital that terrestrial investigations including both development and verification testing have access to Lunar-like environments. The Marshall Space Flight Center (MSFC) is supporting this endeavor by developing, characterizing, and producing Lunar simulants in addition to analyzing existing simulants for appropriate applications. A Lunar Regolith Simulant Workshop was conducted by MSFC in Huntsville, Alabama, in October 2007. The purpose of the Workshop was to bring together simulant developers, simulant users, and program and project managers from ETDP and Constellation with the goals of understanding users' simulant needs and their applications. A status of current simulant developments such as the JSC-1A (Mare Type Simulant) and the NASA/U.S. Geological Survey Lunar Highlands-Type Pilot Simulant (NU-LHT-1 M) was provided. The method for evaluating simulants, performed via Figures of Merit (FoMs) algorithms, was presented and a demonstration was provided. The four FoM properties currently being assessed are: size, shape, density, and composition. Some of the Workshop findings include: simulant developers must understand simulant users' needs and applications; higher fidelity simulants are needed and needed in larger quantities now; simulants must be characterized to allow "apples-to-apples" comparison of test results; simulant users should confer with simulant experts to assist them in the selection of simulants; safety precautions should be taken in the handling and use of simulants; shipping, storing, and preparation of simulants have important implications; and most importantly, close communications among the simulant community must be maintained and will be continued via telecoms, meetings, and an annual Lunar Regolith Simulant Workshop.

McLemore, Carole A.↗

2007 Lunar Regolith Simulant Workshop Overview

The National Aeronautics and Space Administration (NASA) vision has as a cornerstone, the establishment of an Outpost on the Moon. This Lunar Outpost will eventually provide the necessary planning, technology development, and training for a manned mission to Mars in the future. As part of the overall activity, NASA is conducting Earth-based research and advancing technologies to a Technology Readiness Level (TRL) 6 maturity under the Exploration Technology Development Program that will be incorporated into the Constellation Project as well as other projects. All aspects of the Lunar environment, including the Lunar regolith and its properties, are important in understanding the long-term impacts to hardware, scientific instruments, and humans prior to returning to the Moon and living on the Moon. With the goal of reducing risk to humans and hardware and increasing mission success on the Lunar surface, it is vital that terrestrial investigations including both development and verification testing have access to Lunar-like environments. The Marshall Space Flight Center (MSFC) is supporting this endeavor by developing, characterizing, and producing Lunar simulants in addition to analyzing existing simulants for appropriate applications. A Lunar Regolith Simulant Workshop was conducted by MSFC in Huntsville, Alabama, in October 2007. The purpose of the Workshop was to bring together simulant developers, simulant users, and program and project managers from ETDP and Constellation with the goals of understanding users' simulant needs and their applications. A status of current simulant developments such as the JSC-1A (Mare Type Simulant) and the NASA/U.S. Geological Survey Lunar Highlands-Type Pilot Simulant (NU-LHT-1M) was provided. The method for evaluating simulants, performed via Figures of Merit (FoMs) algorithms, was presented and a demonstration was provided. The four FoM properties currently being assessed are: size, shape, density, and composition. Some of the Workshop findings include: simulant developers must understand simulant users' needs and applications; higher fidelity simulants are needed and needed in larger quantities now; simulants must be characterized to allow "apples-to-apples" comparison of test results; simulant users should confer with simulant experts to assist them in the selection of simulants; safety precautions should be taken in the handling and use of simulants; shipping, storing, and preparation of simulants have important implications; and most importantly, close communications among the simulant community must be maintained and will be continued via telecoms, meetings, and an annual Lunar Regolith Simulant Workshop.

McLemore, Carole A.↗

BISON-FIPD integration enhanced low-burnup SFR metallic fuel swelling model evaluation framework

Experiments indicated that metallic fuel in sodium-cooled fast reactors (SFRs) rapidly swells radially and axially at low burnup. Despite that, prior studies have been focused on describing high burnup axial fuel elongation. With recent conventional and non-conventional metallic fuel concepts being considered for license applications, understanding multidimensional fuel swelling at a wide range of burnup levels is important to fuel analysis and qualification activities. Here, we report the development and demonstration efforts of a low-burnup SFR metallic fuel swelling model evaluation framework using the BISON advanced fuel performance code. The framework leverages the Integral Fast Reactor (IFR) program X423 experiment data through the ongoing integration project to enable standardized and automated use of legacy metallic fuel irradiation data maintained in the SFR fuel irradiation and physics database (FIPD) for BISON metallic fuel model verification and validation. In conclusion, the performance of the framework was demonstrated using the two representative metallic fuel swelling model sets implemented in BISON, with a series of insights about future advanced swelling model development.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Predicting and analyzing the thermal flux incident on test articles in a simulated space environment

The increase in importance and sophistication of thermal-vacuum testing has accentuated the problem of defining the environment to which the test article was subjected. An adequate definition of the test environment is essential to the verification of test-article thermal models. The technique used for defining the test environment at the NASA Manned Spacecraft Center Space Environment Simulation Laboratory and its application during a recent major thermal-vacuum testing program is discussed.

Wallin, S. P.↗

Reference systems and transformations

The verification accomplished to assure correct computation of the many geometrical relationships between the several coordinate systems and transformation matrices defined for the Saturn 1B mission was discussed. This is accomplished by demonstrating the following: (1) the program has the ability to correctly establish the initial vector coordinate system from external input data for use as a reference, (2) the program logic is capable of properly executing the calculations necessary to transform vectorial parameters from one coordinate system to another, and (3) the presettings used for vector component calculations are valid.

Source record↗

A Nonvolume Preserving Plasticity Theory with Applications to Powder Metallurgy

A plasticity theory has been developed to predict the mechanical response of powder metals during hot isostatic pressing. The theory parameters were obtained through an experimental program consisting of hydrostatic pressure tests, uniaxial compression and uniaxial tension tests. A nonlinear finite element code was modified to include the theory and the results of themodified code compared favorably to the results from a verification experiment.

Cassenti, B. N.↗

Towards automatic Markov reliability modeling of computer architectures

The analysis and evaluation of reliability measures using time-varying Markov models is required for Processor-Memory-Switch (PMS) structures that have competing processes such as standby redundancy and repair, or renewal processes such as transient or intermittent faults. The task of generating these models is tedious and prone to human error due to the large number of states and transitions involved in any reasonable system. Therefore model formulation is a major analysis bottleneck, and model verification is a major validation problem. The general unfamiliarity of computer architects with Markov modeling techniques further increases the necessity of automating the model formulation. This paper presents an overview of the Automated Reliability Modeling (ARM) program, under development at NASA Langley Research Center. ARM will accept as input a description of the PMS interconnection graph, the behavior of the PMS components, the fault-tolerant strategies, and the operational requirements. The output of ARM will be the reliability of availability Markov model formulated for direct use by evaluation programs. The advantages of such an approach are (a) utility to a large class of users, not necessarily expert in reliability analysis, and (b) a lower probability of human error in the computation.

Liceaga, C. A.↗

The development of the EOS data and information system

The architecture of the Earth Observing System (EOS), a major component of NASA's contribution to the U.S. Global Change Research Program, is described with emphasis on its development strategy. It is noted that the EOS is comprised of a scientific research program, a space measurement system, and an EOS Data and Information System (EOSDIS). Details are presented concerning the EOS program and its candidate instruments. Major components of EOS include Version 0 (V0) built on existing Distributed Active Archive Centers (DAACs), the EOSDIS core system (ECS), DAAC-unique functions, science computing facilities (SCF), and independent verification validation of the ECS. Requirements for EODIS are also reviewed noting that, among other requirements, it must keep up with an orbital average data rate of more than 30 Mbps as well as store, distribute, and manage information about tens of Petabytes of data during and after the 15-year mission.

Taylor, Thomas D.↗

Lightning Protection

Lightning Technologies, Inc., Pittsfield, MA, - a spinoff company founded by president J. Anderson Plumer, a former NASA contractor employee who developed his expertise with General Electric Company's High Voltage Laboratory - was a key player in Langley Research Center's Storm Hazards Research Program. Lightning Technologies used its NASA acquired experience to develop protective measures for electronic systems and composite structures on aircraft, both of which are particularly susceptible to lightning damage. The company also provides protection design and verification testing services for complete aircraft systems or individual components. Most aircraft component manufacturers are among Lightning Technologies' clients.

Source record↗

Explicit Finite Element Modeling of Multilayer Composite Fabric for Gas Turbine Engine Containment Systems, Phase II: Material Model Development and Simulation of Experiments - Part 3

A team consisting of Arizona State University, Honeywell Engines, Systems & Services, the National Aeronautics and Space Administration Glenn Research Center, and SRI International collaborated to develop computational models and verification testing for designing and evaluating turbine engine fan blade fabric containment structures. This research was conducted under the Federal Aviation Administration Airworthiness Assurance Center of Excellence and was sponsored by the Aircraft Catastrophic Failure Prevention Program. The research was directed toward improving the modeling of a turbine engine fabric containment structure for an engine blade-out containment demonstration test required for certification of aircraft engines. The research conducted in Phase II began a new level of capability to design and develop fan blade containment systems for turbine engines. Significant progress was made in three areas: (1) further development of the ballistic fabric model to increase confidence and robustness in the material models for the Kevlar(TradeName) and Zylon(TradeName) material models developed in Phase I, (2) the capability was improved for finite element modeling of multiple layers of fabric using multiple layers of shell elements, and (3) large-scale simulations were performed. This report concentrates on the material model development and simulations of the impact tests.

Zylon↗

Open-Source RTOS Space Qualification: An RTEMS Case Study

NASA space-qualification of reusable off-the-shelf real-time operating systems (RTOSs) remains elusive due to several factors notably (1) The diverse nature of RTOSs utilized across NASA, (2) No single NASA space-qualification criteria, lack of verification and validation (V&V) analysis, or test beds, and (3) different RTOS heritages, specifically open-source RTOSs and closed vendor-provided RTOSs. As a leader in simulation test beds, the NASA IV&V Program is poised to help jump-start and lead the space-qualification effort of the open source Real-Time Executive for Multiprocessor Systems (RTEMS) RTOS. RTEMS, as a case-study, can be utilized as an example of how to qualify all RTOSs, particularly the reusable non-commercial (open-source) ones that are gaining usage and popularity across NASA. Qualification will improve the overall safety and mission assurance of RTOSs for NASA-agency wide usage. NASA's involvement in space-qualification of an open-source RTOS such as RTEMS will drive the RTOS industry toward a more qualified and mature open-source RTOS product.

Real-time operating system↗

Advances in Rodent Research Missions on the International Space Station

A Research platform for rodent experiment on the ISS is an essential tool for advancing biomedical research in space. The Rodent Research allows for experiments of much longer duration that experiments on the Shuttle. NASA’s Rodent Research (RR)-1 mission was successfully completed, including post-flight analysis and achieved a number of objectives including validation of flight hardware, on-orbit operations, and science capabilities that were developed at the NASA Ames Research Center. Briefly, twenty C57BL/6J adult female mice were launched on the SpX4 Dragon vehicle, which thrived for up to 37 days in microgravity. Daily health checks of the mice were performed during the mission via downlinked video; all animals were healthy and displayed normal behavior without any significant signs of stress. Behavioral analysis demonstrated that Flight and Ground Control mice exhibited the same range of behaviors, including eating, drinking, exploratory behavior, self- and allo-grooming, and social interactions indicative of healthy animals. The animals were euthanized and select tissues were collected from some of the mice on orbit to assess the long-term sample storage capabilities of the ISS. The data obtained from the flight mice were comparable to those from the 3 groups of control mice (baseline, vivarium and ground controls), suggesting that the ISS has adequate capability to support long-duration rodent experimentations. We recovered over 35 tissues from 40 RR1 frozen carcasses, yielded over 3200 aliquots of tissues, and distributed to the scientific community, including NASA’s GeneLab and scientists in the U.S. through Biospecimen Sharing Program via Ames Life Science Data Archive. Tissues were also distributed to Russian research colleagues at the Institute for Biomedical Problems. The expression levels of select genes including albumin, catalase, GAPDH, HMGCoA Reductase, and IGF1 were determined using RNA isolated from the livers by qPCR and no significant differences by one factor ANOVA were found between flight and ground control groups. In addition, some of the liver samples were subject to transcriptomics, epigenomics and proteomics. The data are now available to the scientific community through GeneLab’s open science data website. Since the RR1 mission, another long duration mission (Rodent Research-2) was completed on the ISS in 2015 in which 20 female C57 BL/6J mice were successfully maintained on the ISS for varying time points, with the last group of 5 animals being on-orbit for 54 days. This second Rodent Research flight expanded the program’s capabilities with the introduction of new technologies including blood collection and separation and bone densitometry scanning. Furthermore, we have continued to expand the ISS’s capabilities by running a series of ground-based verification testing using male mice. Our next step is to fly male mice for Rodent Research-4 on SpaceX-10 to study the effects of microgravity on bone healing and regeneration. It will be the first long-duration mission using male mice using Rodent Hardware. In addition, the number of mice will increase from 20 mice (on RR-1 and RR-2) to 40 for RR-4. When samples return to Earth, a number of tissues will be dissected from the frozen carcasses and select tissue samples will become available to the scientific community via BSP. Altogether, we have continued to expand our capabilities for performing long-duration missions on the ISS as emphasized in the National Research Council’s Decadal Survey released in 2011 and to maximize science return from each mission.

Choi, S.↗