SEARCH · Engineering Papers

Results for “Verification study”

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 631 records · Page 35

All sources NASA NTRS DOE OSTI

NASA NTRS1987

Thermomechanical effects in high-speed seal rubs

The analytical effort was aimed at development of numerical model of thermal and mechanical phenomena which occur during seal rub. Finite element programs were develped for studying the temperatures that result from frictional heating during rubs, and the plastic deformation which is caused by rub forces. The experiment phase was originally intended to aid in verification of the results of the analytical model. Experimental techniques were developed for measuring surface temperatures and deformations during single pass rubs. Modifications were made to the device to permit testing at both high and cryogenic temperatures. The results from the experiments are discussed.

Kennedy, Francis E., Jr.↗

NASA NTRS1992

Wind tunnel seeding particles for laser velocimeter

The design of an optimal air foil has been a major challenge for aerospace industries. The main objective is to reduce the drag force while increasing the lift force in various environmental air conditions. Experimental verification of theoretical and computational results is a crucial part of the analysis because of errors buried in the solutions, due to the assumptions made in theoretical work. Experimental studies are an integral part of a good design procedure; however, empirical data are not always error free due to environmental obstacles or poor execution, etc. The reduction of errors in empirical data is a major challenge in wind tunnel testing. One of the recent advances of particular interest is the use of a non-intrusive measurement technique known as laser velocimetry (LV) which allows for obtaining quantitative flow data without introducing flow disturbing probes. The laser velocimeter technique is based on measurement of scattered light by the particles present in the flow but not the velocity of the flow. Therefore, for an accurate flow velocity measurement with laser velocimeters, two criterion are investigated: (1) how well the particles track the local flow field, and (2) the requirement of light scattering efficiency to obtain signals with the LV. In order to demonstrate the concept of predicting the flow velocity by velocity measurement of particle seeding, the theoretical velocity of the gas flow is computed and compared with experimentally obtained velocity of particle seeding.

Ghorieshi, Anthony↗

NASA NTRS1989

Feasibility study of a long duration balloon flight with NASA/GSFC and Soviet Space Agency Gamma Ray Spectrometers

A feasibility study of conducting a joint NASA/GSFC and Soviet Space Agency long duration balloon flight at the Antarctic in Jan. 1993 is reported. The objective of the mission is the verification and calibration of gamma ray and neutron remote sensing instruments which can be used to obtain geochemical maps of the surface of planetary bodies. The gamma ray instruments in question are the GRAD and the Soviet Phobos prototype. The neutron detectors are supplied by Los Alamos National Laboratory and the Soviet Phobos prototype. These are to be carried aboard a gondola that supplies the data and supplies the power for the period of up to two weeks.

Sharp, William E.↗

NASA NTRS1999

NASA's Virtual Product Laboratory Overview

The Virtual Product Laboratory (VPL) developed at Stennis Space Center is a tool that enables design and verification of remote sensing systems within a software (virtual) environment. The VPL can serve NASA's industry, government, and university partners by providing a means to conduct system trade studies, visual modeling, and data product simulations entirely in a virtual environment. The VPL can serve as a complete end-to-end simulation tool capable of producing system-level compatability assessments, performance characterizations, and simulated data products. In this paper, we present an overview of the VPL's current functions and planned capabilities. The VPL functional areas include Requirements, Design and Analysis, Simulation, Project Management, and Knowledge Base. A description of each function, along with the tools and techniques used to accomplish these functions, is provided.

Gasser, Gerald↗

NASA NTRS2010

Ares I-X Flight Test Vehicle Modal Test

The first test flight of NASA's Ares I crew launch vehicle, called Ares I-X, was launched on October 28, 2009. Ares I-X used a 4-segment reusable solid rocket booster from the Space Shuttle heritage with mass simulators for the 5th segment, upper stage, crew module and launch abort system. Flight test data will provide important information on ascent loads, vehicle control, separation, and first stage reentry dynamics. As part of hardware verification, a series of modal tests were designed to verify the dynamic finite element model (FEM) used in loads assessments and flight control evaluations. Based on flight control system studies, the critical modes were the first three free-free bending mode pairs. Since a test of the free-free vehicle was not practical within project constraints, modal tests for several configurations during vehicle stacking were defined to calibrate the FEM. Test configurations included two partial stacks and the full Ares I-X flight test vehicle on the Mobile Launcher Platform. This report describes the test requirements, constraints, pre-test analysis, test execution and results for the Ares I-X flight test vehicle modal test on the Mobile Launcher Platform. Initial comparisons between pre-test predictions and test data are also presented.

