Search NASA⌕ Search

SEARCH · Search NASA

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 145 records · Page 8

Computer program performs stiffness matrix structural analysis

Computer program generates the stiffness matrix for a particular type of structure from geometrical data, and performs static and normal mode analyses. It requires the structure to be modeled as a stable framework of uniform, weightless members, and joints at which loads are applied and weights are lumped.

Bamford, R.↗

SIRTF primary mirror design, analysis, and testing

The primary mirror assembly (PMA) requirements and concepts for the Space Infrared Telescope Facility (SIRTF) program are discussed. The PMA studies at NASA/ARC resulted in the design of two engineering test articles, the development of a mirror mount cryogenic static load testing system, and the procurement and partial testing of a full scale spherical mirror mounting system. Preliminary analysis and testing of the single arch mirror with conical mount design and the structured mirror with the spherical mount design indicate that the designs will meet all figure and environmental requirements of the SIRTF program.

Sarver, George L., III↗

Ompparser

ompparser is a standalone and unified OpenMP parser, which is motivated by the facts that: 1) The differences in terms of syntax and semantics of OpenMP constructs between C/C++ and Fortran are minor. 2) Current OpenMP compilers often develop their own parsers, which represent redundant work. The features of ompparser include: 1) ompparser can be used standalone for static source code analysis, e.g. tools for semantics checking or similarity analysis between C/C++ and Fortran programs 2) omppaser can be integrated into an OpenMP compiler implementation can reduce the development efforts, and there is no need to create and maintain two separate parsers for C/C++ and Fortran. 3) ompparser provides a complete reference OpenMP grammar in the Backus-Naur Form that formally describes all the latest OpenMP language constructs. This will help users understand the rules and restriction of the OpenMP standard, which no longer contains a reference grammar in its recent versions.

Wang, Anjia↗

Computer program to assess impact of fatigue and fracture criteria on weight and cost of transport aircraft

A preliminary design analysis tool for rapidly performing trade-off studies involving fatigue, fracture, static strength, weight, and cost is presented. Analysis subprograms were developed for fatigue life, crack growth life, and residual strength; and linked to a structural synthesis module which in turn was integrated into a computer program. The part definition module of a cost and weight analysis program was expanded to be compatible with the upgraded structural synthesis capability. The resultant vehicle design and evaluation program is named VDEP-2. It is an accurate and useful tool for estimating purposes at the preliminary design stage of airframe development. A sample case along with an explanation of program applications and input preparation is presented.

Tanner, C. J.↗

Static and dynamic stability analysis of the space shuttle vehicle-orbiter

The longitudinal static and dynamic stability of a Space Shuttle Vehicle-Orbiter (SSV Orbiter) model is analyzed using the FLEXSTAB computer program. Nonlinear effects are accounted for by application of a correction technique in the FLEXSTAB system; the technique incorporates experimental force and pressure data into the linear aerodynamic theory. A flexible Orbiter model is treated in the static stability analysis for the flight conditions of Mach number 0.9 for rectilinear flight (1 g) and for a pull-up maneuver (2.5 g) at an altitude of 15.24 km. Static stability parameters and structural deformations of the Orbiter are calculated at trim conditions for the dynamic stability analysis, and the characteristics of damping in pitch are investigated for a Mach number range of 0.3 to 1.2. The calculated results for both the static and dynamic stabilities are compared with the available experimental data.

Chyu, W. J.↗

On Development of Modern Software Interface to Glenn Research Center’s Communication Analysis Suite

NASA’s Space Communications and Navigation (SCaN) program analyzes space communication channels involving satellites in any Earth orbit and deep space for a multitude of operations. Specifically, the SCaN program will power the future of lunar communications in the next decade and beyond. A web based user interface of the static link analysis component of the Glenn Research Center’s Communication Analysis Suite (GCAS) was developed. It is operated through a newly designed front-end application with an easy to use and intuitive web-based user interface that provides accurate satellite communications link analysis capabilities.

link analysis↗

Mobility analysis, simulation, and scale model testing for the design of wheeled planetary rovers

The use of computer based techniques to model and simulate wheeled rovers on rough natural terrains is considered. Physical models of a prototype vehicle can be used to test the correlation of the simulations in scaled testing. The computer approaches include a quasi-static planar or two dimensional analysis and design tool based on the traction necessary for the vehicle to have imminent mobility. The computer program modeled a six by six wheel drive vehicle of original kinematic configuration, called the Rocker Bogie. The Rocker Bogie was optimized using the quasi-static software with respect to its articulation parameters prior to fabrication of a prototype. In another approach used, the dynamics of the Rocker Bogie vehicle in 3-D space was modeled on an engineering workstation using commercial software. The model included the complex and nonlinear interaction of the tire and terrain. The results of the investigation yielded numerical and graphical results of the rover traversing rough terrain on the earth, moon, and Mars. In addition, animations of the rover excursions were also generated. A prototype vehicle was then used in a series of testbed and field experiments. Correspondence was then established between the computer models and the physical model. The results indicated the utility of the quasi-static tool for configurational design, as well as the predictive ability of the 3-D simulation to model the dynamic behavior of the vehicle over short traverses.

