Search NASA⌕ Search

SEARCH · Search NASA

Results for “Model Checking”

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 253 records · Page 14

Fluorescent Particles For Flow Testing

Small alumina spheres coated with fluorescent dye used in flow testing of transparent plastic model of check valve. Entrained fluroescent particles make flows visible. After completion of flow test, particles remaining in valve easily detectable and removed for measurement of their sizes.

Bonnell, Jeremy L.↗

Variation in Heat Transfer During Transient Heating of a Hemisphere at a Mach Number of 2

Convective heat-transfer tests were made on a 5-inch-diameter hemisphere to determine the variation of Stanton number with the ratio of wall temperature to total temperature. The tests were made at a nominal Mach number of 2 for stagnation temperatures of 760 deg R, 1,030 deg R, and 1,380 deg R. The model was constructed so that radiation effects and also streamwise conduction effects within the model skin were minimized. The results of the tests verified that these effects were small. Tests which were made with different masses of air inside the model to check for conduction effects to the internal air cavity showed these effects to be negligible. For laminar flow on the hemisphere, the Stanton number remained essentially constant as the ratio of wall temperature to total temperature increased. However, for fully established turbulent flow, the Stanton number at some stations decreased on the order of 50 percent as the ratio of wall temperature to total temperature increased. A theory which agreed fairly well with the trend of this decrease is shown for comparison.

English, Roland D.↗

Planar Strain-Rate-Free Diffusion Flames: Initiation, Properties, and Extinction

An effectively strain-rate-free diffusion flame constitutes the most vigorous laminar combustion of initially unmixed reactive gases. Such a diffusion flame is characterized by a relatively long residence time and by a relatively large characteristic length scale. If such a flame were also planar, providing high symmetry, it would be particularly suitable for experimental and theoretical investigations of key combustion phenomena, such as multicomponent diffusion, chemical kinetics, and soot inception, growth, and oxidation. Unfortunately, a planar strain-rate-free diffusion flame is highly disrupted in earth-gravity (e.g., in a counterflow-diffusion-flame apparatus) because of the very rapid onset (approx. 100 ms) of gravity-induced instability. Accordingly, a specially dedicated apparatus was designed, fabricated, and initially checked out for the examination of a planar strain-rate-free diffusion flame in microgravity. Such a diffusion flame may be formed within a hollowed-out squat container (initially configured as 25 cm x 25 cm x 9 cm), with isothermal, noncatalytic, impervious walls. At test initiation, a thin metallic sheet (approx. 1 mm in thickness) that separates the internal volume into two equal portions, each of dimensions 25 cm x 25 cm x 4.5 cm, is withdrawn, by uniform translation (approx. 50 cm/s) in its own plane, through a tightly fitting slit in one side wall. Thereupon, diluted fuel vapor (initially confined to one half-volume of the container) gains access to diluted oxygen (initially with the same pressure, density, and temperature as the fuel, but initially confined to the other half-volume). After a brief delay (approx. 10 ms), to permit limited but sufficient-for-flammability diffusional interpenetration of fuel vapor and oxidizer, burning is initiated by discharge of a line igniter, located along that side wall from which the trailing edge of the separator withdraws. The ignition spawns a triple-flame propagation across the 25 cm x 25 cm centerplane. When a diffusion flame is emplaced in the centerplane, any subsequent travel, and change in temperature, of that planar diffusion flame may be tracked, along with the effectively spatially uniform but temporally evolving pressure within the container. Eventually, nearly complete depletion of the stoichiometrically deficient reactant, along with heat loss to the container surfaces, effects extinction. These data afford an opportunity to check theoretical models of diffusion and chemical kinetics under conditions ranging from intense burning to flame out, or, alternatively, to evolve simple empirical representations of these phenomena. Thus, the project sought to utilize microgravity testing to elucidate commonly encountered phenomenology, arising in the commonly-encountered mode of combustion (whether related to heating, manufacturing, boiling, and propulsion, or to uncontrolled, free-burning fire in structures and wildland vegetation), of those commonly utilized fuels usually categorized as gaseous fuels (such as hydrogen, natural gas, and propane, which are gaseous under atmospheric conditions).

Fendell, Francis↗

Global Remote Sensing of Precipitating Electron Energies: A Comparison of Substorms and Pressure Pulse Related Intensifications

