Search NASA⌕ Search

SEARCH · Search NASA

Results for “Validation Methods”

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 919 records · Page 51

Integrating Human Factors into Crew Exploration Vehicle Design

With NASA's new Vision for Exploration to send humans beyond Earth orbit, it is critical to consider the human as a system that demands early and continuous user involvement, and an iterative prototype/test/redesign process. Addressing human-system interface issues early on can be very cost effective even cost reducing when performed early in the design and development cycle. To achieve this goal within Crew Exploration Vehicle (CEV) Project Office, human engineering (HE) team is formed. Key tasks are to apply HE requirements and guidelines to hardware/software, and provide HE design, analysis and evaluation of crew interfaces. Initial activities included many practice-orientated evaluations using low-fidelity CEV mock-ups. What follows is a description of such evaluations that focused on a HE requirement regarding Net Habitable Volume (NHV). NHV is defined as the total remaining pressurized volume available to on-orbit crew after accounting for the loss of volume due to deployed hardware and structural inefficiencies which decrease functional volume. The goal of the NHV evaluations was to develop requirements providing sufficient CEV NHV for crewmembers to live and perform tasks in support of mission goals. Efforts included development of a standard NHV calculation method using computer models and physical mockups, and crew/ stakeholder evaluations. Nine stakeholders and ten crewmembers participated in the unsuited evaluations. Six crewmembers also participated in a suited evaluation. The mock-up was outfitted with volumetric representation of sub-systems such as seats, and stowage bags. Thirteen scenarios were developed to represent mission/crew tasks and considered to be primary volume drivers (e.g., suit donning) for the CEV. Unsuited evaluations included a structured walkthrough of these tasks. Suited evaluations included timed donning of the existing launch and entry suit to simulate a contingency scenario followed by doffing/ stowing of the suits. All mockup evaluations were videotaped. Structured questionnaires were used to document user interface issues and volume impacts of layout configuration. Computer model and physical measures of the NHV agreed within 1 percent. This included measurement of the gross habitable volume, subtraction of intrusive volumes, and other non-habitable spaces. Calculation method developed was validated as a standard means of measuring NHV, and was recommended as a verification method for the NHV requirements. Evaluations confirmed that there was adequate volume for unsuited scenarios and suit donning/ doffing activity. Seats, suit design stowage and waste hygiene system noted to be critical volume drivers. The low-fidelity mock-up evaluations along with human modeling analysis generated discussions that will lead to high-level systems requirements and human-centered design decisions. This approach allowed HE requirements and operational concepts to evolve in parallel with engineering system concepts and design requirements. As the CEV design matures, these evaluations will continue and help with design decisions, and assessment, verification and validation of HE requirements.

Whitmore, Mihriban↗

Aerodynamic loads near cranks, apexes, and tips of thin, lifting wings in incompressible flow

The calculation of the incompressible and irrotational flow in the vicinity of tips and corners of thin, lifting wings is considered. It is shown that the important characteristics of the flow are governed by an eigenvalue problem, which is nonlinear at the trailing edge because of the shed wake (assumed to be in the wing plane). A new solution method was devised because either the existing methods were not valid for the trailing edge case or they would have required excessive amounts of computer time. The new method, which is fundamentally different than the previous ones, was used to calculate solutions for a number of cases, including some for which correct answers had not previously been obtained. Two of these solutions were used to determine the validity of drag and leading-edge-suction distributions near the tips of a delta wing and a swept wing as calculated by using both the vortex lattice method and a kernel function method. The calculations for the swept wing resolved the question of whether or not the induced drag should be zero at the wing tip.

Medan, R. T.↗

Verification and Validation Process for Progressive Damage and Failure Analysis Methods in the NASA Advanced Composites Consortium

The Advanced Composites Consortium is a US Government/Industry partnership supporting technologies to enable timeline and cost reduction in the development of certified composite aerospace structures. A key component of the consortium's approach is the development and validation of improved progressive damage and failure analysis methods for composite structures. These methods will enable increased use of simulations in design trade studies and detailed design development, and thereby enable more targeted physical test programs to validate designs. To accomplish this goal with confidence, a rigorous verification and validation process was developed. The process was used to evaluate analysis methods and associated implementation requirements to ensure calculation accuracy and to gage predictability for composite failure modes of interest. This paper introduces the verification and validation process developed by the consortium during the Phase I effort of the Advanced Composites Project. Specific structural failure modes of interest are first identified, and a subset of standard composite test articles are proposed to interrogate a progressive damage analysis method's ability to predict each failure mode of interest. Test articles are designed to capture the underlying composite material constitutive response as well as the interaction of failure modes representing typical failure patterns observed in aerospace structures.