Lindemann, Randel A.↗

Static strain and vibration characteristics of a metal semimonocoque helicopter tail cone of moderate size

The results are presented of an analytic and experimental research program involving a Sikorsky S-55 helicopter tail cone directed ultimately to the improved structural analysis of airframe substructures typical of moderate sized helicopters of metal semimonocoque construction. Experimental static strain and dynamic shake-testing measurements are presented. Correlation studies of each of these tests with a PC-based finite element analysis (COSMOS/M) are described. The tests included static loadings at the end of the tail cone supported in the cantilever configuration as well as vibrational shake-testing in both the cantilever and free-free configurations.

Bielawa, Richard L.↗

PredCom: A Predictive Approach to Collecting Approximated Communication Traces

Communication traces collected from MPI applications are an important source of information for performance optimization as they can help analysts determine communication patterns and identify inefficiencies. However, their collection, especially at scale, is time consuming, since it usually requires running the complete target application on a large number of nodes. In this work, we present PredCom, a tool-chain to generate a predictive communication proxy based on information gathered from a few small scale runs, which allows us to extract approximate communication traces with an accuracy high enough for most analysis goals. For this, we combine LLVM passes on the original source code (to capture static program structure) with parameter prediction (to capture dynamic and scaling behavior). This approach drastically reduces the time needed for collecting the communication traces, even for traces on large numbers of MPI processes. Here, we demonstrate that PredCom generates communication traces of various applications up to 1612x faster with an accuracy loss of 0.11 on average compared to the original large-scale traces, and we show that the generated traces can be used to optimize process placement.

97 MATHEMATICS AND COMPUTING↗

Advanced manufacturing development of a composite empennage component for L-1011 aircraft. Phase 2: Design and analysis

The composite fin design consists of two one-piece cocured covers, two one-piece cocured spars and eleven ribs. The lower ribs are truss ribs with graphite/epoxy caps and aluminum truss members. The upper three ribs are a sandwich design with graphite/epoxy face sheets and a syntactic epoxy core. The design achieves a 27% weight saving compared to the metal box. The fastener count has been reduced from over 40,000 to less than 7000. The structural integrity of the composite fin was verified by analysis and test. The static, fail-safe and flutter analyses were completed. An extensive test program has established the material behavior under a range of conditions and critical subcomponents were tested to verify the structural concepts.

Jackson, A. C.↗

Programmers manual for static and dynamic reusable surface insulation stresses (resist)

Programming information for the RESIST program for the dynamic and thermal stress analysis of the space shuttle surface insulation is presented. The overall flow chart of the program, overlay chart, data set allocation, and subprogram calling sequence are given along with a brief description of the individual subprograms and typical subprogram output.

Ogilvie, P. L.↗

The NASA/industry Design Analysis Methods for Vibrations (DAMVIBS) program: Boeing Helicopters airframe finite element modeling

Mathematical models based on the finite element method of structural analysis, as embodied in the NASTRAN computer code, are routinely used by the helicopter industry to calculate airframe static internal loads used for sizing structural members. Historically, less reliance has been placed on the vibration predictions based on these models. Beginning in the early 1980's NASA's Langley Research Center initiated an industry wide program with the objective of engendering the needed trust in vibration predictions using these models and establishing a body of modeling guides which would enable confident future prediction of airframe vibration as part of the regular design process. Emphasis in this paper is placed on the successful modeling of the Army/Boeing CH-47D which showed reasonable correlation with test data. A principal finding indicates that improved dynamic analysis requires greater attention to detail and perhaps a finer mesh, especially the mass distribution, than the usual stress model. Post program modeling efforts show improved correlation placing key modal frequencies in the b/rev range with 4 percent of the test frequencies.

Gabel, R.↗

20 Meter Solar Sail Analysis and Correlation

This paper describes finite element analyses and correlation studies to predict deformations and vibration modes/frequencies of a 20-meter solar sail system developed by ATK Space Systems. Under the programmatic leadership of NASA Marshall Space Flight Center's In-Space Propulsion activity, the 20-meter solar sail program objectives were to verify the design, to assess structural responses of the sail system, to implement lessons learned from a previous 10-meter quadrant system analysis and test program, and to mature solar sail technology to a technology readiness level (TRL) of 5. For this 20 meter sail system, static and ground vibration tests were conducted in NASA Glenn Research Center's 100 meter diameter vacuum chamber at Plum Brook station. Prior to testing, a preliminary analysis was performed to evaluate test conditions and to determine sensor and actuator locations. After testing was completed, an analysis of each test configuration was performed. Post-test model refinements included updated properties to account for the mass of sensors, wiring, and other components used for testing. This paper describes the development of finite element models (FEM) for sail membranes and masts in each of four quadrants at both the component and system levels, as well as an optimization procedure for the static test/analyses correlation.

