Engineering Papers⌕ Search

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.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 883 records · Page 49

Comparison of Transport Codes, HZETRN, HETC and FLUKA, Using 1977 GCR Solar Minimum Spectra

The HZETRN deterministic radiation transport code is one of several tools developed to analyze the effects of harmful galactic cosmic rays (GCR) and solar particle events (SPE) on mission planning, astronaut shielding and instrumentation. This paper is a comparison study involving the two Monte Carlo transport codes, HETC-HEDS and FLUKA, and the deterministic transport code, HZETRN. Each code is used to transport ions from the 1977 solar minimum GCR spectrum impinging upon a 20 g/cm2 Aluminum slab followed by a 30 g/cm2 water slab. This research is part of a systematic effort of verification and validation to quantify the accuracy of HZETRN and determine areas where it can be improved. Comparisons of dose and dose equivalent values at various depths in the water slab are presented in this report. This is followed by a comparison of the proton fluxes, and the forward, backward and total neutron fluxes at various depths in the water slab. Comparisons of the secondary light ion 2H, 3H, 3He and 4He fluxes are also examined.

Heinbockel, John H.↗

Evaluation of results of US corn and soybeans exploratory experiment: Classification procedures verification test

The classification procedure utilized in making crop proportion estimates for corn and soybeans using remotely sensed data was evaluated. The procedure was derived during the transition year of the Large Area Crop Inventory Experiment. Analysis of variance techniques were applied to classifications performed by 3 groups of analysts who processed 25 segments selected from 4 agrophysical units (APU's). Group and APU effects were assessed to determine factors which affected the quality of the classifications. The classification results were studied to determine the effectiveness of the procedure in producing corn and soybeans proportion estimates.

Carnes, J. G.↗

Window acoustic study for advanced turboprop aircraft

An acoustic analysis was performed to establish window designs for advanced turboprop powered aircraft. The window transmission loss requirements were based on A-weighted interior noise goals of 80 and 75 dBA. The analytical results showed that a triple pane window consisting of two glass outer panes and an inner pane of acrylic would provide the required transmission loss and meet the sidewall space limits. Two window test articles were fabricated for laboratory evaluation and verification of the predicted transmission loss. Procedures for performing laboratory tests are presented.

Prydz, R. A.↗

A model for the use of satellite remote sensing for the measurement of primary production in the ocean

A model of primary production based upon the responses of phytoplankton to differing light and nutrient fields is described. This model includes the effects on production of variations in surface pigment concentration, the mixed layer depth, and the dependence on the incident solar irradiance. The model has been tested using in situ data provided by the Southern California Bight Studies of Eppley, et al. (1979), the California Cooperative Fisheries Investigations, the Organization of Persistent Upwelling Structures, and other data sets. A synoptic measure of the distribution of surface pigments is derived from the West Coast Chlorophyll and Temperature Time Series. The features and behavior of the model are presented together with the results of the model verification.

Collins, Donald J.↗

Lunar Natural Environment for use by the Constellation Program

The Lunar Environments used by the Constellation Program are embodied in two documents, the NEDD (Natural Environments Definition for Design) and the DSNE (Design Specification for Natural Environments). Recently, the lunar environments for the NEDD have been defined and incorporated in the document, as the result of contributions from experts in all areas of lunar environments. The purpose of the NEDD is to provide a uniform description of the natural environment to serve as a basic framework for both the crewed and robotic missions of the Exploration Systems Mission Directorate (ESMD). It is intended to support engineering and analysis, requirements development, and verification involved in the development of exploration concepts and architectures, flight hardware, and new technologies. (It does not support the operational phases of the Program since models and data with different properties are needed for those applications.) By presenting a single benchmark definition of natural environment parameters it provides an easily accessible and uniform baseline for competitive studies, independent analyses, and concept studies.

Ferguson, Dale C.↗

NASA, Remote Sensing and Archaeology: An Example from Southeast Louisiana

NASA Stennis Space Center, located in Mississippi, USA, undertook an archaeological survey of the southeastern Louisiana marshes beginning in 2003. Progress on this activity was severely hampered by the 2005 hurricane season when both Katrina and Rita devastated the study area. In 2008, the NASA team reinitiated the analysis of the project data and that work continues today. The project was conducted initially in partnership with the U.S. Army, Corps of Engineers New Orleans District and Tulane University. NASA and its partners utilized a wide variety of satellite and airborne remote sensing instruments combined with field verification surveys to identify prehistoric archeological sites in the Southeastern Louisiana delta, both known and still undiscovered. The main approach was to carefully map known sites and use the spectral characteristics of these sites to locate high probability targets elsewhere in the region. The archaeological activities were conducted in support of Coast 2050 whose stated goals is to sustain and restore a coastal ecosystem that supports and protects the environment, economy and culture of southern Louisiana. As the Coast 2050 report states: [T]he rate of coastal land loss in Louisiana has reached catastrophic proportions. Within the last 50 years, land loss rates have exceeded 40 square miles per year, and in the 1990's the rate has been estimated to be between 25 and 35 square miles each year. This loss represents 80% of the coastal wetland loss in the entire continental United States.

Giardino, Marco J.↗

Formal Methods Case Studies for DO-333

RTCA DO-333, Formal Methods Supplement to DO-178C and DO-278A provides guidance for software developers wishing to use formal methods in the certification of airborne systems and air traffic management systems. The supplement identifies the modifications and additions to DO-178C and DO-278A objectives, activities, and software life cycle data that should be addressed when formal methods are used as part of the software development process. This report presents three case studies describing the use of different classes of formal methods to satisfy certification objectives for a common avionics example - a dual-channel Flight Guidance System. The three case studies illustrate the use of theorem proving, model checking, and abstract interpretation. The material presented is not intended to represent a complete certification effort. Rather, the purpose is to illustrate how formal methods can be used in a realistic avionics software development project, with a focus on the evidence produced that could be used to satisfy the verification objectives found in Section 6 of DO-178C.

Cofer, Darren↗

Wearable Biosensor Monitor to Support Autonomous Crew Health and Readiness to Perform

For future human exploration missions, NASA needs a health monitoring system composed of hardware that is compact, fully interoperable with an integrated data management system, and requires minimal consumables. Such a system will be achieved through the integration of small, easy to use biomedical sensors that will have the ability to measure, store and transmit physiological parameters during operational and ambulatory activity. Since 2012, the Canadian Space Agency (CSA) has been active in funding the development of wearable biomonitoring sensors. The Astroskin is the first prototype and consists of a shirt-based garment and headband with embedded sensors, and associated software and technology that measure vital signs, sleep quality and activity level of the wearer. NASA and CSA have been collaborating since 2014 to test and validate this system in a lab environment at Ames Research Center and more recently in the Human Exploration Research Analog (HERA) located at Johnson Spaceflight Center. Specific objectives of the HERA study were: 1) to assess the performance of the Astroskin biosensor system for long-term health monitoring (24-hours) capabilities and during exercise as a measure of crew fitness; 2) to obtain crew feedback on comfort and usability of the Astroskin system; 3) to demonstrate performance of Bluetooth communication during real-time transmission and for verification of data in this environment; and 4) to obtain baseline data for further development of algorithms and tools that facilitate decision support for diagnosing and monitoring of a sick or injured crewmember. HERA Campaign 3 included four missions (each 30-days in duration) with four crewmembers assigned to each mission. A total of 9 men and 7 women participated in the Astroskin evaluation that included continuous physiological monitoring (24-hours) on mission days MD-11, MD1 (high workload), MD15 (low workload), MD19, MD29, and MD+7. Mission days 19 and 29 also included 30 minutes of sub-maximal exercise on a cycle ergometer. Following each 24-hour monitoring session crew physiological data were downloaded to laptops and each crewmember completed a 28 question survey on their experiences with the Astroskin hardware and software. This presentation will focus on lessons learned from the HERA missions. Specifically it will address Astroskin system performance in terms of data loss and data quality (no comparison to lab standard devices), wireless communication with the onboard mobile device, crew usability and comfort, and future development of a next generation biomonitoring system.

