SEARCH · Engineering Papers

Results for “Static 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 73 records · Page 4

All sources NASA NTRS DOE OSTI

NASA NTRS1982

Dynamic and static modeling of the shuttle orbiter's thermal protection system

The dynamic and static analysis methods used to model the nonlinear structural behavior of the Shuttle Orbiter's tile/pad thermal protection system are discussed. The structural evaluation of the tile/pad system is complicated by the nonlinear stiffening, hysteresis and viscosity exhibited by the pad material. Application of the analysis to square tiles subject to sinusoidal and random excitation is presented along with appropriate test data. Correlation is considered good. In order to treat the stress analysis of thousands of individual tiles, a nonlinear static analysis was developed which utilizes equivalent static loads derived from the dynamic environment. Tensile stress at the bondline is examined in thousands of unique tiles.

Housner, J. M.↗

NASA NTRS2005

Precise and Scalable Static Program Analysis of NASA Flight Software

Recent NASA mission failures (e.g., Mars Polar Lander and Mars Orbiter) illustrate the importance of having an efficient verification and validation process for such systems. One software error, as simple as it may be, can cause the loss of an expensive mission, or lead to budget overruns and crunched schedules. Unfortunately, traditional verification methods cannot guarantee the absence of errors in software systems. Therefore, we have developed the CGS static program analysis tool, which can exhaustively analyze large C programs. CGS analyzes the source code and identifies statements in which arrays are accessed out of bounds, or, pointers are used outside the memory region they should address. This paper gives a high-level description of CGS and its theoretical foundations. It also reports on the use of CGS on real NASA software systems used in Mars missions (from Mars PathFinder to Mars Exploration Rover) and on the International Space Station.

Brat, G.↗

DOE OSTI2024

Deciphering Discrepancies: A Comparative Analysis of Docker Image Security

As the use of microservices continues to grow and become a foundational approach to architecting software solutions, ensuring the security of microservices is paramount. Docker images have emerged as the predominant solution to containerize microservices–and thus, Docker images are becoming a large attack surface. Thus, reducing vulnerabilities in Docker images will reduce microservice cyberattacks. A common way to find vulnerabilities in Docker images employs static analysis tools like Trivy and Grype. However, these tools frequently generate disparate vulnerability reports when analyzing the same Docker image, thus causing uncertainty in tool selection. We collected 927 Docker images, analyzed them with Trivy and Grype, and compared the vulnerabilities reported in each image. Among the 865 images found to have vulnerabilities, Trivy and Grype disagreed on both the number of vulnerabilities and the vulnerability IDs found therein. Since both tools interface with external vulnerability databases, some discrepancies can be attributed to how the tools interface with these external resources. The external vulnerability databases partially overlap and frequently contradict one another, thereby creating challenges for static analysis tool developers and end users alike. This New Ideas and Emerging Results (NIER) study contains new and critical information that practitioners need for selecting and using static analysis tools–given that increases in the use of Docker technologies means increases in the size of the attack surfaces.

Boles, Brittany [Montana State University]↗

NASA NTRS1990

Statistical analysis of static shape control in space structures

The article addresses the problem of efficient analysis of the statistics of initial and corrected shape distortions in space structures. Two approaches for improving efficiency are considered. One is an adjoint technique for calculating distortion shapes: the second is a modal expansion of distortion shapes in terms of pseudo-vibration modes. The two techniques are applied to the problem of optimizing actuator locations on a 55 m radiometer antenna. The adjoint analysis technique is used with a discrete-variable optimization method. The modal approximation technique is coupled with a standard conjugate-gradient continuous optimization method. The agreement between the two sets of results is good, validating both the approximate analysis and optimality of the results.

Burdisso, Ricardo A.↗

NASA NTRS1989

Static aeroelastic analysis and tailoring of missile control fins

