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 397 records · Page 22

All sources NASA NTRS DOE OSTI

NASA NTRS2001

Reducing/Eliminating ESD Hazards During Pyro Operations

Several safety concerns have occurred during pyro operations at 30% or lower RH in the OPF area based on the increase of electrostatic discharge (ESD). These concerns targeted the safety of personnel, flight hardware, and ground support equipment (GSE). Two proposed methods considered to control ESDs during pyro operations at 30% or lower RH are the use of an ionizer blower and to increase the moisture content. In order to demonstrate that the ionizer is effective in neutralizing static charge, a series of experimental runs were conducted in the Electrostatics Laboratory located in the Operations & Checkout (O&C) Building at NASA Kennedy Space Center (KSC). The effectiveness of the ionizer blower was evaluated based upon the time lapse of a charged metal plate from initial 1000 to 400 volts. Distance, RH, and angle of attack were studied. A full factorial experiment (2(exp 3) = 8) was conducted. Since we did not have a statistical analysis program, such as SAS, available, calculations were done manually based on the method of ANOVA (Analysis of Variances), but R(exp 2) (fitness of curve) was not obtained. As conjectured, distance was found to be the major influencial variable. Therefore, we concluded that the best possible combination of situations would be to position the ionizer blower as close as possible and facing directly into the charged plate. This scenario resulted in the quickest discharge rate, which would be the most beneficial during pyro operations below 30% RH. The second method of increasing the moisture content in the work environment through a modification of the OPF ECS current configuration appeared to be dependent on budget constraints and currently not planned to be modified. Finally, some recommendations are discussed such as to test the ionizer in an actual field experiment with a mockup pyro connector and a technician with all the NASA KSC Safety-compliant PPE to assess the realistic effectiveness of the ionizer blower.

Soriano, Jose Francisco↗

NASA NTRS1972

Analysis of legged landers for the survivable soft landing of instrument payloads.

Two methods of analysis have been developed for legged planetary landers. The first of these, the Large Displacement Gear Analysis, is a design tool for statically determining the large displacement stroking behavior, energy absorption characteristics, and internal load distributions in a single gear. The second, the Landing Dynamics Analysis, predicts the spatial landing dynamics of a legged lander. Effects of structural flexibility, elastic-plastic gear load characteristics, and soil properties on the loads, motions, and stability of the lander may be determined. Validation of the analytical techniques is accomplished through comparison of predicted results and experimental data obtained during a model test program.

Laurenson, R. M.↗

NASA NTRS1993

Semi-analytical static nonlinear structural sensitivity analysis

The paper discusses two uses of the semianalytical methods for nonlinear sensitivity analysis. First, the application to noncritical response is analyzed. It is shown that the semianalytical method is equivalent to a particular form of the overall finite difference approach. It is concluded that the difference between overall finite differences and the semianalytical approach is blurred for the case of nonlinear static response. Next, the application of the semianalytical method to calculating sensitivities of limit loads is discussed. A formulation that is easy to implement in general purpose finite element programs is derived. Three examples are used to demonstrate the application of the formulation and to explore its accuracy.

Haftka, Raphael T.↗

NASA NTRS2013

Detecting and Characterizing Semantic Inconsistencies in Ported Code

Adding similar features and bug fixes often requires porting program patches from reference implementations and adapting them to target implementations. Porting errors may result from faulty adaptations or inconsistent updates. This paper investigates (I) the types of porting errors found in practice, and (2) how to detect and characterize potential porting errors. Analyzing version histories, we define five categories of porting errors, including incorrect control- and data-flow, code redundancy, inconsistent identifier renamings, etc. Leveraging this categorization, we design a static control- and data-dependence analysis technique, SPA, to detect and characterize porting inconsistencies. Our evaluation on code from four open-source projects shows thai SPA can dell-oct porting inconsistencies with 65% to 73% precision and 90% recall, and identify inconsistency types with 58% to 63% precision and 92% to 100% recall. In a comparison with two existing error detection tools, SPA improves precision by 14 to 17 percentage points

Ray, Baishakhi↗

NASA NTRS2013

Detecting and Characterizing Semantic Inconsistencies in Ported Code