Buehrle, Ralph D.↗

NASA NTRS2010

Ares I-X Launch Vehicle Modal Test Overview

The first test flight of NASA's Ares I crew launch vehicle, called Ares I-X, is scheduled for launch in 2009. Ares IX will use a 4-segment reusable solid rocket booster from the Space Shuttle heritage with mass simulators for the 5th segment, upper stage, crew module and launch abort system. Flight test data will provide important information on ascent loads, vehicle control, separation, and first stage reentry dynamics. As part of hardware verification, a series of modal tests were designed to verify the dynamic finite element model (FEM) used in loads assessments and flight control evaluations. Based on flight control system studies, the critical modes were the first three free-free bending mode pairs. Since a test of the free-free vehicle is not practical within project constraints, modal tests for several configurations in the nominal integration flow were defined to calibrate the FEM. A traceability study by Aerospace Corporation was used to identify the critical modes for the tested configurations. Test configurations included two partial stacks and the full Ares I-X launch vehicle on the Mobile Launcher Platform. This paper provides an overview for companion papers in the Ares I-X Modal Test Session. The requirements flow down, pre-test analysis, constraints and overall test planning are described.

Buehrle, Ralph D.↗

NASA NTRS2014

Rodent Research Development for Long Duration Studies on the International Space Station

Rodent research in space is needed to advance our understanding of the health risks,consequences and possible countermeasures to protect crew during future, long duration missions. TheAnimal Enclosure Module (AEM) was designed originally to support habitation of rats and mice onrelatively short duration, Shuttle missions (<19 days). The AEM was flown previously on 27 SpaceShuttle missions, and recently was modified extensively to support future long duration space biology andbiomedical research on the International Space Station (ISS). In consultation with a Science WorkingGroup comprised of veterinarians and investigators experienced in rodent spaceflight experimentation inspace, the Rodent Habitat project team at Ames Research Center modified existing hardware, developednew hardware, operations, and science activities, and performed a series of ground-based operational andscience habitat verification tests in preparation for the first validation flight.

long duration studies↗

NASA NTRS2011

Integration of Dust Prediction Systems and Vegetation Phenology to Track Pollen for Asthma Alerts in Public Health

Pollen can be transported great distances. Van de Water et. al., 2003 reported Juniperus pollen, a significant aeroallergen was transported 200-600 km. Hence local observations of plant phenology may not be consistent with the timing and source of pollen collected by pollen sampling instruments. The DREAM (Dust REgional Atmospheric Model, Yin 2007) is a verified model for atmospheric dust transport modeling using MODIS data products to identify source regions and quantities of dust (Yin 2007). The use of satellite data products for studying phenology is well documented (White and Nemani 2006). We are modifying the DREAM model to incorporate pollen transport. The linkages already exist with DREAM through PHAiRS (Public Health Applications in remote Sensing) to the public health community. This linkage has the potential to fill this data gap so that health effects of pollen can better be tracked for linkage with health outcome data including asthma, respiratory effects, myocardial infarction, and lost work days. DREAM is based on the SKIRON/Eta modeling system and the Eta/NCEP regional atmospheric model. The dust modules of the entire system incorporate the state of the art parameterizations of all the major phases of the atmospheric dust life such as production, diffusion, advection, and removal. These modules also include effects of the particle size distribution on aerosol dispersion. The dust production mechanism is based on the viscous/turbulent mixing, shear-free convection diffusion, and soil moisture. In addition to these sophisticated mechanisms, very high resolution databases, including elevation, soil properties, and vegetation cover are utilized. The DREAM model was modified to use pollen sources instead of dust (PREAM). Pollen release will be estimated based on satellite-derived phenology of Juniperus spp. communities. The MODIS surface reflectance product (MOD09) will provide information on the start of the plant growing season, growth stage, peak greenness, dry-down and pollen release. Ground based observational records of pollen release timing and quantities will be used as verification. Techniques developed using MOD09 surface reflectance products will be directly applicable to the next generation sensors such as VIIRS. The resulting deterministic model for predicting and simulating pollen emission and downwind concentration to study details of phenology and meteorology and their dependencies. This information will be used to support the Centers for Disease Control and Prevention (CDC)'s National Environmental Public Health Tracking Program (EPHT) and the State of New Mexico environmental public health decision support for asthma and allergies alerts

