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 379 records · Page 21

All sources NASA NTRS DOE OSTI

NASA NTRS1993

Displaying Data From Duct/Fluid Calculations

DUCT6D is FORTRAN program for enhancing postprocessing of data computed by programs based on line-element mathematical models, especially dynamical models of ducts and fluids contained in them. Based partly on assumption that coupled duct/fluid-dynamic system analyzed by use of line elements representing beam properties of duct and one-dimensional acoustical properties of fluid. Inputs include geometric data from model and static, modal, or transient-displacement data from solution. Output represents geometry of coupled duct/fluid system and results of analysis by use of three-dimensional shell elements. Written in FORTRAN.

Saxon, Joe B.↗

NASA NTRS2006

Array-Pattern-Match Compiler for Opportunistic Data Analysis

A computer program has been written to facilitate real-time sifting of scientific data as they are acquired to find data patterns deemed to warrant further analysis. The patterns in question are of a type denoted array patterns, which are specified by nested parenthetical expressions. [One example of an array pattern is ((>3) 0 (not=1)): this pattern matches a vector of at least three elements, the first of which exceeds 3, the second of which is 0, and the third of which does not equal 1.] This program accepts a high-level description of a static array pattern and compiles a highly optimal and compact other program to determine whether any given instance of any data array matches that pattern. The compiler implemented by this program is independent of the target language, so that as new languages are used to write code that processes scientific data, they can easily be adapted to this compiler. This program runs on a variety of different computing platforms. It must be run in conjunction with any one of a number of Lisp compilers that are available commercially or as shareware.

James, Mark↗

NASA NTRS1983

Ascent air data system results from the space shuttle flight test program

The ascent air data system of the Space Shuttle consists of a simple biconic spike probe on the nose of the external tank. Pressure measurements were calibrated in a wind tunnel to obtain vehicle attitude and speed (relative to the air) and dynamic pressure. The wind tunnel test data analysis and the calibration are discussed in terms of test problems and calibration parameter formulation. The flight pressures are traced from telemetry data to final air data products. Analysis of the flight results showed that static pressure could not be accurately determined at the higher Mach numbers (above approx. 2.0). By replacing static pressure with data from a postflight estimated trajectory the ascent air data system performance met the user requirements. Lessons learned are enumerated, the most important being the need for a thorough systems integration effort.

Hillje, E. R.↗

NASA NTRS1984

Environmental and structural assessment of four year in-commercial service composite helicopter structures

This paper presents the technical background for including environmental effects in the design of helicopter composite structures. This effort was supported by test results of components and panels having up to four years of field exposure. The preceeding was part of an eight year program to evaluate in-service environmental factors for comparison with laboratory test results. Full scale static and fatigue tests were conducted on composite components removed from S-76 helicopters used in commercial operations in the Gulf Coast region of Louisiana. Small scale tests were conducted using coupons removed from panels exposed to the outdoor environment in Stratford, Connecticut and West Palm Beach, Florida. Panel configurations were representative of S-76 components. Moisture analysis and strength tests on components and panels are reported after two, three and four years of exposure. Moisture levels were compared with predicted values. Mechanical test results were compared to initial certification tests for component strength, and to baseline laboratory coupon testing.

Ezzo, M. B.↗

NASA NTRS1991

Aerodynamic preliminary analysis system 2. Part 2: User's manual

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 have multiple nonplanar surfaces of arbitrary planforms 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. Computation times on an IBM 3081 are typically less than one minute of CPU/Mach number at subsonic, supersonic, or hypersonic speeds. This is a user manual for the computer programming.

Sova, G.↗

NASA NTRS2004

Applying Jlint to Space Exploration Software

Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly efficient static analyzer that checks a Java program for several common errors, such as null pointer exceptions, and overflow errors. It also includes checks for multi-threading problems, such as deadlocks and data races. The case study described here shows the effectiveness of Jlint in find-false positives in the multi-threading warnings gives an insight into design patterns commonly used in multi-threaded code. The results show that a few analysis techniques are sufficient to avoid almost all false positives. These techniques include investigating all possible callers and a few code idioms. Verifying the correct application of these patterns is still crucial, because their correct usage is not trivial.

Artho, Cyrille↗

NASA NTRS2019

A Mixed Real and Floating-Point Solver