Adding similar features and bug fixes often requires porting program patches from reference implementations and adapting them to target implementations. Porting errors may result from faulty adaptations or inconsistent updates. This paper investigates (1) the types of porting errors found in practice, and (2) how to detect and characterize potential porting errors. Analyzing version histories, we define five categories of porting errors, including incorrect control- and data-flow, code redundancy, inconsistent identifier renamings, etc. Leveraging this categorization, we design a static control- and data-dependence analysis technique, SPA, to detect and characterize porting inconsistencies. Our evaluation on code from four open-source projects shows that SPA can detect porting inconsistencies with 65% to 73% precision and 90% recall, and identify inconsistency types with 58% to 63% precision and 92% to 100% recall. In a comparison with two existing error detection tools, SPA improves precision by 14 to 17 percentage points.

Semantic Errors↗

NASA NTRS1977

NASTRAN use for cyclic response and fatigue analysis of wind turbing towers

A procedure is described which uses NASTRAN coupled with fatigue criteria via a postprocessor to determine the cyclic response and to assess the fatigue resistance (fatigue life) of wind turbine generator towers. The cyclic loads to which the tower may be subjected are entered either in a quasi-static approach though static load subcases (Rigid Format 1) or through the direct dynamic response (Rigid Format 9) features of NASTRAN. The fatigue criteria are applied to NASTRAN output data from either rigid format through an externally written user program embedded in a postprocessor.

Chamis, C. C.↗

NASA NTRS1973

Addition of three-dimensional isoparametric elements to NASA structural analysis program (NASTRAN)

Implementation is made of the three-dimensional family of linear, quadratic and cubic isoparametric solid elements into the NASA Structural Analysis program, NASTRAN. This work included program development, installation, testing, and documentation. The addition of these elements to NASTRAN provides a significant increase in modeling capability particularly for structures requiring specification of temperatures, material properties, displacements, and stresses which vary throughout each individual element. Complete program documentation is presented in the form of new sections and updates for direct insertion to the three NASTRAN manuals. The results of demonstration test problems are summarized. Excellent results are obtained with the isoparametric elements for static, normal mode, and buckling analyses.

Field, E. I.↗

NASA NTRS1991

NASA/ASEE Summer Faculty Fellowship Program. 1991 Research Reports

Reports from the NASA/ASEE Summer Faculty Fellowship Program are presented. The editors are responsible for selecting appropriately qualified faculty to address some of the many problems of current interest to NASA Kennedy. Some representative titles are as follows: Development of an Accelerated Test Method for the Determination of Susceptibility to Atmospheric Corrosion; Hazardous Gas Leak Analysis in the Space Shuttle; Modeling and Control of the Automated Radiator Inspection Device; Study of the Finite Element Software Packages at KSC; Multispectral Image Processing for Plants; Algorithms for Contours Depicting Static Electric Fields during Adverse Weather Conditions; Transient Study of a Cryogenic Hydrogen Filling System; and Precision Cleaning Verification of Nonvolatile Residues by using Water, Ultrasonics, and Turbidity Analyses.

Hosler, E. Ramon↗

NASA NTRS1996

Estimation of the longitudinal and lateral-directional aerodynamic parameters from flight data for the NASA F/A-18 HARV

This progress report presents the results of an investigation focused on parameter identification for the NASA F/A-18 HARV. This aircraft was used in the high alpha research program at the NASA Dryden Flight Research Center. In this study the longitudinal and lateral-directional stability derivatives are estimated from flight data using the Maximum Likelihood method coupled with a Newton-Raphson minimization technique. The objective is to estimate an aerodynamic model describing the aircraft dynamics over a range of angle of attack from 5 deg to 60 deg. The mathematical model is built using the traditional static and dynamic derivative buildup. Flight data used in this analysis were from a variety of maneuvers. The longitudinal maneuvers included large amplitude multiple doublets, optimal inputs, frequency sweeps, and pilot pitch stick inputs. The lateral-directional maneuvers consisted of large amplitude multiple doublets, optimal inputs and pilot stick and rudder inputs. The parameter estimation code pEst, developed at NASA Dryden, was used in this investigation. Results of the estimation process from alpha = 5 deg to alpha = 60 deg are presented and discussed.

