SEARCH · Engineering Papers

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

All sources NASA NTRS DOE OSTI

NASA NTRS2018

Static Controls Performance Tool for Lunar Landers

This document presents a static analysis tool used to evaluate the controllability of Lunar landers. This was created as part of the NASA Lunar Cargo Transportation and Landing by Soft Touchdown (Lunar CATALYST) program. This tool is capable of accepting typical design information such as location and direction of thrusters, maximum thruster forces, gravity vectors, and center of mass locations. The tool evaluates how far the center of gravity can move from its starting position while still maintaining control. This type of analysis is intended to support results produced by time domain simulations. The code created for this project was implemented in Python, and it was designed to be integrated into systems level optimization tools to yield first-cut results on optimal thruster placement.

Aretskin-Hariton, Eliot D.↗

NASA NTRS1994

LH2 fuel tank design for SSTO

This report will discuss the design of a liquid hydrogen fuel tank constructed from composite materials. The focus of this report is to recommend a design for a fuel tank which will be able to withstand all static and dynamic forces during manned flight. Areas of study for the design include material selection, material structural analysis, heat transfer, thermal expansion, and liquid hydrogen diffusion. A structural analysis FORTRAN program was developed for analyzing the buckling and yield characteristics of the tank. A thermal analysis Excel spreadsheet was created to determine a specific material thickness which will minimize heat transfer through the wall of the tank. The total mass of the tank was determined by the combination of both structural and thermal analyses. The report concludes with the recommendation of a layered material tank construction. The designed system will include exterior insulation, combination of metal and organize composite matrices and honeycomb.

Wright, Geoff↗

NASA NTRS2000

Additional Testing of the DHC-6 Twin Otter Tailplane Iced Airfoil Section in the Ohio State University 7x10 Low Speed Wind Tunnel

The need for fundamental research in Ice Contaminated Tailplane Stall (ICTS) was established through three international conferences sponsored by the FAA. A joint NASA/FAA Tailplane Icing Program was formed in 1994 with the Ohio State University playing a critical role for wind tunnel and analytical research. Two entries of a full-scale 2-dimensional tailplane airfoil model of a DHC-6 Twin Otter were made in The Ohio State University 7x10 ft wind tunnel. This report describes the second test entry that examined additional ice shapes and roughness, as well as airfoil section differences. The addition data obtained in this test fortified the original database of aerodynamic coefficients that permit a detailed analysis of flight test results with an OSU-developed analytical program. The testing encompassed a full range of angles of attack and elevator deflections at flight Reynolds number conditions. Aerodynamic coefficients, C(L), C(M), and C(He), were obtained by integrating static pressure coefficient, C(P), values obtained from surface taps. Comparisons of clean and iced airfoil results show a significant decrease in the tailplane aeroperformance (decreased C(Lmax), decreased stall angle, increased C(He)) for all ice shapes with the grit having the lease affect and the LEWICE shape having the greatest affect. All results were consistent with observed tailplane stall phenomena and constitute an effective set of data for comprehensive analysis of ICTS.

Gregorek, Gerald↗

NASA NTRS1989

Error analysis for semi-analytic displacement derivatives with respect to shape and sizing variables

Sensitivity analysis is fundamental to the solution of structural optimization problems. Consequently, much research has focused on the efficient computation of static displacement derivatives. As originally developed, these methods relied on analytical representations for the derivatives of the structural stiffness matrix (K) with respect to the design variables (b sub i). To extend these methods for use with complex finite element formulations and facilitate their implementation into structural optimization programs using the general finite element method analysis codes, the semi-analytic method was developed. In this method the matrix the derivative of K/the derivative b sub i is approximated by finite difference. Although it is well known that the accuracy of the semi-analytic method is dependent on the finite difference parameter, recent work has suggested that more fundamental inaccuracies exist in the method when used for shape optimization. Another study has argued qualitatively that these errors are related to nonuniform errors in the stiffness matrix derivatives. The accuracy of the semi-analytic method is investigated. A general framework was developed for the error analysis and then it is shown analytically that the errors in the method are entirely accounted for by errors in delta K/delta b sub i. Furthermore, it is demonstrated that acceptable accuracy in the derivatives can be obtained through careful selection of the finite difference parameter.

Fenyes, Peter A.↗

NASA NTRS1973

Computer analysis of ring stiffened shells of revolution

The equations and method of solution for a series of five compatible computer programs for structural analysis of axisymmetric shell structures are presented. These programs, designated as the SRA programs, apply to a common structural model but analyze different modes of structural response. They are: (1) linear asymmetric static response (SRA 100), (2) buckling of linearized asymmetric equilibrium states (SRA 101), (3) nonlinear axisymmetric static response (SRA 200), (4) buckling of nonlinear axisymmetric equilibrium states(SRA 201), and (5) vibrations about nonlinear axisymmetric equilibrium state (SRA 300).

Cohen, G. A.↗

NASA NTRS1978

Stability characteristics of elastic airplane

System of computer programs uses linear theories to evaluate static and dynamic stability, trim state, inertial, and aerodynamic loading, and elastic deformations of aircraft configurations at subsonic and supersonic speeds. Primary emphasis is on analysis of stability and control characteristics of flexible aircraft. System also solves simple rigid aerodynamic problems.

Erickson, L. L.↗

NASA NTRS2004

Precise and Efficient Static Array Bound Checking for Large Embedded C Programs

In this paper we describe the design and implementation of a static array-bound checker for a family of embedded programs: the flight control software of recent Mars missions. These codes are large (up to 250 KLOC), pointer intensive, heavily multithreaded and written in an object-oriented style, which makes their analysis very challenging. We designed a tool called C Global Surveyor (CGS) that can analyze the largest code in a couple of hours with a precision of 80%. The scalability and precision of the analyzer are achieved by using an incremental framework in which a pointer analysis and a numerical analysis of array indices mutually refine each other. CGS has been designed so that it can distribute the analysis over several processors in a cluster of machines. To the best of our knowledge this is the first distributed implementation of static analysis algorithms. Throughout the paper we will discuss the scalability setbacks that we encountered during the construction of the tool and their impact on the initial design decisions.

Venet, Arnaud↗

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.↗