SEARCH · Search NASA

Results for “Static Program Analysis”

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 235 records · Page 13

All sources NASA NTRS DOE OSTI

NASA NTRS2001

A Scalable Analysis Toolkit

The Scalable Analysis Toolkit (SAT) project aimed to demonstrate that it is feasible and useful to statically detect software bugs in very large systems. The technical focus of the project was on a relatively new class of constraint-based techniques for analysis software, where the desired facts about programs (e.g., the presence of a particular bug) are phrased as constraint problems to be solved. At the beginning of this project, the most successful forms of formal software analysis were limited forms of automatic theorem proving (as exemplified by the analyses used in language type systems and optimizing compilers), semi-automatic theorem proving for full verification, and model checking. With a few notable exceptions these approaches had not been demonstrated to scale to software systems of even 50,000 lines of code. Realistic approaches to large-scale software analysis cannot hope to make every conceivable formal method scale. Thus, the SAT approach is to mix different methods in one application by using coarse and fast but still adequate methods at the largest scales, and reserving the use of more precise but also more expensive methods at smaller scales for critical aspects (that is, aspects critical to the analysis problem under consideration) of a software system. The principled method proposed for combining a heterogeneous collection of formal systems with different scalability characteristics is mixed constraints. This idea had been used previously in small-scale applications with encouraging results: using mostly coarse methods and narrowly targeted precise methods, useful information (meaning the discovery of bugs in real programs) was obtained with excellent scalability.

Aiken, Alexander↗

NASA NTRS1976

NASTRAN: User's Experiences

The application of NASTRAN to a wide variety of static and dynamic structural problems is discussed. The following topics are focused upon: (1) methods of analysis; (2) hydroelastic methods; (3) complete analysis of structures; (4) elements and material studies; (5) critical comparisons with other programs; and (6) pre- and post-processor operations.

Source record↗

NASA NTRS1985

Filament wound data base development, revision 1

The objective was to update the present Space Shuttle Solid Rocket Booster (SRB) baseline reentry aerodynamic data base and to develop a new reentry data base for the filament wound case SRB along with individual protuberance increments. Lockheed's procedures for performing these tasks are discussed. Free fall of the SRBs after separation from the Space Shuttle Launch Vehicle is completely uncontrolled. However, the SRBs must decelerate to a velocity and attitude that is suitable for parachute deployment. To determine the SRB reentry trajectory parameters, including the rate of deceleration and attitude history during free-fall, engineers at Marshall Space Flight Center are using a six-degree-of-freedom computer program to predict dynamic behavior. Static stability aerodynamic coefficients are part of the information required for input into this computer program. Lockheed analyzed the existing reentry aerodynamic data tape (Data Tape 5) for the current steel case SRB. This analysis resulted in the development of Data Tape 7.

Sharp, R. Scott↗

NASA NTRS2004

Transonic Free-To-Roll Analysis of the F/A-18E and F-35 Configurations

The free-to-roll technique is used as a tool for predicting areas of uncommanded lateral motions. Recently, the NASA/Navy/Air Force Abrupt Wing Stall Program extended the use of this technique to the transonic speed regime. Using this technique, this paper evaluates various wing configurations on the pre-production F/A-18E aircraft and the Joint Strike Fighter (F-35) aircraft. The configurations investigated include leading and trailing edge flap deflections, fences, leading edge flap gap seals, and vortex generators. These tests were conducted in the NASA Langley 16-Foot Transonic Tunnel. The analysis used a modification of a figure-of-merit developed during the Abrupt Wing Stall Program to discern configuration effects. The results showed how the figure-of-merit can be used to schedule wing flap deflections to avoid areas of uncommanded lateral motion. The analysis also used both static and dynamic wind tunnel data to provide insight into the uncommanded lateral behavior. The dynamic data was extracted from the time history data using parameter identification techniques. In general, modifications to the pre-production F/A-18E resulted in shifts in angle-of-attack where uncommanded lateral activity occurred. Sealing the gap between the inboard and outboard leading-edge flaps on the Navy version of the F-35 eliminated uncommanded lateral activity or delayed the activity to a higher angle-of-attack.

Owens, D. Bruce↗

DOE OSTI2020

HPC-enabled computation of demand models at scale

The purpose of this project is to examine the energy impact of urban-scale traffic for the Los Angeles Basin by developing and implementing a scalable traffic assignment model. An energy optimization function will be posed and when integrated into the optimization code for travel assignment it can be mathematically proven to converge. The energy optimization function can then be compared to the typical travel time optimization that is traditionally used in traffic assignment models. The analysis will begin with static traffic assignment models with the routing for all origin and destinations computed in parallel on high performance computing facilities. Convergence of the numerical methods rely on the solution of convex programs (or extensions of these). This step will mostly consist of demonstrating the ability to parallelize the Frank Wolfe algorithm on various platforms.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