Napolitano, Marcello R.↗

NASA NTRS1984

Upset susceptibility study employing circuit analysis and digital simulation

An approach to predict the susceptibility of digital systems to signal disturbances is described. Electrical disturbances on a digital system's input and output lines can be induced by activities and conditions including static electricity, lightning discharge, electromagnetic interference (EMI), and electromagnetic pulsation (EMP). The electrical signal disturbances employed for the susceptibility study were limited to nondestructive levels, i.e., the system does not sustain partial or total physical damage and reset and/or reload brings the system to an operational status. The front-end transition from the electrical disturbances to the equivalent digital signals was accomplished by computer-aided circuit analysis. The super-sceptre (system for circuit evaluation of transient radiation effects) programs was used. Gate models were developed according to manufacturers' performance specifications and parameters resulting from construction processes characteristic of the technology. Digital simulation at the gate and functional level was employed to determine the impact of the abnormal signals on system performance and to study the propagation characteristics of these signals through the system architecture. Example results are included for an Intel 8080 processor configuration.

Carreno, V. A.↗

NASA NTRS1991

Hierarchic Extensions in the Static and Dynamic Analysis of Elastic Beams

Approximate solutions of static and dynamic beam problems by the p-version of the finite element method are investigated. Within a hierarchy of engineering beam idealizations, rigorous formulations of the strain and kinetic energies for straight and circular beam elements are presented. These formulations include rotating coordinate system effects and geometric nonlinearities to allow for the evaluation of vertical axis wind turbines, the motivating problem for this research. Hierarchic finite element spaces, based on extensions of the polynomial orders used to approximate the displacement variables, are constructed. The developed models are implemented into a general purpose computer program for evaluation. Quality control procedures are examined for a diverse set of sample problems. These procedures include estimating discretization errors in energy norm and natural frequencies, performing static and dynamic equilibrium checks, observing convergence for qualities of interest, and comparison with more exacting theories and experimental data. It is demonstrated that p-extensions produce exponential rates of convergence in the approximation of strain energy and natural frequencies for the class of problems investigated.

Watson, Robert A.↗

NASA NTRS1984

Upset susceptibility study employing circuit analysis and digital simulation

This paper describes an approach to predicting the susceptibility of digital systems to signal disturbances. Electrical disturbances on a digital system's input and output lines can be induced by activities and conditions including static electricity, lightning discharge, Electromagnetic Interference (EMI) and Electromagnetic Pulsation (EMP). The electrical signal disturbances employed for the susceptibility study were limited to nondestructive levels, i.e., the system does not sustain partial or total physical damage and reset and/or reload will bring the system to an operational status. The front-end transition from the electrical disturbances to the equivalent digital signals was accomplished by computer-aided circuit analysis. The Super-Sceptre (system for circuit evaluation of transient radiation effects) Program was used. Gate models were developed according to manufacturers' performance specifications and parameters resulting from construction processes characteristic of the technology. Digital simulation at the gate and functional level was employed to determine the impact of the abnormal signals on system performance and to study the propagation characteristics of these signals through the system architecture. Example results are included for an Intel 8080 processor configuration.

Carreno, V. A.↗

NASA NTRS2003

Size Effects in Impact Damage of Composite Sandwich Panels

Panel size has a large effect on the impact response and resultant damage level of honeycomb sandwich panels. It has been observed during impact testing that panels of the same design but different panel sizes will show large differences in damage when impacted with the same impact energy. To study this effect, a test program was conducted with instrumented impact testing of three different sizes of sandwich panels to obtain data on panel response and residual damage. In concert with the test program. a closed form analysis method was developed that incorporates the effects of damage on the impact response. This analysis method will predict both the impact response and the residual damage of a simply-supported sandwich panel impacted at any position on the panel. The damage is incorporated by the use of an experimental load-indentation curve obtained for the face-sheet/honeycomb and indentor combination under study. This curve inherently includes the damage response and can be obtained quasi-statically from a rigidly-backed specimen or a specimen with any support conditions. Good correlation has been obtained between the test data and the analysis results for the maximum force and residual indentation. The predictions can be improved by using a dynamic indentation curve. Analyses have also been done using the MSC/DYTRAN finite element code.

