Search NASA⌕ Search

SEARCH · Search NASA

Results for “Practices”

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 343 records · Page 19
All sourcesNASA NTRSDOE OSTI
NASA NTRS2003

Practical Formal Verification of Diagnosability of Large Models via Symbolic Model Checking

This document reports on the activities carried out during a four-week visit of Roberto Cavada at the NASA Ames Research Center. The main goal was to test the practical applicability of the framework proposed, where a diagnosability problem is reduced to a Symbolic Model Checking problem. Section 2 contains a brief explanation of major techniques currently used in Symbolic Model Checking, and how these techniques can be tuned in order to obtain good performances when using Model Checking tools. Diagnosability is performed on large and structured models of real plants. Section 3 describes how these plants are modeled, and how models can be simplified to improve the performance of Symbolic Model Checkers. Section 4 reports scalability results. Three test cases are briefly presented, and several parameters and techniques have been applied on those test cases in order to produce comparison tables. Furthermore, comparison between several Model Checkers is reported. Section 5 summarizes the application of diagnosability verification to a real application. Several properties have been tested, and results have been highlighted. Finally, section 6 draws some conclusions, and outlines future lines of research.

Cavada, Roberto↗
NASA NTRS2001

A Practical Approach to Modified Condition/Decision Coverage

Testing of software intended for safety-critical applications in commercial transport aircraft must achieve modified condition/decision coverage (MC/DC) of the software structure. This requirement causes anxiety for many within the aviation software community. Results of a survey of the aviation software industry indicate that many developers believe that meeting the MC/DC requirement is difficult, and the cost is exorbitant. Some of the difficulties stem, no doubt, from the scant information available on the subject. This paper provides a practical 5-step approach for assessing MC/DC for aviation software products, and an analysis of some types of errors expected to be caught when MC/DC is achieved1.

Hayhurst, Kelly J.↗
NASA NTRS2004

Ocular static and dynamic light scattering: a noninvasive diagnostic tool for eye research and clinical practice

The noninvasive techniques of static and dynamic light scattering are emerging as valuable diagnostic tools for the early detection of ocular and systemic diseases. These include corneal abnormalities, pigmentary dispersion syndrome, glaucoma, cataract, diabetic vitreopathy, and possibly macular degeneration. Systemic conditions such as diabetes and possibly Alzheimer's disease can potentially be detected early via ocular tissues. The current state of development of these techniques for application to ophthalmic research and ultimately clinical practice is reviewed. (c) 2004 Society of Photo-Optical Instrumentation Engineers.

Review↗
NASA NTRS1999

New approaches to the Doppler echocardiographic assessment of diastolic function: from research laboratory to clinical practice

Over the past decade, Doppler echocardiography has become a well-established tool for the diagnosis of left ventricular diastolic dysfunction. Unfortunately, in many clinical situations traditional Doppler indices of transmittal and pulmonary venous flow are inconclusive, primarily due to their dependence on left atrial pressure. Recently, new Doppler indices that are much less dependent on preload have been developed, based on intraventricular flow propagation and intrinsic myocardial velocity. These methodologies provide direct assessment of ventricular relaxation and the small intraventricular pressure gradients essential to efficient filling of the ventricle. We review in this article the theoretical and experiment background of these new echo techniques as well as how they can be implemented in routine clinical practice.

NASA Discipline Cardiopulmonary↗
NASA NTRS1995

Interactions of CO2, temperature and management practices: simulations with a modified version of CERES-Wheat

A new growth subroutine was developed for CERES-Wheat, a computer model of wheat (Triticum aestivum) growth and development. The new subroutine simulates canopy photosynthetic response to CO2 concentrations and light levels, and includes the effects of temperature on canopy light-use efficiency. Its performance was compared to the original CERES-Wheat V-2 10 in 30 different cases. Biomass and yield predictions of the two models were well correlated (correlation coefficient r > 0.95). As an application, summer growth of spring wheat was simulated at one site. Modeled crop responses to higher mean temperatures, different amounts of minimum and maximum warming, and doubled CO2 concentrations were compared to observations. The importance of irrigation and nitrogen fertilization in modulating the wheat crop climatic responses were also analyzed. Specifically, in agreement with observations, rainfed crops were found to be more sensitive to CO2 increases than irrigated ones. On the other hand, low nitrogen applications depressed the ability of the wheat crop to respond positively to CO2 increases. In general, the positive effects of high CO2 on grain yield were found to be almost completely counterbalanced by the negative effects of high temperatures. Depending on how temperature minima and maxima were increased, yield changes averaged across management practices ranged from -4% to 8%.

