Search NASA⌕ Search

SEARCH · Search NASA

Results for “Design 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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Steam generator model design parameter sensitivity study for small modular reactor system

Here, this study focuses on design parameter sensitivity studies pertaining to several Once-Through Steam Generator (OTSG) model cases both with and without a riser using python and advanced risk assessment and optimization tool, i.e. Risk Analysis Virtual Environment (RAVEN) developed at Idaho National Laboratory (INL), to support a Small Modular Reactor (SMR) system. The presented Steam Generator (SG) python-based model is a mathematical representation of a steam-generating unit for a Pressurized Water Reactor (PWR)-type SMR system, including fluid flow and heat transfer equations, models, and correlations. Design studies involve changing the model’s input design parameters (e.g., temperature, pressure, mass flow rate) to observe the resulting effects on the output of the system, such as the Heat Transfer Coefficient (HTC), Reynolds number, Nusselt number, and heat transfer performance. Sensitivity studies analyze the degree to which system output and/or desired parameters (e.g., HTC or heat transfer performance) are sensitive to changes in the input parameters. By using RAVEN, detailed design parametric sensitivity studies. Six input parameters—namely, the pressure, temperature, and mass flow rate for the inlet of the primary-side (hot fluid) and secondary-side (cold fluid) of the SG—were randomly perturbed via RAVEN’s Monte Carlo Sampler module, using uniform distributions (i.e., ±1%, ±5% and ±10 % relative changes) for 600 samples. The analysis results give valuable insights into SG system performance, and provide justification for further research and development such as optimized sensor placement, design verification, validation, and optimization.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
NASA NTRS2007

Progress in Spacecraft Environment Interactions: International Space Station (ISS) Development and Operations

The set of spacecraft interactions with the space flight environment that have produced the largest impacts on the design, verification, and operation of the International Space Station (ISS) Program during the May 2000 to May 2007 time frame are the focus of this paper. In-flight data, flight crew observations, and the results of ground-based test and analysis directly supporting programmatic and operational decision-making are reported as are the analysis and simulation efforts that have led to new knowledge and capabilities supporting current and future space explorations programs. The specific spacecraft-environment interactions that have had the greatest impact on ISS Program activities during the first several years of flight are: 1) spacecraft charging, 2) micrometeoroids and orbital debris effects, 3) ionizing radiation (both total dose to materials and single event effects [SEE] on avionics), 4) hypergolic rocket engine plume impingement effects, 5) venting/dumping of liquids, 6) spacecraft contamination effects, 7) neutral atmosphere and atomic oxygen effects, 8) satellite drag effects, and 9) solar ultraviolet effects. Orbital inclination (51.6deg) and altitude (nominally between 350 km and 460 km) determine the set of natural environment factors affecting the performance and reliability of materials and systems on ISS. ISS operates in the F2 region of Earth s ionosphere in well-defined fluxes of atomic oxygen, other ionospheric plasma species, solar UV, VUV, and x-ray radiation as well as galactic cosmic rays, trapped radiation, and solar cosmic rays. The micrometeoroid and orbital debris environment is an important determinant of spacecraft design and operations in any orbital inclination. The induced environment results from ISS interactions with the natural environment as well as environmental factors produced by ISS itself and visiting vehicles. Examples include ram-wake effects, hypergolic thruster plume impingement, materials out-gassing, venting and dumping of fluids, and specific photovoltaic (PV) power system interactions with the ionospheric plasma. Vehicle size (L) and velocity (v), combined with the magnitude and direction of the geomagnetic field (B) produce operationally significant magnetic induction voltages (VxB.L) in ISS conducting structure during high latitude flight (>+/- 45deg) during each orbit. In addition, ISS is a large vehicle and produces a deep wake structure from which both ionospheric plasma and neutrals species are largely excluded. ISS must fly in a very limited number of approved flight attitudes, so that exposure of a particular material or system to environmental factors depends upon: 1) location on ISS, 2) ISS flight configuration, 3) ISS flight attitude, and 4) variation of solar exposure (Beta angle), and hence thermal environment, with time. Finally, an induced ionizing radiation environment is produced by trapped radiation and solar/cosmic ray interactions with the relatively massive ISS structural shielding.

Koontz, Steve↗
NASA NTRS2009

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗
DOE OSTI2026

Design and Performance Assessment of Intermediary Coils for Misalignment Tolerance Improvement in Wireless Power Transfer Systems

This paper investigates the use of intermediate coils positioned between the primary and secondary coils in Wireless Power Transfer (WPT) systems for electric vehicle (EV) charging, with the objective of improving power transfer efficiency and robustness under misalignment conditions. An optimized 1 kW power system that operates at 85 kHz is developed and the misalignment performance was analyzed and compared with and without intermediate coils. A preliminary increase in efficiency of 2.3% at a misalignment of 52% of the coil radius is shown to be possible for a passive intermediate coil. An experimental prototype is built for design verification.

Sivka, Gozde [ORNL]↗
NASA NTRS1965

5KW pulse width modulated static inverter

Design verification tests for logic and low level circuits, and preliminary single-phase breadboard of pulse width modulated static inverter

PULSE WIDTH MODULATION /PWM/↗
NASA NTRS1972

Apollo experience report: Electronic systems test program accomplishments and results

A chronological record is presented of the Electronic Systems Test Program from its conception in May 1963 to December 1969. The original concept of the program, which was primarily a spacecraft/Manned Space Flight Network communications system compatibility and performance evaluation, is described. The evolution of these concepts to include various levels of test detail, as well as systems level design verification testing, is discussed. Actual implementation of these concepts is presented, and the facility to support the program is described. Test results are given, and significant contributions to the lunar landing mission are underlined. Plans for modifying the facility and the concepts, based on Apollo experience, are proposed.