DOE OSTI2020

HPC4Mobilty w/ UCB

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

NASA NTRS1974

Comparison of theoretical and experimental boundary-layer development in a Mach 2.5 mixed-compression inlet

An analytical investigation was made of the boundary layer flow in an axisymmetric Mach 2.5 mixed compression inlet, and the results were compared with experimental measurements. The inlet tests were conducted in the Lewis 10- by 10-foot supersonic wind tunnel at a unit Reynolds number of 8.2 million/m. The inlet incorporated porous bleed regions for boundary layer control, and the effect of this bleed was taken into account in the analysis. The experimental boundary layer data were analyzed by using similarity laws from which the skin friction coefficient was obtained. The boundary layer analysis included predictions of laminar and turbulent boundary layer growth, transition, and the effects of the shock boundary layer interactions. In addition, the surface static pressures were compared with those obtained from an inviscid characteristics program. The results of investigation showed that the analytical techniques gave satisfactory predictions of the boundary layer flow except in regions that were badly distorted by the terminal shock.

Hingst, W. R.↗

NASA NTRS2005

Parachute Aerodynamics From Video Data

A new data analysis technique for the identification of static and dynamic aerodynamic stability coefficients from wind tunnel test video data is presented. This new technique was applied to video data obtained during a parachute wind tunnel test program conducted in support of the Mars Exploration Rover Mission. Total angle-of-attack data obtained from video images were used to determine the static pitching moment curve of the parachute. During the original wind tunnel test program the static pitching moment curve had been determined by forcing the parachute to a specific total angle-of -attack and measuring the forces generated. It is shown with the new technique that this parachute, when free to rotate, trims at an angle-of-attack two degrees lower than was measured during the forced-angle tests. An attempt was also made to extract pitch damping information from the video data. Results suggest that the parachute is dynamically unstable at the static trim point and tends to become dynamically stable away from the trim point. These trends are in agreement with limit-cycle-like behavior observed in the video. However, the chaotic motion of the parachute produced results with large uncertainty bands.

Schoenenberger, Mark↗

NASA NTRS2007

An Aeroelastic Analysis of a Thin Flexible Membrane

Studies have shown that significant vehicle mass and cost savings are possible with the use of ballutes for aero-capture. Through NASA's In-Space Propulsion program, a preliminary examination of ballute sensitivity to geometry and Reynolds number was conducted, and a single-pass coupling between an aero code and a finite element solver was used to assess the static aeroelastic effects. There remain, however, a variety of open questions regarding the dynamic aeroelastic stability of membrane structures for aero-capture, with the primary challenge being the prediction of the membrane flutter onset. The purpose of this paper is to describe and begin addressing these issues. The paper includes a review of the literature associated with the structural analysis of membranes and membrane utter. Flow/structure analysis coupling and hypersonic flow solver options are also discussed. An approach is proposed for tackling this problem that starts with a relatively simple geometry and develops and evaluates analysis methods and procedures. This preliminary study considers a computationally manageable 2-dimensional problem. The membrane structural models used in the paper include a nonlinear finite-difference model for static and dynamic analysis and a NASTRAN finite element membrane model for nonlinear static and linear normal modes analysis. Both structural models are coupled with a structured compressible flow solver for static aeroelastic analysis. For dynamic aeroelastic analyses, the NASTRAN normal modes are used in the structured compressible flow solver and 3rd order piston theories were used with the finite difference membrane model to simulate utter onset. Results from the various static and dynamic aeroelastic analyses are compared.

Scott, Robert C.↗

DOE OSTI2024

Corrosion Testing Of Additively Manufactured Stainless Steel 316H In Molten Salt Environments

