Search NASA⌕ Search

SEARCH · Search NASA

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 397 records · Page 22
All sourcesNASA NTRSDOE OSTI
NASA NTRS2005

Space Shuttle Crawler Transporter Truck Shoe Qualification Tests and Analyses for Return-to-Flight

A vital element to Launch Complex 39 (LC39) and NASA's Kennedy Space Center (KSC) mobile launch transfer operation is a 3 million kilogram behemoth known as the Crawler Transporter (CT). Built in the 1960's, two CT's have accumulated over 1700+ miles each and have been used for the Apollo and the Space Shuttle programs. Recent observation of fatigue cracks on the CT shoes led to a comprehensive engineering, structural and metallurgical evaluation to assess the root cause that necessitated procurement of over 1000 new shoes. This paper documents the completed dynamic and compression tests on the old and new shoes respectively, so as to certify them for Space Shuttle's return-to-flight (RTF). Measured strain data from the rollout tests was used to develop stress/loading spectra and static equivalent load for qualification testing of the new shoes. Additionally, finite element analysis (FEA) was used to conduct sensitivity analyses of various contact parameters and structural characteristics for acceptance of new shoes.

Margasahayam, Ravi N.↗
NASA NTRS1992

Conceptual design and structural analysis of the spectroscopy of the atmosphere using far infrared emission (SAFIRE) instrument

The conceptual design and structural analysis for the Spectroscopy of the Atmosphere using Far Infrared Emission (SAFIRE) Instrument are provided. SAFIRE, which is an international effort, is proposed for the Earth Observing Systems (EOS) program for atmospheric ozone studies. A concept was developed which meets mission requirements and is the product of numerous parametric studies and design/analysis iterations. Stiffness, thermal stability, and weight constraints led to a graphite/epoxy composite design for the optical bench and supporting struts. The structural configuration was determined by considering various mounting arrangements of the optical, cryo, and electronic components. Quasi-static, thermal, modal, and dynamic response analyses were performed, and the results are presented for the selected configuration.

Moses, Robert W.↗
NASA NTRS1977

Synthesis and analysis of precise spaceborne laser ranging systems, volume 1

Measurement accuracy goals of 2 cm rms range estimation error and 0.003 cm/sec rms range rate estimation error, with no more than 1 cm (range) static bias error are requirements for laser measurement systems to be used in planned space-based earth physics investigations. Constraints and parameters were defined for links between a high altitude, transmit/receive satellite (HATRS), and one of three targets: a low altitude target satellite, passive (LATS), and active low altitude target, and a ground-based target, as well as with operations with a primary transmit/receive terminal intended to be carried as a shuttle payload, in conjunction with the Spacelab program.

Paddon, E. A.↗
NASA NTRS1983

Analytical modeling of transport aircraft crash scenarios to obtain floor pulses

The KRAS program was used to analyze transport aircraft candidate crash scenarios. Aircraft floor pulses and seat/occupant responses are presented. Results show that: (1) longitudinal only pulses can be represented by equivalent step inputs and/or static requirements; (2) the L1649 crash test floor longitudinal pulse for the aft direction (forward inertia) is less than 9g static or an equivalent 5g pulse; aft inertia accelerations are extremely small ((ch76) 3g) for representative crash scenarios; (3) a viable procedure to relate crash scenario floor pulses to standard laboratory dynamic and static test data using state of the art analysis and test procedures was demonstrated; and (4) floor pulse magnitudes are expected to be lower for wide body aircraft than for smaller narrow body aircraft.

Wittlin, G.↗
NASA NTRS2008

Building on 50 Years of Systems Engineering Experience for a New Era of Space Exploration

