Engineering PapersSearch

SEARCH · Engineering Papers

Results for “tools and methods”

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 37 records · Page 2

CFD Methods and Tools for Multi-Element Airfoil Analysis

This lecture will discuss the computational tools currently available for high-lift multi-element airfoil analysis. It will present an overview of a number of different numerical approaches, their current capabilities, short-comings, and computational costs. The lecture will be limited to viscous methods, including inviscid/boundary layer coupling methods, and incompressible and compressible Reynolds-averaged Navier-Stokes methods. Both structured and unstructured grid generation approaches will be presented. Two different structured grid procedures are outlined, one which uses multi-block patched grids, the other uses overset chimera grids. Turbulence and transition modeling will be discussed.

Rogers, Stuart E.

The controlled growth method - A tool for structural optimization

An adaptive design variable linking scheme in a NLP based optimization algorithm is proposed and evaluated for feasibility of application. The present scheme, based on an intuitive effectiveness measure for each variable, differs from existing methodology in that a single dominant variable controls the growth of all others in a prescribed optimization cycle. The proposed method is implemented for truss assemblies and a wing box structure for stress, displacement and frequency constraints. Substantial reduction in computational time, even more so for structures under multiple load conditions, coupled with a minimal accompanying loss in accuracy, vindicates the algorithm.

Hajela, P.

Water and Air Measures That Make 'PureSense'

Each day, we read about mounting global concerns regarding the ability to sustain supplies of clean water and to reduce air contamination. With water and air serving as life s most vital elements, it is important to know when these environmental necessities may be contaminated, in order to eliminate exposure immediately. The ability to respond requires an understanding of the conditions impacting safety and quality, from source to tap for water, and from outdoor to indoor environments for air. Unfortunately, the "time-to-know" is not immediate with many current technologies, which is a major problem, given the greater likelihood of risky situations in today s world. Accelerating alert and response times requires new tools, methods, and technologies. New solutions are needed to engage in more rapid detection, analysis, and response. This is the focus of a company called PureSense Environmental, Inc., which evolved out of a unique relationship with NASA. The need for real-time management and operations over the quality of water and air, and the urgency to provide new solutions, were reinforced by the events of September 11, 2001. This, and subsequent events, exposed many of the vulnerabilities facing the multiple agencies tasked with working in tandem to protect communities from harmful disaster. Much has been done since September 11 to accelerate responses to environmental contamination. Partnerships were forged across the public and private sectors to explore, test, and use new tools. Methods and technologies were adopted to move more astutely from proof-of-concept to working solutions.

Source record

Case Study: Test Results of a Tool and Method for In-Flight, Adaptive Control System Verification on a NASA F-15 Flight Research Aircraft

Adaptive control technologies that incorporate learning algorithms have been proposed to enable autonomous flight control and to maintain vehicle performance in the face of unknown, changing, or poorly defined operating environments [1-2]. At the present time, however, it is unknown how adaptive algorithms can be routinely verified, validated, and certified for use in safety-critical applications. Rigorous methods for adaptive software verification end validation must be developed to ensure that. the control software functions as required and is highly safe and reliable. A large gap appears to exist between the point at which control system designers feel the verification process is complete, and when FAA certification officials agree it is complete. Certification of adaptive flight control software verification is complicated by the use of learning algorithms (e.g., neural networks) and degrees of system non-determinism. Of course, analytical efforts must be made in the verification process to place guarantees on learning algorithm stability, rate of convergence, and convergence accuracy. However, to satisfy FAA certification requirements, it must be demonstrated that the adaptive flight control system is also able to fail and still allow the aircraft to be flown safely or to land, while at the same time providing a means of crew notification of the (impending) failure. It was for this purpose that the NASA Ames Confidence Tool was developed [3]. This paper presents the Confidence Tool as a means of providing in-flight software assurance monitoring of an adaptive flight control system. The paper will present the data obtained from flight testing the tool on a specially modified F-15 aircraft designed to simulate loss of flight control faces.