Wanthal, Steven↗

Formal methods and their role in digital systems validation for airborne systems

This report is based on one prepared as a chapter for the FAA Digital Systems Validation Handbook (a guide to assist FAA certification specialists with advanced technology issues). Its purpose is to explain the use of formal methods in the specification and verification of software and hardware requirements, designs, and implementations; to identify the benefits, weaknesses, and difficulties in applying these methods to digital systems used in critical applications; and to suggest factors for consideration when formal methods are offered in support of certification. The presentation concentrates on the rationale for formal methods and on their contribution to assurance for critical applications within a context such as that provided by DO-178B (the guidelines for software used on board civil aircraft); it is intended as an introduction for those to whom these topics are new.

Rushby, John↗

Advanced modeling and simulation of research reactors using dynamic mode decomposition

Full text of publication follows. Due to the ever-increasing safety requirements, the current trend of nuclear reactor analysis is shifting towards high-fidelity multi-physics models, which have a very high computational cost and modelling complexity. As the cost of even a single model run makes it impossible to analyse the behaviour and performance of these models on large-scale commercial plants, it has become even more significant to provide suitable benchmarks to validate and test them extensively. In this sense, research reactors offer a promising solution for the initial validation of high-fidelity models, as they are significantly smaller than commercial reactors and their characteristics are well known. In particular, the reactors of the TRIGA family have been used to assess and validate models and methods for Generation-IV designs, as they have some similar features (such as the dominance of natural convection as cooling mechanism and the difficulties in performing sub-channel analysis using standard codes). Still, the computational requirements of high-fidelity models make them unsuitable for real-time analysis, even following their assessment on research reactors. In this sense, Model Order Reduction (MOR) techniques give an additional strategy to reduce the computational cost of high-fidelity models (whilst preserving sufficient accuracy). In particular, this work focuses on Dynamic Mode Decomposition (DMD), a non-intrusive MOR technique that aims at representing models with explicit temporal dynamics by extracting the time-varying characteristics and the governing structures based only on a set of available data, thus without needing any underlying knowledge of the governing equations. In addition, DMD also computes a low-dimensional surrogate of the dynamic matrix of the system, making it suited for stability analysis and real-time evaluations. This work focuses on the application and validation of the DMD method on the Computational Fluid-Dynamics (CFD) model TRIGA Mark II reactor, also discussing in detail the potentiality of this algorithm as an advanced modelling tool for nuclear reactor analysis. (author)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Flow field analysis of aircraft configurations using a numerical solution to the three-dimensional unified supersonic/hypersonic small disturbance equations, part 1

The unified small disturbance equations are numerically solved using the well-known Lax-Wendroff finite difference technique. The method allows complete determination of the inviscid flow field and surface properties as long as the flow remains supersonic. Shock waves and other discontinuities are accounted for implicity in the numerical method. This technique was programed for general application to the three-dimensional case. The validity of the method is demonstrated by calculations on cones, axisymmetric bodies, lifting bodies, delta wings, and a conical wing/body combination. Part 1 contains the discussion of problem development and results of the study. Part 2 contains flow charts, subroutine descriptions, and a listing of the computer program.

Gunness, R. C., Jr.↗

Advanced computational techniques for hypersonic propulsion

Computational Fluid Dynamics (CFD) has played a major role in the resurgence of hypersonic flight, on the premise that numerical methods will allow performance of simulations at conditions for which no ground test capability exists. Validation of CFD methods is being established using the experimental data base available, which is below Mach 8. It is important, however, to realize the limitations involved in the extrapolation process as well as the deficiencies that exist in numerical methods at the present time. Current features of CFD codes are examined for application to propulsion system components. The shortcomings in simulation and modeling are identified and discussed.

Povinelli, Louis A.↗

Advanced computational techniques for hypersonic propulsion

Computational Fluid Dynamics (CFD) has played a major role in the resurgence of hypersonic flight, on the premise that numerical methods will allow performance of simulations at conditions for which no ground test capability exists. Validation of CFD methods is being established using the experimental data base available, which is below Mach 8. It is important, however, to realize the limitations involved in the extrapolation process as well as the deficiencies that exist in numerical methods at the present time. Current features of CFD codes are examined for application to propulsion system components. The shortcomings in simulation and modeling are identified and discussed.

Povinelli, Louis A.↗