Over the past 50 years, the National Aeronautics and Space Administration (NASA) has delivered space transportation solutions for America's complex missions, ranging from scientific payloads that expand knowledge, such as the Hubble Space Telescope, to astronauts and lunar rovers destined for voyages to the Moon. Currently, the venerable Space Shuttle, which has been in service since 1981, provides the United States (US) capability for both crew and heavy cargo to low-Earth orbit to construct the International Space Station, before the Shuttle is retired in 2010. In the next decade, NASA will replace this system with a duo of launch vehicles: the Ares I crew launch vehicle and the Ares V cargo launch vehicle. The goals for this new system include increased safety and reliability coupled with lower operations costs that promote sustainable space exploration for decades to come. The Ares I will loft the Orion crew exploration vehicle, while the heavy-lift Ares V will carry the Altair lunar lander, as well as the equipment and supplies needed to construct a lunar outpost for a new generation of human and robotic space pioneers. NASA's Marshall Space Flight Center manages the Shuttle's propulsion elements and is managing the design and development of the Ares rockets, along with a host of other engineering assignments in the field of scientific space exploration. Specifically, the Marshall Center's Engineering Directorate houses the skilled workforce and unique facilities needed to build capable systems upon the foundation laid by the Mercury, Gemini, Apollo, and Shuttle programs. This paper will provide details of the in-house systems engineering and vehicle integration work now being performed for the Ares I and planned for the Ares V. It will give an overview of the Ares I system-level testing activities, such as the ground vibration testing that will be conducted in the Marshall Center's Dynamic Test Stand to verify the integrated vehicle stack's structural integrity and to validate computer modeling and simulation, as well as the main propulsion test article analysis to be conducted in the Static Test Stand. Ultimately, fielding a robust space transportation solution that will carry international explorers and essential payloads will pave the way for a new era of scientific discovery now dawning beyond planet Earth.

Dumbacher, Daniel L.↗
NASA NTRS1976

FLEXSTAB: A computer program for the prediction of loads and stability and control of flexible aircraft

Capabilities of the FLEXSTAB Computer Program System are described and illustrated. Aeroelastic analysis of a wide variety of aircraft configurations is performed. The aerodynamic theory used in FLEXSTAB is applicable to both steady and unsteady, subsonic and supersonic flow for multiple wing-body tail nacelle configurations with a plane of symmetry. For unsteady flow calculations, an unsteady aerodynamic theory is used which is appropriate for the low reduced frequencies associated with aircraft flight dynamics. The aircraft is modeled as either a rigid or flexible structure. The computer trims the aircraft in steady reference flight and computes both static and dynamic stability and control derivatives and the stability behavior about the trim condition. The airplane lifting pressure distribution, aerodynamic and inertia loads and deflected shape are also computed.

Perkin, B. R.↗
NASA NTRS2000

Integral Airframe Structures (IAS): Validated Feasibility Study of Integrally Stiffened Metallic Fuselage Panels for Reducing Manufacturing Costs

The Integral Airframe Structures (IAS) program investigated the feasibility of using "integrally stiffened" construction for commercial transport fuselage structure. The objective of the program was to demonstrate structural performance and weight equal to current "built-up" structure with lower manufacturing cost. Testing evaluated mechanical properties, structural details, joint performance, repair, static compression, and two-bay crack residual strength panels. Alloys evaluated included 7050-T7451 plate, 7050-T74511 extrusion, 6013-T6511x extrusion, and 7475-T7351 plate. Structural performance was evaluated with a large 7475-T7351 pressure test that included the arrest of a two-bay longitudinal crack, and a measure of residual strength for a two-bay crack centered on a broken frame. Analysis predictions for the two-bay longitudinal crack panel correlated well with the test results. Analysis activity conducted by the IAS team strongly indicates that current analysis tools predict integral structural behavior as accurately as built-up structure. The cost study results indicated that, compared to built-up fabrication methods, high-speed machining structure from aluminum plate would yield a recurring cost savings of 61%. Part count dropped from 78 individual parts on a baseline panel to just 7 parts for machined IAS structure.

Munroe, J.↗
NASA NTRSDate not supplied

X-57 Static Structural Requirements and Airworthiness Approach

The National Aeronautics and Space Administration (NASA) Armstrong Flight Research Center (AFRC) (Edwards, California, U.S.A.) has been flying various types of aircraft, including experimental ones requiring structural modifications. Many of these aircraft aren’t typically certified by the Federal Aviation Administration (FAA) or the Department of Defense (DoD), but NASA can provide its own airworthiness certification utilizing a riskbased approach. The AFRC has established review processes and procedures to identify hazards, manage risks associated with flight programs, ensure safe flight operations, and satisfy programmatic requirements. The Aerostructures Branch at AFRC developed guidelines for the structural safety of flight, covering experimental aircraft, new components, payloads, and modifications. These guidelines detail structural design, analysis, instrumentation, ground testing, and flight-test operational aspects. The guidelines are followed for defining the airworthiness plan throughout the life cycle of a project. The guidelines can be tailored to the risk posture of each individual project. This paper documents the details of the structural airworthiness plan for the X-57 aircraft, including existing, modified, and newly developed structures. Additionally, it covers the design requirements and load cases specific to the X-57 aircraft.