Jacklin, Stephen A.

Integration of tools for the Design and Assessment of High-Performance, Highly Reliable Computing Systems (DAHPHRS), phase 1

Systems for Space Defense Initiative (SDI) space applications typically require both high performance and very high reliability. These requirements present the systems engineer evaluating such systems with the extremely difficult problem of conducting performance and reliability trade-offs over large design spaces. A controlled development process supported by appropriate automated tools must be used to assure that the system will meet design objectives. This report describes an investigation of methods, tools, and techniques necessary to support performance and reliability modeling for SDI systems development. Models of the JPL Hypercubes, the Encore Multimax, and the C.S. Draper Lab Fault-Tolerant Parallel Processor (FTPP) parallel-computing architectures using candidate SDI weapons-to-target assignment algorithms as workloads were built and analyzed as a means of identifying the necessary system models, how the models interact, and what experiments and analyses should be performed. As a result of this effort, weaknesses in the existing methods and tools were revealed and capabilities that will be required for both individual tools and an integrated toolset were identified.

Scheper, C.

Formal methods technology transfer: Some lessons learned

IBM has a long history in the application of formal methods to software development and verification. There have been many successes in the development of methods, tools and training to support formal methods. And formal methods have been very successful on several projects. However, the use of formal methods has not been as widespread as hoped. This presentation summarizes several approaches that have been taken to encourage more widespread use of formal methods, and discusses the results so far. The basic problem is one of technology transfer, which is a very difficult problem. It is even more difficult for formal methods. General problems of technology transfer, especially the transfer of formal methods technology, are also discussed. Finally, some prospects for the future are mentioned.

Hamilton, David

Java PathExplorer: A Runtime Verification Tool

We describe recent work on designing an environment called Java PathExplorer for monitoring the execution of Java programs. This environment facilitates the testing of execution traces against high level specifications, including temporal logic formulae. In addition, it contains algorithms for detecting classical error patterns in concurrent programs, such as deadlocks and data races. An initial prototype of the tool has been applied to the executive module of the planetary Rover K9, developed at NASA Ames. In this paper we describe the background and motivation for the development of this tool, including comments on how it relates to formal methods tools as well as to traditional testing, and we then present the tool itself.

Havelund, Klaus

Formal methods for life-critical software

The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.

Butler, Ricky W.

Formal Methods for Life-Critical Software

The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.

Butler, Ricky W.

Bayesian Inference for NASA Probabilistic Risk and Reliability Analysis

This document, Bayesian Inference for NASA Probabilistic Risk and Reliability Analysis, is intended to provide guidelines for the collection and evaluation of risk and reliability-related data. It is aimed at scientists and engineers familiar with risk and reliability methods and provides a hands-on approach to the investigation and application of a variety of risk and reliability data assessment methods, tools, and techniques. This document provides both: A broad perspective on data analysis collection and evaluation issues. A narrow focus on the methods to implement a comprehensive information repository. The topics addressed herein cover the fundamentals of how data and information are to be used in risk and reliability analysis models and their potential role in decision making. Understanding these topics is essential to attaining a risk informed decision making environment that is being sought by NASA requirements and procedures such as 8000.4 (Agency Risk Management Procedural Requirements), NPR 8705.05 (Probabilistic Risk Assessment Procedures for NASA Programs and Projects), and the System Safety requirements of NPR 8715.3 (NASA General Safety Program Requirements).

Dezfuli, Homayoon

Reliability/Risk Methods and Design Tools for Application in Space Programs

Since 1984 NASA has funded several major programs to develop Reliability/Risk Methods and tools for engineers to apply in the design and assessment of aerospace hardware. Two probabilistic software tools that show great promise for practical application are the finite element code NESSUS and the system risk analysis code QRAS. This paper examines NASA's past, present, and future directions in reliability and risk engineering applications, Both the NESSUS and QRAS software tools are detailed.

Townsend, John S.

Formal Methods at Intel - An Overview

