Engineering Papers⌕ Search

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.

At least 109 records · Page 6

Crashworthy airframe design concepts: Fabrication and testing

Crashworthy floor concepts applicable to general aviation aircraft metal airframe structures were investigated. Initially several energy absorbing lower fuselage structure concepts were evaluated. Full scale floor sections representative of a twin engine, general aviation airplane lower fuselage structure were designed and fabricated. The floors featured an upper high strength platform with an energy absorbing, crushable structure underneath. Eighteen floors were fabricated that incorporated five different crushable subfloor concepts. The floors were then evaluated through static and dynamic testing. Computer programs NASTRAN and KRASH were used for the static and dynamic analysis of the floor section designs. Two twin engine airplane fuselages were modified to incorporate the most promising crashworthy floor sections for test evaluation.

Cronkhite, J. D.↗

Investigation of Wake-Vortex Aircraft Encounters

The National Aeronautics and Space Administration is addressing airport capacity enhancements during instrument meteorological conditions though the Terminal Area Productivity (TAP) program. The major goal of the TAP program is to develop the technology that will allow air traffic levels during instrument meteorological condition to approach those achieved during visual operations. The Reduced Spacing Operations (RSO) subelement of TAP at the NASA Langley Research Center (LaRC) will develop the Aircraft Vortex Spacing System (AVOSS). The purpose of the AVOSS is to integrate current and predicted weather conditions, wake vortex transport and decay knowledge, wake vortex sensor data, and operational definitions of acceptable strengths for vortex encounters to produce dynamic wake vortex separation criteria. The proposed research is in support of the wake vortex hazard definition component of the LaRC AVOSS development research. The research program described in the next section provided an analysis of the static test data and uses this data to evaluate the accuracy vortex/wake-encounter models. The accuracy of these models has not before been evaluated using experimental data. The research results also presented the first analysis of the forces and moments imparted on an airplane during a wake vortex encounter using actual flight test data.

Smith, Sonya T.↗

A comparative analysis of static and dynamic load balancing strategies

The problem of uniformly distributing the load of a parallel program over a multiprocessor system was considered. A program was analyzed whose structure permits the computation of the optimal static solution. Then four strategies for load balancing were described and their performance compared. The strategies are: (1) the optimal static assignment algorithm which is guaranteed to yield the best static solution, (2) the static binary dissection method which is very fast but suboptimal, (3) the greedy algorithm, a static fully polynomial time approximation scheme, which estimates the optimal solution to arbitrary accuracy, and (4) the predictive dynamic load balancing heuristic which uses information on the precedence relationships within the program and outperforms any of the static methods. It is also shown that the overhead incurred by the dynamic heuristic is reduced considerably if it is started off with a static assignment provided by either of the three strategies.

Iqbal, M. Ashraf↗

Aeroelastic effects on space shuttle dynamics

A simplified analysis procedure for determining static and dynamic aeroelastic loads for the space shuttle and space shuttle configuration is presented. A computer program, originally developed for the Atlas launch vehicle, was modified for simplifying the turbulence response analysis approach. This approach is compared with a more detailed and time consuming approach to space shuttle response to turbulence which was developed earlier. The simplification in going from interference to lumped aerodynamic data was found to give adequate results for preliminary design aeroelastic analysis. Gust loads were found to be approximately 50% of the maximum static aeroelastic loads. The autopilot became unstable when ten elastic modes were included. Elastic effects were found to be less than 3% in the static aeroelastic analysis.

Source record↗

Digital program for calculating static pressure position error

A computer program written to calculate the static pressure position error of airspeed systems contains five separate methods for determining position error, of which the user may select from one to five at a time. The program uses data from both the test aircraft and the ground-based radar to calculate the error. In addition, some of the methods require rawinsonde data or an atmospheric analysis, or both. The program output lists the corrections to Mach number, altitude, and static pressure that are due to position error. Reference values such as angle of attack, angle of sideslip, indicated Mach number, indicated pressure altitude, stagnation pressure, and total temperature are also listed.