Reasoning about mixed real and floating-point constraints is essential for developing accurate analysis tools for floating-point pro- grams. This paper presents FPRoCK, a prototype tool for solving mixed real and floating-point formulas. FPRoCK transforms a mixed formula into an equisatisfiable one over the reals. This formula is then solved using an off-the-shelf SMT solver. FPRoCK is also integrated with the PRECiSA static analyzer, which computes a sound estimation of the round-off error of a floating-point program. It is used to detect infeasible computational paths, thereby improving the accuracy of PRECiSA.

Salvia, Rocco↗

NASA NTRS2020

Application of Quasi-Static Modal Analysis to an Orion Multi-Purpose Crew Vehicle Test

Bolted structural joints often exhibit load-dependent stiffness and energy dissipation that leads to nonlinear, amplitude dependent frequency and damping in the structure. As an alternative to direct integration of the nonlinear equations of motion, quasi-static modal analysis (QSMA) determines the dependence of frequency and damping on response amplitude using loading behavior from nonlinear static analyses. QSMA has previously been demonstrated to substantially reduce computational cost and maintain accuracy relative to full nonlinear dynamic simulation. This work explores the applicability of QSMA to a complex, large-scale aerospace structure. QSMA is employed to analyze a nonlinear model of test hardware developed to support the Orion Multi-Purpose Crew Vehicle program, which exhibited nonlinear behavior during dynamic testing at flight-like load levels. In addition to the extraction of amplitude-dependent frequency and damping curves, a Bouc-Wen hysteresis model was used in conjunction with the quasi-static results to develop nonlinear, uncoupled, time-domain modal equations of motion for the structure. Excellent agreement was observed between the reduced and full-order nonlinear models, encouraging future employment of QSMA to support accurate and efficient model reduction of structures with bolted joint nonlinearities.

QSMA↗

NASA NTRS2003

Hydrostatic Stress Effects Incorporated Into the Analysis of the High-Strain-Rate Deformation of Polymer Matrix Composites

Procedures for modeling the effect of high strain rate on composite materials are needed for designing reliable composite engine cases that are lighter than the metal cases in current use. The types of polymer matrix composites that are likely to be used in such an application have a deformation response that is nonlinear and that varies with strain rate. The nonlinearity and strain rate dependence of the composite response is primarily due to the matrix constituent. Therefore, in developing material models to be used in the design of impact-resistant composite engine cases, the deformation of the polymer matrix must be correctly analyzed. However, unlike in metals, the nonlinear response of polymers depends on the hydrostatic stresses, which must be accounted for within an analytical model. An experimental program has been carried out through a university grant with the Ohio State University to obtain tensile and shear deformation data for a representative polymer for strain rates ranging from quasi-static to high rates of several hundred per second. This information has been used at the NASA Glenn Research Center to develop, characterize, and correlate a material model in which the strain rate dependence and nonlinearity (including hydrostatic stress effects) of the polymer are correctly analyzed. To obtain the material data, Glenn s researchers designed and fabricated test specimens of a representative toughened epoxy resin. Quasi-static tests at low strain rates and split Hopkinson bar tests at high strain rates were then conducted at the Ohio State University. The experimental data confirmed the strong effects of strain rate on both the tensile and shear deformation of the polymer. For the analytical model, Glenn researchers modified state variable constitutive equations previously used for the viscoplastic analysis of metals to allow for the analysis of the nonlinear, strain-rate-dependent polymer deformation. Specifically, we accounted for the effects of hydrostatic stresses. An important discovery in the course of this work was that the hydrostatic stress effects varied during the loading process, which needed to be accounted for within the constitutive equations. The model is characterized primarily by shear data, with tensile data used to characterize the hydrostatic stress effects.

Goldberg, Robert K.↗

NASA NTRS1979

The economics of project analysis: Optimal investment criteria and methods of study

Insight is provided toward the development of an optimal program for investment analysis of project proposals offering commercial potential and its components. This involves a critique of economic investment criteria viewed in relation to requirements of engineering economy analysis. An outline for a systems approach to project analysis is given Application of the Leontief input-output methodology to analysis of projects involving multiple processes and products is investigated. Effective application of elements of neoclassical economic theory to investment analysis of project components is demonstrated. Patterns of both static and dynamic activity levels are incorporated.

Scriven, M. C.↗

NASA NTRS1985

Using a data base management system for modelling SSME test history data