crew fitness↗

A high heat flux experiment for verification of thermostructural analysis

A major concern in advancing the state of the art technologies for hypersonic vehicles is the development of an aeropropulsion system capable of handling the high heat fluxes during flight. The leading edges of such systems must not only tolerate the maximum heating rates, but must also minimize distortions to the flow field due to excessive blunting and/or thermal warping of the compression surface to achieve the high inlet performance required. A combined analytical and experimental effort to study the aerothermodynamic loads on actively cooled structures for hypersonic applications was established. A hydrogen/oxygen rocket engine was modified to establish a high enthalpy high heat flux environment. The facility provides heat flux levels from about 200 up to 10000 Btu/sq ft/sec. Cross flow and parallel flow regeneratively cooled model can be tested and analyzed by using cooling fluids of water and hydrogen. Results are presented of the experiment and the characteristics of the Hot Gas Test Facility. The predicted temperature results of the cross flow model are compared with the experimental data on the first monolithic specimens and are found to be in good agreement. Thermal stress analysis results are also presented.

Gladden, Herbert J.↗

A high heat flux experiment for verification of thermostructural analysis

A major concern in advancing the state of the art technologies for hypersonic vehicles is the development of an aeropropulsion system capable of handling the high heat fluxes during flight. The leading edges of such systems must not only tolerate the maximum heating rates, but must also minimize distortions to the flow field due to excessive blunting and/or thermal warping of the conmpression surface to achieve the high inlet performance required. A combined analytical and experimental effort to study the aerothermodynamic loads on actively cooled structures for hypersonic applications was established. A hydrogen/oxygen rocket engine was modified to establish a high enthalpy high heat flux environment. The facility provides heat flux levels from about 200 up to 10000 Btu/sq ft/sec. Cross flow and parallel flow regeneratively cooled model can be tested and analyzed by using cooling fluids of water and hydrogen. Results are presented of the experiment and the characteristics of the Hot Gas Test Facility. The predicted temperature results of the cross flow model are compared with the experimental data on the first monolithic specimens and are found to be in good agreement. Thermal stress analysis results are also presented.

