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 271 records · Page 15

All sources NASA NTRS DOE OSTI

NASA NTRS1988

Fluid-thermal-structural study of aerodynamically heated leading edges

A finite element approach for integrated fluid-thermal-structural analysis of aerodynamically heated leading edges is presented. The Navier-Stokes equations for high speed compressible flow, the energy equation, and the quasi-static equilibrium equations for the leading edge are solved using a single finite element approach in one integrated, vectorized computer program called LIFTS. The fluid-thermal-structural coupling is studied for Mach 6.47 flow over a 3-in diam cylinder for which the flow behavior and the aerothermal loads are calibrated by experimental data. Issues of the thermal-structural response are studied for hydrogen-cooled, super thermal conducting leading edges subjected to intense aerodynamic heating.

Deuchamphai, Pramote↗

NASA NTRS1988

Flow-thermal-structural study of aerodynamically heated leading edges

A finite element approach for integrated fluid-thermal-structural analysis of aerodynamically heated leading edges is presented. The Navier-Stokes equations for high speed compressible flow, the energy equation, and the quasi-static equilibrium equations for the leading edge are solved using a single finite element approach in one integrated, vectorized computer program called LIFTS. The fluid-thermal-structural coupling is studied for Mach 6.47 flow over a 3-inch diameter cylinder for which the flow behavior and the aerothermal loads are calibrated by experimental data. Issues of the thermal-structural response are studied for hydrogen cooled, super thermal conducting leading edges subjected to intense aerodynamic heating.

Dechaumphai, Pramote↗

NASA NTRS2003

Experiments with Test Case Generation and Runtime Analysis

Software testing is typically an ad hoc process where human testers manually write many test inputs and expected test results, perhaps automating their execution in a regression suite. This process is cumbersome and costly. This paper reports preliminary results on an approach to further automate this process. The approach consists of combining automated test case generation based on systematically exploring the program's input domain, with runtime analysis, where execution traces are monitored and verified against temporal logic specifications, or analyzed using advanced algorithms for detecting concurrency errors such as data races and deadlocks. The approach suggests to generate specifications dynamically per input instance rather than statically once-and-for-all. The paper describes experiments with variants of this approach in the context of two examples, a planetary rover controller and a space craft fault protection system.

Artho, Cyrille↗

DOE OSTI2023

Physical Security Timeline Analysis in Support of Advanced Reactor Demonstration and Deployment

This report presents the regulatory requirements and directions on the physical security of advanced nuclear reactors in USA. Presently, a rule is being proposed that allows for a performance-based analysis. In determining the physical security requirements for an advanced reactor, new tools may be desired to conduct a performance-based analysis. These tools should incorporate dynamic analysis methods to provide as much realism as possible. In comparison, the security requirements for existing light water reactors (LWRs) are much more prescriptive and the analysis conducted to establish the required physical security strategies were more easily performed with static analysis. In order to achieve the cost goals that advanced reactors require for adoption; the nuclear security force required should not be excessive. Dynamic physical security analysis methods and tools have been developed by the US Department of Energy (DOE) Light Water Reactor Sustainability (LWRS) program. This report details how the dynamic risk analysis tools developed in the LWRS program using the dynamic risk modelling tool, EMRALD, may be adapted for use in analyzing the physical security designs for advanced reactors accounting for variable performance-based requirements. This report provides an example analysis of a hypothetical SFR using publicly available information and generic assumptions to demonstrate the methods and potential presentation and analysis of the results. No actual plant information is used in this example analysis. Future work in this area will create additional models that can be adapted for any advanced reactor concept and use various security features to create a physical security system that provides adequate protection from radiological theft and sabotage.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS1990

Expert system for multidisciplinary analysis and optimization using ASTROS

