Engineering Papers⌕ Search

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.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 289 records · Page 16
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

Lunar and Planetary Science XXXV: Missions and Instruments: Hopes and Hope Fulfilled

The titles in this section include: 1) Mars Global Surveyor Mars Orbiter Camera in the Extended Mission: The MOC Toolkit; 2) Mars Odyssey THEMIS-VIS Calibration; 3) Early Science Operations and Results from the ESA Mars Express Mission: Focus on Imaging and Spectral Mapping; 4) The Mars Express/NASA Project at JPL; 5) Beagle 2: Mission to Mars - Current Status; 6) The Beagle 2 Microscope; 7) Mars Environmental Chamber for Dynamic Dust Deposition and Statics Analysis; 8) Locating Targets for CRISM Based on Surface Morphology and Interpretation of THEMIS Data; 9) The Phoenix Mission to Mars; 10) First Studies of Possible Landing Sites for the Phoenix Mars Scout Mission Using the BMST; 11) The 2009 Mars Telecommunications Orbiter; 12) The Aurora Exploration Program - The ExoMars Mission; 13) Electron-induced Luminescence and X-Ray Spectrometer (ELXS) System Development; 14) Remote-Raman and Micro-Raman Studies of Solid CO2, CH4, Gas Hydrates and Ice; 15) The Compact Microimaging Spectrometer (CMIS): A New Tool for In-Situ Planetary Science; 16) Preliminary Results of a New Type of Surface Property Measurement Ideal for a Future Mars Rover Mission; 17) Electrodynamic Dust Shield for Solar Panels on Mars; 18) Sensor Web for Spatio-Temporal Monitoring of a Hydrological Environment; 19) Field Testing of an In-Situ Neutron Spectrometer for Planetary Exploration: First Results; 20) A Miniature Solid-State Spectrometer for Space Applications - Field Tests; 21) Application of Laser Induced Breakdown Spectroscopy (LIBS) to Mars Polar Exploration: LIBS Analysis of Water Ice and Water Ice/Soil Mixtures; 22) LIBS Analysis of Geological Samples at Low Pressures: Application to Mars, the Moon, and Asteroids; 23) In-Situ 1-D and 2-D Mapping of Soil Core and Rock Samples Using the LIBS Long Spark; 24) Rocks Analysis at Stand Off Distance by LIBS in Martian Conditions; 25) Evaluation of a Compact Spectrograph/Detection System for a LIBS Instrument for In-Situ and Stand-Off Detection; 26) Analysis of Organic Compounds in Mars Analog Samples; 27) Report of the Organic Contamination Science Steering Group; 28) The Water-Wheel IR (WIR) - A Contact Survey Experiment for Water and Carbonates on Mars; 29) Mid-IR Fiber Optic Probe for In Situ Water Detection and Characterization; 30) Effects of Subsurface Sampling & Processing on Martian Simulant Containing Varying Quantities of Water; 31) The Subsurface Ice Probe (SIPR): A Low-Power Thermal Probe for the Martian Polar Layered Deposits; 32) Deploying Ground Penetrating Radar in Planetary Analog Sites to Evaluate Potential Instrument Capabilities on Future Mars Missions; 33) Evaluation of Rock Powdering Methods to Obtain Fine-grained Samples for CHEMIN, a Combined XRD/XRF Instrument; 34) Novel Sample-handling Approach for XRD Analysis with Minimal Sample Preparation; 35) A New Celestial Navigation Method for Mars Landers; 36) Mars Mineral Spectroscopy Web Site: A Resource for Remote Planetary Spectroscopy.

Source record↗
NASA NTRS1995

Program Helps To Determine Chemical-Reaction Mechanisms

General Chemical Kinetics and Sensitivity Analysis (LSENS) computer code developed for use in solving complex, homogeneous, gas-phase, chemical-kinetics problems. Provides for efficient and accurate chemical-kinetics computations and provides for sensitivity analysis for variety of problems, including problems involving honisothermal conditions. Incorporates mathematical models for static system, steady one-dimensional inviscid flow, reaction behind incident shock wave (with boundary-layer correction), and perfectly stirred reactor. Computations of equilibrium properties performed for following assigned states: enthalpy and pressure, temperature and pressure, internal energy and volume, and temperature and volume. Written in FORTRAN 77 with exception of NAMELIST extensions used for input.

