Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Radio”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

Portable Wireless LAN Device and Two-Way Radio Threat Assessment for Aircraft VHF Communication Radio Band

This document summarizes the safety analysis performed on a Flight Guidance System (FGS) requirements model. In particular, the safety properties desired of the FGS model are identified and the presence of the safety properties in the model is formally verified. Chapter 1 provides an introduction to the entire project, while Chapter 2 gives a brief overview of the problem domain, the nature of accidents, model based development, and the four-variable model. Chapter 3 outlines the approach. Chapter 4 presents the results of the traditional safety analysis techniques and illustrates how the hazardous conditions associated with the system trace into specific safety properties. Chapter 5 presents the results of the formal methods analysis technique model checking that was used to verify the presence of the safety properties in the requirements model. Finally, Chapter 6 summarizes the main conclusions of the study, first and foremost that model checking is a very effective verification technique to use on discrete models with reasonable state spaces. Additional supporting details are provided in the appendices.

Nguyen, Truong X.↗
NASA NTRS1993

A study of the x ray environment of radio galaxies

We are currently working on a program to use extensive x-ray and radio databases to investigate the relationship between extended radio emission and environment in clusters of galaxies. The radio galaxy morphology is determined using VLA imaging and the x-ray properties are determined from Einstein IPC images. This study is motivated by the hypothesis that the key to understanding radio galaxies lies in the local environment. To test this hypothesis we have studied the detailed relationship between galaxy radio emission and the x-ray morphology of their parent clusters. In this pilot study we have used 35 radio sources found in 27 clusters. We have determined the position angle of the x-ray and radio emission, and x-ray and radio luminosities. The x-ray position was taken to be the position of peak flux of the subclump containing the radio galaxy. The radio position was taken to be the position of the galaxy. We do not find a correlation between the x-ray and radio source position angle. This remains true when the sample is divided into subsamples according to radio morphology (wide angle tail, twin jet, narrow angle tail galaxies). We find a weak correlation between the radio source luminosity and the x-ray luminosity. We have computed the distance from the radio galaxy position to the center of the x-ray clump. We find a mean distance from the x-ray clump center of 0.16 Mpc for the radio galaxies in this sample. The mean distance to the nearest clump of x-ray emission is typically half the distance to the optical cluster center. We thus find strong evidence that radio galaxies are located very close to clumps of x-ray emission. These subclumps are not always affiliated with the central cluster x-ray emission. This supports our hypothesis that x-ray emission may provide a key to understanding radio galaxy morphology. We find evidence that radio galaxies occur in clusters that contain prominent substructures. Radio galaxies may thus provide an added diagnostic of the cluster dynamical state.

Rhee, George F.↗