Since the 1990s, Intel has invested heavily in formal methods, which are now deployed in several domains: hardware, software, firmware, protocols etc. Many different formal methods tools and techniques are in active use, including symbolic trajectory evaluation, temporal logic model checking, SMT-style combined decision procedures, and interactive higher-order logic theorem proving. I will try to give a broad overview of some of the formal methods activities taking place at Intel, and describe the challenges of extending formal verification to new areas and of effectively using multiple formal techniques in combination

Harrison, John

Musculoskeletal Modeling Component of the NASA Digital Astronaut Project

The NASA Digital Astronaut Project s (DAP) objective is to provide computational tools that support research of the physiological response to low gravity environments and analyses of how changes cause health and safety risks to the astronauts and to the success of the mission. The spaceflight risk associated with muscle atrophy is impaired performance due to reduced muscle mass, strength and endurance. Risks of early onset of osteoporosis and bone fracture are among the spaceflight risks associated with loss of bone mineral density. METHODS: Tools under development include a neuromuscular model, a biomechanical model and a bone remodeling model. The neuromuscular model will include models of neuromuscular drive, muscle atrophy, fiber morphology and metabolic processes as a function of time in space. Human movement will be modeled with the biomechanical model, using muscle and bone model parameters at various states. The bone remodeling model will allow analysis of bone turnover, loss and adaptation. A comprehensive trade study was completed to identify the current state of the art in musculoskeletal modeling. The DAP musculoskeletal models will be developed using a combination of existing commercial software and academic research codes identified in the study, which will be modified for use in human spaceflight research. These individual models are highly dependent upon each other and will be integrated together once they reach sufficient levels of maturity. ANALYSES: The analyses performed with these models will include comparison of different countermeasure exercises for optimizing effectiveness and comparison of task requirements and the state of strength and endurance of a crew member at a particular time in a mission. DISCUSSION: The DAP musculoskeletal model has the potential to complement research conducted on spaceflight induced changes to the musculoskeletal system. It can help with hypothesis formation, identification of causative mechanisms and supplementing small data samples.

Lewandowski, B. E.

A Flight Research Overview of WSPR, a Pilot Project for Sonic Boom Community Response

In support of NASAs ongoing effort to bring supersonic commercial travel to the public, NASA Dryden Flight Research Center and NASA Langley Research Center, in cooperation with other industry organizations, conducted a flight research experiment to identify the methods, tools, and best practices for a large-scale quiet (or low) sonic boom community human response test. The name of the effort was Waveforms and Sonic boom Perception and Response. Such tests will go towards building a dataset that governing agencies like the Federal Aviation Administration and International Civil Aviation Organization will use to establish regulations for acceptable sound levels of overland sonic booms. Until WSPR, there had never been an effort that studied the response of people in their own homes and performing daily activities to non-traditional, low sonic booms.WSPR was a NASA collaborative effort with several industry partners, in response to a NASA Aeronautics Research Mission Directorate Research Opportunities in Aeronautics. The primary contractor was Wyle. Other partners included Gulfstream Aerospace Corporation, Pennsylvania State University, Tetra Tech, and Fidell Associates, Inc.A major objective of the effort included exposing a community with the sonic boom magnitudes and occurrences expected in high-air traffic regions with a network of supersonic commercial aircraft in place. Low-level sonic booms designed to simulate those produced by the next generation of commercial supersonic aircraft were generated over a small residential community. The sonic boom footprint was recorded with an autonomous wireless microphone array that spanned the entire community. Human response data was collected using multiple survey methods. The research focused on essential elements of community response testing including subject recruitment, survey methods, instrumentation systems, flight planning and operations, and data analysis methods.This paper focuses on NASAs role in the efforts logistics and operations including human response subject recruitment, the operational processes involved in implementing the surveys throughout the community, instrumentation systems, logistics, flight planning, and flight operations. Findings discussed in this paper include critical lessons learned in all of those areas. The paper also discusses flight operations results. Analysis of the accuracy and repeatability of planning and executing the unique aircraft maneuver used to generate low sonic booms concluded that the sonic booms had overpressures within 0.15 pounds-per-square-feet of the planned values for 76 of t he attempts. Similarly, 90 of the attempts to generate low sonic booms within the community were successful.