Wesley W. Li↗
NASA NTRS1991

Seals Research at Texas A/M University

The Turbomachinery Laboratory at Texas A&M has been providing experimental data and computational codes for the design seals for many years. The program began with the development of a Halon based seal test rig. This facility provided information about the effective stiffness and damping in whirling seals. The Halon effectively simulated cryogenic fluids. Another test facility was developed (using air as the working fluid) where the stiffness and damping matrices can be determined. This data was used to develop bulk flow models of the seal's effect upon rotating machinery; in conjunction with this research, a bulk flow model for calculation of performance and rotordynamic coefficients of annular pressure seals of arbitrary non-uniform clearance for barotropic fluids such as LH2, LOX, LN2, and CH4 was developed. This program is very efficient (fast) and converges for very large eccentricities. Currently, work is being performed on a bulk flow analysis of the effects of the impeller-shroud interaction upon the stability of pumps. The data was used along with data from other researchers to develop an empirical leakage prediction code for MSFC. Presently, the flow field inside labyrinth and annular seals are being studied in detail. An advanced 3-D Doppler anemometer system is being used to measure the mean velocity and entire Reynolds stress tensor distribution throughout the seals. Concentric and statically eccentric seals were studied; presently, whirling seals are being studied. The data obtained are providing valuable information about the flow phenomena occurring inside the seals, as well as a data base for comparison with numerical predictions and for turbulence model development. A finite difference computer code was developed for solving the Reynolds averaged Navier Stokes equation inside labyrinth seals. A multi-scale k-epsilon turbulence model is currently being evaluated. A new seal geometry was designed and patented using a computer code. A large scale, 2-D seal flow visualization facility is also being developed.

Morrison, Gerald L.↗
NASA NTRS1997

An Automated Method for Identifying Inconsistencies within Diagrammatic Software Requirements Specifications

The development of large-scale, composite software in a geographically distributed environment is an evolutionary process. Often, in such evolving systems, striving for consistency is complicated by many factors, because development participants have various locations, skills, responsibilities, roles, opinions, languages, terminology and different degrees of abstraction they employ. This naturally leads to many partial specifications or viewpoints. These multiple views on the system being developed usually overlap. From another aspect, these multiple views give rise to the potential for inconsistency. Existing CASE tools do not efficiently manage inconsistencies in distributed development environment for a large-scale project. Based on the ViewPoints framework the WHERE (Web-Based Hypertext Environment for requirements Evolution) toolkit aims to tackle inconsistency management issues within geographically distributed software development projects. Consequently, WHERE project helps make more robust software and support software assurance process. The long term goal of WHERE tools aims to the inconsistency analysis and management in requirements specifications. A framework based on Graph Grammar theory and TCMJAVA toolkit is proposed to detect inconsistencies among viewpoints. This systematic approach uses three basic operations (UNION, DIFFERENCE, INTERSECTION) to study the static behaviors of graphic and tabular notations. From these operations, subgraphs Query, Selection, Merge, Replacement operations can be derived. This approach uses graph PRODUCTIONS (rewriting rules) to study the dynamic transformations of graphs. We discuss the feasibility of implementation these operations. Also, We present the process of porting original TCM (Toolkit for Conceptual Modeling) project from C++ to Java programming language in this thesis. A scenario based on NASA International Space Station Specification is discussed to show the applicability of our approach. Finally, conclusion and future work about inconsistency management issues in WHERE project will be summarized.

Zhang, Zhong↗
NASA NTRS2003

CARES/LIFE Ceramics Analysis and Reliability Evaluation of Structures Life Prediction Program