Bittker, D. A.↗
NASA NTRS1983

Performance of a quantitative study of instability-related delamination growth

An experimental program was conducted to quantify instability-induced imbedded delamination growth. Static tests on double cantilever beam (DCB) specimens yielded the critical mode 1 strain energy release rate (G sub 1 C) for T300/5208 graphite/epoxy. Static tests on mixed mode cracked lap shear (CLS) specimens, and a nonlinear finite element analysis (NFEA) of the CLS specimen to separate mode 1 and mode 2 effects, yielded the critical mode 2 strain energy release rate (G sub 2 C) for T300/5208. Constant amplitude fatigue tests on DCB and CLS specimens, along with the NFEA results on CLS specimens, quantified mode 1 and mode 2 contributions to delamination growth rate. Fatigue tests were conducted at a frequency (omega) of 10 Hertz, maintaining the minimum to maximum cyclic load ratio (R) at 0.05. Static compression and constant amplitude compression fatigue tests were also conducted on specimens with imbedded through the width (ITTW) delaminations. Kapton imbeddments were located below 3, 4 or 6 plies in a 64-ply laminate, during layup, to simulate ITTW delaminations.

Ramkumar, R. L.↗
NASA NTRS2004

Adding Assurance to Automatically Generated Code

Code to estimate position and attitude of a spacecraft or aircraft belongs to the most safety-critical parts of flight software. The complex underlying mathematics and abundance of design details make it error-prone and reliable implementations costly. AutoFilter is a program synthesis tool for the automatic generation of state estimation code from compact specifications. It can automatically produce additional safety certificates which formally guarantee that each generated program individually satisfies a set of important safety policies. These safety policies (e.g.. array-bounds, variable initialization) form a core of properties which are essential for high-assurance software. Here we describe the AutoFilter system and its certificate generator and compare our approach to the static analysis tool PolySpace.

Denney, Ewen↗
NASA NTRS2011

MASCOT - MATLAB Stability and Control Toolbox

MASCOT software was created to provide the conceptual aircraft designer accurate predictions of air vehicle stability and control characteristics. The code takes as input mass property data in the form of an inertia tensor, aerodynamic loading data, and propulsion (i.e. thrust) loading data. Using fundamental non-linear equations of motion, MASCOT then calculates vehicle trim and static stability data for any desired flight condition. Common predefined flight conditions are included. The predefined flight conditions include six horizontal and six landing rotation conditions with varying options for engine out, crosswind and sideslip, plus three takeoff rotation conditions. Results are displayed through a unique graphical interface developed to provide stability and control information to the conceptual design engineers using a qualitative scale indicating whether the vehicle has acceptable, marginal, or unacceptable static stability characteristics. This software allows the user to prescribe the vehicle s CG location, mass, and inertia tensor so that any loading configuration between empty weight and maximum take-off weight can be analyzed. The required geometric and aerodynamic data as well as mass and inertia properties may be entered directly, passed through data files, or come from external programs such as Vehicle Sketch Pad (VSP). The current version of MASCOT has been tested with VSP used to compute the required data, which is then passed directly into the program. In VSP, the vehicle geometry is created and manipulated. The aerodynamic coefficients, stability and control derivatives, are calculated using VorLax, which is now available directly within VSP. MASCOT has been written exclusively using the technical computing language MATLAB . This innovation is able to bridge the gap between low-fidelity conceptual design and higher-fidelity stability and control analysis. This new tool enables the conceptual design engineer to include detailed static stability and trim constraints in the conceptual design loop. The unique graphical interface developed for this tool presents the stability data in a format that is understandable by the conceptual designer, yet also provides the detailed quantitative results if desired.

Kenny, Sean↗
NASA NTRS1978

Finite element analysis of laminated plates and shells, volume 1

The finite element method is used to investigate the static behavior of laminated composite flat plates and cylindrical shells. The analysis incorporates the effects of transverse shear deformation in each layer through the assumption that the normals to the undeformed layer midsurface remain straight but need not be normal to the mid-surface after deformation. A digital computer program was developed to perform the required computations. The program includes a very efficient equation solution code which permits the analysis of large size problems. The method is applied to the problem of stretching and bending of a perforated curved plate.

Seide, P.↗
NASA NTRS1981

Aerodynamic preliminary analysis system 2. Part 2: User's manuals

