SEARCH · Search NASA

Results for “temporal computing”

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 595 records · Page 33

All sources NASA NTRS DOE OSTI

NASA NTRS2014

Model Checking Degrees of Belief in a System of Agents

Reasoning about degrees of belief has been investigated in the past by a number of authors and has a number of practical applications in real life. In this paper we present a unified framework to model and verify degrees of belief in a system of agents. In particular, we describe an extension of the temporal-epistemic logic CTLK and we introduce a semantics based on interpreted systems for this extension. In this way, degrees of beliefs do not need to be provided externally, but can be derived automatically from the possible executions of the system, thereby providing a computationally grounded formalism. We leverage the semantics to (a) construct a model checking algorithm, (b) investigate its complexity, (c) provide a Java implementation of the model checking algorithm, and (d) evaluate our approach using the standard benchmark of the dining cryptographers. Finally, we provide a detailed case study: using our framework and our implementation, we assess and verify the situational awareness of the pilot of Air France 447 flying in off-nominal conditions.

MAS Verification↗

NASA NTRS2023

Flexible Data Fusion for Air Quality Estimation and Forecasting in Google Earth Engine to support Global Health Management Needs

The assessment and forecasting of air quality around the world at high spatial and temporal resolution can be enhanced by integrating data from multiple sources including models, satellites, regulatory monitors, and low-cost sensors. Such integration is subject to numerous technical challenges, however, including heterogeneous data resolution and formatting, different levels of data availability and reliability, and computational and capacity challenges to developing data fusion tools and platforms. This presentation will provide an overview of a NASA-funded effort to develop a data fusion system within the Google Earth Engine platform which integrates these air quality data sources to produce comprehensive assessments and forecasts of key air pollutants at sub-daily and sub-city scales. The system is being developed in collaboration with city- and regional-level air quality managers, and will provide them with information to the assess and anticipate the health impacts of poor air quality, track local changes in air quality due to ongoing transportation and land use changes, and identify potential gaps in their current air quality monitoring strategies. The presentation will report advances achieved through the project, including bringing local air quality monitoring data into Google Earth Engine, quantifying uncertainties in air quality estimates and forecasts, and tailored communications tools providing integration into end-user processes to meet their needs.

Carl Malings↗

NASA NTRSDate not supplied

Flexible Data Fusion for Air Quality Estimation and Forecasting in Google Earth Engine to support Global Health Management Needs

The assessment and forecasting of air quality around the world at high spatial and temporal resolution can be enhanced by integrating data from multiple sources including models, satellites, regulatory monitors, and low-cost sensors. Such integration is subject to numerous technical challenges, however, including heterogeneous data resolution and formatting, different levels of data availability and reliability, and computational and capacity challenges to developing data fusion tools and platforms. This presentation will provide an overview of a NASA-funded effort to develop a data fusion system within the Google Earth Engine platform which integrates these air quality data sources to produce comprehensive assessments and forecasts of key air pollutants at sub-daily and sub-city scales. The system is being developed in collaboration with city- and regional-level air quality managers and will provide them with information to the assess and anticipate the health impacts of poor air quality, track local changes in air quality due to ongoing transportation and land use changes, and identify potential gaps in their current air quality monitoring strategies. The presentation will report advances achieved through the project, including bringing local air quality monitoring data into Google Earth Engine, quantifying uncertainties in air quality estimates and forecasts, and tailored communications tools providing integration into end-user processes to meet their needs.

Nathan R. Pavlovic↗

NASA NTRS1985

Automated mesoscale winds derived from GOES multispectral imagery

An automated technique for extracting mesoscale winds from sequences of GOES visible infrared spin scan radiatiometer (VISSR) image pairs has been developed, tested extensively, and configured for quasi-real time research applications on the Atmospheric Sciences Division's research computing sytem. The entire system of computer codes was successfully vectorized for execution on an array processor resulting in job turnaround in less than 1 hour. An objective quality control system provides much greater than 99 percent accuracy in eliminating questionable wind estimates. Dynamical analysis of cloud wind divergence has revealed temporally consistent convergence centers on the meso-beta scale that are highly correlated with ongoing and future developing convective storms.

Wilson, G. S.↗

NASA NTRS1989

Optical distributed sensing and computation for a proposed flexible beam experiment

