Search NASA⌕ Search

SEARCH · Search NASA

Results for “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 217 records · Page 12

Recent Progress on RANS-Based Transition Model Verification

The current efforts to assess and improve the Reynolds-averaged Navier-Stokes (RANS)-coupled transition models in the NASA FUN3D and OVERFLOW codes are summarized in this study. The first AIAA Transition Modeling Workshop and the NATO AVT-313 Transition Workshop both emphasized the need for code verification for transport equations based transition models as a top priority. We discuss the methods used for the model verification, the resulting grid families, the flow solutions, and other supporting information collected with at least two established NASA flow solvers, namely, FUN3D and OVERFLOW. These results, which will be uploaded onto the NASA Turbulence Modeling Resource, should assist other members of the computational fluid dynamics (CFD) community in verifying their own implementations of various transition models, such as the Langtry-Menter (LM2009) model, the one-equation γ model, and Coder’s amplification factor transport (AFT) model. Grid convergence is assessed using both global and local flow metrics of interest such as lift and drag as well as local skin-friction coefficients. We also explore the anisotropic unstructured metric-based adaptive mesh refinement library known as refine with the NASA FUN3D solver to determine if this capability can achieve the same accuracy as handcrafted structured grids with a significantly smaller node count and to learn the characteristics of the resulting grid distribution, especially in the vicinity of the transition zone.

RANS↗

Design, Formalization, and Verification of Decision Making for Intelligent Systems

The development of autonomous systems requires a rigorous process that can guarantee a system’s reliability in critical applications. At its core, an autonomous system bases its behavior on a well-defined decision making system. In this paper, we present a methodological basis for the design, formalization and formal verification of Decision Making systems for autonomous agents. The approach is generally applicable to operational objectives that can be functionally decomposed and subsequently represented as Hierarchical Finite State Machines. As a case study, we present the application of this method to implement a Decision Making model in Simulink. Furthermore, we present how we use NASA’s FRET tool to write requirements in structured natural language and generate formal specifications that can be automatically digested by NASA’s CoCoSim tool. Finally, we present how, by leveraging CoCoSim, we perform formal verification against the Simulink model and present analysis results.

Model-based development↗

USM3D-ME Solutions for RANS Test Suite of High-Fidelity CFD Verification Workshop 2024

USM3D-ME solutions for the High-Fidelity CFD Verification Workshop 2024 are presented. Solutions are computed for the Reynolds-Averaged Navier-Stokes equations using the Spalart-Allmaras one equation turbulence model, SA-neg-QCR2000-R, that is enhanced with a nonlinear correction to the turbulence stresses and a correction for flow rotation. USM3D-ME solutions have been computed for the three verification cases, namely, a Joukowski airfoil, a subsonic three-dimensional flow around an extruded NACA 0012 wing in tunnel, and subsonic flow around a high-lift wing-body configuration. Iterative convergence of USM3D-ME solutions on several grids within various grid families is demonstrated. Grid convergence of integrated forces, pitching moment and sectional variations of surface pressure and skin friction are also presented.

CFD↗

Design, Formalization, and Verification of Decision Making for Intelligent Systems

The development of autonomous systems requires a rigorous process that can guarantee a system’s reliability in critical applications. At its core, an autonomous system bases its behavior on a well-defined decision making system. In this paper, we present a methodological basis for the design, formalization and formal verification of Decision Making systems for autonomous agents. The approach is generally applicable to operational objectives that can be functionally decomposed and subsequently represented as Hierarchical Finite State Machines. As a case study, we present the application of this method to implement a Decision Making model in Simulink. Furthermore, we present how we use NASA’s FRET tool to write requirements in structured natural language and generate formal specifications that can be automatically digested by NASA’s CoCoSim tool. Finally, we present how, by leveraging CoCoSim, we perform formal verification against the Simulink model and present analysis results.

Model-based development↗

Handbook: Design of automated redundancy verification

The use of the handbook is discussed and the design progress is reviewed. A description of the problem is presented, and examples are given to illustrate the necessity for redundancy verification, along with the types of situations to which it is typically applied. Reusable space vehicles, such as the space shuttle, are recognized as being significant in the development of the automated redundancy verification problem.

Ford, F. A.↗

Dynamic testing for shuttle design verification

Space shuttle design verification requires dynamic data from full scale structural component and assembly tests. Wind tunnel and other scaled model tests are also required early in the development program to support the analytical models used in design verification. Presented is a design philosophy based on mathematical modeling of the structural system strongly supported by a comprehensive test program; some of the types of required tests are outlined.

Green, C. E.↗

Verification of performance of the Mariner 9 television cameras

Based on limited data, the Mariner 9 performance appears consistent throughout its mission. Several corrections have been provided by inflight verification sequences. A change in photometric response, which will impair precise photometric analysis, has been observed. Hence, only qualified photometric measurement appears feasible under limited conditions. Conversely, certain geometric and electronic parameters appear both measurable and congruent with preflight prediction. The role of inflight verification has been emphasized by these data to assess the in situ camera health and to promote efficient data analysis and interpretation.

