Search NASA⌕ Search

SEARCH · Search NASA

Results for “Temporal modeling”

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 91 records · Page 5

Temporal sensitivity

Human visual temporal sensitivity is examined. The stimuli used to measure temporal sensitivity are described and the linear systems theory is reviewed in terms of temporal sensitivity. A working model which represents temporal sensitivity is proposed. The visibility of a number of temporal wave forms, sinusoids, rectangular pulses, and pulse pairs, is analyzed. The relation between spatial and temporal effects is studied. Temporal variations induced by image motion and the effects of light adaptation on temporal sensitivity are considered.

Watson, Andrew B.↗

Quality metrics for sensor images

Methods are needed for evaluating the quality of augmented visual displays (AVID). Computational quality metrics will help summarize, interpolate, and extrapolate the results of human performance tests with displays. The FLM Vision group at NASA Ames has been developing computational models of visual processing and using them to develop computational metrics for similar problems. For example, display modeling systems use metrics for comparing proposed displays, halftoning optimizing methods use metrics to evaluate the difference between the halftone and the original, and image compression methods minimize the predicted visibility of compression artifacts. The visual discrimination models take as input two arbitrary images A and B and compute an estimate of the probability that a human observer will report that A is different from B. If A is an image that one desires to display and B is the actual displayed image, such an estimate can be regarded as an image quality metric reflecting how well B approximates A. There are additional complexities associated with the problem of evaluating the quality of radar and IR enhanced displays for AVID tasks. One important problem is the question of whether intruding obstacles are detectable in such displays. Although the discrimination model can handle detection situations by making B the original image A plus the intrusion, this detection model makes the inappropriate assumption that the observer knows where the intrusion will be. Effects of signal uncertainty need to be added to our models. A pilot needs to make decisions rapidly. The models need to predict not just the probability of a correct decision, but the probability of a correct decision by the time the decision needs to be made. That is, the models need to predict latency as well as accuracy. Luce and Green have generated models for auditory detection latencies. Similar models are needed for visual detection. Most image quality models are designed for static imagery. Watson has been developing a general spatial-temporal vision model to optimize video compression techniques. These models need to be adapted and calibrated for AVID applications.

Ahumada, AL↗

Symbolic LTL Compilation for Model Checking: Extended Abstract

In Linear Temporal Logic (LTL) model checking, we check LTL formulas representing desired behaviors against a formal model of the system designed to exhibit these behaviors. To accomplish this task, the LTL formulas must be translated into automata [21]. We focus on LTL compilation by investigating LTL satisfiability checking via a reduction to model checking. Having shown that symbolic LTL compilation algorithms are superior to explicit automata construction algorithms for this task [16], we concentrate here on seeking a better symbolic algorithm.We present experimental data comparing algorithmic variations such as normal forms, encoding methods, and variable ordering and examine their effects on performance metrics including processing time and scalability. Safety critical systems, such as air traffic control, life support systems, hazardous environment controls, and automotive control systems, pervade our daily lives, yet testing and simulation alone cannot adequately verify their reliability [3]. Model checking is a promising approach to formal verification for safety critical systems which involves creating a formal mathematical model of the system and translating desired safety properties into a formal specification for this model. The complement of the specification is then checked against the system model. When the model does not satisfy the specification, model-checking tools accompany this negative answer with a counterexample, which points to an inconsistency between the system and the desired behaviors and aids debugging efforts.

Rozier, Kristin Y.↗

Evaluation of Time-Averaged CERES TOA SW Product Using CAGEX Data

A major component in the analysis of the Earth's radiation budget is the recovery of daily and monthly averaged radiative parameters using noncontinuous spatial and temporal measurements from polar orbiting satellites. In this study, the accuracy of the top of atmosphere (TOA) shortwave (SW) temporal interpolation model for the Clouds and the Earth's Radiant Energy System (CERES) is investigated using temporally intensive half-hourly TOA fluxes from the CERES/ARM/GEWEX Experiment (CAGEX) over Oklahoma (Charlock et al., 1996).