A new technology is being developed that supports distributed sensing and computation wherein crystal mediums are used with real-time holography to gather images that contain vibration and instantaneous geometry data for a spacecraft. Optical computation techniques are employed to process the image data and to compute commands to actuators located on the spacecraft. This paper presents an integrated sensor/processor design for an experiment to demonstrate this technology. A performance estimate for the design is presented in terms of the optical spatial bandwidth of the imaging system, as opposed to the temporal bandwidth. The advantages of an integrated optical sensor/processor relative to control of large spacecraft are addressed.

Welch, S. S.↗

NASA NTRS1991

Numerical simulation of shock-induced combustion/detonation in a premixed H2-air mixture using Navier-Stokes equations

A numerical study was conducted to address the structural stability of the oblique detonation wave. An attempt was made to isolate the structural instability predicted by Buckmaster's (1990) linear stability analysis. For this study a detailed viscous flowfield with finite-rate chemistry was computed past a 20-deg wedge. The finite-rate chemistry was modeled by using a seven-species and seven-reaction model. Instability modes were isolated by analyzing the Fourier power spectrum of the H2O mass fraction at selected sample stations. No unstable temporal modes with dominant frequency were isolated. It was concluded that the instability which is predicted by the Buckmaster work was a high-frequency low-amplitude phenomenon. For engineering purposes, the oblique detonation wave is a stable phenomenon as long as sufficient levels of overdrive are present.

Singh, D. J.↗

NASA NTRS1993

Time-dependent thermocapillary convection in a Cartesian cavity - Numerical results for a moderate Prandtl number fluid

The present numerical simulation explores a thermal-convective mechanism for oscillatory thermocapillary convection in a shallow Cartesian cavity for a Prandtl number 6.78 fluid. The computer program developed for this simulation integrates the two-dimensional, time-dependent Navier-Stokes equations and the energy equation by a time-accurate method on a stretched, staggered mesh. Flat free surfaces are assumed. The instability is shown to depend upon temporal coupling between large scale thermal structures within the flow field and the temperature sensitive free surface. A primary result of this study is the development of a stability diagram presenting the critical Marangoni number separating steady from the time-dependent flow states as a function of aspect ratio for the range of values between 2.3 and 3.8. Within this range, a minimum critical aspect ratio near 2.3 and a minimum critical Marangoni number near 20,000 are predicted below which steady convection is found.

Peltier, L. J.↗

NASA NTRS1994

Hidden Markov Models for Fault Detection in Dynamic Systems

Continuous monitoring of complex dynamic systems is an increasingly important issue in diverse areas such as nuclear plant safety, production line reliability, and medical health monitoring systems. Recent advances in both sensor technology and computational capabilities have made on-line permanent monitoring much more feasible than it was in the past. In this paper it is shown that a pattern recognition system combined with a finite-state hidden Markov model provides a particularly useful method for modelling temporal context in continuous monitoring. The parameters of the Markov model are derived from gross failure statistics such as the mean time between failures. The model is validated on a real-world fault diagnosis problem and it is shown that Markov modelling in this context offers significant practical benefits.

Smyth, Padhraic↗

NASA NTRS2002

Correlations among the Optical Properties of Cirrus-Cloud Particles: Microphysical Interpretation

Cirrus measurements obtained with a ground-based polarization Raman lidar at 67.9 deg N in January 1997 reveal a strong positive correlation between the particle optical properties, specifically depolarization ratio delta(sub par) and extinction- to-backscatter (lidar) ratio S, for delta(sub par) less than approximately 40%, and an anti-correlation for delta(sub par) greater than approximately 40%. Over the length of the measurements the particle properties vary systematically. Initially, delta (sub par) approximately equals 60% and S approximately equals 10sr are observed. Then, with decreasing delta(sub par), S first increases to approximately 27sr (delta(sub par) approximately equals 40%) before decreasing to values around 10sr again (delta(sub par) approximately equals 20%). The analysis of lidar humidity and radiosonde temperature data shows that the measured optical properties stem from scattering by dry solid ice particles, while scattering by supercooled droplets, or by wetted or subliming ice particles can be excluded. For the microphysical interpretation of the lidar measurements, ray-tracing computations of particle scattering properties have been used. The comparison with the theoretical data suggests that the observed cirrus data can be interpreted in terms of size, shape, and, under the assumption that the lidar measurements of consecutive cloud segments can be mapped on the temporal development of a single cloud parcel moving along its trajectory, growth of the cirrus particles: Near the cloud top in the early stage of cirrus development, light scattering by nearly isometric particles that have the optical characteristics of hexagonal columns (short, column-like particles) is dominant. Over time the ice particles grow, and as the cloud base height extends to lower altitudes characterized by warmer temperatures they become morphologically diverse. For large S and depolarization values of approximately 40%, the scattering contributions of column- and plate-like particles are roughly the same. In the lower ranges of the cirrus clouds, light scattering is predominantly by plate-like ice particles. This interpretation assumes random orientation of the cirrus particles. Simulations with a simple model suggest, however, that the positive correlation between S and delta(sub par) which is observed for depolarization ratios less than 40% mainly at low cloud altitudes, can be alternatively explained by horizontal alignment of a fraction of the cirrus particle population.