The usefulness of a data base management system (DBMS) for modelling historical test data for the complete series of static test firings for the Space Shuttle Main Engine (SSME) was assessed. From an analysis of user data base query requirements, it became clear that a relational DMBS which included a relationally complete query language would permit a model satisfying the query requirements. Representative models and sample queries are discussed. A list of environment-particular evaluation criteria for the desired DBMS was constructed; these criteria include requirements in the areas of user-interface complexity, program independence, flexibility, modifiability, and output capability. The evaluation process included the construction of several prototype data bases for user assessement. The systems studied, representing the three major DBMS conceptual models, were: MIRADS, a hierarchical system; DMS-1100, a CODASYL-based network system; ORACLE, a relational system; and DATATRIEVE, a relational-type system.

Abernethy, K.↗

NASA NTRS1989

Cold Flow Determination of the Internal Flow Environment Around the Submerged TVC Nozzle for the Space Shuttle SRM

A series of subscale cold flow tests was performed to quantify the gas flow characteristics at the aft end of the Space Shuttle Solid Rocket Motor. This information was used to support the analyses of the redesigned nozzle/case joint. A portion of the thermal loads at the joint are due to the circumferential velocities and pressure gradients caused primarily by the gimbaling of the submerged nose TVC nozzle. When the nozzle centerline is vectored with respect to the motor centerline, asymmetries are set up in the flow field under the submerged nozzle and immediately adjacent to the nozzle/case joint. Specific program objectives included: determination of the effects of nozzle gimbal angle and propellant geometry on the circumferential flow field; measurement of the static pressure and gas velocities in the vicinity of the nozzle/case joint; use of scaling laws to apply the subscale cold flow data to the full scale SRM; and generation of data for use in validation of 3-D computational fluid dynamic, CFD, models of the SRM flow field. These tests were conducted in the NASA Marshall Space Flight Center Airflow Facility with a 7.5 percent scale model of the aft segment of the SRM. Static and dynamic pressures were measured in the model to quantify the flow field. Oil flow data was also acquired to obtain qualitative visual descriptions of the flow field. Nozzle gimbal angles of 0, 3.5, and 7 deg were used with propellant grain configurations corresponding to motor burn times of 0, 9, 19, and 114 seconds. This experimental program was successful in generating velocity and pressure gradient data for the flow field around the submerged nose nozzle of the Space Shuttle SRM at various burn times and gimbal angles. The nature of the flow field adjacent to the nozzle/case joint was determined with oil droplet streaks, and the velocity and pressure gradients were quantified with pitot probes and wall static pressure measurements. The data was applied to the full scale SRM thru a scaling analysis and the results compared well with the 3-D computational fluid dynamics computer model.

Whitesides, R. H.↗

DOE OSTI2025

Optimizing Alabama’s CO 2 Storage in Shelby County (Project OASIS): Task 4.0 Deliverable – Geologic Analysis Report

Project OASIS (Optimizing Alabama’s CO 2 Storage in Shelby County) is a geologic and reservoir characterization study designed to evaluate deep saline formations for potential long-term carbon dioxide (CO 2 ) storage in central Alabama near the National Carbon Capture Center (NCCC) and Alabama Power’s Plant Gaston. The project centers on the Cambro-Ordovician Knox Group and underlying strata such as the Conasauga and Rome Formations, which were investigated through the drilling of two stratigraphic test wells to obtain electronic well logs, core, and sidewall core plugs. These data provide direct measurements of porosity, permeability, and lithologic variability critical for reservoir characterization. Complementing the well program, a limited 2D seismic survey was acquired to help select the site for Westover #2, and a more regional Seismic Exchange (SEI) seismic survey was licensed and interpreted to define structural and stratigraphic frameworks in a new Static Earth Model (SEM), map reservoir continuity, and identify potential sealing intervals. Integrated with geologic and reservoir modeling, these datasets form the basis for evaluating storage capacity, injectivity, and containment.

20 FOSSIL-FUELED POWER PLANTS↗

NASA NTRS1977

Streamtube analysis of a hydrogen-burning scramjet exhaust and simulation technique

A scramjet/airframe integration program and a technique for simulating thermally perfect scramjet exhaust flows (freon/argon gas blends) is studied to extend the technique to more complicated flows approaching the actual exhaust flow in complexity. The state of the flow and the accuracy of the substitute gas simulation are analyzed in the case of a shock discontinuity present. Findings are: scramjet exhaust flow is essentially frozen throughout the expansion at Mach 6 and Mach 8; flow behind moderate shocks remains frozen; the technique can accurately track static distributions in scramjet exhaust flows (shocked or unshocked).

Talcott, N. A., Jr.↗

