Search NASA⌕ Search

SEARCH · Search NASA

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 NTRS1992

Radio continuum and radio recombination line observations of Sagittarius B1 and G0.6-0.0

Continuum emission and H110-alpha recombination line emission from Sgr B1 and G0.6-0.0 have been observed using the VLA. It is shown that Sgr B1 is a region of great complexity, both spatially and kinematically. The continuum observations show that this region is dominated by many extended features rather than compact sources. On the other hand, Sgr B2 is dominated by several ultracompact H II regions. The two regions may be in different stages of evolution, with Sgr B1 being older, perhaps by as much as 0 exp 6 yrs. The recombination line study shows that Sgr B1 is composed of two distinct kinematic regions, a simple western one and a more complex eastern one. G0.6-0.0 is a region composed of at least four ultracompact H II regions that is situated between Sgr B1 and Sgr B2. There is an arc of ionized gas that lies to the east and to the south of these compact regions. The velocity of G0.6-0.0 is intermediate between those of Sgr B1 and Sgr B2. These facts strengthen the argument that these regions are physically associated.

Mehringer, David M.↗
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.↗