Johnson, J. Blair↗

New reflective symmetry design capability in the JPL-IDEAS Structure Optimization Program

The JPL-IDEAS antenna structure analysis and design optimization computer program was modified to process half structure models of symmetric structures subjected to arbitrary external static loads, synthesize the performance, and optimize the design of the full structure. Significant savings in computation time and cost (more than 50%) were achieved compared to the cost of full model computer runs. The addition of the new reflective symmetry analysis design capabilities to the IDEAS program allows processing of structure models whose size would otherwise prevent automated design optimization. The new program produced synthesized full model iterative design results identical to those of actual full model program executions at substantially reduced cost, time, and computer storage.

Strain, D.↗

Analyzing Static Loading of Complex Structures

Critical loading conditions determined from analysis of each structural element. Automated Thrust Structures Loads and Stresses (ATLAS) system is series of programs developed to analyze elements of complex structure under static-loading conditions. ATLAS calculates internal loads, beam-bending loads, column- and web-buckling loads, beam and panel stresses, and beam-corner stresses. Programs written in FORTRAN IV and Assembler for batch execution.

Gallear, D. C.↗

Development of an integrated aeroservoelastic analysis program and correlation with test data

The details and results are presented of the general-purpose finite element STructural Analysis RoutineS (STARS) to perform a complete linear aeroelastic and aeroservoelastic analysis. The earlier version of the STARS computer program enabled effective finite element modeling as well as static, vibration, buckling, and dynamic response of damped and undamped systems, including those with pre-stressed and spinning structures. Additions to the STARS program include aeroelastic modeling for flutter and divergence solutions, and hybrid control system augmentation for aeroservoelastic analysis. Numerical results of the X-29A aircraft pertaining to vibration, flutter-divergence, and open- and closed-loop aeroservoelastic controls analysis are compared to ground vibration, wind-tunnel, and flight-test results. The open- and closed-loop aeroservoelastic control analyses are based on a hybrid formulation representing the interaction of structural, aerodynamic, and flight-control dynamics.

Gupta, K. K.↗

Reliability Analysis of Brittle Material Structures - Including MEMS(?) - With the CARES/Life Program

Brittle materials are being used, or considered, for a wide variety of high tech applications that operate in harsh environments, including static and rotating turbine parts. thermal protection systems, dental prosthetics, fuel cells, oxygen transport membranes, radomes, and MEMS. Designing components to sustain repeated load without fracturing while using the minimum amount of material requires the use of a probabilistic design methodology. The CARES/Life code provides a general-purpose analysis tool that predicts the probability of failure of a ceramic component as a function of its time in service. For this presentation an interview of the CARES/Life program will be provided. Emphasis will be placed on describing the latest enhancements to the code for reliability analysis with time varying loads and temperatures (fully transient reliability analysis). Also, early efforts in investigating the validity of using Weibull statistics, the basis of the CARES/Life program, to characterize the strength of MEMS structures will be described as as well as the version of CARES/Life for MEMS (CARES/MEMS) being prepared which incorporates single crystal and edge flaw reliability analysis capability. It is hoped this talk will open a dialog for potential collaboration in the area of MEMS testing and life prediction.

Nemeth, Noel N.↗

Improved Benchmarking of Cohesive Elements in Abaqus Standard for Predicting Disbond and Delamination in Composite Structures