Gladden, H. J.↗

Molecular Dynamics study of Pb overlayer on Cu(100)

Isothermal-isobaric Molecular Dynamics (MD) simulation of a submonolayer Pb film in c(2x2) ordered structure adsorbed on a Cu(100) substrate showed retention of order to high T. The Embedded Atom Method (EAM) calculated the energy of atoms of overlayer and substrate. The time-averaged squared modulus of the two dimensional structure factor for the Pb overlayer measured the order of the overlayer. The results are for increasing T only, and require verification by simulated cooling.

Karimi, M.↗

The MPD thruster development program

Recent research results have inferred that the self-field magnetoplasmadynamic (MPD) thruster can attain efficiency and specific impulse levels which are competitive with ion thrusters. Based on these results, a program was initiated at JPL to develop this thruster for application on future spacecraft. Preliminary mission analyses have shown that the high thrust density MPD arcjet is advantageous for high power missions, such as a short trip time earth orbit transfer vehicle or a nuclear powered outer planet explorer. Direct thrust stand verification of the inferred performance levels used in these analyses is planned for a facility being assembled at Princeton University. A parallel effort at JPL is considering various thruster system configurations, energy storage concepts and propellant control techniques. In addition, a one pulse per second thruster test facility is planned at JPL to be used for thruster optimization studies including erosion and lifetime measurements.

Rudolph, L. K.↗

