SEARCH · Search NASA

Results for “SOUND LOCALIZATION”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 91 records · Page 5

All sources NASA NTRS DOE OSTI

DOE OSTI2026

Compositional Reasoning for Hierarchical State Machines

Harel statecharts and its derivatives are popular graphical languages for specifying discrete control systems via hierarchical state machines. Separately, there has been a long line of work on specifying concurrent systems with process calculi which come equipped with an algebraic theory, the ability reason compositionally about various temporal properties, and strong type systems. While these two approaches to modeling systems are tantalizingly similar, the integrated reasoning principles that exist for process calculi have not been demonstrated in hierarchical state machines. A key issue is that operational theories for process calculi do not behave like control systems, and thus, there is virtually no tool support for modeling control systems with such languages. For a control system designer, bringing the integrated, more scalable reasoning from the process calculi to state-machine languages would enable the specification of more complex systems and a more modular systems development process. Our insight is that we can recover many important results from the process calculi in hierarchical state machines with local scope. We employ a structural operational semantics, which is ubiquitous in process and 𝜆-calculi but uncommon in hierarchical statemachine formalizations, to enable inductive reasoning about behavior. Taking inspiration from the structure of process calculi metatheories, we define a calculus of refinement and equivalence that we prove sound with respect to local notion of (bi)simulation. Furthermore, we prove that the calculus preserves the behavioral properties of reactivity, observational determinism, traces, and linear temporal properties. Our results are mechanized in the Rocq proof assistant.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS2004

Objective Lightning Forecasting at Kennedy Space Center/Cape Canaveral Air Force Station using Cloud-to-Ground Lightning Surveillance System Data

The 45th Weather Squadron (45 WS) forecasters at Cape Canaveral Air Force Station (CCAFS) in Florida include a probability of thunderstorm occurrence in their daily morning briefings. This information is used by personnel involved in determining the possibility of violating Launch Commit Criteria, evaluating Flight Rules for the Space Shuttle, and daily planning for ground operation activities on Kennedy Space Center (KSC)/CCAFS. Much of the current lightning probability forecast is based on a subjective analysis of model and observational data. The forecasters requested that a lightning probability forecast tool based on statistical analysis of historical warm-season (May - September) data be developed in order to increase the objectivity of the daily thunderstorm probability forecast. The tool is a set of statistical lightning forecast equations that provide a lightning occurrence probability for the day by 1100 UTC (0700 EDT) during the warm season. This study used 15 years (1989-2003) of warm season data to develop the objective forecast equations. The local CCAFS 1000 UTC sounding was used to calculate stability parameters for equation predictors. The Cloud-to-Ground Lightning Surveillance System (CGLSS) data were used to determine lightning occurrence for each day. The CGLSS data have been found to be more reliable indicators of lightning in the area than surface observations through local informal analyses. This work was based on the results from two earlier research projects. Everitt (1999) used surface observations and rawinsonde data to develop logistic regression equations that forecast the daily thunderstorm probability at CCAFS. The Everitt (1999) equations showed an improvement in skill over the Neumann-Pfeffer thunderstorm index (Neumann 1971), which uses multiple linear regression, and also persistence and climatology forecasts. Lericos et al. (2002) developed lightning distributions over the Florida peninsula based on specific flow regimes. The flow regimes were inferred from the average wind direction in the 1000-700 mb layer at Miami (MIA), Tampa (TBW), and Jacksonville (JAX), Florida, and the lightning data were from the National Lightning Detection Network. The results suggested that the daily flow regime may be an important predictor of lightning occurrence on KSC/CCAFS.

Lambert, Winifred↗

NASA NTRS2013

Severe Weather Tool using 1500 UTC Cape Canaveral Air Force Station Soundings