This paper discusses the framework of a Knowledge Based Expert System (KBES) environment to design aerospace structures under structural and aerodynamic constraints using ASTROS (Automated Structural Optimization program). ASTROS is a synthesis tool built around the NASTRAN finite element program. The knowledge base capabilities are discussed for synthesizing in statics, normal mode, steady and unsteady aerodynamic disciplines. A description of the two ASTROS advisor modules the Editor/Bulk Data generator and Post-processor is included. Experiences and issues involved in hierarchical representation of knowledge as menu options at different levels of abstraction are presented. A brief overview of Knowledge Based Systems and the shell CLIPS (C Language Integrated Production System) used to develop the ASTROS Advisor are discussed. Illustrative examples of the advisor in designing airframe structures are also included.

Sarma, Hari K.↗

NASA NTRS1976

Analysis of experimental results of the inlet for the NASA hypersonic research engine aerothermodynamic integration model

An aerodynamic engine inlet analysis was performed on the experimental results obtained at nominal Mach numbers of 5, 6, and 7 from the NASA Hypersonic Research Engine (HRE) Aerothermodynamic Integration Model (AIM). Incorporation on the AIM of the mixed-compression inlet design represented the final phase of an inlet development program of the HRE Project. The purpose of this analysis was to compare the AIM inlet experimental results with theoretical results. Experimental performance was based on measured surface pressures used in a one-dimensional force-momentum theorem. Results of the analysis indicate that surface static-pressure measurements agree reasonably well with theoretical predictions except in the regions where the theory predicts large pressure discontinuities. Experimental and theoretical results both based on the one-dimensional force-momentum theorem yielded inlet performance parameters as functions of Mach number that exhibited reasonable agreement. Previous predictions of inlet unstart that resulted from pressure disturbances created by fuel injection and combustion appeared to be pessimistic.

Andrews, E. H., Jr.↗

NASA NTRS1991

Aerodynamic preliminary analysis system 2. Part 1: Theory

An aerodynamic analysis system based on potential theory at subsonic and/or 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 characteristics may be generated. The analysis was 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. The program provides an efficient analysis for systematically performing various aerodynamic configuration tradeoff and evaluation studies.

Bonner, E.↗

NASA NTRS1989

A review of some problems in global-local stress analysis

The various types of local-global finite-element problems point out the need to develop a new generation of software. First, this new software needs to have a complete analysis capability, encompassing linear and nonlinear analysis of 1-, 2-, and 3-dimensional finite-element models, as well as mixed dimensional models. The software must be capable of treating static and dynamic (vibration and transient response) problems, including the stability effects of initial stress, and the software should be able to treat both elastic and elasto-plastic materials. The software should carry a set of optional diagnostics to assist the program user during model generation in order to help avoid obvious structural modeling errors. In addition, the program software should be well documented so the user has a complete technical reference for each type of element contained in the program library, including information on such topics as the type of numerical integration, use of underintegration, and inclusion of incompatible modes, etc. Some packaged information should also be available to assist the user in building mixed-dimensional models. An important advancement in finite-element software should be in the development of program modularity, so that the user can select from a menu various basic operations in matrix structural analysis.

Nelson, Richard B.↗

NASA NTRS1993

Lifetime Reliability Evaluation of Structural Ceramic Parts with the CARES/LIFE Computer Program

The computer program CARES/LIFE calculates the time-dependent reliability of monolithic ceramic components subjected to thermomechanical and/or proof test loading. This program is an extension of the CARES (Ceramics Analysis and Reliability Evaluation of Structures) computer program. CARES/LIFE accounts for the phenomenon of subcritical crack growth (SCG) by utilizing the power law, Paris law, or Walker equation. The two-parameter Weibull cumulative distribution function is used to characterize the variation in component strength. The effects of multiaxial stresses are modeled using either the principle of independent action (PIA), Weibull's normal stress averaging method (NSA), or Batdorf's theory. Inert strength and fatigue parameters are estimated from rupture strength data of naturally flawed specimens loaded in static, dynamic, or cyclic fatigue. Two example problems demonstrating cyclic fatigue parameter estimation and component reliability analysis with proof testing are included.

Nemeth, Noel N.↗

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 NTRS1974

Bonded composite to metal scarf joint performance in an aircraft landing gear drag strut