Traditional approaches for aircraft certification require the assumption of an initial flaw condition, either represented as barely visible impact damage (BVID) or through inclusion of a Teflon insert to serve as surrogate damage. Based on the initial composite damage state, the structure must be shown to demonstrate structural durability and damage tolerance (DaDT) according to the following criteria: a. Damage displays no detrimental growth under cyclic loading b. The structure is able to sustain design limit load (DLL) Currently, the only available manner for validating structural performance is through test. Since damage can occur over a wide variety of areas within a structure, this approach has proven to be increasingly expensive and time consuming for composite airframes and acreage structure within the design-test-certification building block. A further complicating factor is the requirement to accurately capture the most critical damage morphologies as a starting condition. To understand the severity of the damage, it is either required to experimentally determine the most critical areas at tremendous expense or rely on legacy data of similar structural testing, which limits design space expansion. A preferred solution is to use advanced analysis to provide improved understanding of load margins for critical locations based on a wide variety of potential starting damage conditions. The standard industry approach for DaDT certification adheres to the use of the traditional virtual crack closure technique (VCCT) method. VCCT is generally a preferred method because it conforms to the current certification principles of damage from a known flaw, and when used correctly, can be effective at predicting delamination propagation under static and cyclic loading. The VCCT method requires the inclusion of an initial flaw in the finite element (FE) model requiring a-priori knowledge of the flaw location. This in turn requires a plethora of analysis cases to be examined to cover a reasonable span of potential damage states. Additionally, the VCCT approach requires node-to-node connectivity rendering it incompatible with the best practices and approaches for using continuum damage mechanics (CDM) based progressive damage and failure analysis (PDFA) tools within a typical FE solver. Alternatives to VCCT have emerged in the form of cohesive elements which utilize the cohesive zone model (CZM). Unlike VCCT which models linear elastic fracture mechanics, cohesive elements couples continuum and fracture based responses through the use of bilinear traction separation laws. These laws are defined based on a penalty stiffness, a cohesive strength, and a strain energy release rate. The approach can be mesh regularized with native cohesive elements within many FE solvers such as Abaqus and LS-DYNA. In Phase I of the NASA Advanced Composites Consortium (ACC) post-buckled stiffened panel with BVID, Strength and Life [1], the performance of cohesive elements were benchmarked in comparison to VCCT and LEFM solutions and showed good agreement using Abaqus explicit [2]. To realize savings on current and future programs, it is still necessary to close technical gaps related to the use of cohesive elements with Abaqus Standard. Within a program environment, standard finite element analysis is the preferred analytical capability for quasi-static loading as it eliminates uncertainty due to oscillatory behavior commonly seen with explicit analysis. This oscillatory behavior creates difficulties in writing margins of safety based on the analysis. The use of negative tangent stiffness material models complicates convergence which typically requires the use of numerical controls such as viscous damping to overcome. To date, there has not been a comprehensive study on how to establish best practices for cohesive element convergence for predictive capability within the Abaqus implicit solver. In pursuit of these goals, under the NASA ACC program, several numerical benchmark problems were proposed including pure mode I (double cantilevered beam – DCB), pure mode II (end notch flexure – ENF), and symmetric/unsymmetric evolving mixed mode (single leg bend – SLB). This paper focuses on the use of cohesive elements to model the delamination through the use of CZM. Specifically, finite element models for the DCB, ENF, symmetric SLB, and unsymmetric SLB, are developed and various solution controls for convergence are studied to develop a best practice. Once the best practice has been developed, the predictive capability of the objective CZM model is used to analyze the hat pull-off strength of a standard hat stiffened configuration under various loading conditions.

Abaqus↗

The static nonlinear analysis of shells of revolution (SNASOR II)

Utilizing stiffness matrices and supplying as input the loading and boundary conditions, program generates equilibrium equations for structure. Nonlinear strain energy terms result in pseudogeneralized forces which are combined with applied generalized forces. Resulting set of nonlinear algebraic equilibrium equations is solved by one of several methods.

Stricklin, J. A.↗

NASA LeRC/Akron University Graduate Cooperative Fellowship Program and Graduate Student Researchers Program