NASA NTRS1982

An evaluation of vertical drag and ground effect using the RSRA rotor balance system

A flight test program utilizing the Rotor Systems Research Aircraft (RSRA) main rotor balance system was conducted to obtain data for the helicopter configuration. The test program is discussed along with the employed data reduction methods, and the results. NASA 740, the RSRA used for the vertical drag test, was in the standard helicopter configuration. The 31-foot radius blades have a linear twist of eight degrees and NACA 0012 airfoil sections. Aspects of instrumentation are considered, taking into account the data recording system, the static calibration facility, and aspects of data calibration and processing. Attention is given to the test procedure, data analysis methods, balance measurements, the ground effect, and vertical drag. It is found that the RSRA rotor balance system is capable of providing high quality performance data. The vertical drag of the RSRA is 4%, compared to 2.9% predicted.

Flemming, R. J.↗

NASA NTRS1989

Static and free-vibrational response of semi-circular graphite-epoxy frames with thin-walled open sections

Experiments were conducted to measure the three-dimensional static and free vibrational response of two graphite-epoxy, thin-walled, open section frames. The frames are semi-circular with a radius of three feet, and one specimen has an I cross section and the other has a channel cross section. The flexibility influence coefficients were measured in static tests for loads applied at midspan with the ends of the specimens clamped. Natural frequencies and modes were determined from vibrational tests for free and clamped end conditions. The experimental data is used to evaluate a new finite element which was developed specifically for the analysis of curved, thin-walled structures. The formulation of the element is based on a Vlasov-type, thin-walled, curved beam theory. The predictions from the finite element program generally correlated well with the experimental data for the symmetric I-specimen. Discrepancies in some of the data were found to be due to flexibility in the clamped end conditions. With respect to the data for the channel specimen, the correlation was less satisfactory. The finite element analysis predicted the out-of-plane response of the channel specimen reasonably well, but large discrepancies occurred between the predicted in-plane response and the experimental data. The analysis predicted a much more compliant in-plane response than was observed in the experiments.

Collins, J. Scott↗

NASA NTRS2001

Reducing/Eliminating ESD Hazards During Pyro Operations

Several safety concerns have occurred during pyro operations at 30% or lower RH in the OPF area based on the increase of electrostatic discharge (ESD). These concerns targeted the safety of personnel, flight hardware, and ground support equipment (GSE). Two proposed methods considered to control ESDs during pyro operations at 30% or lower RH are the use of an ionizer blower and to increase the moisture content. In order to demonstrate that the ionizer is effective in neutralizing static charge, a series of experimental runs were conducted in the Electrostatics Laboratory located in the Operations & Checkout (O&C) Building at NASA Kennedy Space Center (KSC). The effectiveness of the ionizer blower was evaluated based upon the time lapse of a charged metal plate from initial 1000 to 400 volts. Distance, RH, and angle of attack were studied. A full factorial experiment (2(exp 3) = 8) was conducted. Since we did not have a statistical analysis program, such as SAS, available, calculations were done manually based on the method of ANOVA (Analysis of Variances), but R(exp 2) (fitness of curve) was not obtained. As conjectured, distance was found to be the major influencial variable. Therefore, we concluded that the best possible combination of situations would be to position the ionizer blower as close as possible and facing directly into the charged plate. This scenario resulted in the quickest discharge rate, which would be the most beneficial during pyro operations below 30% RH. The second method of increasing the moisture content in the work environment through a modification of the OPF ECS current configuration appeared to be dependent on budget constraints and currently not planned to be modified. Finally, some recommendations are discussed such as to test the ionizer in an actual field experiment with a mockup pyro connector and a technician with all the NASA KSC Safety-compliant PPE to assess the realistic effectiveness of the ionizer blower.

Soriano, Jose Francisco↗

NASA NTRS1972

Analysis of legged landers for the survivable soft landing of instrument payloads.

Two methods of analysis have been developed for legged planetary landers. The first of these, the Large Displacement Gear Analysis, is a design tool for statically determining the large displacement stroking behavior, energy absorption characteristics, and internal load distributions in a single gear. The second, the Landing Dynamics Analysis, predicts the spatial landing dynamics of a legged lander. Effects of structural flexibility, elastic-plastic gear load characteristics, and soil properties on the loads, motions, and stability of the lander may be determined. Validation of the analytical techniques is accomplished through comparison of predicted results and experimental data obtained during a model test program.

Laurenson, R. M.↗