An aerodynamic analysis system based on potential theory at subsonic/supersonic speeds and impact type finite element solutions at hypersonic conditions is described. Three dimensional configurations having multiple nonplanar surfaces of arbitrary planform and bodies of noncircular contour may be analyzed. Static, rotary, and control longitudinal and lateral directional chracteristics may be generated. The analysis has been implemented on a time sharing system in conjunction with an input tablet digitizer and an interactive graphics input/output display and editing terminal to maximize its responsiveness to the preliminary analysis problem. Typical simulation indicates that program provides an efficient analysis for systematically performing various aerodynamic configuration tradeoff and evaluation studies.

Divan, P.↗
NASA NTRS1985

The dynamic response of composite beams to axial impact

Large deformation response of simple composite structural elements to intense dynamic loadings is studied by focusing on the response of beams. Overall goals are to: design a simple test fixture to introduce crash related bending loads in beams; determine any difference between large deformation static and large deformation dynamic response; determine the influence of laminate stacking arrangements on the dynamic response, failure mode, and energy absorbed; and predict the dynamic response. Twelve different laminate orientations were investigated. Modeling of the response was done with an existing finite element program. The program computed nonlinear transient response analysis of a structure objected to a time varying load.

Derian, E. J.↗
NASA NTRS2002

Program Model Checking as a New Trend

This paper introduces a special section of STTT (International Journal on Software Tools for Technology Transfer) containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - September 1, 2000. The workshop was named SPIN Model Checking and Software Verification, with an emphasis on model checking of programs. The paper outlines the motivation for stressing software verification, rather than only design and model verification, by presenting the work done in the Automated Software Engineering group at NASA Ames Research Center within the last 5 years. This includes work in software model checking, testing like technologies and static analysis.

Havelund, Klaus↗
NASA NTRS1981

Development of a unified numerical procedure for free vibration analysis of structures

This paper presents the details of a unified numerical algorithm and the associated computer program developed for the efficient determination of natural frequencies and modes of free vibration of structures. Both spinning and nonspinning structures with or without viscous and/or structural damping may be solved by the current procedure; in addition, the program is capable of solving static problems with multiple load cases as well as the quadratic matrix eigenproblem associated with a finite dynamic element structural discretization.

Gupta, K. K.↗
NASA NTRS1982

Pressure distribution data from tests of 2.29-meter (7.5-ft.) span EET high-lift research model in Langley 4- by 7-meter tunnel

A 2.29 m (7.5 ft.) span high-lift research model equipped with full-span leading-edge slat and part-span double-slotted trailing-edge flap was tested in the Langley 4- by 7-Meter Tunnel to determine the low speed performance characteristics of a representative high aspect ratio suprcritical wing. These tests were performed in support of the Energy Efficient Transport (EET) program which is one element of the Aircraft Energy Efficiency (ACEE) project. Static longitudinal forces and moments and chordwise pressure distributions at three spanwise stations were measured for cruise, climb, two take-off flap, and two landing flap wing configurations. The tabulated and plotted pressure distribution data is presented without analysis or discussion.

Morgan, H. L., Jr.↗
NASA NTRS1983

Pressure distribution data from tests of 2.29 M (7.5 feet) span EET high-lift transport aircraft model in the Ames 12-foot pressure tunnel

A high-lift transport aircraft model equipped with full-span leading-edge slat and part-span double-slotted trailing-edge flap was tested in the Ames 12-ft pressure tunnel to determine the low-speed performance characteristics of a representative high-aspect-ratio supercritical wing. These tests were performed in support of the Energy Efficient Transport (EET) program which is one element of the Aircraft Energy Efficiency (ACEE) project. Static longitudinal forces and moments and chordwise pressure distributions at three spanwise stations were measured for cruise, climb, two take-off flap, and two landing flap wing configurations. The tabulated and plotted pressure distribution data is presented without analysis or discussion.

Kjelgaard, S. O.↗
NASA NTRS1987

Substructure analysis using NICE/SPAR and applications of force to linear and nonlinear structures