Carlson, Ann B.↗

Project ATLANTA (Atlanta Land use Analysis: Temperature and Air Quality): Use of Remote Sensing and Modeling to Analyze How Urban Land Use Change Affects Meteorology and Air Quality Through Time

This paper presents an overview of Project ATLANTA (ATlanta Land use ANalysis: Temperature and Air-quality) which is an investigation that seeks to observe, measure, model, and analyze how the rapid growth of the Atlanta, Georgia metropolitan area since the early 1970's has impacted the region's climate and air quality. The primary objectives for this research effort are: (1) To investigate and model the relationships between land cover change in the Atlanta metropolitan, and the development of the urban heat island phenomenon through time; (2) To investigate and model the temporal relationships between Atlanta urban growth and land cover change on air quality; and (3) To model the overall effects of urban development on surface energy budget characteristics across the Atlanta urban landscape through time. Our key goal is to derive a better scientific understanding of how land cover changes associated with urbanization in the Atlanta area, principally in transforming forest lands to urban land covers through time, has, and will, effect local and regional climate, surface energy flux, and air quality characteristics. Allied with this goal is the prospect that the results from this research can be applied by urban planners, environmental managers and other decision-makers, for determining how urbanization has impacted the climate and overall environment of the Atlanta area. Multiscaled remote sensing data, particularly high resolution thermal infrared data, are integral to this study for the analysis of thermal energy fluxes across the Atlanta urban landscape.

Quattrochi, Dale A.↗

System Modeling and Diagnostics for Liquefying-Fuel Hybrid Rockets

A Hybrid Combustion Facility (HCF) was recently built at NASA Ames Research Center to study the combustion properties of a new fuel formulation that burns approximately three times faster than conventional hybrid fuels. Researchers at Ames working in the area of Integrated Vehicle Health Management recognized a good opportunity to apply IVHM techniques to a candidate technology for next generation launch systems. Five tools were selected to examine various IVHM techniques for the HCF. Three of the tools, TEAMS (Testability Engineering and Maintenance System), L2 (Livingstone2), and RODON, are model-based reasoning (or diagnostic) systems. Two other tools in this study, ICS (Interval Constraint Simulator) and IMS (Inductive Monitoring System) do not attempt to isolate the cause of the failure but may be used for fault detection. Models of varying scope and completeness were created, both qualitative and quantitative. In each of the models, the structure and behavior of the physical system are captured. In the qualitative models, the temporal aspects of the system behavior and the abstraction of sensor data are handled outside of the model and require the development of additional code. In the quantitative model, less extensive processing code is also necessary. Examples of fault diagnoses are given.

Poll, Scott↗

Modeling and Diagnostic Software for Liquefying-Fuel Rockets

A report presents a study of five modeling and diagnostic computer programs considered for use in an integrated vehicle health management (IVHM) system during testing of liquefying-fuel hybrid rocket engines in the Hybrid Combustion Facility (HCF) at NASA Ames Research Center. Three of the programs -- TEAMS, L2, and RODON -- are model-based reasoning (or diagnostic) programs. The other two programs -- ICS and IMS -- do not attempt to isolate the causes of failures but can be used for detecting faults. In the study, qualitative models (in TEAMS and L2) and quantitative models (in RODON) having varying scope and completeness were created. Each of the models captured the structure and behavior of the HCF as a physical system. It was noted that in the cases of the qualitative models, the temporal aspects of the behavior of the HCF and the abstraction of sensor data are handled outside of the models, and it is necessary to develop additional code for this purpose. A need for additional code was also noted in the case of the quantitative model, though the amount of development effort needed was found to be less than that for the qualitative models.

Poll, Scott↗

Spatio-temporal contextual classification based on Markov random field model