The structural performance of a boron-epoxy reinforced titanium drag strut, which contains a bonded scarf joint and was designed to the criteria of the Boeing 747 transport, was evaluated. An experimental and analytical investigation was conducted. The strut was exposed to two lifetimes of spectrum loading and was statically loaded to the tensile and compressive design ultimate loads. Throughout the test program no evidence of any damage in the drag strut was detected by strain gage measurements, ultrasonic inspection, or visual observation. An analytical study of the bonded joint was made using the NASA structural analysis computer program NASTRAN. A comparison of the strains predicted by the NASTRAN computer program with the experimentally determined values shows excellent agreement. The NASTRAN computer program is a viable tool for studying, in detail, the stresses and strains induced in a bonded joint.

Howell, W. E.↗

NASA NTRS1975

Applications of a quadratic extended interior penalty function for structural optimization

A quadratic extended interior penalty function formulation especially well suited for second-order unconstrained optimization procedures is presented. Analytical derivatives of constraints and an approximate analysis technique are used. Minimum-mass design results are presented which indicate that the combination of these procedures can help make mathematical programming a useful optimization tool for large-order structural design problems with a large number of design variables and multiple constraints. Examples include statically loaded high- and low-aspect-ratio wings simultaneously subjected to stress, displacement, minimum gage and, in some cases, maximum strain constraints.

Haftka, R. T.↗

NASA NTRS1980

Vibration analysis of the Long Duration Exposure Facility (LDEF) using SPAR

The structural modeling of the Long Duration Exposure Facility (LDEF) utilizing the SPAR system of computer programs for vibration analysis is discussed. The technical areas of interest were: (1) development of the LDEF finite element model; (2) derivation of tray effective panel stiffness matrix using finite element tray models; (3) assessment of attachment conditions and end fitting flexibility by comparing SPAR with test static displacements; (4) SPAR grouping; and (5) derivation of the LDEF frequencies and mode shapes and comparing them with tests. Special detailed finite element modeling was required to obtain good agreement between analytical and test vibration modes. An orthotropic panel in the overall model was developed. Orthotropic stiffness for this panel were obtained from finely detailed statically loaded SPAR models which included stiffness and allowed for partial relative sliding of the tray clamping attachments. Sensitivity to LDEF joint boundary conditions was determined, and static test data proved valuable in assessing modeling of local end fittings.

Edighoffer, H.↗

NASA NTRS1986

Reinforcement of composite laminate free edges with U-shaped caps

Generalized plane strain finite element analysis is used to predict reduction of interlaminar normal stresses when a U-shaped cap is bonded to the edge of a laminate. Three-dimensional composite material failure criteria are used in a progressive laminate failure analysis to predict failure loads of laminates with different edge cap designs. In an experimental program, symmetric 11-layer graphite-epoxy laminates with a one-layer cap of Kevlar-epoxy cloth are shown to be 130 to 140 percent stronger than uncapped laminates under static tensile and tension-tension fatigue loading. In addition, the coefficient of variation of the static tensile failure load decreases from 24 to 8 percent when edge caps are added. The predicted failure load calculated with the finite element results is 10 percent lower than the actual failure load. For both capped and uncapped laminates, actual failure loads are much lower than those predicted using classical lamination theory stresses and a two-dimensional failure criterion. Possible applications of the free edge reinforcement concept are described, and future research is suggested.

Howard, W. E.↗

NASA NTRS1989

Refurbishment of one-person regenerative air revitalization system