Parallel computing studies are presented for a variety of structural analysis problems. Included are the substructure planar analysis of rectangular panels with and without a hole, the static analysis of space mast, using NICE/SPAR and FORCE, and substructure analysis of plane rigid-jointed frames using FORCE. The computations are carried out on the Flex/32 MultiComputer using one to eighteen processors. The NICE/SPAR runstream samples are documented for the panel problem. For the substructure analysis of plane frames, a computer program is developed to demonstrate the effectiveness of a substructuring technique when FORCE is enforced. Ongoing research activities for an elasto-plastic stability analysis problem using FORCE, and stability analysis of the focus problem using NICE/SPAR are briefly summarized. Speedup curves for the panel, the mast, and the frame problems provide a basic understanding of the effectiveness of parallel computing procedures utilized or developed, within the domain of the parameters considered. Although the speedup curves obtained exhibit various levels of computational efficiency, they clearly demonstrate the excellent promise which parallel computing holds for the structural analysis problem. Source code is given for the elasto-plastic stability problem and the FORCE program.

Razzaq, Zia↗
NASA NTRS1982

A digital flight control system verification laboratory

A NASA/FAA program has been established for the verification and validation of digital flight control systems (DFCS), with the primary objective being the development and analysis of automated verification tools. In order to enhance the capabilities, effectiveness, and ease of using the test environment, software verification tools can be applied. Tool design includes a static analyzer, an assertion generator, a symbolic executor, a dynamic analysis instrument, and an automated documentation generator. Static and dynamic tools are integrated with error detection capabilities, resulting in a facility which analyzes a representative testbed of DFCS software. Future investigations will ensue particularly in the areas of increase in the number of software test tools, and a cost effectiveness assessment.

De Feo, P.↗
NASA NTRS1985

Planning, creating and documenting a NASTRAN finite element model of a modern helicopter

Mathematical models based on the finite element method of structural analysis as embodied in the NASTRAN computer code are widely used by the helicopter industry to calculate static internal loads and vibration of airframe structure. The internal loads are routinely used for sizing structural members. The vibration predictions are not yet relied on during design. NASA's Langley Research Center sponsored a program to conduct an application of the finite element method with emphasis on predicting structural vibration. The Army/Boeing CH-47D helicopter was used as the modeling subject. The objective was to engender the needed trust in vibration predictions using these models and establish a body of modeling guides which would enable confident future prediction of airframe vibration as part of the regular design process.

Gabal, R.↗
NASA NTRS1984

Planning, creating and documenting a NASTRAN finite element model of a modern-helicopter

Mathematical models based on the finite element method of structural analysis as embodied in the NASTRAN computer code are widely used by the helicopter industry to calculate static internal loads and vibration of airframe structure. The internal loads are routinely used for sizing structural members. The vibration predictions are not yet relied on during design. NASA's Langley Research Center sponsored a program to conduct an application of the finite element method with emphasis on predicting structural vibration. The Army/Boeing CH-47D helicopter was used as the modeling subject. The objective was used to engender the needed trust in vibration predictions using these models and establish a body of modeling guides which would enable confident future prediction of airframe vibration as part of the regular design process.

Gabel, R.↗
NASA NTRS1988

An integrated approach to the synthesis of geometrically non-linear structures

An integrated approach to the minimum weight design of geometrically nonlinear three-dimensional truss structures with geometric imperfections, subject to inequality constraints on static displacements, stresses, local buckling and cross sectional areas, is investigated. The integrated structural synthesis problem involves design and response quantities as independent variables and equilibrium equations, describing the finite element model, as equality constraints. The nonlinear structural analysis and the optimization are thus merged together into a single process. A computer program developed to compute the constraint values and analytical gradients is coupled with a generalized reduced gradient algorithm to solve the integrated problem. Numerical results for a geometrically nonlinear shallow dome example problem are presented for various types of imperfections. Furthermore, it is found that the algorithm is capable of detecting and guarding against system as well as element elastic instability using equilibrium information only, that is, without imposing system and local buckling inequality constraints.

Smaoui, H.↗
NASA NTRS1989

Spectral contents readout of birefringent sensor

The technical objective of this research program was to develop a birefringent sensor, capable of measuring strain/stress up to 2000 F and a readout system based on Spectral Contents analysis. As a result of the research work, a data acquisition system was developed, capable of measuring strain birefringence in a sensor at 2000 F, with multi-point static and dynamic capabilities. The system uses a dedicated spectral analyzer for evaluation of stress-birefringence and a PC-based readout. Several sensor methods were evaluated. Fused silica was found most satisfactory. In the final evaluation, measurements were performed up to 2000 F and the system performance exceeded expectations.

Redner, Alex S.↗