Ohnesorge, T. E.↗
NASA NTRS1972

Methodology for the systems engineering process. Volume 2: Technical parameters

A scheme based on starting the logic networks from the development and mission factors that are of primary concern in an aerospace system is described. This approach required identifying the primary states (design, design verification, premission, mission, postmission), identifying the attributes within each state (performance capability, survival, evaluation, operation, etc), and then developing the generic relationships of variables for each branch. To illustrate this concept, a system was used that involved a launch vehicle and payload for an earth orbit mission. Examination showed that this example was sufficient to illustrate the concept. A more complicated mission would follow the same basic approach, but would have more extensive sets of generic trees and more correlation points between branches. It has been shown that in each system state (production, test, and use), a logic could be developed to order and classify the parameters involved in the translation from general requirements to specific requirements for system elements.

Nelson, J. H.↗
NASA NTRS1972

Apollo experience report: Thermal protection from engine-plume environments

Portions of the combined Apollo spacecraft (the command and service module and the lunar module) are subjected to the impingement of hot exhaust gases from the various propulsion systems of the modules. The configurations of the vehicles and the sources of impinging engine plumes are described. A typical Apollo mission is outlined. Protection and design-verification methods are discussed. Finally, recommendations are made for future spacecraft programs.

Taylor, J. T.↗
NASA NTRS1972

A proposed USAF fatigue evaluation program based upon recent systems experience

The United States Air Force has published a document entitled Aircraft Structural Integrity Program. One phase of the program is concerned with the fatigue life certification of all types of military aircraft. The document describes the criteria, analyses, and tests that are necessary in order to satisfy the USAF fatigue life requirement. Some recent and valid criticism has been directed toward the document, particularly the fatigue-life requirements contained in it. Some changes are proposed based on surveys conducted in the United States and abroad as well as some recent systems' experience. The surveys covered both military and civilian organizations. The fatigue certification case histories of selected military and commercial aircraft are presented. The design development element tests, preproduction design verification tests, and full-scale fatigue tests of each are described. A brief status report on the revisions to the MIL-A-008860 series specifications is included.

Haviland, G. P.↗
NASA NTRS1972

The development of a non-cryogenic nitrogen/oxygen supply system

Development of the hydrazine/water electrolysis process in a manned spacecraft to provide metabolic oxygen and both oxygen and nitrogen for cabin leakage makeup was studied. Electrode development efforts were directed to stability, achieved with catalyst additives and improved processing techniques, and a higher hydrazine conversion efficiency, achieved by reducing catalyst loading on the cathodes. Extensive testing of the one-man breadboard N2/02 system provided complete characterization of cabin atmosphere control aspects. A detailed design of a prototype modular N2/02 unit was conducted. The contact heat exchanger which is an integral component of this design was fabricated and sucessfully design-verification tested.

Greenough, B. M.↗
NASA NTRS1973

Evaluation of an electrochemical N2/H2 gas separator

A program was successfully completed to evaluate an electrochemical nitrogen/hydrogen (N2/H2) separator for use in a spacecraft nitrogen (N2) generator. Based on the technical data obtained a N2/H2 separator subsystem consisting of an organic polymer gas permeator first stage and an electrochemical second and third stage was estimated to have the lowest total spared equivalent weight, 257 kg (566 lb), for a 15 lb/day N2 generation rate. A pre-design analysis of the electrochemical N2/H2 separator revealed that its use as a first stage resulted in too high a power requirement to be competitive with the organic polymer membrane and the palladium-silver membrane separation methods. As a result, program emphasis was placed on evaluating the electrochemical. A parametric test program characterized cell performance and established second- and third-stage electrochemical N2/H2 separator operating conditions. A design verification test was completed on the second and third stages. The second stage was then successfully endurance tested for 200 hours.

Marshall, R. D.↗
NASA NTRS1974

Apollo experience report: Thermal protection subsystem

The Apollo command module was the first manned spacecraft to be designed to enter the atmosphere of the earth at lunar-return velocity, and the design of the thermal protection subsystem for the resulting entry environment presented a major technological challenge. Brief descriptions of the Apollo command module thermal design requirements and thermal protection configuration, and some highlights of the ground and flight testing used for design verification of the system are presented. Some of the significant events that occurred and decisions that were made during the program concerning the thermal protection subsystem are discussed.

Pavlosky, J. E.↗
NASA NTRS1973

Space Shuttle Main Engine program status

Performance, weight, and reusability of the Space Shuttle Main Engine, the next generation rocket engine, are important factors in achieving the Space Shuttle mission. The design features of the engine contributing to the achievement of these engine demands are discussed. Many new fabrication methods, material applications, and innovations incorporated into the engine are presented. The engine program is now in the second year of the 47 months development period. The current status of activities in engineering, manufacturing, and test are reviewed. The Design Verification Specification approach to engine development is compared to the development programs for Saturn/Apollo engines.

Kirby, F. M.↗
NASA NTRS1974

Cluster systems integration

The cluster systems integration program of Skylab is reviewed with attention to its hardware, management interfaces, mission requirements control, and baseline planning documentation. The responsibilities of the interdiscipline and intercenter technical working groups and panels participating in the program are discussed. The five phases of the program are identified as Wet and Dry Workshop studies and Skylab Program Specification; requirements synthesis and the start of formal configuration management; compatibility assessment and control; design verification; and prelaunch and mission support operations. It is indicated that the cluster systems integration is a vital key element in the development and implementation of the Skylab space station.

Hagood, C. C.↗