The development of a new ASTM standard for evaluating the corrosion resistance of additive manufactured (AM) stainless steel (SS) 316H in chloride molten salts is critical for the use of these materials in extreme environments such as molten salt reactors (MSRs). This report pertains to a work package of the Advaned Materials and Manufacturing Technologies (AMMT) developing a systematic methodology to link changes in AM fabrication parameters, namely surface finishing, porosity, microstructure, and chemical heterogeneity, to corrosion performance in NaCl-MgCl2 salt, a proposed secondary coolant for MSRs. During Fiscal Year 2024, Idaho National Laboratory investigators in the AMMT program, utilized SS316H bars, fabricated with laser bed powder fusion at Los Alamos National Laboratory, to establish and optimize the workflow for evaluating these process-to-performance relationships. Standard practices for specimen preparation were established using these specimens, with particular focus on descaling and sectioning methods that align with ASTM guidelines. A comprehensive experimental design for static corrosion testing was developed, with pre- and post-exposure analysis utilizing optical microscopy and scanning electron microscopy. So far standard descaling techniques were optimized, one static corrosion test was conducted on the LANL AM SS316H specimens, and pre- and post-corrosion practices were established. In addition, the work package yielded a review paper on corrosion testing gaps for AM materials in nuclear applications and submitted a proposal for a rapid-turnaround experiment to the Nuclear Science User Facilities Program to investigate the combined effects of proton irradiation and corrosion on AM SS316H. This work package establishes a foundation for evaluating processing-to-performance relationships for AM SS316H in harsh conditions, contributing to the safe and efficient design of components for next-generation nuclear reactors. The creation of a standardized methodology and the generation of relevant publications and future research pathways represent significant strides towards integrating AM materials into critical applications where corrosion resistance is paramount.

36 MATERIALS SCIENCE↗

NASA NTRS1978

Analysis of stability contributions of high dihedral V-tails

An investigation was undertaken to determine the effectiveness of four analytical methods (empirical, modified empirical, vortex-lattice, and an inviscid, three dimensional, potential flow, wing body program) to estimate the lateral and longitudinal static stability characteristics of an isolated V-tail wind tunnel model. The experimental tests were conducted in the V/STOL tunnel at a Mach number of 0.18. Angle-of-attack data were obtained from -12 deg to 8 deg at 0 deg sideslip. Sideslip sweeps from -5 deg to 10 deg were made at angles of attack of 4 deg, 0 deg and -4 deg. The V-tail dihedral angles were 45 deg, 50 deg, 55 deg, and 60 deg.

Freeman, C. E.↗

NASA NTRSDate not supplied

An Overview of NASA Langley Low-Speed CFD Contributions to the Space Launch System Program

In this review paper, low-speed computational work from NASA Langley in support of the Space Launch System (SLS) is discussed. This information includes both historic and present efforts with the Kestrel CFD solver. The low-speed aerodynamics of SLS is highly complex and analysis of the unsteady flowfield requires significant computational efforts. The SLS mission profile varies from the vehicle static on the launch pad through high-speed ascent, and this paper focuses on the prelaunch as well as liftoff and transition portions of the flight both in proximity to the launch tower and in isolation. High-alpha conditions, as large as 90~deg, result in a flowfield dominated by massive, large-scale flow separation and asymmetric vortices. High-fidelity solutions require an unsteady computational formulation to accurately capture the aerodynamics of the vehicle. A detailed discussion of the computational approach is presented, followed by key efforts to support the program.

Brent W Pomeroy↗

NASA NTRS2007

Comparison of Predicted and Measured Attenuation of Turbine Noise from a Static Engine Test

Aircraft noise has become an increasing concern for commercial airlines. Worldwide demand for quieter aircraft is increasing, making the prediction of engine noise suppression one of the most important fields of research. The Low-Pressure Turbine (LPT) can be an important noise source during the approach condition for commercial aircraft. The National Aeronautics and Space Administration (NASA), Pratt & Whitney (P&W), and Goodrich Aerostructures (Goodrich) conducted a joint program to validate a method for predicting turbine noise attenuation. The method includes noise-source estimation, acoustic treatment impedance prediction, and in-duct noise propagation analysis. Two noise propagation prediction codes, Eversman Finite Element Method (FEM) code [1] and the CDUCT-LaRC [2] code, were used in this study to compare the predicted and the measured turbine noise attenuation from a static engine test. In this paper, the test setup, test configurations and test results are detailed in Section II. A description of the input parameters, including estimated noise modal content (in terms of acoustic potential), and acoustic treatment impedance values are provided in Section III. The prediction-to-test correlation study results are illustrated and discussed in Section IV and V for the FEM and the CDUCT-LaRC codes, respectively, and a summary of the results is presented in Section VI.

Chien, Eugene W.↗

NASA NTRS1985

Analysis of turbulent underexpanded jets. II - Shock noise features using SCIPVIS