Reichardt, J.↗

NASA NTRS2010

Magnetic Field Measurement on the C/NOFS Satellite: Geomagnetic Storm Effects in the Low Latitude Ionosphere

The Vector Electric Field Investigation (VEFI) suite onboard the Communications/Navigation Outage Forecasting System (C/NOFS) spacecraft includes a sensitive fluxgate magnetometer to measure DC and ULF magnetic fields in the low latitude ionosphere. The instrument includes a DC vector measurement at 1 sample/sec with a range of +/- 45,000 nT whose primary objective is to provide direct measurements of both V x B and E x B that are more accurate than those obtained using a simple magnetic field model. These data can also be used for scientific research to provide information of large-scale ionospheric and magnetospheric current systems, which, when analyzed in conjunction with the C/NOFS DC electric field measurements, promise to advance our understanding of the electrodynamics of the low latitude ionosphere. In this study, we use the magnetic field data to study the temporal and local time variations of the ring currents during geomagnetic storms. We first compare the in situ measurements with the POMME (the POtsdam Magnetic Model of the Earth) model in order to provide an in-flight "calibration" of the data as well as compute magnetic field residuals essential for revealing large scale external current systems. We then compare the magnetic field residuals observed both during quiet times and during geomagnetic storms at the same geographic locations to deduce the magnetic field signatures of the ring current. As will be shown, the low inclination of the C/NOFS satellite provides a unique opportunity to study the evolution of the ring current as a function of local time, which is particularly insightful during periods of magnetic storms. This paper will present the initial results of this study.

Le, Guan↗

NASA NTRS2019

Radar Altimetry as a Proxy for Determining Terrestrial Water Storage Variability in Tropical Basins

The Gravity Recovery and Climate Experiment (GRACE) mission has provided us with unforeseen information on terrestrial water-storage (TWS) variability, contributing to our understanding of global hydrological processes, including hydrological extreme events and anthropogenic impacts on water storage. Attempts to decompose GRACE-based TWS signals into its different water storage layers, i.e., surface water storage (SWS), soil moisture, groundwater and snow, have shown that SWS is a principal component, particularly in the tropics, where major rivers flow over arid regions at high latitudes. Here, we demonstrate that water levels, measured with radar altimeters at a limited number of locations, can be used to reconstruct gridded GRACE-based TWS signals in the Amazon basin, at spatial resolutions ranging from 0.5 to 3°, with mean absolute errors (MAE) as low as 2.5 cm and correlations as high as 0.98. We show that, at 3° spatial resolution, spatially-distributed TWS time series can be precisely reconstructed with as few as 41 water-level time series located within the basin. The proposed approach is competitive when compared to existing TWS estimates derived from physically based and computationally expensive methods. Also, a validation experiment indicates that TWS estimates can be extrapolated to periods beyond that of the model regression with low errors. The approach is robust, based on regression models and interpolation techniques, and offers a new possibility to reproduce spatially and temporally distributed TWS that could be used to fill inter-mission gaps and to extend GRACE-based TWS time series beyond its timespan.

Terrestrial water storage↗

NASA NTRS1999

A Pseubo-Temporal Multi-Grid Relaxation Scheme for Solving the Parabolized Navier-Stokes Equations

A multi-grid, flux-difference-split, finite-volume code, VULCAN, is presented for solving the elliptic and parabolized form of the equations governing three-dimensional, turbulent, calorically perfect and non-equilibrium chemically reacting flows. The space marching algorithms developed to improve convergence rate and or reduce computational cost are emphasized. The algorithms presented are extensions to the class of implicit pseudo-time iterative, upwind space-marching schemes. A full approximate storage, full multi-grid scheme is also described which is used to accelerate the convergence of a Gauss-Seidel relaxation method. The multi-grid algorithm is shown to significantly improve convergence on high aspect ratio grids.

