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 199 records · Page 11

All sources NASA NTRS DOE OSTI

NASA NTRS1985

Participation in the Mars Data Analysis Program: Analysis of cloud forms in Viking and Mariner 9 images

The first systematic account of the climate of Mars, based upon observations was produced. Cloud data were used to determine spatially and temporally varying near-surface wind direction, relative wind speed, static stability, and humidity conditions on a global scale. Existing models of meteorological processes were critically reexamined in light of the data, and more stringent constraints were set on global processes. Several discoveries were made, including the large extent and seasonal variability of the Mars equatorial Hadley cell, the failure of high latitude winds to reverse direction in early northern spring, the change in meridional wind component in southern midautum, and the almost constant cloud cover in the northern hemisphere, during spring and summer primarily by condensate clouds and in fall and winter by condensates and dust. The implications of these observations are discussed.

Gierasch, P.↗

NASA NTRS1972

Analysis and testing of high entrainment single nozzle jet pumps with variable mixing tubes

An analytical model was developed to predict the performance characteristics of axisymmetric single-nozzle jet pumps with variable area mixing tubes. The primary flow may be subsonic or supersonic. The computer program uses integral techniques to calculate the velocity profiles and the wall static pressures that result from the mixing of the supersonic primary jet and the subsonic secondary flow. An experimental program was conducted to measure mixing tube wall static pressure variations, velocity profiles, and temperature profiles in a variable area mixing tube with a supersonic primary jet. Static pressure variations were measured at four different secondary flow rates. These test results were used to evaluate the analytical model. The analytical results compared well to the experimental data. Therefore, the analysis is believed to be ready for use to relate jet pump performance characteristics to mixing tube design.

Hickman, K. E.↗

NASA NTRS1994

Recent advances in the modelling of crack growth under fatigue loading conditions

Fatigue crack growth associated with cyclic (secondary) plastic flow near a crack front is modelled using an incremental formulation. A new description of threshold behaviour under small load cycles is included. Quasi-static crack extension under high load excursions is described using an incremental formulation of the R-(crack growth resistance)- curve concept. The integration of the equations is discussed. For constant amplitude load cycles the results will be compared with existing crack growth laws. It will be shown that the model also properly describes interaction effects of fatigue crack growth and quasi-static crack extension. To evaluate the more general applicability the model is included in the NASGRO computer code for damage tolerance analysis. For this purpose the NASGRO program was provided with the CORPUS and the STRIP-YIELD models for computation of the crack opening load levels. The implementation is discussed and recent results of the verification are presented.

Dekoning, A. U.↗

NASA NTRS1993

Sensitivity Analysis of the Static Aeroelastic Response of a Wing

A technique to obtain the sensitivity of the static aeroelastic response of a three dimensional wing model is designed and implemented. The formulation is quite general and accepts any aerodynamic and structural analysis capability. A program to combine the discipline level, or local, sensitivities into global sensitivity derivatives is developed. A variety of representations of the wing pressure field are developed and tested to determine the most accurate and efficient scheme for representing the field outside of the aerodynamic code. Chebyshev polynomials are used to globally fit the pressure field. This approach had some difficulties in representing local variations in the field, so a variety of local interpolation polynomial pressure representations are also implemented. These panel based representations use a constant pressure value, a bilinearly interpolated value. or a biquadraticallv interpolated value. The interpolation polynomial approaches do an excellent job of reducing the numerical problems of the global approach for comparable computational effort. Regardless of the pressure representation used. sensitivity and response results with excellent accuracy have been produced for large integrated quantities such as wing tip deflection and trim angle of attack. The sensitivities of such things as individual generalized displacements have been found with fair accuracy. In general, accuracy is found to be proportional to the relative size of the derivatives to the quantity itself.

Eldred, Lloyd B.↗

NASA NTRS1989

Structural weights analysis of advanced aerospace vehicles using finite element analysis

A conceptual/preliminary level structural design system has been developed for structural integrity analysis and weight estimation of advanced space transportation vehicles. The system includes a three-dimensional interactive geometry modeler, a finite element pre- and post-processor, a finite element analyzer, and a structural sizing program. Inputs to the system include the geometry, surface temperature, material constants, construction methods, and aerodynamic and inertial loads. The results are a sized vehicle structure capable of withstanding the static loads incurred during assembly, transportation, operations, and missions, and a corresponding structural weight. An analysis of the Space Shuttle external tank is included in this paper as a validation and benchmark case of the system.

Bush, Lance B.↗

NASA NTRS1994

Preliminary evaluation of hybrid titanium composite laminates

In this study, the mechanical response of hybrid titanium composite laminates (HTCL) was evaluated at room and elevated temperatures. Also, the use of an elastic-plastic laminate analysis program for predicting the tensile response from constituent properties was verified. The improvement in mechanical properties achieved by the laminates was assessed by comparing the results of static strength and constant amplitude fatigue tests to those for monolithic titanium sheet. Two HTCL were fabricated with different fiber volume fractions, resin layer thicknesses, and resins. One panel was thicker and was more poorly bonded in comparison to other. Consequently, the former had a lower tensile strength, while fewer cracks grew in this panel and at a slower rate. Both panels showed an improvement in fatigue life of almost two orders of magnitude. The model predictions were also in good agreement with the experimental results for both HTCL panels.

Miller, J. L.↗

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↗

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