This manual describes the Ceramics Analysis and Reliability Evaluation of Structures Life Prediction (CARES/LIFE) computer program. The program calculates the time-dependent reliability of monolithic ceramic components subjected to thermomechanical and/or proof test loading. CARES/LIFE is an extension of the CARES (Ceramic Analysis and Reliability Evaluation of Structures) computer program. The program uses results from MSC/NASTRAN, ABAQUS, and ANSYS finite element analysis programs to evaluate component reliability due to inherent surface and/or volume type flaws. CARES/LIFE accounts for the phenomenon of subcritical crack growth (SCG) by utilizing the power law, Paris law, or Walker law. The two-parameter Weibull cumulative distribution function is used to characterize the variation in component strength. The effects of multiaxial stresses are modeled by using either the principle of independent action (PIA), the Weibull normal stress averaging method (NSA), or the Batdorf theory. Inert strength and fatigue parameters are estimated from rupture strength data of naturally flawed specimens loaded in static, dynamic, or cyclic fatigue. The probabilistic time-dependent theories used in CARES/LIFE, along with the input and output for CARES/LIFE, are described. Example problems to demonstrate various features of the program are also included.

Nemeth, Noel N.↗
NASA NTRS2020

NASA Advanced Composites Project

The recently-completed NASA Advanced Composites Project (ACP) successfully developed several new technologies aimed at reducing the timeline to design and certify composite aircraft structures. Advancements in the areas of manufacturing simulation, nondestructive inspection and advanced structural design and analysis methodologies were completed in late 2019 under the Advanced Composites Consortium (ACC) public/private partnership as well as NRA-funded university contracts. In the area of Structures, the ACC made significant improvements in rapid design tools for preliminary sizing of structure, along with developing detailed static and fatigue strength prediction methods and methods for modeling high energy impact events in composite structures. These new methodologies and toolsets were validated against a range of representative test data using a comprehensive verification and validation approach which has been published and is now used extensively on other programs. Specific new tool improvements supported by ACC include NASA’s CompDam code and Floating Node Method code. CompDam is now available from NASA as open source code. The team alsoworked on improved impact modeling using LS-Dyna™ and improved delamination modeling using Abaqus™. Rapid design tool improvements are available through Hypersizer. The ACC team released well over 50 publications documenting these method improvements, and the ACP recently received the prestigious NASA Group Achievement Award for their work.Typical Hat Stiffened Panel Test Article Used for Method Validation

ACC↗
NASA NTRS1987

Dynamic stability and handling qualities tests on a highly augmented, statically unstable airplane

Initial envelope clearance and subsequent flight testing of a new, fully augmented airplane with an extremely high degree of static instability can place unusual demands on the flight test approach. Previous flight test experience with these kinds of airplanes is very limited or nonexistent. The safe and efficient flight testing may be further complicated by a multiplicity of control effectors that may be present on this class of airplanes. This paper describes some novel flight test and analysis techniques in the flight dynamics and handling qualities area. These techniques were utilized during the initial flight envelope clearance of the X-29A aircraft and were largely responsible for the completion of the flight controls clearance program without any incidents or significant delays.

Gera, Joseph↗
NASA NTRS1990

Thermoviscoelastic characterization and prediction of Kevlar/epoxy composite laminates

The thermoviscoelastic characterization of Kevlar 49/Fiberite 7714A epoxy composite lamina and the development of a numerical procedure to predict the viscoelastic response of any general laminate constructed from the same material were studied. The four orthotropic material properties, S sub 11, S sub 12, S sub 22, and S sub 66, were characterized by 20 minute static creep tests on unidirectional (0) sub 8, (10) sub 8, and (90) sub 16 lamina specimens. The Time-Temperature Superposition-Principle (TTSP) was used successfully to accelerate the characterization process. A nonlinear constitutive model was developed to describe the stress dependent viscoelastic response for each of the material properties. A numerical procedure to predict long term laminate properties from lamina properties (obtained experimentally) was developed. Numerical instabilities and time constraints associated with viscoelastic numerical techniques were discussed and solved. The numerical procedure was incorporated into a user friendly microcomputer program called Viscoelastic Composite Analysis Program (VCAP), which is available for IBM PC type computers. The program was designed for ease of use. The final phase involved testing actual laminates constructed from the characterized material, Kevlar/epoxy, at various temperatures and load level for 4 to 5 weeks. These results were compared with the VCAP program predictions to verify the testing procedure and to check the numerical procedure used in the program. The actual tests and predictions agreed for all test cases which included 1, 2, 3, and 4 fiber direction laminates.