Taleghani, B. K.↗

Thermal stress analysis of reusable surface insulation for shuttle

An iterative procedure for accurately determining tile stresses associated with static mechanical and thermally induced internal loads is presented. The necessary conditions for convergence of the method are derived. An user-oriented computer program based upon the present method of analysis was developed. The program is capable of analyzing multi-tiled panels and determining the associated stresses. Typical numerical results from this computer program are presented.

Ojalvo, I. U.↗

STARS: An integrated general-purpose finite element structural, aeroelastic, and aeroservoelastic analysis computer program

The details of an integrated general-purpose finite element structural analysis computer program which is also capable of solving complex multidisciplinary problems is presented. Thus, the SOLIDS module of the program possesses an extensive finite element library suitable for modeling most practical problems and is capable of solving statics, vibration, buckling, and dynamic response problems of complex structures, including spinning ones. The aerodynamic module, AERO, enables computation of unsteady aerodynamic forces for both subsonic and supersonic flow for subsequent flutter and divergence analysis of the structure. The associated aeroservoelastic analysis module, ASE, effects aero-structural-control stability analysis yielding frequency responses as well as damping characteristics of the structure. The program is written in standard FORTRAN to run on a wide variety of computers. Extensive graphics, preprocessing, and postprocessing routines are also available pertaining to a number of terminals.

Gupta, Kajal K.↗

How Do Electricity Pricing Programs Impact the Selection of Energy Efficiency Measures? - A Case Study with U.S. Medium Office Buildings

Building owners usually select energy efficiency measures (EEMs) by referring to return on investment (ROI). Current studies tend to apply static energy price to estimate ROI. However, more and more buildings are adopting dynamic electricity pricing programs. To understand how electricity pricing programs impact the selection of EEMs, this paper presents an analysis of the ROIs of EEMs under different pricing programs using U.S. medium office buildings as an example. Eight EEMs in four typical cities are selected as case studies. Considering five electricity pricing programs scenarios (one static program and four dynamic programs), EEMs are selected based on their ROIs. The main findings are: (1) The ROIs of EEMs change under different pricing programs. (2) In Honolulu, Buffalo, and Denver, replacing interior fixtures with higher-efficiency fixtures has a significantly higher ROI than the rest EEMs under all five pricing programs. However, the ROI of this EEM in Honolulu ranges from 28% to 47% for different pricing programs. (3) Similarly, in Fairbanks, replace heating coil with higher-efficiency coil produce higher ROI than the rest under all five pricing programs. (4) For other EEMs, their ROI rankings vary according to electricity pricing programs.

demand response↗

Toward Automated Detection of Portability Bugs in Kokkos Parallel Programs

Performance-portable programming frameworks provide abstractions for parallel execution to allow easily porting an application to multiple backend programming models, such as CUDA, HIP, and OpenMP. However, programs may still have portability bugs that manifest only on specific backends. Traditional testing is ineffective in discovering these bugs, as it would require concrete execution on all supported hardware configurations for a potentially infinite set of inputs. To mitigate this issue, we focused on a specific programming framework, Kokkos, and identified several categories of common portability bugs. We then developed Klokkos, a static analysis approach based on symbolic execution that can run on commodity hardware, before execution on supercomputers. As a proof-of-concept, we ran Klokkos on examples encoding the identified bugs. Our results show that Klokkos is effective, efficient, and precise: it detected all the considered bugs, quickly, and without any false positives. Although preliminary, our results motivate further research and development in this direction.

Kale, Vivek↗

A Parametric Study of Spur Gear Dynamics

A parametric study of a spur gear system was performed through a numerical analysis approach. This study used the gear dynamic program DANST, a computer simulator, to determine the dynamic behavior of a spur gear system. The analytical results have taken the deflection of shafts and bearings into consideration for static analysis, and the influence of these deflections on gear dynamics was investigated. Damping in the gear system usually is an unknown quantity, but it has an important effect in resonance vibration. Typical values as reported in the literature were used in the present analysis. The dynamic response due to different damping factors was evaluated and compared. The effect of the contact ratio on spur gear dynamic load and dynamic stress was investigated through a parameter study. The contact ratio was varied over the range of 1.26 to 2.46 by adjusting the tooth addendum. Gears with contact ratio near 2.0 were found to have the most favorable dynamic performance.

Lin, Hsiang Hsi↗