Luvall, Jeffrey C.↗

NASA NTRS1989

The liquid rocket booster and its potential for the STS

Results of the liquid rocket booster study initiated by NASA to define an alternative to solid rocket boosters, are presented. The prime study contractors, Martin Marietta Corporation and General Dynamics, have identified liquid rocket booster configurations that can increase shuttle performance to 70 klb. These boosters will provide improved reliability, hold down, verification prior to vehicle release, engine-out and abort capabilities. Phasing of these boosters into Space Transportation System (STS) operations without adversely affecting flight rate is described.

Space Shuttle↗

NASA NTRS1995

Cassini radar: Instrument description and performance status

The spacecraft of the Cassini mission is planned to be launched towards Saturn in October 1997. The mission is designed to study the physical structure and chemical composition of Titan. The results of the tests performed on the Cassini radar engineering qualification model (EQM) are summarized. The approach followed in the verification and evaluation of the performance of the radio frequency subsystem EQM is presented. The results show that the instrument satisfies the most relevant mission requirements.

Johnson, W. T. K.↗

NASA NTRS1996

Cassini Radar EQM Model: Instrument Description and Performance Status

The spaeccraft of the Cassini Mission is planned to be launched towards Saturn in October 1997. The mission is designed to study the physical structure and chemical composition of Titan. The results of the tests performed on the Cassini radar engineering qualification model (EQM) are summarized. The approach followed in the verification and evaluation of the performance of the radio frequency subsystem EQM is presented. The results show that the instrument satisfies the relevant mission requirements.

Borgarelli, L.↗

NASA NTRS1997

Experiences Using Lightweight Formal Methods for Requirements Modeling

This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process, to validate the evolving requirements. The results were fed back into the projects, to improve the informal specifications. For each case study, we describe what methods were applied, how they were applied, how much effort was involved, and what the findings were. In all three cases, formal methods enhanced the existing verification and validation processes, by testing key properties of the evolving requirements, and helping to identify weaknesses. We conclude that the benefits gained from early modeling of unstable requirements more than outweigh the effort needed to maintain multiple representations.

Easterbrook, Steve↗

NASA NTRS2020

Observation and Quantification of Aerosol Outflow from Southern Africa Using Spaceborne Lidar

Biomass burning in Africa provides a prolific source of aerosols that are transported from the source region to distant areas, as far away as South America and Australia. Models have long predicted the primary outflow and transport routes. Over time, field studies have validated the basic production and dynamics that underlie these transport patterns. In more recent years, the advancement of spaceborne active remote sensing techniques has allowed for more detailed verification of the models and, importantly, verification of the vertical distribution of the aerosols in the transport regions, particularly with respect to westerly transport over the Atlantic Ocean. The Cloud-Aerosol Transport System (CATS) lidar on the International Space Station has detection sensitivity that provides observations that support long-held theories of aerosol transport from the African subcontinent over the remote Indian Ocean and as far downstream as Australia.

Lidar↗

NASA NTRS2020

Bridging the Gap Between Requirements and Model Analysis : Evaluation on Ten Cyber-Physical Challenge Problems