People and property at Kennedy Space Center (KSC) and Cape Canaveral Air Force Station (CCAFS) are at risk when severe weather occurs. Strong winds, hail and tornadoes can injure individuals and cause costly damage to structures if not properly protected. NASA's Launch Services Program and Ground Systems Development and Operations Program and other KSC programs use the daily and weekly severe weather forecasts issued by the 45th Weather Squadron (45 WS) to determine if they need to limit an activity such as working on gantries, or protect property such as a vehicle on a pad. The 45 WS requested the Applied Meteorology Unit (AMU) develop a warm season (May-September) severe weather tool for use in the Meteorological Interactive Data Display System (MIDDS) based on the late morning, 1500 UTC (1100 local time), CCAFS (XMR) sounding. The 45 WS frequently makes decisions to issue a severe weather watch and other severe weather warning support products to NASA and the 45th Space Wing in the late morning, after the 1500 UTC sounding. The results of this work indicate that certain stability indices based on the late morning XMR soundings can depict differences between days with reported severe weather and days with no reported severe weather. The AMU determined a frequency of reported severe weather for the stability indices and implemented an operational tool in MIDDS.

Bauman, William H., III↗

NASA NTRS2014

A Sounding-based Severe Weather Tool to Support Daily Operations at Kennedy Space Center and Cape Canaveral Air Force Station

Hail↗

NASA NTRS1973

Preliminary results from the noctilucent sampling from Kiruna in 1970.

On Aug. 8, 1970 at 0148 and 0354 local time, two Pandora sounding rocket payloads were launched from the ESRO range in Kiruna, Sweden, during a noctilucent cloud display. Large numbers of particles were collected, many of which appear to be micrometeorites coated with a low density material. Typical electron micrographs are shown, and numerical densities as a function of altitude are given. Particle composition information has been obtained by use of dispersive X-ray analysis equipment attached to our Philips EM 300 electron microscope.

Hallgren, D. S.↗

NASA NTRS2010

Upgrade Summer Severe Weather Tool in MIDDS

The goal of this task was to upgrade the severe weather database from the previous phase by adding weather observations from the years 2004 - 2009, re-analyze the data to determine the important parameters, make adjustments to the index weights depending on the analysis results, and update the MIDDS GUI. The added data increased the period of record from 15 to 21 years. Data sources included local forecast rules, archived sounding data, surface and upper air maps, and two severe weather event databases covering east-central Florida. Four of the stability indices showed increased severe weather predication. The Total Threat Score (TTS) of the previous work was verified for the warm season of 2009 with very good skill. The TTS Probability of Detection (POD) was 88% and the False alarm rate (FAR) of 8%. Based on the results of the analyses, the MIDDS Severe Weather Worksheet GUI was updated to assist the duty forecaster by providing a level of objective guidance based on the analysis of the stability parameters and synoptic-scale dynamics.

Wheeler, Mark M.↗

NASA NTRS1981

VISSR Atmospheric Sounder (VAS) simulation experiment for a severe storm environment

Radiance fields were simulated for prethunderstorm environments in Oklahoma to demonstrate three points: (1) significant moisture gradients can be seen directly in images of the VISSIR Atmospheric Sounder (VAS) channels; (2) temperature and moisture profiles can be retrieved from VAS radiances with sufficient accuracy to be useful for mesoscale analysis of a severe storm environment; and (3) the quality of VAS mesoscale soundings improves with conditioning by local weather statistics. The results represent the optimum retrievability of mesoscale information from VAS radiance without the use of ancillary data. The simulations suggest that VAS data will yield the best soundings when a human being classifies the scene, picks relatively clear areas for retrieval, and applies a "local" statistical data base to resolve the ambiguities of satellite observations in favor of the most probable atmospheric structure.

Chesters, D.↗

NASA NTRS2005

Forecasting Lightning at Kennedy Space Center/Cape Canaveral Air Force Station, Florida