Regenerative processes for the revitalization of spacecraft atmospheres and reclamation of waste waters are essential for making long-term manned space missions a reality. Processes studied include: static feed water electrolysis for oxygen generation, Bosch carbon dioxide reduction, electrochemical carbon dioxide concentration, vapor compression distillation water recovery, and iodine monitoring. The objectives were to: provide engineering support to Marshall Space Flight Center personnel throughout all phases of the test program, e.g., planning through data analysis; fabricate, test, and deliver to Marshall Space Flight Center an electrochemical carbon dioxide module and test stand; fabricate and deliver an iodine monitor; evaluate the electrochemical carbon dioxide concentrator subsystem configuration and its ability to ensure safe utilization of hydrogen gas; evaluate techniques for recovering oxygen from a product oxygen and carbon dioxide stream; and evaluate the performance of an electrochemical carbon dioxide concentrator module to operate without hydrogen as a method of safe haven operation. Each of the tasks were related in that all focused on providing a better understanding of the function, operation, and performance of developmental pieces of environmental control and life support system hardware.

Powell, Ferolyn T.↗

DOE OSTI2022

Just-in-Time Compilation and Link-Time Optimization for OpenMP Target Offloading

Following the mass adoption of external accelerators for high performance computing, the overall performance of many applications has become increasingly dependent on relatively small accelerated kernels. As static analysis is fundamentally limited by dynamic values and external definitions, standard ahead-of-time compilation is not always sufficient to achieve the best performance. Furthermore, many users looking to port an existing application to run on an external accelerator will not want to fundamentally restructure their programs. These and other problems can be addressed through both link-time optimization (LTO) and just-in-time (JIT) compilation, but until now had sparse and inconsistent support from the compiler. In this work, we present a new compilation method that enables device-side LTO as well as a transparent JIT compilation tool-chain for OpenMP target offloading. Our contributions include an entirely new device linking and embedding scheme to enable LTO as well as a novel JIT engine to efficiently optimize OpenMP offloading regions at run-time. We also introduce a persistent caching system to improve end-to-end runtime using the JIT engine and minimize kernel launching overheads. We measure the performance of our LTO and JIT implementation via several real-world scientific applications. With our optimizations we observe significant improvements through LTO on large applications as well as significant end-to-end execution time improvement using JIT.

Tian, Shilei↗

NASA NTRS1981

Thrust imbalance of the Space Shuttle solid rocket motors

The Monte Carlo statistical analysis of thrust imbalance is applied to both the Titan IIIC and the Space Shuttle solid rocket motors (SRMs) firing in parallel, and results are compared with those obtained from the Space Shuttle program. The test results are examined in three phases: (1) pairs of SRMs selected from static tests of the four developmental motors (DMs 1 through 4); (2) pairs of SRMs selected from static tests of the three quality assurance motors (QMs 1 through 3); (3) SRMs on the first flight test vehicle (STS-1A and STS-1B). The simplified internal ballistic model utilized for computing thrust from head-end pressure measurements on flight tests is shown to agree closely with measured thrust data. Inaccuracies in thrust imbalance evaluation are explained by possible flight test instrumentation errors.

Foster, W. A., Jr.↗

NASA NTRS1994

Cargo systems manual: Heat Pipe Performance (HPP) STS-66

The purpose of the cargo systems manual (CSM) is to provide a payload reference document for payload and shuttle flight operations personnel during shuttle mission planning, training, and flight operations. It includes orbiter-to-payload interface information and payload system information (including operationally pertinent payload safety data) that is directly applicable to the Mission Operations Directorate (MOD) role in the payload mission. The primary objectives of the heat pipe performance (HPP) are to obtain quantitative data on the thermal performance of heat pipes in a microgravity environment. This information will increase understanding of the behavior of heat pipes in space and be useful for application to design improvements in heat pipes and associated systems. The purpose of HPP-2 is to establish a complete one-g and zero-g data base for axial groove heat pipes. This data will be used to update and correlate data generated from a heat pipe design computer program called Grooved Analysis Program (GAP). The HPP-2 objectives are to: determine heat transport capacity and conductance for open/closed grooved heat pipes and different Freon volumes (nominal, under, and overcharged) using a uniform heat load; determine heat transport capacity and conductance for single/multiple evaporators using asymmetric heat loads; obtain precise static, spin, and rewicking data points for undercharged pipes; investigate heat flux limits (asymmetric heat loads); and determine effects of positive body force on thermal performance.

Napp, Robert↗