Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “verication”

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.

6 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2017

MESA: Message-Based System Analysis Using Runtime Verification

In this paper, we present a novel approach and framework for run-time verication of large, safety critical messaging systems. This work was motivated by verifying the System Wide Information Management (SWIM) project of the Federal Aviation Administration (FAA). SWIM provides live air traffic, site and weather data streams for the whole National Airspace System (NAS), which can easily amount to several hundred messages per second. Such safety critical systems cannot be instrumented, therefore, verification and monitoring has to happen using a nonintrusive approach, by connecting to a variety of network interfaces. Due to a large number of potential properties to check, the verification framework needs to support efficient formulation of properties with a suitable Domain Specific Language (DSL). Our approach is to utilize a distributed system that is geared towards connectivity and scalability and interface it at the message queue level to a powerful verification engine. We implemented our approach in the tool called MESA: Message-Based System Analysis, which leverages the open source projects RACE (Runtime for Airspace Concept Evaluation) and TraceContract. RACE is a platform for instantiating and running highly concurrent and distributed systems and enables connectivity to SWIM and scalability. TraceContract is a runtime verication tool that allows for checking traces against properties specified in a powerful DSL. We applied our approach to verify a SWIM service against several requirements.We found errors such as duplicate and out-of-order messages.

Message-based System↗
NASA NTRS1977

Particle size distributions and the vertical distribution of suspended matter in the upwelling region off Oregon

Various methods of presenting and mathematically describing particle size distribution are explained and evaluated. The hyperbolic distribution is found to be the most practical but the more complex characteristic vector analysis is the most sensitive to changes in the shape of the particle size distributions. A method for determining onshore-offshore flow patterns from the distribution of particulates was presented. A numerical model of the vertical structure of two size classes of particles was developed. The results show a close similarity to the observed distributions but overestimate the particle concentration by forty percent. This was attributed to ignoring grazing by zooplankton. Sensivity analyses showed the size preference was most responsive to the maximum specific growth rates and nutrient half saturation constants. The verical structure was highly dependent on the eddy diffusivity followed closely by the growth terms.

Kitchen, J. C.↗
NASA NTRS1985

The use of the McIlwain L-parameter to estimate cosmic ray vertical cutoff rigidities for different epochs of the geomagnetic field

Secular changes in the geomagnetic field between 1955 and 1980 have been large enough to produce significant differences in both the verical cutoff rigidities and in the L-value for a specified position. A useful relationship employing the McIlwain L-parameter to estimate vertical cutoff rigidities has been derived for the twenty-five year period.

Shea, M. A.↗
NASA NTRS1994

Topography and subduction geometry in the central Andes: Clues to the mechanics of a noncollisional orogen

The central Andeean orogen between 12 deg and 32 deg S latitude exhibits a high degree of spatial order: principally an extraordinary bilateral symmetry that is common to the Earth's surface, the underlying Wadati-Benioff zone, and the Nazca/South America plate kinematics, which has been stable since the mid-Tertiary. This spatial order must reflect the physical mechanisms of mountain building in this noncollisional orogen. The shapes of the topography and subduction zone can be reduced to symmetric and antisummeric components relative to any verical symmetry plane; the particular plaen which minimizes the antisymmetry (and maximizes the symmetry) is well resolved and is essentially coincident with the stable Euler equator of Nacza/South America relative motion since the mid-Tertiary. That the topography, subduction geometry, and persistent mid-Tertiary plate kinematics share common spatial and geometric elements suggests that he distribution of topography in this orogen depends strongly on the dynamics of subduction. Other factors that might affect the topography and underlying tectonics, such as climate and inherited strutura fabric, which have different spatial characterisitcs, must be of less significance at a continental scale. Furthermore, the small components of asymmetry among the various elements of the orogen appear to be mutually relate in a simple way; it is possible that this coupled asymmetry is associated with a late Teriary change in plate kinematics. These observations suggest that there is a close connection between plate tectonics and the form of the Earth's surface in this noncollisional setting. It follows hta the distribution of topography near convergent plate boundaries may provide a powerful constraing for understanding the dynamics of subduction.

Gephart, John W.↗
NASA NTRS2018

Gamma Energy Evaluation for Creation of Cd-111(sub m), In-113(sub m), and In-115(sub m) Isotopes

NASA Glenn Research Center is investigating nuclear reactions in deuterated materials exposed to bremsstrahlung photons with kinetic energies from 1-3MeV. Recent experiments used a continuous beam Dynamitron electron accelerator with a braking target. Electron beam energy loss verication was desired and experiments using cadmium and indium were completed which are known to transition to excited metastable states after exposure to bremsstrahlung photons. The gamma spin-up of Cd-111, In-113, and In-115 are with photon beam energies of 1017keV, 1024keV, and 941keV respectively. Recent tests corroborated published gamma energies using a beam energy loss of 62 to 74keV.

Benyo, Theresa L.↗