A concept for enhancing the design of control fins for supersonic tactical missiles is described. The concept makes use of aeroelastic tailoring to create fin designs (for given planforms) that limit the variations in hinge moments that can occur during maneuvers involving high load factors and high angles of attack. It combines supersonic nonlinear aerodynamic load calculations with finite-element structural modeling, static and dynamic structural analysis, and optimization. The problem definition is illustrated. The fin is at least partly made up of a composite material. The layup is fixed, and the orientations of the material principal axes are allowed to vary; these are the design variables. The objective is the magnitude of the difference between the chordwise location of the center of pressure and its desired location, calculated for a given flight condition. Three types of constraints can be imposed: upper bounds on static displacements for a given set of load conditions, lower bounds on specified natural frequencies, and upper bounds on the critical flutter damping parameter at a given set of flight speeds and altitudes. The idea is to seek designs that reduce variations in hinge moments that would otherwise occur. The block diagram describes the operation of the computer program that accomplishes these tasks. There is an option for a single analysis in addition to the optimization.

Mcintosh, S. C., Jr.↗

NASA NTRS1997

Static Aeroelastic Analysis of Transonic Wind Tunnel Models Using Finite Element Methods

A computational method for accurately predicting the static aeroelastic deformations of typical transonic transport wind tunnel models is described. The method utilizes a finite element method (FEM) for predicting the deformations. Extensive calibration/validation of this method was carried out using a novel wind-off wind tunnel model static loading experiment and wind-on optical wing twist measurements obtained during a recent wind tunnel test in the National Transonic Facility (NTF) at NASA LaRC. Further validations were carried out using a Navier-Stokes computational fluid dynamics (CFD) flow solver to calculate wing pressure distributions about several aeroelastically deformed wings and comparing these predictions with NTF experimental data. Results from this aeroelastic deformation method are in good overall agreement with experimentally measured values. Including the predicted deformations significantly improves the correlation between CFD predicted and experimentally measured wing & pressures.

Hooker, John R.↗

NASA NTRS2005

Damage Prediction Models for Advanced Materials and Composites

In the present study, the assessment and evaluation of various acoustic tile designs were conducted using three-dimensional finite element analysis, which included static analysis, thermal analysis and modal analysis of integral and non-integral tile design options. Various benchmark specimens for acoustic tile designs, including CMC integral T-joint and notched CMC plate, were tested in both room and elevated temperature environment. Various candidate ceramic matrix composite materials were used in the numerical modeling and experimental study. The research effort in this program evolved from numerical modeling and concept design to a combined numerical analysis and experimental study. Many subjects associated with the design and performance of the acoustic tile in jet engine exhaust nozzle have been investigated.

Xie, Ming↗

NASA NTRS1937

Static Thrust Analysis of the Lifting Airscrew

This report presents the results of a combined theoretical and experimental investigation conducted at the Georgia School of Technology on the static thrust of the lifting air screw of the type used in modern autogiros and helicopters. The theoretical part of this study is based on Glauert's analysis but certain modifications are made that further clarify and simplify the problem. Of these changes the elimination of the solidity as an independent parameter is the most important. The experimental data were obtained from tests on four rotor models of two, four, and five blades and, in general, agree quite well with the theoretical calculations. The theory indicates a method of evaluating scale effects on lifting air screws, and these corrections have been applied to the model results to derive general full-scale static thrust, torque, and figure-of-merit curves for constant-chord, constant-incidence rotors. Convenient charts are included that enable hovering flight performance to be calculated rapidly.

Knight, Montgomery↗

NASA NTRS1979

Accuracy of an approximate static structural analysis technique based on stiffness matrix eigenmodes

Use of the stiffness matrix eigenmodes, instead of the vibration eigenmodes, as generalized coordinates is proposed for condensation of static load deflection equations in finite element stiffness method. The modes are selected by strain energy criteria and the resulting fast, approximate analysis technique is evaluated by applications to idealized built-up wings and a fuselage segment. The best results obtained are a two-order of magnitude reduction of the number of degrees of freedom in a high aspect ratio wing associated with less than one percent error in prediction of the largest displacement.

