SAMPA: Security Analysis and Monitoring to Prevent Abuse of High Performance Computing Environments
Explore the source record for details and available documents.
97 MATHEMATICS AND COMPUTING↗
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.
Dynamic analysis of spur gears using computer program DANST
DANST is a computer program for static and dynamic analysis of spur gear systems. The program can be used for parametric studies to predict the effect on dynamic load and tooth bending stress of spur gears due to operating speed, torque, stiffness, damping, inertia, and tooth profile. DANST performs geometric modeling and dynamic analysis for low- or high-contact-ratio spur gears. DANST can simulate gear systems with contact ratio ranging from one to three. It was designed to be easy to use, and it is extensively documented by comments in the source code. This report describes the installation and use of DANST. It covers input data requirements and presents examples. The report also compares DANST predictions for gear tooth loads and bending stress to experimental and finite element results.
Oswald, Fred B.↗
Dynamic analysis of spur gears using computer program DANST
DANST is a computer program for static and dynamic analysis of spur gear systems. The program can be used for parametric studies to predict the effect on dynamic load and tooth bending stress of spur gears due to operating speed, torque, stiffness, damping, inertia, and tooth profile. DANST performs geometric modeling and dynamic analysis for low- or high-contact-ratio spur gears. DANST can simulate gear systems with contact ratio ranging from one to three. It was designed to be easy to use, and it is extensively documented by comments in the source code. This report describes the installation and use of DANST. It covers input data requirements and presents examples. The report also compares DANST predictions for gear tooth loads and bending stress to experimental and finite element results.
Oswald, Fred B.↗
Dynamic Analysis of Spur Gear Transmissions (DANST). PC Version 3.00 User Manual
DANST is a FORTRAN computer program for static and dynamic analysis of spur gear systems. The program can be used for parametric studies to predict the static transmission error, dynamic load, tooth bending stress and other properties of spur gears as they are influenced by operating speed, torque, stiffness, damping, inertia, and tooth profile. DANST performs geometric modeling and dynamic analysis for low- or high-contact-ratio spur gears. DANST can simulate gear systems with contact ratios ranging from one to three. It was designed to be easy to use and it is extensively documented in several previous reports and by comments in the source code. This report describes installing and using a new PC version of DANST, covers input data requirements and presents examples.
Oswald, Fred B.↗
The NASTRAN computer program for structural analysis.
Discussion of a large NASA-sponsored digital computer program for static and dynamic analysis of structures with linear or nonlinear material properties. The program fits to perform buckling analysis, vibration mode analysis of conservative or damped systems, frequency response analysis, and transient response analysis on the IBM 360, UNIVAC 1108, and CDC 6600 computers. It also provides automatic generation of several types of loads such as gravity loads and thermal strain loads, plots of deformed and nondeformed structures, and the choice of alternate analysis methods such as direct or modal formulations of dynamic problems. The program is intended primarily for large problems involving hundreds of thousands of degrees of freedom. A flexible Executive System is provided to facilitate the addition of new functional capabilities to the program.
Macneal, R. H.↗
Track-train dynamic analysis and test program. Barber S-2 static test
The results of a static test of a Barber S-2 freight truck conducted to measure the stiffness and friction parameters of the modes of deformation which are being used in various mathematical models in the railroad industry were presented. Some difficulty was first experienced with the truck hardware since it was in an essentially new condition with many high spots causing interference. No difficulty was experienced once the interference was removed. The characteristics of the Barber S-2 are very similar to the ASF ride control truck. The major difference between the two trucks is the amount of friction between the bolster and side frames in both the vertical and lateral directions. The Barber S-2 has approximately twice the friction the ASF ride control truck has in the fully loaded condition. This does not necessarily imply that all trucks will have this same ratio of friction.
Abbott, P. W.↗
An Expert System for the Development of Efficient Parallel Code
We have built the prototype of an expert system to assist the user in the development of efficient parallel code. The system was integrated into the parallel programming environment that is currently being developed at NASA Ames. The expert system interfaces to tools for automatic parallelization and performance analysis. It uses static program structure information and performance data in order to automatically determine causes of poor performance and to make suggestions for improvements. In this paper we give an overview of our programming environment, describe the prototype implementation of our expert system, and demonstrate its usefulness with several case studies.
Jost, Gabriele↗
Software Construction and Analysis Tools for Future Space Missions
NASA and its international partners will increasingly depend on software-based systems to implement advanced functions for future space missions, such as Martian rovers that autonomously navigate long distances exploring geographic features formed by surface water early in the planet's history. The software-based functions for these missions will need to be robust and highly reliable, raising significant challenges in the context of recent Mars mission failures attributed to software faults. After reviewing these challenges, this paper describes tools that have been developed at NASA Ames that could contribute to meeting these challenges; 1) Program synthesis tools based on automated inference that generate documentation for manual review and annotations for automated certification. 2) Model-checking tools for concurrent object-oriented software that achieve memorability through synergy with program abstraction and static analysis tools.
Lowry, Michael R.↗
RAMSeS: Rapid Analysis of Mission Software Systems
Over the past few decades, software has become ubiquitous as it has been integrated into nearly every aspect of society, including household appliances, consumer electronics, industrial control systems, public utilities, government operations, and military systems. Consequently, many critical national security questions can no longer be answered convincingly without understanding software, including its purpose, its capabilities, its flaws, its communication, or how it processes and stores data. As software continues to become larger, more complex, and more widespread, our ability to answer important mission questions and reason about software in a timely way is falling behind. Today, to achieve such understanding of third-party software, we rely predominantly on the ability of reverse engineering experts to manually answer each particular mission question for every software system of interest. This approach often requires heroic human effort that nevertheless fails to meet current mission needs and will never scale to meet future needs. The result is an emerging crisis: a massive and expanding gap between the national security need to answer mission questions about software and our ability to do so. Sandia National Laboratories has established the Rapid Analysis of Mission Software Systems (RAMSeS) effort, a collaborative long-term effort aimed at dramatically improving our nation’s ability to answer mission questions about third-party software by growing an ecosystem of tools that augment the human reverse engineer through automation, interoperability, and reuse. Focusing on static analysis of binary programs, we are attempting to identify reusable software analysis components that advance our ability to reason about software, to automate useful aspects of the software analysis process, and to integrate new methodologies and capabilities into a working ecosystem of tools and experts. We aim to integrate existing tools where possible, adapt tools when modest modifications will enable them to interoperate, and implement missing capability when necessary. Although we do hope to automate a growing set of analysis tasks, we will approach this goal incrementally by assisting the human in an ever-widening range of tasks.
29 ENERGY PLANNING, POLICY, AND ECONOMY↗
NASA general purpose structural analysis program /NASTRAN/ Quarterly report, 1 Jan. - 1 Apr. 1968
General purpose structural analysis program for solving static and dynamic structural problems by force and displacement methods
Source record↗
Some Aspects of NASTRAN Solution Accuracy
Accuracy, adequacy, and limitations of NASTRAN computer program static load structural analysis solutions
Haggenmacher, G. W.↗
Analysis of the dynamics of thin primary mirrors for large astronomical telescopes
The NASTRAN structural analysis program was used to investigate the dynamic properties of thin primary mirrors suitable for use in large orbiting astronomical telescopes. An analysis is included of the mode shapes and modal frequencies for several thin, homogeneous, isotropic mirrors. Typical cases include two different mirror diameters, two different diameter-to-thickness ratios, and both a mirror without and a mirror with a central hole that is 22 percent of the mirror diameter. The finite-element structural model is evaluated by comparing the NASTRAN generated results with theoretical values for a simply supported, flat, circular mirror. The same model is then used for evaluating the spherical mirrors. The mode shapes and frequencies of a 0.762-meter-diameter mirror with a 60-to-1 diameter-to-thickness ratio and a three-point rigid kinematic (not overconstrained) mount are calculated and plotted for comparison with results obtained previously from the SAMIS structural analysis program for this same mirror. A static analysis is also shown for comparison with experimentally obtained influence coefficients.
Ostroff, A. J.↗
Adaptive Fault Tolerance for Many-Core Based Space-Borne Computing
This paper describes an approach to providing software fault tolerance for future deep-space robotic NASA missions, which will require a high degree of autonomy supported by an enhanced on-board computational capability. Such systems have become possible as a result of the emerging many-core technology, which is expected to offer 1024-core chips by 2015. We discuss the challenges and opportunities of this new technology, focusing on introspection-based adaptive fault tolerance that takes into account the specific requirements of applications, guided by a fault model. Introspection supports runtime monitoring of the program execution with the goal of identifying, locating, and analyzing errors. Fault tolerance assertions for the introspection system can be provided by the user, domain-specific knowledge, or via the results of static or dynamic program analysis. This work is part of an on-going project at the Jet Propulsion Laboratory in Pasadena, California.
fault tolerance↗
Computing Stresses In Spur Gears
Dynamic Analysis of Spur Gear Transmissions (DANST) developed as easy-to-use program for static and dynamic analysis of spur-gear systems. Used for parametric studies to predict effects of operating speed, torque, stiffness, damping, inertia, and tooth profile on dynamic loads and tooth-bending stresses in spur gears. Performs geometric modeling and dynamic analysis for low- or high-contact-ratio spur gears. Simulates gear systems with contact ratios ranging from one to three. Written in FORTRAN 77.
Oswald, F. B.↗
NASTRAN Differential Stiffness Analysis of an Aircraft Canopy
NASTRAN computer program differential stiffness and static load analysis methods compared for aircraft tandem side opening canopies
Bennett, R. D.↗
Numerical analysis of stiffened shells of revolution. Volume 2: Users' manual for STAR-02S - shell theory automated for rotational structures - 2 (statics), digital computer program
A procedure for the structural analysis of stiffened shells of revolution is presented. A digital computer program based on the Love-Reissner first order shell theory was developed. The computer program can analyze orthotropic thin shells of revolution, subjected to unsymmetric distributed loading or concentrated line loads, as well as thermal strains. The geometrical shapes of the shells which may be analyzed are described. The shell wall cross section can be a sheet, sandwich, or reinforced sheet or sandwich. General stiffness input options are also available.
Svalbonas, V.↗
Some studies on the use of NASTRAN for nuclear power plant structural analysis and design
Studies made on the use of NASTRAN for nuclear power plant analysis and design are presented. These studies indicate that NASTRAN could be effectively used for static, dynamic and special purpose problems encountered in the design of such plants. Normal mode capability of NASTRAN is extended through a post-processor program to handle seismic analysis. Static and dynamic substructuring is discussed. Extension of NASTRAN to include the needs in the civil engineering industry is discussed.
Setlur, A. V.↗
A comparison of the capabilities of three finite element programs
Three finite element programs are compared to assess their capabilities as an analysis tool in a structural design process. Because of the need for repetitive analyses as an integral part of a design loop, a candidate program must be capable of handling large problems, operate efficiently, and be readily adaptable for use in computer-aided design. The three programs considered in the study, ELAS,SNAP, and NASTRAN, range from a relatively small finite element program limited to static structural analysis (ELAS) to a large complex general analysis system (NASTRAN). Results are given for comparative speeds and computer resources required for each program in the analysis of sample fuselage problems representative of practical aircraft design.
Loendorf, D. D.↗