The Applied Meteorology Unit (AMU) developed a set of statistical forecast equations that provide a probability of lightning occurrence on Kennedy Space Center (KSC) I Cape Canaveral Air Force Station (CCAFS) for the day during the warm season (May September). The 45th Weather Squadron (45 WS) forecasters at CCAFS in Florida include a probability of lightning occurrence in their daily 24-hour and weekly planning forecasts, which are briefed at 1100 UTC (0700 EDT). This information is used for general scheduling of operations at CCAFS and KSC. Forecasters at the Spaceflight Meteorology Group also make thunderstorm forecasts for the KSC/CCAFS area during Shuttle flight operations. Much of the current lightning probability forecast at both groups is based on a subjective analysis of model and observational data. The objective tool currently available is the Neumann-Pfeffer Thunderstorm Index (NPTI, Neumann 1971), developed specifically for the KSCICCAFS area over 30 years ago. However, recent studies have shown that 1-day persistence provides a better forecast than the NPTI, indicating that the NPTI needed to be upgraded or replaced. Because they require a tool that provides a reliable estimate of the daily thunderstorm probability forecast, the 45 WS forecasters requested that the AMU develop a new lightning probability forecast tool using recent data and more sophisticated techniques now possible through more computing power than that available over 30 years ago. The equation development incorporated results from two research projects that investigated causes of lightning occurrence near KSCICCAFS and over the Florida peninsula. One proved that logistic regression outperformed the linear regression method used in NPTI, even when the same predictors were used. The other study found relationships between large scale flow regimes and spatial lightning distributions over Florida. Lightning, probabilities based on these flow regimes were used as candidate predictors in the equation development. Fifteen years (1 989-2003) of warm season data were used to develop the forecast equations. The data sources included a local network of cloud-to-ground lightning sensors called the Cloud-to-Ground Lightning Surveillance System (CGLSS), 1200 UTC Florida synoptic soundings, and the 1000 UTC CCAFS sounding. Data from CGLSS were used to determine lightning occurrence for each day. The 1200 UTC soundings were used to calculate the synoptic-scale flow regimes and the 1000 UTC soundings were used to calculate local stability parameters, which were used as candidate predictors of lightning occurrence. Five logistic regression forecast equations were created through careful selection and elimination of the candidate predictors. The resulting equations contain five to six predictors each. Results from four performance tests indicated that the equations showed an increase in skill over several standard forecasting methods, good reliability, an ability to distinguish between non-lightning and lightning days, and good accuracy measures and skill scores. Given the overall good performance the 45 WS requested that the equations be transitioned to operations and added to the current set of tools used to determine the daily lightning probability of occurrence.

Lambert, Winfred↗

NASA NTRS2016

The Structure of the Local Hot Bubble

Diffuse X-rays from the Local Galaxy (DXL) is a sounding rocket mission designed to quantify and characterize the contribution of Solar Wind Charge eXchange (SWCX) to the Diffuse X-ray Background and study the properties of the Local Hot Bubble (LHB). Based on the results from the DXL mission, we quantified and removed the contribution of SWCX to the diffuse X-ray background measured by the ROSAT All Sky Survey. The cleaned maps were used to investigate the physical properties of the LHB. Assuming thermal ionization equilibrium, we measured a highly uniform temperature distributed around kT = 0.097 keV +/- 0.013 keV (FWHM) +/- 0.006 keV(systematic). We also generated a thermal emission measure map and used it to characterize the three-dimensional (3D) structure of the LHB, which we found to be in good agreement with the structure of the local cavity measured from dust and gas.

X-rays↗

NASA NTRS1996

A Numerical Experiment on the Role of Surface Shear Stress in the Generation of Sound

The sound generated due to a localized flow over an infinite flat surface is considered. It is known that the unsteady surface pressure, while appearing in a formal solution to the Lighthill equation, does not constitute a source of sound but rather represents the effect of image quadrupoles. The question of whether a similar surface shear stress term constitutes a true source of dipole sound is less settled. Some have boldly assumed it is a true source while others have argued that, like the surface pressure, it depends on the sound field (via an acoustic boundary layer) and is therefore not a true source. A numerical experiment based on the viscous, compressible Navier-Stokes equations was undertaken to investigate the issue. A small region of a wall was oscillated tangentially. The directly computed sound field was found to to agree with an acoustic analogy based calculation which regards the surface shear as an acoustically compact dipole source of sound.