Sobieszczanski-Sobieski, J.↗

NASA NTRS1984

NASTRAN/FLEXSTAB procedure for static aeroelastic analysis

Presented is a procedure for using the FLEXSTAB External Structural Influence Coefficients (ESIC) computer program to produce the structural data necessary for the FLEXSTAB Stability Derivatives and Static Stability (SD&SS) program. The SD&SS program computes trim state, stability derivatives, and pressure and deflection data for a flexible airplane having a plane of symmetry. The procedure used a NASTRAN finite-element structural model as the source of structural data in the form of flexibility matrices. Selection of a set of degrees of freedom, definition of structural nodes and panels, reordering and reformatting of the flexibility matrix, and redistribution of existing point mass data are among the topics discussed. Also discussed are boundary conditions and the NASTRAN substructuring technique.

Schuster, L. S.↗

NASA NTRS1991

Performance analysis of static locking in replicated distributed database systems

Data replications and transaction deadlocks can severely affect the performance of distributed database systems. Many current evaluation techniques ignore these aspects, because it is difficult to evaluate through analysis and time consuming to evaluate through simulation. Here, a technique is discussed that combines simulation and analysis to closely illustrate the impact of deadlock and evaluate performance of replicated distributed databases with both shared and exclusive locks.

Kuang, Yinghong↗

NASA NTRS1991

Performance analysis of static locking in replicated distributed database systems

Data replication and transaction deadlocks can severely affect the performance of distributed database systems. Many current evaluation techniques ignore these aspects, because it is difficult to evaluate through analysis and time consuming to evaluate through simulation. A technique is used that combines simulation and analysis to closely illustrate the impact of deadlock and evaluate performance of replicated distributed database with both shared and exclusive locks.

Kuang, Yinghong↗

NASA NTRS1991

On the Power of Abstract Interpretation

Increasingly sophisticated applications of static analysis place increased burden on the reliability of the analysis techniques. Often, the failure of the analysis technique to detect some information my mean that the time or space complexity of the generated code would be altered. Thus, it is important to precisely characterize the power of static analysis techniques. We follow the approach of Selur et. al. who studied the power of strictness analysis techniques. Their result can be summarized by saying 'strictness analysis is perfect up to variations in constants.' In other words, strictness analysis is as good as it could be, short of actually distinguishing between concrete values. We use this approach to characterize a broad class of analysis techniques based on abstract interpretation including, but not limited to, strictness analysis. For the first-order case, we consider abstract interpretations where the abstract domain for data values is totally ordered. This condition is satisfied by Mycroft's strictness analysis that of Sekar et. al. and Wadler's analysis of list-strictness. For such abstract interpretations, we show that the analysis is complete in the sense that, short of actually distinguishing between concrete values with the same abstraction, it gives the best possible information. We further generalize these results to typed lambda calculus with pairs and higher-order functions. Note that products and function spaces over totally ordered domains are not totally ordered. In fact, the notion of completeness used in the first-order case fails if product domains or function spaces are added. We formulate a weaker notion of completeness based on observability of values. Two values (including pairs and functions) are considered indistinguishable if their observable components are indistinguishable. We show that abstract interpretation of typed lambda calculus programs is complete up to this notion of indistinguishability. We use denotationally-oriented arguments instead of the detailed operational arguments used by Selur et. al.. Hence, our proofs are much simpler. They should be useful for further future improvements.

Reddy, Uday S.↗

NASA NTRS2014

Comparative Analysis of Static and Dynamic Probabilistic Risk Assessment