Dobyns, Alan↗

DOE OSTI2022

MOOSE framework enhancements for meshing reactor geometries

MOOSE is an open-source, parallel finite element framework designed to permit rapid development of robust multi-physics modeling capabilities. Under the DOE-NEAMS program, numerous solvers have been developed utilizing the open-source MOOSE framework for multiphysics reactor analysis. These solvers require input finite element meshes representing the discretized geometry. Typically, reactor analysts turn to licensed external tools for creation of reactor geometry meshes. Recently, enhancements have been added to the MOOSE framework to mesh common reactor geometries and improve MOOSE-based application user workflows. Support for hexagonal pins, assemblies, and cores has been added, and Cartesian support has been extended. Options for modeling static and rotating control drums within a hexagonal assembly are now available. Pin, assembly, and plane regions can be identified through automatically applied tags on the mesh called 'reporting IDs' for easier post- processing of physics results. An external open-source triangle routine has been leveraged within MOOSE to mesh core periphery zones. A set of reactor geometry builder routines further streamline the construction of hexagonal and Cartesian cores and include the ability to assign materials to regions during mesh generation. The new meshing routines are available through the MOOSE framework in the open-source 'Reactor' module, and the resulting directly within MOOSE-based applications or exported as Exodus II files for use in other finite element solvers. (authors)

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

NASA NTRS1981

SPAR analysis of LDEF vibration characteristics

This paper presents a structural dynamic modeling of the Long Duration Exposure Facility (LDEF), which is a Space Shuttle payload of passive scientific experiments contained in trays mounted on a large cylindrically shaped structure. Special detailed finite element modeling, using the SPAR system of computer programs was required to obtain good agreement between analytical and test vibrations modes. Experimental trays contributed significantly to overall LDEF stiffnesses, and these contributions were realistically represented for each tray by the stiffness matrix of an equivalent orthotropic panel in the overall LDEF SPAR model. Orthotropic stiffnesses for this panel were obtained from finely detailed statically loaded tray SPAR models in which stiffness coupling was accounted for along with partial relative sliding allowed by the tray clamping attachments. Joint boundary conditions were also significant in the structural dynamic modeling of LDEF, and static data proved valuable in assessing modeling of local end fittings.

Edighoffer, H. H.↗

NASA NTRS1982

The FORTRAN static source code analyzer program (SAP) user's guide, revision 1

The FORTRAN Static Source Code Analyzer Program (SAP) User's Guide (Revision 1) is presented. SAP is a software tool designed to assist Software Engineering Laboratory (SEL) personnel in conducting studies of FORTRAN programs. SAP scans FORTRAN source code and produces reports that present statistics and measures of statements and structures that make up a module. This document is a revision of the previous SAP user's guide, Computer Sciences Corporation document CSC/TM-78/6045. SAP Revision 1 is the result of program modifications to provide several new reports, additional complexity analysis, and recognition of all statements described in the FORTRAN 77 standard. This document provides instructions for operating SAP and contains information useful in interpreting SAP output.

Decker, W.↗

NASA NTRS1987

Profile modification to minimize spur gear dynamic loading

An analytical computer simulation program for dynamic modeling of low-contact-ratio spur gear systems is presented. The procedure computes the static transmission error of the gears operating under load and uses a fast Fourier transform to generate the frequency spectrum of the static transmission error at various tooth profile modifications. The dynamic loading response of an unmodified (perfect involute) gear pair was compared with that of gears with various profile modifications. Correlations were found between various profile modifications and the resulting dynamic loads. An effective error, obtained from frequency domain analysis of the static transmission error of the gears, gave a very good indication of the optimum profile modification to reduce gear dynamic loading. Design curves generated by dynamic simulation at various profile modifications are given for gear systems operated at various loads. Optimum profile modifications can be determined from these design curves for improved gear design.

Lin, Hsiang Hsi↗

NASA NTRS1989

Profile modification to minimize spur gear dynamic loading

Lin, H. H.↗