A contextural classifier based on a Markov random field model, which can utilize both spatial and temporal contexts, is investigated. Spatial and temporal neighbors are defined, and the class assignment of each pixel is assumed to be dependent only on the measurement vectors of itself and those of its spatial and temporal neighbors according to the Markov random field property. Only interpixel class dependency context is used in the classification. The joint prior probability of the classes of each pixel and its spatial and temporal neighbors are modeled by a Gibbs random field. The classification is performed in a recursive manner. Experiments with multi-temporal Thematic Mapper data show promising results.

Jeon, Byeungwoo↗

The Goddard Snow Radiance Assimilation Project: An Integrated Snow Radiance and Snow Physics Modeling Framework for Snow/cold Land Surface Modeling

Microwave-based retrievals of snow parameters from satellite observations have a long heritage and have so far been generated primarily by regression-based empirical "inversion" methods based on snapshots in time. Direct assimilation of microwave radiance into physical land surface models can be used to avoid errors associated with such retrieval/inversion methods, instead utilizing more straightforward forward models and temporal information. This approach has been used for years for atmospheric parameters by the operational weather forecasting community with great success. Recent developments in forward radiative transfer modeling, physical land surface modeling, and land data assimilation are converging to allow the assembly of an integrated framework for snow/cold lands modeling and radiance assimilation. The objective of the Goddard snow radiance assimilation project is to develop such a framework and explore its capabilities. The key elements of this framework include: a forward radiative transfer model (FRTM) for snow, a snowpack physical model, a land surface water/energy cycle model, and a data assimilation scheme. In fact, multiple models are available for each element enabling optimization to match the needs of a particular study. Together these form a modular and flexible framework for self-consistent, physically-based remote sensing and water/energy cycle studies. In this paper we will describe the elements and the integration plan. All modules will operate within the framework of the Land Information System (LIS), a land surface modeling framework with data assimilation capabilities running on a parallel-node computing cluster. Capabilities for assimilation of snow retrieval products are already under development for LIS. We will describe plans to add radiance-based assimilation capabilities. Plans for validation activities using field measurements will also be discussed.

Kim, E.↗

Towards a High Temporal Frequency Grass Canopy Thermal IR Model for Background Signatures

In this paper, we present our first results towards understanding high temporal frequency thermal infrared response from a dense plant canopy and compare the application of our model, driven both by slowly varying, time-averaged meteorological conditions and by high frequency measurements of local and within canopy profiles of relative humidity and wind speed, to high frequency thermal infrared observations. Previously, we have employed three-dimensional ray tracing to compute the intercepted and scattered radiation fluxes and for final scene rendering. For the turbulent fluxes, we employed simple resistance models for latent and sensible heat with one-dimensional profiles of relative humidity and wind speed. Our modeling approach has proven successful in capturing the directional and diurnal variation in background thermal infrared signatures. We hypothesize that at these scales, where the model is typically driven by time-averaged, local meteorological conditions, the primary source of thermal variance arises from the spatial distribution of sunlit and shaded foliage elements within the canopy and the associated radiative interactions. In recent experiments, we have begun to focus on the high temporal frequency response of plant canopies in the thermal infrared at 1 second to 5 minute intervals. At these scales, we hypothesize turbulent mixing plays a more dominant role. Our results indicate that in the high frequency domain, the vertical profile of temperature change is tightly coupled to the within canopy wind speed In the results reported here, the canopy cools from the top down with increased wind velocities and heats from the bottom up at low wind velocities. .

Ballard, Jerrell R., Jr.↗

Radial and latitudinal variations of the interplanetary magnetic field