Implementation of risk-informed design allows the design team to thoroughly explore the risks of a system while iterating the operations concept, design, and requirements until the system meets mission objects and is achievable within constraints. To arrive at a space system design that is likely to meet all constraints placed upon mass, cost, performance and risk, the system requirements must be understood and traded against each other as early as the conceptual design phase. Depending on the project phase and the goals of the risk analysis, various PRA methodologies could be used to produce quantitative risk estimates to enable such a process. In order to better understand the applicability, advantages, and limitations of various PRA methodologies, a comparative analysis of three bottom-up, component-based PRA approaches was performed. The three methods examined are a traditional static fault tree, a fault tree hybrid, and a dynamic Monte Carlo simulation. Each approach was used to assess a generic reaction control system (RCS) thruster pod and mission. The methods are assessed in terms of the process of modeling a system, the actionable information produced for the design team, and the overall fidelity of the quantitative risk evaluation generated. The paper also discusses the applicability of each methodology to the different phases of system development.

Probablistic↗

NASA NTRS1989

Static and dynamic deflection studies of the SRM aft case-nozzle joint

The redesign of the joints on the solid rocket motor (SRM) has prompted the need for analyzing the behavior of the joints using several different types of analyses. The types of analyses performed include modal analysis, static analysis, transient response analysis, and base driving response analysis. The forces used in these analyses to drive the mathematical model include SRM internal chamber pressure, nozzle blowout and side forces, shuttle vehicle lift-off dynamics, SRM pressure transient rise curve, gimbal forces and moments, actuator gimbal loads, and vertical and radial bolt preloads. The math model represented the SRM from the aft base tangent point (1,823.95 in) all the way back to the nozzle, where a simplified, tuned nozzle model was attached. The new design used the radial bolts as an additional feature to reduce the gap opening at the aft dome/nozzle fixed housing interface.

Christian, David C.↗

NASA NTRS1984

Dynamic stress analysis of smooth and notched fiber composite flexural specimens

A detailed analysis of the dynamic stress field in smooth and notched fiber composite (Charpy-type) specimens is reported in this paper. The analysis is performed with the aid of the direct transient response analysis solution sequence of MSC/NASTRAN. Three unidirectional composites were chosen for the study. They are S-Glass/Epoxy, Kevlar/Epoxy and T-300/Epoxy composite systems. The specimens are subjected to an impact load which is modeled as a triangular impulse with a maximum of 2000 lb and a duration of 1 ms. The results are compared with those of static analysis of the specimens subjected to a peak load of 2000 lb. For the geometry and type of materials studied, the static analysis results gave close conservative estimates for the dynamic stresses. Another interesting inference from the study is that the impact induced effects are felt by S-Glass/Epoxy specimens sooner than Kevlar/Epoxy or T-300/Epoxy specimens.

Murthy, P. L. N.↗

NASA NTRS1986

Dynamic stress analysis of smooth and notched fiber composite flexural specimens

Murthy, P. L. N.↗

NASA NTRS2000

Dynamic Investigation of Static Divergence: Analysis and Testing

The phenomenon known as aeroelastic divergence is the focus of this work. The analyses and experiment presented here show that divergence can occur without a structural dynamic mode losing its oscillatory nature. Aeroelastic divergence occurs when the structural restorative capability or stiffness of a structure is overwhelmed by the static aerodynamic moment. This static aeroelastic coupling does not require the structural dynamic system behavior to cease, however. Aeroelastic changes in the dynamic mode behavior are governed not only by the stiffness, but by damping and inertial properties. The work presented here supports these fundamental assertions by examining a simple system: a typical section airfoil with only a rotational structural degree of freedom. Analytical results identified configurations that exhibit different types of dynamic mode behavior as the system encounters divergence. A wind tunnel model was designed and tested to examine divergence experimentally. The experimental results validate the analytical calculations and explicitly examine the divergence phenomenon where the dynamic mode persists. Three configurations of the wind tunnel model were tested. The experimental results agree very well with the analytical predictions of subcritical characteristics, divergence velocity, and behavior of the noncritical dynamic mode at divergence.

Heeg, Jennifer↗