The requisite methodology to solve linear and nonlinear problems associated with the static and dynamic analysis of rotating machinery, their static and dynamic behavior, and the interaction between the rotating and nonrotating parts of an engine is developed. Linear and nonlinear structural engine problems are investigated by developing solution strategies and interactive computational methods whereby the man and computer can communicate directly in making analysis decisions. Representative examples include modifying structural models, changing material, parameters, selecting analysis options and coupling with interactive graphical display for pre- and postprocessing capability.

Fertis, D. G.↗

Decision Engines for Software Analysis Using Satisfiability Modulo Theories Solvers

The area of software analysis, testing and verification is now undergoing a revolution thanks to the use of automated and scalable support for logical methods. A well-recognized premise is that at the core of software analysis engines is invariably a component using logical formulas for describing states and transformations between system states. The process of using this information for discovering and checking program properties (including such important properties as safety and security) amounts to automatic theorem proving. In particular, theorem provers that directly support common software constructs offer a compelling basis. Such provers are commonly called satisfiability modulo theories (SMT) solvers. Z3 is a state-of-the-art SMT solver. It is developed at Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories such as arithmetic, bit-vectors, lists, records and arrays. The talk describes some of the technology behind modern SMT solvers, including the solver Z3. Z3 is currently mainly targeted at solving problems that arise in software analysis and verification. It has been applied to various contexts, such as systems for dynamic symbolic simulation (Pex, SAGE, Vigilante), for program verification and extended static checking (Spec#/Boggie, VCC, HAVOC), for software model checking (Yogi, SLAM), model-based design (FORMULA), security protocol code (F7), program run-time analysis and invariant generation (VS3). We will describe how it integrates support for a variety of theories that arise naturally in the context of the applications. There are several new promising avenues and the talk will touch on some of these and the challenges related to SMT solvers. Proceedings

Bjorner, Nikolaj↗

User's guide for analysis of finite elastoplastic deformation: The FIPDEF and FIPAX programs for the CDC 6600

Computer programs are presented which provide incremental finite-element analysis capability for problems of quasi-static, finite, elastoplastic deformation in two spatial dimensions (plane strain, plane stress, axisymmetric). Monotonic or cyclic loading of isotropic hardening materials is considered. The only restriction on the form of the stress-strain curve is that the rate of work hardening exceed some small positive value. The user's guide assumes familiarity with both finite-element analysis and FORTRAN IV programming for the CDC 6600. Sufficient information is provided to support problem solving ultization of the programs.

Osias, J. R.↗

Cyclic stress analysis of an air-cooled turbine vane

The effects of gas pressure level, coolant temperature, and coolant flow rate on the stress-strain history and life of an air-cooled vane were analyzed using measured and calculated transient metal temperatures and a turbine blade stress analysis program. Predicted failure locations were compared to results from cyclic tests in a static cascade and engine. The results indicate that a high gas pressure was detrimental, a high coolant flow rate somewhat beneficial, and a low coolant temperature the most beneficial to vane life.

Kaufman, A.↗

Development of an advanced pitch active control system for a wide body jet aircraft

An advanced PACS control law was developed for a commercial wide-body transport (Lockheed L-1011) by using modern control theory. Validity of the control law was demonstrated by piloted flight simulation tests on the NASA Langley visual motion simulator. The PACS design objective was to develop a PACS that would provide good flying qualities to negative 10 percent static stability margins that were equivalent to those of the baseline aircraft at a 15 percent static stability margin which is normal for the L-1011. Also, the PACS was to compensate for high-Mach/high-g instabilities that degrade flying qualities during upset recoveries and maneuvers. The piloted flight simulation tests showed that the PACS met the design objectives. The simulation demonstrated good flying qualities to negative 20 percent static stability margins for hold, cruise and high-speed flight conditions. Analysis and wind tunnel tests performed on other Lockheed programs indicate that the PACS could be used on an advanced transport configuration to provide a 4 percent fuel savings which results from reduced trim drag by flying at negative static stability margins.

Guinn, Wiley A.↗