Measurement of forces due to liquid motion in a propellant tank

This paper presents the results of a study to develop an analytical model capable of predicting the forces acting on a tank caused by large-amplitude propellant motion. This effort contributed to an analysis of the influence of propellant dynamics on separation of the External Tank from the space shuttle orbiter. This paper is concerned with an experimental investigation that aided in development and verification of the analytical model. A scaling approach was developed that allowed the liquid motion to be simulated in subscale tanks. Liquid reorientation forces were measured using two test systems. One operated in the low-gravity environment produced in a drop tower and the second operated aboard the KC-135 'zero-g' test aircraft. The manner of liquid motion, influence of various factors, and the measured forces are discussed.

Tegart, J. R.↗

Space Station propulsion system test bed

The test bed to study H2/O2 propulsion technology for the Space Station is discussed. The test bed consists of propellant accumulators, valving, instrumentation, and controls configured in a 9-ft cube. A water electrolysis module was added to simulate the baseline propulsion system configuration. The activation of the test bed is described, and results are presented from tests of the system, including verification of the control system, thruster tests, electrolysis system testing, and acceptance test, oxidizer system, and fuel system blowdowns.

Norman, A. M.↗

Point-to-Point! Validation of the Small Aircraft Transportation System Higher Volume Operations Concept

Described is the research process that NASA researchers used to validate the Small Aircraft Transportation System (SATS) Higher Volume Operations (HVO) concept. The four phase building-block validation and verification process included multiple elements ranging from formal analysis of HVO procedures to flight test, to full-system architecture prototype that was successfully shown to the public at the June 2005 SATS Technical Demonstration in Danville, VA. Presented are significant results of each of the four research phases that extend early results presented at ICAS 2004. HVO study results have been incorporated into the development of the Next Generation Air Transportation System (NGATS) vision and offer a validated concept to provide a significant portion of the 3X capacity improvement sought after in the United States National Airspace System (NAS).

Williams, Daniel M.↗

Model Checking a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

This report presents the mechanical verification of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs in the absence of faults. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. The system under study is an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. This protocol deterministically converges within a time bound that is a linear function of the self-stabilization period.

Malekpour, Mahyar R.↗

Software Users Manual (SUM): Extended Testability Analysis (ETA) Tool

This software user manual describes the implementation and use the Extended Testability Analysis (ETA) Tool. The ETA Tool is a software program that augments the analysis and reporting capabilities of a commercial-off-the-shelf (COTS) testability analysis software package called the Testability Engineering And Maintenance System (TEAMS) Designer. An initial diagnostic assessment is performed by the TEAMS Designer software using a qualitative, directed-graph model of the system being analyzed. The ETA Tool utilizes system design information captured within the diagnostic model and testability analysis output from the TEAMS Designer software to create a series of six reports for various system engineering needs. The ETA Tool allows the user to perform additional studies on the testability analysis results by determining the detection sensitivity to the loss of certain sensors or tests. The ETA Tool was developed to support design and development of the NASA Ares I Crew Launch Vehicle. The diagnostic analysis provided by the ETA Tool was proven to be valuable system engineering output that provided consistency in the verification of system engineering requirements. This software user manual provides a description of each output report generated by the ETA Tool. The manual also describes the example diagnostic model and supporting documentation - also provided with the ETA Tool software release package - that were used to generate the reports presented in the manual

Maul, William A.↗

Model Checking A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs

This report presents the mechanical verification of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs in the absence of faults. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. The system under study is an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. This protocol deterministically converges within a time bound that is a linear function of the self-stabilization period. A bounded model of the protocol is verified using the Symbolic Model Verifier (SMV) for a subset of digraphs. Modeling challenges of the protocol and the system are addressed. The model checking effort is focused on verifying correctness of the bounded model of the protocol as well as confirmation of claims of determinism and linear convergence with respect to the self-stabilization period.

Malekpour, Mahyar R.↗