Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Static code 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 127 records · Page 7

Neutronics Analysis of Cold Critical KRUSTY Experiments using MCNP and Serpent

Kilowatt Reactor Using Stirling Technology (KRUSTY) is a prototype designed as a proof of concept for NASA’s Kilo power program, which was funded in order to create a small reactor for various space applications such as providing power for a colony on Mars or the moon and eventually as a possible option for powering rockets on deep space missions. KRUSTY was tested at the National Criticality Experiments Research Center (NCERC) located at the Nevada National Security Site (NNSS) from November 2017, through March 2018. The experimental campaign was conducted in four phases: com ponent critical experiments, cold critical experiments, warm critical runs, and high temperature demonstration. The component critical and cold critical experiments were used to determine the worth of the beryllium oxide (BeO) reflector rings and the boron carbide (B4C) control rod disks under different conditions. These conditions were altered by the addition and subtraction of other components in the assembly. The component critical phase was performed at atmospheric pressure and had four solid support rods spanning the center core; whereas the cold critical phase had the center core placed in a vacuum chamber and eight sodium-filled heat pipes spanning the center core region. This summary discusses the static neutronic analysis completed on the cold critical phase of the campaign using MCNP ® and Serpent. These two codes were used to assess any potential differences or biases in the simulation results. Understanding these potential biases is a key step toward the final goal of being able to fully analyze the transient experiments performed during phases 3 and 4 of the campaign.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Aeroelastic tailoring for oblique wing lateral trim

Composite material aeroelastic tailoring is presently explored as a means for the correction of the roll trim imbalance of oblique-wing aircraft configurations. The concept is demonstrated through the analysis of a realistic oblique wing by a static aeroelastic computational procedure encompassing the full potential transonic aerodynamic code FLO22 and a Ritz structural plate program that models the stiffness due to symmetrical-but-unbalanced composite wing skins. Results indicate that asymetric composite tailoring reduces the aileron deflection needed for roll equilibrium, and reduces control surface hinge moment and drag. Wing skin stresses are, however, very high.

Bohlmann, Jonathan D.↗

OVERAERO-MPI: Parallel Overset Aeroelasticity Code

An overset modal structures analysis code was integrated with a parallel overset Navier-Stokes flow solver to obtain a code capable of static aeroelastic computations. The new code was used to compute the static aeroelastic deformation of an arrow-wing-body geometry and a complex, full aircraft configuration. For the simple geometry, the results were similar to the results obtained with the ENSAERO code and the PVM version of OVERAERO. The full potential of this code suite was illustrated in the complex, full aircraft computations.

Gee, Ken↗

LSENS, The NASA Lewis Kinetics and Sensitivity Analysis Code

A general chemical kinetics and sensitivity analysis code for complex, homogeneous, gas-phase reactions is described. The main features of the code, LSENS (the NASA Lewis kinetics and sensitivity analysis code), are its flexibility, efficiency and convenience in treating many different chemical reaction models. The models include: static system; steady, one-dimensional, inviscid flow; incident-shock initiated reaction in a shock tube; and a perfectly stirred reactor. In addition, equilibrium computations can be performed for several assigned states. An implicit numerical integration method (LSODE, the Livermore Solver for Ordinary Differential Equations), which works efficiently for the extremes of very fast and very slow reactions, is used to solve the "stiff" ordinary differential equation systems that arise in chemical kinetics. For static reactions, the code uses the decoupled direct method to calculate sensitivity coefficients of the dependent variables and their temporal derivatives with respect to the initial values of dependent variables and/or the rate coefficient parameters. Solution methods for the equilibrium and post-shock conditions and for perfectly stirred reactor problems are either adapted from or based on the procedures built into the NASA code CEA (Chemical Equilibrium and Applications).

Radhakrishnan, K.↗

The TDHF code Sky3D version 1.1

The nuclear mean-field model based on Skyrme forces or related density functionals has found widespread application to the description of nuclear ground states, collective vibrational excitations, and heavy-ion collisions. The code Sky3D solves the static or dynamic equations on a three-dimensional Cartesian mesh with isolated or periodic boundary conditions and no further symmetry assumptions. Pairing can be included in the BCS approximation for the static case. The code is implemented with a view to allow easy modifications for including additional physics or special analysis of the results.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Automated verification of flight software. User's manual

(Automated Verification of Flight Software), a collection of tools for analyzing source programs written in FORTRAN and AED is documented. The quality and the reliability of flight software are improved by: (1) indented listings of source programs, (2) static analysis to detect inconsistencies in the use of variables and parameters, (3) automated documentation, (4) instrumentation of source code, (5) retesting guidance, (6) analysis of assertions, (7) symbolic execution, (8) generation of verification conditions, and (9) simplification of verification conditions. Use of AVFS in the verification of flight software is described.