Shariff, Karim↗

NASA NTRS1991

Virtual acoustic displays

A 3D auditory display can potentially enhance information transfer by combining directional and iconic information in a quite naturalistic representation of dynamic objects in the interface. Another aspect of auditory spatial clues is that, in conjunction with other modalities, it can act as a potentiator of information in the display. For example, visual and auditory cues together can reinforce the information content of the display and provide a greater sense of presence or realism in a manner not readily achievable by either modality alone. This phenomenon will be particularly useful in telepresence applications, such as advanced teleconferencing environments, shared electronic workspaces, and monitoring telerobotic activities in remote or hazardous situations. Thus, the combination of direct spatial cues with good principles of iconic design could provide an extremely powerful and information-rich display which is also quite easy to use. An alternative approach, recently developed at ARC, generates externalized, 3D sound cues over headphones in realtime using digital signal processing. Here, the synthesis technique involves the digital generation of stimuli using Head-Related Transfer Functions (HRTF's) measured in the two ear-canals of individual subjects. Other similar approaches include an analog system developed by Loomis, et. al., (1990) and digital systems which make use of transforms derived from normative mannikins and simulations of room acoustics. Such an interface also requires the careful psychophysical evaluation of listener's ability to accurately localize the virtual or synthetic sound sources. From an applied standpoint, measurement of each potential listener's HRTF's may not be possible in practice. For experienced listeners, localization performance was only slightly degraded compared to a subject's inherent ability. Alternatively, even inexperienced listeners may be able to adapt to a particular set of HRTF's as long as they provide adequate cues for localization. In general, these data suggest that most listeners can obtain useful directional information from an auditory display without requiring the use of individually-tailored HRTF's.

Wenzel, Elizabeth M.↗

NASA NTRS1982

An observation of LHR noise with banded structure by the sounding rocket S29 Barium-GEOS

The measurement of electrostatic and obviously locally produced noise near the lower hybrid frequency made by the sounding rocket S29 Barium-GEOS is reported. The noise is strongly related to the spin of the rocket and reaches well below the local lower hybrid resonance frequency. Above the altitude of 300 km the noise shows banded structure roughly organized by the hydrogen cyclotron frequency. Simultaneously with the banded structure, a signal near the hydrogen cyclotron frequency is detected. This signal is also spin related. The characteristics of the noise suggest that it is locally generated by the rocket payload disturbing the plasma. If this interpretation is correct we expect plasma wave experiments on other spacecrafts, e.g., the space shuttle to observe similar phenomena.

Koskinen, H. E. J.↗

NASA NTRS1978

Steady-state vortex-line density in turbulent He II counterflow

We have measured the steady-state vortex-line density in turbulent counterflow using a second-sound-burst technique as a local probe. Contrary to the Vinen theory and previous assumptions, we find substantial line-density inhomogeneity and strong departures from the predicted heat-current dependence. Anomalous behavior of the line density at higher heat currents provides evidence for a new secondary flow state.

Ostermeier, R. M.↗

NASA NTRS1982

Experience and assessment of the DOE-NASA Mod-1 2000-Kilowatt wind turbine generator at Boone, North Carolina

The Mod 1 program objectives are defined. The Mod 1 wind turbine is described. In addition to the steel blade operated on the wind turbine, a composite blade was designed and manufactured. During the early phase of the manufacturing cycle of Mod 1A configuration was designed that identified concepts such as partial span control, a soft tower, and upwind teetered rotors that were incorporated in second and third generation industry designs. The Mod 1 electrical system performed as designed, with voltage flicker characteristics within acceptable utility limits. Power output versus wind speed equaled or exceeded design predictions. The wind turbine control system was operated successfully at the site and remotely from the utility dispatcher's office. During wind turbine operations, television interference was experienced by the local residents. As a consequence, operations were restricted. Although not implemented, two potential solutions were identified. In addition to television interference, a few local residents complained bout objectionable sound, particularly the 'thump' as the blade passed behind the tower. To eliminate objections, the sound generation level was reduced by 10 dB by reducing the rotor speed from 35 rpm to 23 rpm. Bolts in the drive train fractured. A solution was identified but not implemented. The public reaction toward the Mod 1 wind turbine program was overwhelmingly favorable.

Collins, J. L.↗

NASA NTRS1988

Radiative instabilities in sheared magnetic field

The structure and growth rate of the radiative instability in a sheared magnetic field B have been calculated analytically using the Braginskii fluid equations. In a shear layer, temperature and density perturbations are linked by the propagation of sound waves parallel to the local magnetic field. As a consequence, density clumping or condensation plays an important role in driving the instability. Parallel thermal conduction localizes the mode to a narrow layer where K(parallel) is small and stabilizes short wavelengths k larger-than(c) where k(c) depends on the local radiation and conduction rates. Thermal coupling to ions also limits the width of the unstable spectrum. It is shown that a broad spectrum of modes is typically unstable in tokamak edge plasmas and it is argued that this instability is sufficiently robust to drive the large-amplitude density fluctuations often measured there.

Drake, J. F.↗

NASA NTRS1990

An evaluation of VAS-derived severe storm parameters

The Visible Infrared Spin Scan Radiometer (VISSR) Atmospheric Sounder (VAS) carried by U.S. meteorological satellites in GEO yield sounding parameters applicable to severe local storm forecasting. Discrepancies between VAS and radiosonde parameters are noted to increase with the number of computational steps required. It is found that VAS-derived parameters incorporating observed surface data yield results superior to those of parameters that do not incorporate them. VAS-derived parameters did not represent consistent improvements over 12-hour limited-area fine-mesh model numerical forecasts.

Olson, Steven R.↗

NASA NTRS1994

Call sign intelligibility improvement using a spatial auditory display

A spatial auditory display was designed for separating the multiple communication channels usually heard over one ear to different virtual auditory positions. The single 19 foot rack mount device utilizes digital filtering algorithms to separate up to four communication channels. The filters use four different binaural transfer functions, synthesized from actual outer ear measurements, to impose localization cues on the incoming sound. Hardware design features include 'fail-safe' operation in the case of power loss, and microphone/headset interfaces to the mobile launch communication system in use at KSC. An experiment designed to verify the intelligibility advantage of the display used 130 different call signs taken from the communications protocol used at NASA KSC. A 6 to 7 dB intelligibility advantage was found when multiple channels were spatially displayed, compared to monaural listening. The findings suggest that the use of a spatial auditory display could enhance both occupational and operational safety and efficiency of NASA operations.

Begault, Durand R.↗

NASA NTRS1994

The Use of a Two-Dimensional, Time-Dependent Cloud Model to Predict Convective and Stratiform Clouds and Precipitation

A two-dimensional, time-dependent cloud model has been used in two field projects to forecast the convective development during the day from the morning sounding. In effect, the cloud model gives a dynamic analysis of the sounding as affected by heating and evaporation at the earth's surface, divergence of the winds throughout the atmosphere, and cloud shadow effects. During the initial project, the Cooperative Huntsville Meteorological Experiment, the results were mixed. Model runs were easily made when soundings were available. but displaying the results in a meaningful and useful way was the limiting factor. In a later experiment, the North Dakota Thunderstorm Project, the problem of displaying results was overcome and soundings were available from the local weather service forecast office with a high degree of reliability. The experimental model correctly forecasts convective development about 80% of the time, and precipitation or no precipitation more than 70% of the time.

Kopp, Fred J.↗