An inverse dynamic tracking control for bracing a flexible manipulator

The goal of this research is to produce a braced manipulator that is flexible. In order to brace the manipulator against a surface, a tip position tracking control becomes essential to avoid large impacts on contact, and to control the force after contact. If we consider the characteristics of the flexible manipulator, the control task may be characterized as a tracking control of a nonlinear, noncolocated, nonminimum-phase system with uncertainties. First, the author introduces the staged positioning concept and provides a conceptual background for the bracing strategy. Second, a single link flexible manipulator is modeled by the assumed-modes method, and the validity of the model is verified with experimental results. Third, a time domain inverse dynamic method is proposed to cancel out the nonminimum-phase positive zeros which cannot be cancelled by feedback controls. Fourth, a tracking controller is designed to control the end point of a flexible manipulator without any overshoot or residual vibrations. Its perfect tracking or asymptotic tracking performance is analyzed and discussed for zero and non-zero initial condition cases. Finally, impact phenomena are investigated, and contact force control of a flexible bracing manipulator is presented to set up a control scenerio for such a manipulator. The proposed control scheme is implemented on a single link flexible manipulator, and analyzed and evaluated with simulations and experiments.

Source record↗

Simulation of crossflow instability on a supersonic highly swept wing

A direct numerical simulation (DNS) algorithm has been developed and validated for use in the investigation of crossflow instability on supersonic swept wings, an application of potential relevance to the design of the High-Speed Civil Transport (HSCT). The algorithm is applied to the investigation of stationary crossflow instability on an infinitely long 77-degree swept wing in Mach 3.5 flow. The results of the DNS are compared with the predictions of linear parabolized stability equation (PSE) methodology. In-general, the DNS and PSE results agree closely in terms of modal growth rate, structure, and orientation angle. Although further validation is needed for large-amplitude (nonlinear) disturbances, the close agreement between independently derived methods offers preliminary validation of both DNS and PSE approaches.

Pruett, C. David↗

A Method to Analyze Tail Buffet Loads of Aircraft

Aircraft designers commit significant resources to the design of aircraft in meeting performance goals. Despite fulfilling traditional design requirements, many fighter aircraft have encountered buffet loads when demonstrating their high angle-of-attack maneuver capabilities. As a result, during test or initial production phases of fighter development programs, many new designs are impacted, usually in a detrimental way, by resulting in reassessing designs or limiting full mission capability. These troublesome experiences usually stem from overlooking or completely ignoring the effects of buffet during the design phase of aircraft. Perhaps additional requirements are necessary that addresses effects of buffet in achieving best aircraft performance in fulfilling mission goals. This paper describes a reliable, fairly simple, but quite general buffet loads analysis method to use in the initial design phases of fighter-aircraft development. The method is very similar to the random gust load analysis that is now commonly available in a commercial code, which this analysis capability is based, with some key modifications. The paper describes the theory and the implementation of the methodology. The method is demonstrated on a JSF prototype example problem. The demonstration also serves as a validation of the method, since, in the paper, the analysis is shown to nearly match the flight data. In addition, the paper demonstrates how the analysis method can be used to assess candidate design concepts in determining a satisfactory final aircraft configuration.

Pototzky, Anthony S.↗

A Tail Buffet Loads Prediction Method for Aircraft at High Angles of Attack

Aircraft designers commit significant resources to the design of aircraft in meeting performance goals. Despite fulfilling traditional design requirements, many fighter aircraft have encountered buffet loads when demonstrating their high angle-of-attack maneuver capabilities. As a result, during test or initial production phases of fighter development programs, many new designs are impacted, usually in a detrimental way, by resulting in reassessing designs or limiting full mission capability. These troublesome experiences usually stem from overlooking or completely ignoring the effects of buffet during the design phase of aircraft. Perhaps additional requirements are necessary that addresses effects of buffet in achieving best aircraft performance in fulfilling mission goals. This paper describes a reliable, fairly simple, but quite general buffet loads analysis method to use in the initial design phases of fighter-aircraft development. The method is very similar to the random gust load analysis that is now commonly available in a commercial code, which this analysis capability is based, with some key modifications. The paper describes the theory and the implementation of the methodology. The method is demonstrated on a JSF prototype example problem. The demonstration also serves as a validation of the method, since, in the paper, the analysis is shown to nearly match the flight data. In addition, the paper demonstrates how the analysis method can be used to assess candidate design concepts in determining a satisfactory final aircraft configuration.

Pototzky, Anthony S.↗