Saib, S. H.↗

Preliminary analysis and design optimization of the short spacer truss of Space Station Freedom

The analysis, dynamic simulation, and design optimization of the short spacer truss of the Space Station Freedom are presented in this report. The short spacer truss will be positioned between the integrated equipment assembly (IEA) and another truss, called the long spacer truss, in the Space Station Freedom. During its launch in the Space Shuttle, the truss will be subjected to considerable in-span distributed inertia loads due to shuttle accelerations. The short spacer truss, therefore, has been modeled as a space frame to account for flexural response. Several parameters have been assumed, since the design specifications are in the process of development; hence the results presented should be considered preliminary. However, the automated analysis and design capabilities that have been developed can readily be used to generate an optimum design of the short spacer truss once the actual specifications have been determined. This report includes static and dynamic analyses of the short spacer truss, which have been obtained with the linear elastic code LE-HOST (in these analyses, LE-HOST data files have been automated to facilitate their future use for different design specifications of the short spacer truss); the dynamic animation of the short spacer truss, which has been carried out by using the results of the dynamic analysis and a post-processing feature of the modeling code PATRAN; and the optimum-weight design of the spacer truss, which was obtained under prescribed stress, displacement, and frequency constraints by using the design code COMETBOARDS. Examination of the analysis and design results revealed that the design could be improved if the configuration of the short spacer truss were modified to a certain extent. A modified configuration, which may simplify fabrication, has been suggested. The performance of this configuration has been evaluated and was found to be satisfactory under both static and dynamic conditions.

Gendy, A. S.↗

Structural Analysis Results of Thermal, Operating and Seismic Analysis for Hanford Single-Shell Tank Integrity - 12261

Since Hanford's 149 Single-Shell Tanks (SSTs) are well beyond their design life, the U.S. Department of Energy has commissioned a state of the art engineering analysis to assess the structural integrity of the tanks to ensure that they are fit for service during the cleanup and closure phase. The structural integrity analysis has several challenging factors. There are four different tank sizes in various configurations that require analysis. Within each tank type there are different waste level and temperature histories, soil overburden depths, tank floor arrangements, riser sizes and locations, and other on-tank structures that need to be addressed. Furthermore, soil properties vary throughout the tank farms. This paper describes the structural integrity analysis that was performed for the SSTs using finite element models that incorporate the detailed design features of each tank type. The analysis was performed with two different models: an ANSYS static model for the Thermal and Operating Loads Analysis, and an ANSYS dynamic model for the seismic analysis. The TOLA analyses simulate the waste level and thermal history and it included a matrix of analysis cases that bounded the material property uncertainties. The TOLA also predicts the occurrence of concrete thermal degradations and cracking, reinforcement yielding, and soil plasticity. The seismic analysis matrix included uncertainty in waste properties, waste height and the soil modulus. In seismic analysis the tank concrete was modeled as a linear elastic material that was adjusted for the present day degraded conditions. Also, the soil was treated as a linear elastic material while special modeling techniques were used to avoid soil arching and achieve proper soil pressure on the tank walls. Seismic time histories in both the horizontal and vertical directions were applied to the seismic model. Structural demands from both Thermal and Operating Loads Analysis and seismic models were extracted in the form of section forces and moments for sections throughout the tank under the appropriate load combinations. These demands were evaluated against the American Concrete Institute (ACI) code requirements for nuclear safety-related concrete structures as defined in ACI-349-06. Structural integrity analysis of Hanford's Type II and Type III Single-Shell Tanks (SSTs) was performed using finite element models (ANSYS software) that incorporate the detailed design features of each tank type. The analysis was performed with two different models: a static model for the Thermal and Operating Loads Analysis, and a dynamic model for the seismic analysis. Structural demands from both Thermal and Operating Loads Analysis and seismic models were evaluated against the American Concrete Institute (ACI) code requirements for nuclear safety-related concrete structures as defined in ACI-349-06. The ratio of demand to capacity (D/C) was reported as a measure of structural integrity for the applicable ACI-349-06 load combinations. Although the Type II and Type III analysis matrix showed varying demands depending on the material combinations, all of the tank regions that are critical to structural stability passed the ACI 349-06 acceptance criteria. This was true for the conservative combination of maximum recorded thermal loads and maximum soil overburden depth combined with the analysis matrix of bounding material property combinations. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Contraction ratio effects in a generic sidewall compression scramjet inlet - A computational and experimental investigation