This paper presents observations of the radial and latitudinal variations of the interplanetary magnetic field measured by the Voyager 1 (V1) and Voyager 2 (V2) spacecraft from mid-1977 to mid-1985. Observations of the radial variation of the large-scale magnetic field strength in the ecliptic agree with the predictions of Parker's (1958, 1963) model when temporal variations in the magnetic field and bulk speed are taken into account. The latitudinal variation of the magnetic field observed by V1 is in agreement with the predictions of Parker's model to first approximation. The magnetic field strength at higher latitudes is somewhat lower than expected on the basis of observations made in the ecliptic, but this could be due to an increase in bulk speed and/or a decrease of solar magnetic field strength with latitude. Fluctuations in the strength of the magnetic field are small compared to the large-scale field itself, and they decrease in amplitude with increasing distance approximately as R exp -1/4 . Fluctuations in the components are relatively large, and they make a significant contribution to the mean field that is not described by Parker's model.

Klein, Larry W.↗

Estimation of Daily PM(sub 10) Concentrations in Italy (2006-2012) Using Finely Resolved Satellite Data, Land Use Variables and Meteorology

Health effects of air pollution, especially particulate matter (PM), have been widely investigated. However, most of the studies rely on few monitors located in urban areas for short-term assessments, or land use/dispersion modelling for long-term evaluations, again mostly in cities. Recently, the availability of finely resolved satellite data provides an opportunity to estimate daily concentrations of air pollutants over wide spatio-temporal domains. Italy lacks a robust and validated high resolution spatio-temporally resolved model of particulate matter. The complex topography and the air mixture from both natural and anthropogenic sources are great challenges difficult to be addressed. We combined finely resolved data on Aerosol Optical Depth (AOD) from the Multi-Angle Implementation of Atmospheric Correction (MAIAC) algorithm, ground-level PM10measurements, land-use variables and meteorological parameters into a four-stage mixed model framework to derive estimates of daily PM10concentrations at 1-km2 grid over Italy, for the years 2006-2012. We checked performance of our models by applying 10-fold cross-validation (CV) for each year. Our models displayed good fitting, with mean CV-R2=0.65 and little bias (average slope of predicted VS observed PM10=0.99). Out-of-sample predictions were more accurate in Northern Italy (Po valley) and large conurbations (e.g. Rome), for background monitoring stations, and in the winter season. Resulting concentration maps showed highest average PM10levels in specific areas (Po river valley, main industrial and metropolitan areas) with decreasing trends over time. Our daily predictions of PM10concentrations across the whole Italy will allow, for the first time, estimation of long-term and short-term effects of air pollution nationwide, even in areas lacking monitoring data. Copyright © 2016 Elsevier Ltd. All rights reserved.

Particulate Matter/analysis↗

A New Time-dependent Model for the Martian Radiation Environment

Manned space activities have been until present time limited to the near-Earth environment, most of them to low Earth orbit (LEO) scenarios, with only some of the Apollo missions targeted to the Moon. In current times most human exploration and development of space (HEDS) activities are related to the development of the International Space Station (ISS), and therefore take place in the LEO environment. A natural extension of HEDS activities will be going beyond LEO, and reach asteroids, Mars, Jupiter, Saturn, the Kuiper belt and the outskirts of the Solar System. Such long journeys onboard spacecraft outside the protective umbrella of the geomagnetic field will require higher levels of protection from the radiation environment found in the deep space for both astronauts and equipment. So, it is important to have available a tool for radiation shielding which takes into account the radiation environments found all along the interplanetary space and at the different bodies encountered in the Solar System. Moreover, the radiation protection is one of the two NASA highest concerns and priorities. A tool integrating different radiation environments with shielding computation techniques especially tailored for deep space mission scenario is instrumental in view of this exigency. In view of manned missions targeted to Mars, for which radiation exposure is one of the greatest problems and challenges to be tackled, it is of fundamental importance to have available a tool which allows to know which are the particle flux and spectra at any time at any point of the Martian surface. With this goal in mind, a new model for the radiation environment to be found on the planet Mars due to Galactic Cosmic Rays (GCR) has been developed. Solar modulated primary particles rescaled for Mars conditions are transported within the Martian atmosphere, with temporal properties modeled with variable timescales, down to the surface, with altitude and backscattering patterns taken into account. The tool allows analysis for manned Mars landing missions, as well as planetary science studies, e.g. subsurface water and volatile inventory studies. This Mars environmental model is available through the SIREST website, a project of NASA Langley Research Center.