Formal verfication and simulation are powerful tools to validate requirements against complex systems. [Problem] Requirements are developed in early stages of the software lifecycle and are typically written in ambiguous natural language. There is a gap between such requirements and formal notations that can be used by verification tools, and lack of support for proper association of requirements with software artifacts for verification. [Principal idea] We propose to write requirements in an intuitive, structured natural language with formal semantics, and to support formalization and model/code verification as a smooth, well-integrated process. [Contribution] We have developed an end-to-end, open source requirements analysis framework that checks Simulink models against requirements written in structured natural language. Our framework is built in the Formal Requirements Elicitation Tool (fret); we use fret's requirements language named fretish, and formalization of fretish requirements in temporal logics. Our proposed framework contributes the following features: 1) automatic extraction of Simulink model information and association of fretish requirements with target model signals and components; 2) translation of temporal logic formulas into synchronous dataflow cocospec specifications as well as Simulink monitors, to be used by verification tools; we establish correctness of our translation through extensive automated testing; 3) interpretation of counterexamples produced by verification tools back at requirements level. These features support a tight integration and feedback loop between high level requirements and their analysis. We demonstrate our approach on a major case study: the Ten Lockheed Martin Cyber-Physical, aerospace-inspired challenge problems.

Mavridou, Anastasia↗

NASA NTRS1995

Verification of surface preparation for adhesive bonding

A survey of solid rocket booster (SRB) production operations identified potential contaminants which might adversely affect bonding operations. Lap shear tests quantified these contaminants' effects on adhesive strength. The most potent contaminants were selected for additional studies on SRB thermal protection system (TPS) bonding processes. Test panels were prepared with predetermined levels of contamination, visually inspected using white and black light, then bonded with three different TPS materials over the unremoved contamination. Bond test data showed that white and black light inspections are adequate inspection methods for TPS bonding operations. Extreme levels of contamination (higher than expected on flight hardware) had an insignificant effect on TPS bond strengths because of the apparent insensitivity of the adhesive system to contamination effects, and the comparatively weak cohesive strength of the TPS materials.

Myers, Rodney S.↗

NASA NTRS1997

Development of a Software Safety Process and a Case Study of Its Use

Research in the year covered by this reporting period has been primarily directed toward the following areas: (1) Formal specification of user interfaces; (2) Fault-tree analysis including software; (3) Evaluation of formal specification notations; (4) Evaluation of formal verification techniques; (5) Expanded analysis of the shell architecture concept; (6) Development of techniques to address the problem of information survivability; and (7) Development of a sophisticated tool for the manipulation of formal specifications written in Z. This report summarizes activities under the grant. The technical results relating to this grant and the remainder of the principal investigator's research program are contained in various reports and papers. The remainder of this report is organized as follows. In the next section, an overview of the project is given. This is followed by a summary of accomplishments during the reporting period and details of students funded. Seminars presented describing work under this grant are listed in the following section, and the final section lists publications resulting from this grant.

Knight, J. C.↗

NASA NTRS1971

Digital autopilots: Design considerations and simulator evaluations

The development of a digital autopilot program for a transport aircraft and the evaluation of that system's performance on a transport aircraft simulator is discussed. The digital autopilot includes three axis attitude stabilization, automatic throttle control and flight path guidance functions with emphasis on the mode progression from descent into the terminal area through automatic landing. The study effort involved a sequence of tasks starting with the definition of detailed system block diagrams of control laws followed by a flow charting and programming phase and concluding with performance verification using the transport aircraft simulation. The autopilot control laws were programmed in FORTRAN 4 in order to isolate the design process from requirements peculiar to an individual computer.

Osder, S.↗

NASA NTRS1977

Gaseous fuel reactor systems for aerospace applications

Research on the gaseous fuel nuclear rocket concept continues under the programs of the U.S. National Aeronautics and Space Administration (NASA) Office for Aeronautics and Space Technology and now includes work related to power applications in space and on earth. In a cavity reactor test series, initial experiments confirmed the low critical mass determined from reactor physics calculations. Recent work with flowing UF6 fuel indicates stable operation at increased power levels. Preliminary design and experimental verification of test hardware for high-temperature experiments have been accomplished. Research on energy extraction from fissioning gases has resulted in lasers energized by fission fragments. Combined experimental results and studies indicate that gaseous-fuel reactor systems have significant potential for providing nuclear fission power in space and on earth.

Thom, K.↗