Computed and experimental data on a generic three-dimensional sidewall compression scramjet inlet with a leading edge sweep of 45 degrees at Mach 20 are presented. A three-dimensional Navier-Stokes code was adapted to perform preliminary parametric studies leading to the present configuration. Following the design phase, the code was then employed as an analysis tool to provide a better understanding of the flow field and the experimental static and pitot pressure data. The model possessed 240 static pressure orifices distributed on the forebody plane, sidewalls, and cowl and was tested in the 31 Inch Mach 10 facility at the NASA Langley Research Center. Pitot rakes were employed to map the entrance and exit planes. The contraction ratio was observed to have a dominant effect on the inlet shock structure and performance; these effects are the emphasis of the present report. In addition to pressure measurements, oil flows were used for further visualization and comparison with computation.

Holland, Scott D.↗

Reynolds number and cowl position effects for a generic sidewall compression scramjet inlet at Mach 10 - A computational and experimental investigation

Reynolds number and cowl position effects on the internal shock structure and the resulting performance of a generic three-dimensional sidewall compression scramjet inlet with a leading edge sweep of 45 degrees at Mach 10 have been examined both computationally and experimentally. Prior to the experiment, a three-dimensional Navier-Stokes code was adapted to perform preliminary parametric studies leading to the design of the present configuration. Following this design phase, the code was then utilized as an analysis tool to provide a better understanding of the flow field and the experimental static pressure data for the final experimental configuration. The wind tunnel model possessed 240 static pressure orifices distributed on the forebody plane, sidewalls, and cowl and was tested in the NASA Langley 31 Inch Mach 10 Tunnel.

Holland, Scott D.↗

Reynolds Number and Cowl Position Effects for a Generic Sidewall Compression Scramjet Inlet at Mach 10: A Computational and Experimental Investigation

Reynolds number and cowl position effects on the internal shock structure and the resulting performance of a generic three-dimensional sidewall compression scramjet inlet with a leading edge sweep of 45 degrees at Mach 10 have been examined both computationally and experimentally. Prior to the experiment, a three-dimensional Navier-Stokes code was adapted to perform preliminary parametric studies leading to the design of the present configuration. Following this design phase, the code was then utilized as an analysis tool to provide a better understanding of the flow field and the experimental static pressure data for the final experimental configuration. The wind tunnel model possessed 240 static pressure orifices distributed on the forebody plane, sidewalls, and cowl and was tested in the NASA Langley 31 Inch Mach 10 Tunnel.

Holland, Scott D.↗

Comparison of Damage Path Predictions for Composite Laminates by Explicit and Standard Finite Element Analysis Tools

Splitting, ultimate failure load and the damage path in center notched composite specimens subjected to in-plane tension loading are predicted using progressive failure analysis methodology. A 2-D Hashin-Rotem failure criterion is used in determining intra-laminar fiber and matrix failures. This progressive failure methodology has been implemented in the Abaqus/Explicit and Abaqus/Standard finite element codes through user written subroutines "VUMAT" and "USDFLD" respectively. A 2-D finite element model is used for predicting the intra-laminar damages. Analysis results obtained from the Abaqus/Explicit and Abaqus/Standard code show good agreement with experimental results. The importance of modeling delamination in progressive failure analysis methodology is recognized for future studies. The use of an explicit integration dynamics code for simple specimen geometry and static loading establishes a foundation for future analyses where complex loading and nonlinear dynamic interactions of damage and structure will necessitate it.

Bogert, Philip B.↗

Recent advances in the modelling of crack growth under fatigue loading conditions

Fatigue crack growth associated with cyclic (secondary) plastic flow near a crack front is modelled using an incremental formulation. A new description of threshold behaviour under small load cycles is included. Quasi-static crack extension under high load excursions is described using an incremental formulation of the R-(crack growth resistance)- curve concept. The integration of the equations is discussed. For constant amplitude load cycles the results will be compared with existing crack growth laws. It will be shown that the model also properly describes interaction effects of fatigue crack growth and quasi-static crack extension. To evaluate the more general applicability the model is included in the NASGRO computer code for damage tolerance analysis. For this purpose the NASGRO program was provided with the CORPUS and the STRIP-YIELD models for computation of the crack opening load levels. The implementation is discussed and recent results of the verification are presented.

Dekoning, A. U.↗

A Benchmark Example for Delamination Propagation Predictions Based on the Single Leg Bending Specimen Under Quasi-Static and Fatigue Loading