Thorpe, T. E.↗

Verification of performance of the Mariner 9 television cameras.

The large volume of picture data produced by the Mariner 9 Television Experiment, in addition to providing a description of the planet Mars, emphasizes the need for in situ verification of camera performance. Such data provide the basis for initial quantitative image interpretation by confirmation of the relevance of preflight measurement. This information must be the result of planned calibration sequences rather than extraction from nominal mission photography. A lack of sufficient numbers of frames restricted Mariner camera verifications to only limited operational modes under optimal conditions and required significant extrapolation over the duration of the mission. The evidence does suggest that measurable photometric changes occurred, whereas agreement with preflight data is observed for other parameters.

Thorpe, T. E.↗

Cluster man/system design requirements and verification

Discussion of the procedures employed for determining the man/system requirements that guided Skylab design, and review of the techniques used for implementing the man/system design verification. The foremost lesson learned from the design need anticipation and design verification experience is the necessity to allow for human capabilities of in-flight maintenance and repair. It is now known that the entire program was salvaged by a series of unplanned maintenance and repair events which were implemented in spite of poor design provisions for maintenance.

Orbital workers↗

Study of space shuttle orbiter system management computer function. Volume 2: Automated performance verification concepts

The findings are presented of investigations on concepts and techniques in automated performance verification. The investigations were conducted to provide additional insight into the design methodology and to develop a consolidated technology base from which to analyze performance verification design approaches. Other topics discussed include data smoothing, function selection, flow diagrams, data storage, and shuttle hydraulic systems.

Source record↗

Low cost tracking Navaids error model verification

Features and characteristics of the tracking navaids (Microwave Scanning Beam Landing System, Radar Altimeter, Tacan, rendezvous radar and one way Doppler extracter) were investigated. From the investigation, a set of specifications were developed for building equipment to verify the error model of the tracking navaids. Breadboard verification equipment (BVE) was built for the Microwave Scanning Beam Landing System and the radar altimeter. The breadboard verification equipment generates signals to the tracking navaids which simulate the space shuttles trajectory in the terminal area. The BVE simulates sources of navaids error by generating pseudorandom perturbations on the navaids signals. Differences between the trajectory value and the navaid derived values are taped and form the basis for the navaids error model.

Charych, A.↗

Shuttle payload interface verification equipment study. Volume 2: Technical document, part 1

The technical analysis is reported that was performed during the shuttle payload interface verification equipment study. It describes: (1) the background and intent of the study; (2) study approach and philosophy covering all facets of shuttle payload/cargo integration; (3)shuttle payload integration requirements; (4) preliminary design of the horizontal IVE; (5) vertical IVE concept; and (6) IVE program development plans, schedule and cost. Also included is a payload integration analysis task to identify potential uses in addition to payload interface verification.

Source record↗

Certification and verification for Calmac flat plate solar collector

Information used in the certification and verification of the Calmac Flat Plate Collector is presented. Contained are such items as test procedures and results, information on materials used, installation, operation, and maintenance manuals, and other information pertaining to the verification and certification.

Source record↗

Integrated testing and verification system for research flight software

The MUST (Multipurpose User-oriented Software Technology) program is being developed to cut the cost of producing research flight software through a system of software support tools. An integrated verification and testing capability was designed as part of MUST. Documentation, verification and test options are provided with special attention on real-time, multiprocessing issues. The needs of the entire software production cycle were considered, with effective management and reduced lifecycle costs as foremost goals.

Taylor, R. N.↗

Considerations in STS payload environmental verification

The current philosophy of the GSFS regarding environmental verification of Shuttle payloads is reviewed. In the structures area, increased emphasis will be placed on the use of analysis for design verification, with selective testing performed as necessary. Furthermore, as a result of recent cost optimization analysis, the multitier test program will presumably give way to a comprehensive test program at the major payload subassembly level after adequate workmanship at the component level has been verified. In the thermal vacuum area, thought is being given to modifying the approaches used for conventional spacecraft.

Keegan, W. B.↗

Spacelab development and its operational verification

This paper gives a brief status report on the current Spacelab program and describes how the results of ground and flight tests will be combined to provide the operational verification of the system. For the on-going project, data on design, testing and fabrication plans are presented. In particular, recent changes to meet the constraints of a 'build-to-cost' project are described. In the operational verification of Spacelab, ground and flight tests which ESA and NASA will perform are addressed. The installation of test instrumentation and the performance of integrated tests will be accomplished in the US. Experiments for the first flight will be integrated into Spacelab racks and pallets and simulated mission tests performed. On-orbit, system thermal surveys are planned and stress data will be obtained during launch and re-entry.

Bignier, M.↗

Orbit attitude processor. STS-1 bench program verification test plan

A plan for the static verification of the STS-1 ATT PROC ORBIT software requirements is presented. The orbit version of the SAPIENS bench program is used to generate the verification data. A brief discussion of the simulation software and flight software modules is presented along with a description of the test cases.

Mcclain, C. R.↗