sonic booms

A Flight Research Overview of WSPR, a Pilot Project for Sonic Boom Community Response

In support of the ongoing effort by the National Aeronautics and Space Administration (NASA) to bring supersonic commercial travel to the public, the NASA Armstrong Flight Research Center and the NASA Langley Research Center, in cooperation with other industry organizations, conducted a flight research experiment to identify the methods, tools, and best practices for a large-scale quiet (or low) sonic boom community human response test. The name of the effort was Waveforms and Sonic boom Perception and Response (WSPR). Such tests will be applied to building a dataset that governing agencies such as the Federal Aviation Administration and the International Civil Aviation Organization will use to establish regulations for acceptable sound levels of overland sonic booms. The WSPR test was the first such effort that studied responses to non-traditional low sonic booms while the subject persons were in their own homes and performing daily activities.The WSPR test was a NASA collaborative effort with several industry partners, in response to a NASA Aeronautics Research Mission Directorate Research Opportunities in Aeronautics. The primary contractor was Wyle (El Segundo, California). Other partners included Gulfstream Aerospace Corporation (Savannah, Georgia); Pennsylvania State University (University Park, Pennsylvania); Tetra Tech, Inc. (Pasadena, California); and Fidell Associates, Inc. (Woodland Hills, California).A major objective of the effort included exposing a community to the sonic boom magnitudes and occurrences that would be expected to occur in high-air traffic regions having a network of supersonic commercial aircraft in place. Low-level sonic booms designed to simulate those produced by the next generation of commercial supersonic aircraft were generated over a small residential community. The sonic boom footprint was recorded with an autonomous wireless microphone array that spanned the entire community. Human response data were collected using multiple survey methods. The research focused on essential elements of community response testing including subject recruitment, survey methods, instrumentation systems, flight planning and operations, and data analysis methods.This paper focuses on the NASA role in the logistics and operations of the effort, including human response subject recruitment, the operational processes involved in implementing the surveys throughout the community, instrumentation systems, logistics, flight planning, and flight operations. Findings discussed in this paper include critical lessons learned in all of the above-mentioned areas, as well as flight operations results. Analysis of the accuracy and repeatability of planning and executing the unique aircraft maneuver used to generate low sonic booms concluded that the sonic booms had overpressures within 0.15 lbft2 of the planned values for 76 percent of the attempts. Similarly, 90 percent of the attempts to generate low sonic booms within the community were successful.

community response

Extending the Nuclide Inventory Validation Basis for High-Burnup Fuel with New Radiochemical Assay Data

Efforts are underway at Oak Ridge National Laboratory to improve the nuclide inventory validation basis for spent nuclear fuel at high burnups. Recently conducted radiochemical assay experiments provided new measurement data for nine samples of fuel irradiated in a pressurized water reactor, with estimated sample burnups in the 30 to 70 GWd/t range. This type of destructive assay data is essential for validating computational methods, tools, and nuclear data applied in nuclear safety analyses and for improving our understanding of the bias and uncertainty in code predictions. The measurement data include key actinides and fission products that span a gamut of needs and interests for nuclear science and engineering applications in criticality safety, reactor physics, nuclide inventory, decay heat, and radiation shielding. The SCALE 6.3 code system with ENDF/B-VII.1 cross-section libraries was used to simulate the irradiation histories of the measured fuel samples. The calculated nuclide concentrations are compared to corresponding measurement data. The significance of the comparisons is discussed, emphasizing how the addition of the new measurement data fills gaps in the validation basis at high burnups and contributes to the decrease in bias and uncertainty for predicted nuclide concentrations. The discussion addresses the effect of the sample burnup used in the simulation—which is based on reactor operator records or on calibration to measured data for burnup indicator fission products—on the validation results.

Nuclide inventory