SCIPVIS, the computational model discussed by Dash et al. (1985), is assessed in predicting the complicated flow structure associated with shock-containing plumes. In addition, the analysis in this study examines this code's applicability as a basic part of a program for estimating broadband shock noise radiation. The results of this study show that excellent agreement exists between predicted and measured static pressure distributions for both underexpanded and overexpanded flow cases considered. Of the three turbulence closure models incorporated in the SCIPVIS code, the kW model of Spalding produces the most uniform agreement with measurement. The k-epsilon-2 model of Launder consistently overestimates plume spreading for supersonic jets with exit Mach numbers in the 1-2 range. Dash's (1983) k-epsilon-2-cc, compressibility-corrected version of Launder's model underestimates plume spreading. Good qualitative agreement was also obtained between the measured longitudinal turbulence intensity and that predicted by the code for the same trial case. Comparison of measured and predicted broadband shock noise spectrum peak values were found to be in excellent agreement. This utilized a variant of the Harper-Bourne and Fisher (1973) phase-array model: the effective shock spacing was reinterpreted as the value of the end of the plume potential core, determined herein by the SCIPVIS code.

Seiner, J. M.↗

NASA NTRS1984

Calculated effects of varying Reynolds Number and dynamic pressure on flexible wings at transonic speeds

A computational method is described that includes the effects of static aeroelastic wing deflections in steady transonic aerodynamic calculations. This method, known as the Transonic Aero-elastic Program System (TAPS), interacts a 3D transonic computer code with boundary layer and a linear finite element structural analysis codes to calculate wing pressures and deflections. The nonlinear nature of the transonic flow makes it necessary to couple the aerodynamic and structures codes in an iterative manner. TAPS has been arranged in a modular fashion so that different aerodynamic or structures programs may be used with a minimum of coding changes required. Results obtained using two different aerodynamic codes in TAPS are given, and those results are correlated with experimental data.

Campbell, R. L.↗

NASA NTRS1994

Structural/aerodynamic Blade Analyzer (SAB) User's Guide, Version 1.0

The structural/aerodynamic blade (SAB) analyzer provides an automated tool for the static-deflection analysis of turbomachinery blades with aerodynamic and rotational loads. A structural code calculates a deflected blade shape using aerodynamic loads input. An aerodynamic solver computes aerodynamic loads using deflected blade shape input. The two programs are iterated automatically until deflections converge. Currently, SAB version 1.0 is interfaced with MSC/NASTRAN to perform the structural analysis and PROP3D to perform the aerodynamic analysis. This document serves as a guide for the operation of the SAB system with specific emphasis on its use at NASA Lewis Research Center (LeRC). This guide consists of six chapters: an introduction which gives a summary of SAB; SAB's methodology, component files, links, and interfaces; input/output file structure; setup and execution of the SAB files on the Cray computers; hints and tips to advise the user; and an example problem demonstrating the SAB process. In addition, four appendices are presented to define the different computer programs used within the SAB analyzer and describe the required input decks.

Morel, M. R.↗

NASA NTRS1966

Stress Measurements on Blair High School Gymnasium: A Demonstration of Space Technology Transfer

This Report describes an actual demonstration of transfer to non-space use of technologies developed for space programs applications. Techniques used in assessing static and dynamic characteristics of the Blair High School gymnasium involved data acquisition by continuous scanning of strain gauge data acquired over a time of wide-temperature range, and analysis by a computer routine developed by Jet Propulsion Laboratory five years ago. The advantage of this method over conventional structural testing of uniquely designed structures was proved. More importantly, the process of demonstration was shown to be of great assistance to, and extension of, normal methods of disseminating information of new technologies. It is felt that significant benefit will derive from this improved mode oi concept transfer.

Kastel, Dean↗

NASA NTRS1993

High Temperature Composite Analyzer (HITCAN) demonstration manual, version 1.0

This manual comprises a variety of demonstration cases for the HITCAN (HIgh Temperature Composite ANalyzer) code. HITCAN is a general purpose computer program for predicting nonlinear global structural and local stress-strain response of arbitrarily oriented, multilayered high temperature metal matrix composite structures. HITCAN is written in FORTRAN 77 computer language and has been configured and executed on the NASA Lewis Research Center CRAY XMP and YMP computers. Detailed description of all program variables and terms used in this manual may be found in the User's Manual. The demonstration includes various cases to illustrate the features and analysis capabilities of the HITCAN computer code. These cases include: (1) static analysis, (2) nonlinear quasi-static (incremental) analysis, (3) modal analysis, (4) buckling analysis, (5) fiber degradation effects, (6) fabrication-induced stresses for a variety of structures; namely, beam, plate, ring, shell, and built-up structures. A brief discussion of each demonstration case with the associated input data file is provided. Sample results taken from the actual computer output are also included.

Singhal, S. N↗