The Polar Ultraviolet Imager (UVI) observes aurora responses to incident solar wind pressure pulses and interplanetary shocks such its those associated with coronal mass ejections. Previous observations have demonstrated that the arrival of it pressure pulse at the front of the magnetosphere results in highly disturbed geomagnetic conditions and a substantial increase in both dayside and nightside aurora precipitations. Our observations show it simultaneous brightening over bread areas of the dayside and nightside auroral in response to a pressure pulse, indicating that more magnetospheric regions participate as sources for auroral precipitation than during isolate substorm. We estimate the characteristic energies of incident auroral electrons using Polar UVI images and compare the precipitation energies during pressure pulse associated event to those during isolated substorms. We estimate the characteristic energies of incident auroral electrons using Polar UVI images and compare the precipitation energies during pressure pulse associated events to those during isolated auroral substorms. Electron precipitation during substorms has characteristic energies greater than 10 KeV and is structured both in local time and in magnetic latitude. For auroral intensifications following the arrival of'a pressure pulse or interplanetary shock. Electron precipitation is less spatially structured and has greater flux of lower characteristic energy electrons (Echar less than 7 KeV) than during isolated substorm onsets. These observations quantify the differences between global and local auroral precipitation processes and will provide a valuable experimental check for models of sudden storm commencements and magnetospheric response to perturbations in the solar wind.

Chua, D.↗

Energy Characteristics of Auroral Electron Precipitation: A Comparison of Substorms and Pressure Pulse Related Auroral Activity

The Polar Ultraviolet Imager (UVI) observes auroral responses to incident solar wind pressure pulses and interplanetary shocks such as those associated with coronal mass ejections. The arrival of a CME pressure pulse at the front of the magnetosphere results in highly disturbed geomagnetic conditions and a substantial increase in both dayside and nightside auroral precipitation. Our observations show a simultaneous brightening over broad areas of the dayside and nightside aurora in response to a pressure pulse, indicating that more magnetospheric regions participate as sources for auroral precipitation than during isolated substorms. We estimate the average energies of incident auroral electrons using Polar UVI images and compare the precipitation energies during pressure pulse associated events to those during isolated auroral substorms. Electron precipitation during substorms has average energies greater than 10 keV and is structured both in local time and magnetic latitude. For auroral intensifications following the arrival of a pressure pulse or interplanetary shock, electron precipitation is less spatially structured and has greater ux of lower energy electrons (Eave _ 7 keV) than during isolated substorm, onsets. The average energies of the precipitating electrons inferred from UVI are consistent with those measured in-situ by the FAST spacecraft. These observations quantify the differences between global and local auroral precipitation processes and will provide a valuable experimental check for models of sudden storm commencements and magnetospheric response to perturbations in the solar wind.

Chua, D.↗

Analysis of Flow Angularity Repeatability Tests in the NTF

An extensive data base of flow angularity repeatability measurements from four NTF check standard model tests is analyzed for statistical consistency and to characterize the results for prediction of angle-of-attack uncertainty for customer tests. A procedure for quality assurance for flow angularity measurements during customer tests is also presented. The efficacy of the procedure is tested using results from a customer test.

Hemsch, Michael J.↗

Managing information technology security risk

Information Technology (IT) Security Risk Management is a critical task for the organization to protect against the loss of confidentiality, integrity and availability of IT resources. As systems bgecome more complex and diverse and and attacks from intrusions and malicious content increase, it is becoming increasingly difficult to manage IT security risk. This paper describes a two-pronged approach in addressing IT security risk and risk management in the organization: 1) an institutional enterprise appraoch, and 2) a project life cycle approach.

security toolset↗

The HiVy tool set

Our aim is to validate mission-specific components of spacecraft flight software designs that are specified using state-charts and translated automatically to the final flight code for the mission. We established an automatic translation tool set from state-charts to SPIN for the validation of such mission-specific components.

translation↗

Using software security analysis to verify the secure socket layer (SSL) protocol

nal Aeronautics and Space Administration (NASA) have tens of thousands of networked computer systems and applications. Software Security vulnerabilities present risks such as lost or corrupted data, information the3, and unavailability of critical systems. These risks represent potentially enormous costs to NASA. The NASA Code Q research initiative 'Reducing Software Security Risk (RSSR) Trough an Integrated Approach '' offers, among its capabilities, formal verification of software security properties, through the use of model based verification (MBV) to address software security risks. [1,2,3,4,5,6] MBV is a formal approach to software assurance that combines analysis of software, via abstract models, with technology, such as model checkers, that provide automation of the mechanical portions of the analysis process. This paper will discuss: The need for formal analysis to assure software systems with respect to software and why testing alone cannot provide it. The means by which MBV with a Flexible Modeling Framework (FMF) accomplishes the necessary analysis task. An example of FMF style MBV in the verification of properties over the Secure Socket Layer (SSL) communication protocol as a demonstration.

software↗

Reducing software security risk through an integrated approach research initiative model based verification of the Secure Socket Layer (SSL) Protocol

This document discusses the verification of the Secure Socket Layer (SSL) communication protocol as a demonstration of the Model Based Verification (MBV) portion of the verification instrument set being developed under the Reducing Software Security Risk (RSSR) Trough an Integrated Approach research initiative. Code Q of the National Aeronautics and Space Administration (NASA) funds this project. The NASA Goddard Independent Verification and Validation (IV&V) facility manages this research program at the NASA agency level and the Assurance Technology Program Office (ATPO) manages the research locally at the Jet Propulsion Laboratory (California institute of Technology) where the research is being carried out.

software security↗