Benchmark examples based on Single Leg Bending (SLB) specimens with equal and unequal bending arm thicknesses were used to assess the performance of delamination prediction capabilities in finite element codes. First, the development of the quasi-static benchmark cases using the Virtual Crack Closure Technique (VCCT) is discussed in detail. Second, based on the quasi-static benchmark results, additional benchmark cases to assess delamination propagation under fatigue loading are created. Third, the application is demonstrated for the commercial finite element code Abaqus Standard 2018. The benchmark cases are compared to results obtained from VCCT-based, automated quasi-static propagation analysis. A comparison with results from automated fatigue propagation analysis was not performed at this point since the current version of Abaqus does not include this capability under variable mixed-mode conditions. In general, good agreement between the results obtained from the quasi-static propagation analysis and the benchmark results were achieved. Overall, the benchmarking procedure proved valuable for analysis verification.

Krueger, Ronald↗

A Benchmark Example for Delamination Propagation Predictions Based on the Single Leg Bending Specimen under Quasi-static and Fatigue Loading

Benchmark examples based on Single Leg Bending (SLB) specimens with equal and unequal bending arm thicknesses were used to assess the performance of delamination prediction capabilities in finite element codes. First, the development of the quasi-static benchmark cases using the Virtual Crack Closure Technique (VCCT) is discussed in detail. Second, based on the quasi-static benchmark results, additional benchmark cases to assess delamination propagation under fatigue loading are created. Third, the application is demonstrated for the commercial finite element code Abaqus Standard 2018. The benchmark cases are compared to results obtained from VCCT-based, automated quasi-static propagation analysis. A comparison with results from automated fatigue propagation analysis was not performed at this point since the current version of Abaqus does not include this capability under variable mixed-mode conditions. In general, good agreement between the results obtained from the quasi-static propagation analysis and the benchmark results were achieved. Overall, the benchmarking procedure proved valuable for analysis verification.

Ronald Krueger↗

Uncertainty and Sensitivity Analyses of Duct Propagation Models

This paper presents results of uncertainty and sensitivity analyses conducted to assess the relative merits of three duct propagation codes. Results from this study are intended to support identification of a "working envelope" within which to use the various approaches underlying these propagation codes. This investigation considers a segmented liner configuration that models the NASA Langley Grazing Incidence Tube, for which a large set of measured data was available. For the uncertainty analysis, the selected input parameters (source sound pressure level, average Mach number, liner impedance, exit impedance, static pressure and static temperature) are randomly varied over a range of values. Uncertainty limits (95% confidence levels) are computed for the predicted values from each code, and are compared with the corresponding 95% confidence intervals in the measured data. Generally, the mean values of the predicted attenuation are observed to track the mean values of the measured attenuation quite well and predicted confidence intervals tend to be larger in the presence of mean flow. A two-level, six factor sensitivity study is also conducted in which the six inputs are varied one at a time to assess their effect on the predicted attenuation. As expected, the results demonstrate the liner resistance and reactance to be the most important input parameters. They also indicate the exit impedance is a significant contributor to uncertainty in the predicted attenuation.

Nark, Douglas M.↗

Assessment of ALEGRA Computation for Magnetostatic Configurations

Here, a closed-form solution is described here for the equilibrium configurations of the magnetic field in a simple heterogeneous domain. This problem and its solution are used for rigorous assessment of the accuracy of the ALEGRA code in the quasistatic limit. By the equilibrium configuration we understand the static condition, or the stationary states without macroscopic current. The analysis includes quite a general class of 2D solutions for which a linear isotropic metallic matrix is placed inside a stationary magnetic field approaching a constant value H i ° at infinity. The process of evolution of the magnetic fields inside and outside the inclusion and the parameters for which the quasi-static approach provides for self-consistent results is also explored. Lastly, it is demonstrated that under spatial mesh refinement, ALEGRA converges to the analytic solution for the interior of the inclusion at the expected rate, for both body-fitted and regular rectangular meshes.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Computer code for preliminary sizing analysis of axial-flow turbines

This mean diameter flow analysis uses a stage average velocity diagram as the basis for the computational efficiency. Input design requirements include power or pressure ratio, flow rate, temperature, pressure, and rotative speed. Turbine designs are generated for any specified number of stages and for any of three types of velocity diagrams (symmetrical, zero exit swirl, or impulse) or for any specified stage swirl split. Exit turning vanes can be included in the design. The program output includes inlet and exit annulus dimensions, exit temperature and pressure, total and static efficiencies, flow angles, and last stage absolute and relative Mach numbers. An analysis is presented along with a description of the computer program input and output with sample cases. The analysis and code presented herein are modifications of those described in NASA-TN-D-6702. These modifications improve modeling rigor and extend code applicability.

Glassman, Arthur J.↗