NASA Discipline Life Support Systems↗
NASA NTRS2004

Application of Recommended Design Practices for Conceptual Nuclear Fusion Space Propulsion Systems

An AIAA Special Project Report was recently produced by AIAA's Nuclear and Future Flight Propulsion Technical Committee and is currently in peer review. The Report provides recommended design practices for conceptual engineering studies of nuclear fusion space propulsion systems. Discussion and recommendations are made on key topics including design reference missions, degree of technological extrapolation and concomitant risk, thoroughness in calculating mass properties (nominal mass properties, weight-growth contingency and propellant margins, and specific impulse), and thoroughness in calculating power generation and usage (power-flow, power contingencies, specific power). The report represents a general consensus of the nuclear fusion space propulsion system conceptual design community and proposes 15 recommendations. This paper expands on the Report by providing specific examples illustrating how to apply each of the recommendations.

Williams, Craig H.↗
NASA NTRS2004

Assessment of Technologies for the Space Shuttle External Tank Thermal Protection System and Recommendations for Technology Improvement: Structural Analysis Technologies and Modeling Practices - Part 2

A technology review and assessment of modeling and analysis efforts underway in support of a safe return to flight of the thermal protection system (TPS) for the Space Shuttle external tank (ET) are summarized. This review and assessment effort focuses on the structural modeling and analysis practices employed for ET TPS foam design and analysis and on identifying analysis capabilities needed in the short-term and long-term. The current understanding of the relationship between complex flight environments and ET TPS foam failure modes are reviewed as they relate to modeling and analysis. A literature review on modeling and analysis of TPS foam material systems is also presented. Finally, a review of modeling and analysis tools employed in the Space Shuttle Program is presented for the ET TPS acreage and close-out foam regions. This review includes existing simplified engineering analysis tools are well as finite element analysis procedures.

Knight, Norman F., Jr.↗
NASA NTRS2004

Assessment of Technologies for the Space Shuttle External Tank Thermal Protection System and Recommendations for Technology Improvement: Structural Analysis Technologies and Modeling Practices - Part 2

A technology review and assessment of modeling and analysis efforts underway in support of a safe return to flight of the thermal protection system (TPS) for the Space Shuttle external tank (ET) are summarized. This review and assessment effort focuses on the structural modeling and analysis practices employed for ET TPS foam design and analysis and on identifying analysis capabilities needed in the short-term and long-term. The current understanding of the relationship between complex flight environments and ET TPS foam failure modes are reviewed as they relate to modeling and analysis. A literature review on modeling and analysis of TPS foam material systems is also presented. Finally, a review of modeling and analysis tools employed in the Space Shuttle Program is presented for the ET TPS acreage and close-out foam regions. This review includes existing simplified engineering analysis tools are well as finite element analysis procedures.

Knight, Norman F., Jr.↗
NASA NTRS2006

Practical Aspects of the Equation-Error Method for Aircraft Parameter Estimation

Various practical aspects of the equation-error approach to aircraft parameter estimation were examined. The analysis was based on simulated flight data from an F-16 nonlinear simulation, with realistic noise sequences added to the computed aircraft responses. This approach exposes issues related to the parameter estimation techniques and results, because the true parameter values are known for simulation data. The issues studied include differentiating noisy time series, maximum likelihood parameter estimation, biases in equation-error parameter estimates, accurate computation of estimated parameter error bounds, comparisons of equation-error parameter estimates with output-error parameter estimates, analyzing data from multiple maneuvers, data collinearity, and frequency-domain methods.

Morelli, Eugene a.↗
NASA NTRS1999

Panel: Practical Issues in Implementing Software Reliability Measurement

Many ways of estimating software systems' reliability, or reliability-related quantities, have been developed over the past several years. In this panel, we discuss practical issues to be addressed in implementing software reliabilty measurement techniques in a production development environment.

software reliability software measurement software↗