G De Angelis↗

A new Mars radiation environment model with visualization

A new model for the radiation environment to be found on the planet Mars due to Galactic Cosmic Rays (OCR) has been developed at the NASA Langley Research Center. Solar modulated primary particles rescaled for Mars conditions are transported through the Martian atmosphere, with temporal properties modeled with variable timescales, down to the surface, with altitude and backscattering patterns taken into account. The Martian atmosphere has been modeled by using the Mars Global Reference Atmospheric Model--version 2001 (Mars-GRAM 2001). The altitude to compute the atmospheric thickness profile has been determined by using a model for the topography based on the data provided by the Mars Orbiter Laser Altimeter (MOLA) instrument on board the Mars Global Surveyor (MGS) spacecraft. The Mars surface composition has been modeled based on averages over the measurements obtained from orbiting spacecraft and at various landing sites, taking into account the possible volatile inventory (e.g., CO2 ice, H2O ice) along with its time variation throughout the Martian year. Particle transport has been performed with the HZETRN heavy ion code. The Mars Radiation Environment Model has been made available worldwide through the Space Ionizing Radiation Effects and Shielding Tools (SIREST) website, a project of NASA Langley Research Center. c2004 COSPAR. Published by Elsevier Ltd. All rights reserved.

NASA Center LaRC↗

Detecting Faults By Use Of Hidden Markov Models

Frequency of false alarms reduced. Faults in complicated dynamic system (e.g., antenna-aiming system, telecommunication network, or human heart) detected automatically by method of automated, continuous monitoring. Obtains time-series data by sampling multiple sensor outputs at discrete intervals of t and processes data via algorithm determining whether system in normal or faulty state. Algorithm implements, among other things, hidden first-order temporal Markov model of states of system. Mathematical model of dynamics of system not needed. Present method is "prior" method mentioned in "Improved Hidden-Markov-Model Method of Detecting Faults" (NPO-18982).

Smyth, Padhraic J.↗

Applying AI tools to operational space environmental analysis

The U.S. Air Force and National Oceanic Atmospheric Agency (NOAA) space environmental operations centers are facing increasingly complex challenges meeting the needs of their growing user community. These centers provide current space environmental information and short term forecasts of geomagnetic activity. Recent advances in modeling and data access have provided sophisticated tools for making accurate and timely forecasts, but have introduced new problems associated with handling and analyzing large quantities of complex data. AI (Artificial Intelligence) techniques have been considered as potential solutions to some of these problems. Fielding AI systems has proven more difficult than expected, in part because of operational constraints. Using systems which have been demonstrated successfully in the operational environment will provide a basis for a useful data fusion and analysis capability. Our approach uses a general purpose AI system already in operational use within the military intelligence community, called the Temporal Analysis System (TAS). TAS is an operational suite of tools supporting data processing, data visualization, historical analysis, situation assessment and predictive analysis. TAS includes expert system tools to analyze incoming events for indications of particular situations and predicts future activity. The expert system operates on a knowledge base of temporal patterns encoded using a knowledge representation called Temporal Transition Models (TTM's) and an event database maintained by the other TAS tools. The system also includes a robust knowledge acquisition and maintenance tool for creating TTM's using a graphical specification language. The ability to manipulate TTM's in a graphical format gives non-computer specialists an intuitive way of accessing and editing the knowledge base. To support space environmental analyses, we used TAS's ability to define domain specific event analysis abstractions. The prototype system defines events covering reports of natural phenomena such as solar flares, bursts, geomagnetic storms, and five others pertinent to space environmental analysis. With our preliminary event definitions we experimented with TAS's support for temporal pattern analysis using X-ray flare and geomagnetic storm forecasts as case studies. We are currently working on a framework for integrating advanced graphics and space environmental models into this analytical environment.

Krajnak, Mike↗