Morrison, J. H.↗

NASA NTRS1999

A Pseudo-Temporal Multi-Grid Relaxation Scheme for Solving the Parabolized Navier-Stokes Equations

White, J. A.↗

NASA NTRS1973

A multi-channel coronal spectrophotometer.

We describe a new multi-channel coronal spectrophotometer system, presently being installed at Mees Solar Observatory, Mount Haleakala, Maui. The apparatus is designed to record and interpret intensities from many sections of the visible and near-visible spectral regions simultaneously, with relatively high spatial and temporal resolution. The detector, a thermoelectrically cooled silicon vidicon camera tube, has its central target area divided into a rectangular array of about 100,000 pixels and is read out in a slow-scan (about 2 sec/frame) mode. Instrument functioning is entirely under PDP 11/45 computer control, and interfacing is via the CAMAC system.

Landman, D. A.↗

NASA NTRS1986

Window of visibility - A psychophysical theory of fidelity in time-sampled visual motion displays

A film of an object in motion presents on the screen a sequence of static views, while the human observer sees the object moving smoothly across the screen. Questions related to the perceptual identity of continuous and stroboscopic displays are examined. Time-sampled moving images are considered along with the contrast distribution of continuous motion, the contrast distribution of stroboscopic motion, the frequency spectrum of continuous motion, the frequency spectrum of stroboscopic motion, the approximation of the limits of human visual sensitivity to spatial and temporal frequencies by a window of visibility, the critical sampling frequency, the contrast distribution of staircase motion and the frequency spectrum of this motion, and the spatial dependence of the critical sampling frequency. Attention is given to apparent motion, models of motion, image recording, and computer-generated imagery.

Watson, A. B.↗

NASA NTRS1990

On the space-time characteristics of wall-pressure fluctuations

A database obtained by direct numerical simulation of turbulent channel flow was used to compute the three-dimensional frequency/wave-number spectrum of wall-pressure fluctuations. The spectrum was used to deduce scaling laws for pressure fluctuations and to evaluate the similarity form for the power spectrum. The convection velocity as a function of frequency, wave number, and spatial and temporal separations was calculated and compared with the experimental data. The problem of artificial 'acoustics' in numerical simulation of incompressible flows is discussed.

Choi, Haecheon↗

NASA NTRS1992

Lidar analysis techniques for use in the atmospheric boundary layer

There is a growing body of observational and theoretical evidence which suggests that local climate characteristics are associated with variations in the earth's surface. The link between surface variability and local-scale processes must be made if we are to improve our understanding of the feedback mechanisms involved in surface-atmosphere dynamics. However, to understand these interactions, the surface-atmosphere interface must be studied as a large-scale spatial system. Lidars are ideal tools to study the spatial properties of the atmosphere. The described techniques were developed for use with the Los Alamos Water Raman-Lidar, but are applicable to many other types of lidar. The methodology of the analysis of lidar data is summarized in order to determine meteorological parameters in the atmospheric boundary layer. The techniques are not exhaustive but are intended to show the depth and breadth of the information which can be obtained from lidars. Two methods for the computation of water-vapor fluxes were developed. The first uses the fact that the water vapor concentration in the vertical direction follows a logarithmic profile when corrected for atmospheric stability. The second method involves using inertial dissipation techniques in which lidar-derived spatial and temporal power spectra are used to determine the flux.

Eichinger, William E.↗

NASA NTRS1992

Calculation of area-averaged vertical profiles of the horizontal wind velocity from volume-imaging lidar data

Area-averaged horizontal wind measurements are derived from the motion of spatial inhomogeneities in aerosol backscattering observed with a volume-imaging lidar. Spatial averaging provides high precision, reducing sample variations of wind measurements well below the level of turbulent fluctuations, even under conditions of very light mean winds and strong convection or under the difficult conditions represented by roll convection. Wind velocities are measured using the two-dimensional spatial cross correlation computed between successive horizontal plane maps of aerosol backscattering, assembled from three-dimensional lidar scans. Prior to calculation of the correlation function, three crucial steps are performed: (1) the scans are corrected for image distortion by the wind during a finite scan time; (2) a temporal high pass median filtering is applied to eliminate structures that do not move with the wind; and (3) a histogram equalization is employed to reduce biases to the brightest features.

Schols, J. L.↗