Investigation of Delayed Neutron Sensitivities for Several ICSBEP Benchmarks using MCNP

The effective delayed neutron (β$_{eff}$) is a very important parameter for reactor and criticality applications. This parameter is equal to the difference in reactivity between delayed critical ($k_{eff}$ = 1, which requires both prompt and delayed neutrons to achieve criticality) and prompt critical ($k_p$ = 1, which requires only prompt neutrons to achieve criticality). This is often referred to as the delayed critical "window" (the region of criticality between delayed and prompt critical). β$_{eff}$ is a reactor kinetics parameters and depends on the nuclides in the system that undergo fission as well as the spectral characteristics of the system. Measurements of β$_{eff}$ have been performed for many criticality experiments. The EUCLID (Experiments Underpinned by Computational Learning for Improvements in nuclear Data) project at Los Alamos National Laboratory (LANL) aims to constrain nuclear data by using a suite of measurement types beyond $k_{eff}$. Our team has recently investigated the use of pulsed spheres for nuclear data validation. Several other measurement methods are also of interest, including β$_{eff}$ (investigated here) and reactivity coefficients (investigated in a separate work at this same meeting). One focus of our work is to determine if other methods are complimentary to the critical experiments already utilized for nuclear data validation. This is important because if a method has similar sensitivities then it will not be particularly useful for nuclear data validation as it will provide the same information as the critical experiments already being used. Here "similar" could refer to several characteristics, one being the shape of a sensitivity profile over energy. In the future, these methods will be utilized (with both existing and new experiments) in machine learning algorithms for nuclear validation, similar to what is currently done for criticality experiments. In order to use a measurement type for nuclear validation, it is necessary to obtain cross-section sensitivities for that parameter. This work looks at one approach to estimate β$_{eff}$ sensitivities by utilizing $k_{eff}$ sensitivities within Monte Carlo N-Particle ® Code Version 6.2. This is applied to several criticality benchmarks. Results are compared and the benefits and limitations of this approach are discussed.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Survey of Verification and Validation Techniques for Small Satellite Software Development

The purpose of this paper is to provide an overview of the current trends and practices in small-satellite software verification and validation. This document is not intended to promote a specific software assurance method. Rather, it seeks to present an unbiased survey of software assurance methods used to verify and validate small satellite software and to make mention of the benefits and value of each approach. These methods include simulation and testing, verification and validation with model-based design, formal methods, and fault-tolerant software design with run-time monitoring. Although the literature reveals that simulation and testing has by far the longest legacy, model-based design methods are proving to be useful for software verification and validation. Some work in formal methods, though not widely used for any satellites, may offer new ways to improve small satellite software verification and validation. These methods need to be further advanced to deal with the state explosion problem and to make them more usable by small-satellite software engineers to be regularly applied to software verification. Last, it is explained how run-time monitoring, combined with fault-tolerant software design methods, provides an important means to detect and correct software errors that escape the verification process or those errors that are produced after launch through the effects of ionizing radiation.

Small Satellite Technology↗

Current research in sonic-boom minimization

A review is given of several questions as yet unanswered in the area of sonic-boom research. Efforts, both here at Langley and elsewhere, in the area of minimization, human response, design techniques and in developing higher order propagation methods are discussed. In addition, a wind-tunnel test program being conducted to assess the validity of minimization methods based on a forward spike in the F-function is described.

Darden, C. M.↗

Comparison of measured and predicted flight effects on high-bypass coaxial jet exhaust noise

A recently developed semi-empirical model for predicting the noise generated by conventional-velocity-profile coaxial jets is compared with full-scale flight data and model-scale simulated flight data for high-bypass nozzles. The prediction model has been shown to agree with small-scale static data for primary jet velocities from 215 to 795 m/s for a wide range of area, temperature and velocity ratios between streams. However, there were insufficient model nozzle, simulated flight data available at that time to permit validation of the flight effects prediction. The comparisons presented in this paper demonstrate that the prediction method is also valid in flight.

Stone, J. R.↗

Advanced Computational Techniques for Hypersonic Propulsion

CFD has played a major role in the resurgence of hypersonic flight, on the premise that numerical methods will allow us to perform simulations at conditions for which no ground test capability exists. Validation of CFD methods is being established using the experimental data base available, which is below Mach 8. It is important, however, to realize the limitations involved in the extrapolation process as well as the deficiencies that exist in numerical methods at the present time. Current features of CFD codes are examined for application to propulsion system components. The shortcomings in simulation and modeling are identified and discussed.

Povinelli, Louis A.↗