Gramoll, K. C.↗
NASA NTRS1999

The Formal Semantics of PVS

A specification language is a medium for expressing what is computed rather than how it is computed. Specification languages share some features with programming languages but are also different in several important ways. For our purpose, a specification language is a logic within which the behavior of computational systems can be formalized. Although a specification can be used to simulate the behavior of such systems, we mainly use specifications to state and prove system properties with mechanical assistance. We present the formal semantics of the specification language of SRI's Prototype Verification System (PVS). This specification language is based on the simply typed lambda calculus. The novelty in PVS is that it contains very expressive language features whose static analysis (e.g., typechecking) requires the assistance of a theorem prover. The formal semantics illuminates several of the design considerations underlying PVS, the interaction between theorem proving and typechecking.

Owre, Sam↗
NASA NTRS1987

Space station structures and dynamics test program

The design, construction, and operation of a low-Earth orbit space station poses unique challenges for development and implementation of new technology. The technology arises from the special requirement that the station be built and constructed to function in a weightless environment, where static loads are minimal and secondary to system dynamics and control problems. One specific challenge confronting NASA is the development of a dynamics test program for: (1) defining space station design requirements, and (2) identifying the characterizing phenomena affecting the station's design and development. A general definition of the space station dynamic test program, as proposed by MSFC, forms the subject of this report. The test proposal is a comprehensive structural dynamics program to be launched in support of the space station. The test program will help to define the key issues and/or problems inherent to large space structure analysis, design, and testing. Development of a parametric data base and verification of the math models and analytical analysis tools necessary for engineering support of the station's design, construction, and operation provide the impetus for the dynamics test program. The philosophy is to integrate dynamics into the design phase through extensive ground testing and analytical ground simulations of generic systems, prototype elements, and subassemblies. On-orbit testing of the station will also be used to define its capability.

Moore, Carleton J.↗
NASA NTRS2003

Enhanced Large Solid Rocket Motor Understanding Through Performance Margin Testing: RSRM Five-Segment Engineering Test Motor (ETM-3)

The Five-Segment Engineering Test Motor (ETM-3) is an extended length reusable solid rocket motor (RSRM) intended to increase motor performance and internal environments above the current four-segment RSRM flight motor. The principal purpose of ETM-3 is to provide a test article for RSRM component margin testing. As the RSRM and Space Shuttle in general continue to age, replacing obsolete materials becomes an ever-increasing issue. Having a five-segment motor that provides environments in excess of normal opera- tion allows a mechanism to subject replacement materials to a more severe environment than experienced in flight. Additionally, ETM-3 offers a second design data point from which to develop and/or validate analytical models that currently have some level of empiricism associated with them. These enhanced models have the potential to further the understanding of RSRM motor performance and solid rocket motor (SRM) propulsion in general. Furthermore, these data could be leveraged to support a five-segment booster (FSB) development program should the Space Shuttle program choose to pursue this option for abort mode enhancements during the ascent phase. A tertiary goal of ETM-3 is to challenge both the ATK Thiokol Propulsion and NASA MSFC technical personnel through the design and analysis of a large solid rocket motor without the benefit of a well-established performance database such as the RSRM. The end result of this undertaking will be a more competent and experienced workforce for both organizations. Of particular interest are the motor design characteristics and the systems engineering approach used to conduct a complex yet successful large motor static test. These aspects of ETM-3 and more will be summarized.

Huppi, Hal↗
NASA NTRSDate not supplied

Automatic Generation of Guard-Stable Floating-Point Code

In floating-point programs, test instability occurs when the control flow of a conditional statement diverges from its ideal execution under real arithmetic. This phenomenon is caused by the presence of round-off errors in floating-point computations. Writing programs that correctly handle test instability often require expertise on finite precision computations and rounding errors. This paper presents a fully automatic tool chain that generates and formally verifies a test-stable floating-point C program from its functional specification in real arithmetic. The generated program is instrumented to soundly detect when unstable tests may occur and, in these cases, to issue a warning. The proposed approach combines the PRECiSA floating-point static analyzer, the Frama-C software verification suite, and the PVS theorem prover.

Floating-Point Arithmetic↗