Search NASA⌕ Search

SEARCH · Search NASA

Results for “temporal reasoning”

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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
NASA NTRS2002

Mesoscale Convective Systems During SCSMEX: Simulations with a Regional Climate Model and a Cloud-Resolving Model

The South China Sea Monsoon Experiment (SCSMEX) was conducted in May-June 1998. One of its major objectives is to better understand the key physical processes for the onset and evolution of the summer monsoon over Southeast Asia and southern China (Lau et al. 2000). Multiple observation platforms (e.g., soundings, Doppler radar, ships, wind seafarers, radiometers, etc.) during SCSMEX provided a first attempt at investigating the detailed characteristics of convection and circulation changes, associated with monsoons over the South China Sea region. SCSMEX also provided precipitation derived from atmospheric budgets (Johnson and Ciesielski 2002) and comparison to those obtained from the Tropical Rainfall Measuring Mission (TRMM). In this paper, a regional climate model and a cloud-resolving model are used to perform multi-day integrations to understand the precipitation processes associated with the summer monsoon over Southeast Asia and southern China. The regional climate model is used to understand the soil - precipitation interaction and feedback associated with a flood event that occurred in and around China's Atlantic River during SCSMEX. Sensitivity tests on various land surface models, cumulus parameterization schemes (CASE), sea surface temperature (SST) variations and midlatitude influences are also performed to understand the processes associated with the onset of the monsoon over the S. China Sea during SCSMEX. Cloud-resolving models (CRMs) use more sophisticated and physically realistic parameterizations of cloud microphysical processes with very fine spatial and temporal resolution. One of the major characteristics of CRMs is an explicit interaction between clouds, radiation and the land/ocean surface. It is for this reason that GEWEX (Global Energy and Water Cycle Experiment) has formed the GCSS (GEWEX Cloud System Study) expressly for the purpose of improving the representation of the moist processes in large-scale models using CRMs. The Goddard Cumulus Ensemble (GCE) model is a CRM and is used to simulate convective systems associated with the onset of the South China Sea monsoon in 1998. The BRUCE model includes the same land surface model, cloud physics, and radiation scheme used in the regional climate model. A comparison between the results from the GCE model and regional climate model is performed.

Tao, W. K.↗
NASA NTRS2015

R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems

We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2, implemented in FPGA hardware, is a real-time, REALIZABLE, RESPONSIVE, UNOBTRUSIVE Unit for security threat detection. R2U2 is designed to continuously monitor inputs from the GPS and the ground control station, sensor readings, actuator outputs, and flight software status. By simultaneously monitoring and performing statistical reasoning, attack patterns and post-attack discrepancies in the UAS behavior can be detected. R2U2 uses runtime observer pairs for linear and metric temporal logics for property monitoring and Bayesian networks for diagnosis of security threats. We discuss the design and implementation that now enables R2U2 to handle security threats and present simulation results of several attack scenarios on the NASA DragonEye UAS.

Formal Methods↗
NASA NTRS1977

Composition and structure of the atmosphere of Venus

Some of the main questions regarding the composition, structure, and origin of the atmosphere of Venus are posed. These questions are (1) the distribution of the constituents of the lower atmosphere, (2) cloud composition, (3) the planet's surface and interior as revealed by atmospheric data, (4) the state property profiles and their variation over the planet, (5) the reason for the high temperatures of the lower atmosphere, (6) composition and temperature profiles of the upper atmosphere and location of the homopause, (7) spatial and temporal variations in the upper atmosphere, (8) the cause of the stability of CO2 - global circulation or local turbulence, (9) influence of neutral composition on the thermal structure, (10) response of upper atmosphere to change in solar EUV and solar wind, (11) the source and destination of the atmosphere, and (12) the location of Venus's water. The main parameters to be measured which will aid in resolving these problems are enumerated.

Hoffman, J. H.↗
NASA NTRS2001

Anaerobic Psychrophiles from Alaska, Antarctica, and Patagonia: Implications to Possible Life on Mars and Europa

Microorganisms preserved within the permafrost, glaciers, and polar ice sheets of planet Earth provide analogs for microbial life forms that may be encountered in ice or permafrost of Mars, Europa, Callisto, Ganymede, asteroids, comets or other frozen worlds in the Cosmos. The psychrophilic and psychrotolerant microbes of the terrestrial cryosphere help establish the thermal and temporal limitations of life on Earth and provide clues to where and how we should search for evidence of life elsewhere in the Universe. For this reason, the cold-loving microorganisms are directly relevant to Astrobiology. Cryo-preserved microorganisms can remain viable (in deep anabiosis) in permafrost and ice for millions of years. Permafrost, ice wedges, pingos, glaciers, and polar ice sheets may contain intact ancient DNA, lipids, enzymes, proteins, genes, and even frozen and yet viable ancient microbiota. Some microorganisms carry out metabolic processes in water films and brine, acidic, or alkaline channels in permafrost or ice at temperatures far below 0 T. Complex microbial communities live in snow, ice-bubbles, cryoconite holes on glaciers and ancient microbial ecosystems are cryopreserved within the permafrost, glaciers, and polar caps. In the Astrobiology group of the NASA Marshall Space Flight Center and the University of Alabama at Huntsville, we have employed advanced techniques for the isolation, culture, and phylogenetic analysis of many types of microbial extremophiles. We have also used the Environmental Scanning Electron Microscope to study the morphology, ultra-microstructure and chemical composition of microorganisms in ancient permafrost and ice. We discuss several interesting and novel anaerobic microorganisms that we have isolated and cultured from the Pleistocene ice of the Fox Tunnel of Alaska, guano of the Magellanic Penguin, deep sea sediments from the vicinity of the Rainbow Hydrothermal Vent and enrichment cultures from ice of the Patriot Hills of Antarctica. The microbial extremophiles recovered from permafrost, ice, cold pools and deep sea sediments may provide information relevant to the question of how and where we should search for evidence of extant or extinct microbial life elsewhere in the Cosmos.

Hoover, Richard B.↗
NASA NTRS2002

Anaerobic Psychrophiles from Alaska, Antarctica, and Patagonia: Implications to Possible Life on Mars and Europa

Microorganisms preserved within the permafrost, glaciers, and polar ice sheets of planet Earth provide analogs for microbial life forms that may be encountered in ice or permafrost of Mars, Europa, Callisto, Ganymede, asteroids, comets or other frozen worlds in the Cosmos. The psychrophilic and psychrotolerant microbes of the terrestrial cryosphere help establish the thermal and temporal limitations of life on Earth and provide clues to where and how we should search for evidence of life elsewhere in the Universe. For this reason, the cold-loving microorganisms are directly relevant to Astrobiology. Cryopreserved microorganisms can remain viable (in deep anabiosis) in permafrost and ice for millions of years. Permafrost, ice wedges, pingos, glaciers, and polar ice sheets may contain intact ancient DNA, lipids, enzymes, proteins, genes, and even frozen and yet viable ancient microbiota. Some microorganisms carry out metabolic processes in water films and brine, acidic, or alkaline channels in permafrost or ice at temperatures far below 0 C. Complex microbial communities live in snow, ice-bubbles, cryoconite holes on glaciers and ancient microbial ecosystems are cryopreserved within the permafrost, glaciers, and polar caps. In the Astrobiology group of the NASA Marshall Space Flight Center and the University of Alabama at Huntsville, we have employed advanced techniques for the isolation, culture, and phylogenetic analysis of many types of microbial extremophiles. We have also used the Environmental Scanning Electron Microscope to study the morphology, ultra-microstructure and chemical composition of microorganisms in ancient permafrost and ice. We discuss several interesting and novel anaerobic microorganisms that we have isolated and cultured from the Pleistocene ice of the Fox Tunnel of Alaska, guano of the Magellanic Penguin, deep-sea sediments from the vicinity of the Rainbow Hydrothermal Vent and enrichment cultures from ice of the Patriot Hills of Antarctica. The microbial extremophiles recovered from permafrost, ice, cold pools and deep-sea sediments may provide information relevant to the question of how and where we should search for evidence of extant or extinct microbial life elsewhere in the Cosmos.

Hoover, Richard B.↗
NASA NTRS2008

Identifying Optimal Temporal Scale for the Correlation of AOD and Ground Measurements of PM2.5 to Improve the Modeling Performance in a Real-Time Air Quality Estimation System

Aerosol optical depth (AOD), derived from satellite measurements using Moderate Resolution Imaging Spectrometer (MODIS), offers indirect estimates of particle matter. Research shows a significant positive correlation between satellite-based measurements of AOD and ground-based measurements of particulate matter with aerodynamic diameter less than or equal to 2.5 micrometers (PM2.5). In addition, satellite observations have also shown great promise in improving estimates of PM2.5 air quality surface. Research shows that correlations between AOD and ground PM2.5 are affected by a combination of many factors such as inherent characteristics of satellite observations, terrain, cloud cover, height of the mixing layer, and weather conditions, and thus might vary widely in different regions, different seasons, and even different days in a same location. Analysis of correlating AOD with ground measured PM2.5 on a day-to-day basis suggests the temporal scale, a number of immediate latest days for a given run's day, for their correlations needs to be considered to improve air quality surface estimates, especially when satellite observations are used in a real-time pollution system. The second reason is that correlation coefficients between AOD and ground PM2.5 cannot be predetermined and needs to be calculated for each day's run for a real-time system because the coefficients can vary over space and time. Few studies have been conducted to explore the optimal way to apply AOD data to improve model accuracies of PM2.5 surface estimation in a real-time air quality system. This paper discusses the best temporal scale to calculate the correlation of AOD and ground particle matter data to improve the results of pollution models in real-time system.

Li,Hui↗
NASA NTRS1992

Ocean time-series near Bermuda: Hydrostation S and the US JGOFS Bermuda Atlantic time-series study

Bermuda is the site of two ocean time-series programs. At Hydrostation S, the ongoing biweekly profiles of temperature, salinity and oxygen now span 37 years. This is one of the longest open-ocean time-series data sets and provides a view of decadal scale variability in ocean processes. In 1988, the U.S. JGOFS Bermuda Atlantic Time-series Study began a wide range of measurements at a frequency of 14-18 cruises each year to understand temporal variability in ocean biogeochemistry. On each cruise, the data range from chemical analyses of discrete water samples to data from electronic packages of hydrographic and optics sensors. In addition, a range of biological and geochemical rate measurements are conducted that integrate over time-periods of minutes to days. This sampling strategy yields a reasonable resolution of the major seasonal patterns and of decadal scale variability. The Sargasso Sea also has a variety of episodic production events on scales of days to weeks and these are only poorly resolved. In addition, there is a substantial amount of mesoscale variability in this region and some of the perceived temporal patterns are caused by the intersection of the biweekly sampling with the natural spatial variability. In the Bermuda time-series programs, we have added a series of additional cruises to begin to assess these other sources of variation and their impacts on the interpretation of the main time-series record. However, the adequate resolution of higher frequency temporal patterns will probably require the introduction of new sampling strategies and some emerging technologies such as biogeochemical moorings and autonomous underwater vehicles.

Michaels, Anthony F.↗
NASA NTRS1993

Agent oriented programming: An overview of the framework and summary of recent research

This is a short overview of the agent-oriented programming (AOP) framework. AOP can be viewed as an specialization of object-oriented programming. The state of an agent consists of components called beliefs, choices, capabilities, commitments, and possibly others; for this reason the state of an agent is called its mental state. The mental state of agents is captured formally in an extension of standard epistemic logics: beside temporalizing the knowledge and belief operators, AOP introduces operators for commitment, choice and capability. Agents are controlled by agent programs, which include primitives for communicating with other agents. In the spirit of speech-act theory, each communication primitive is of a certain type: informing, requesting, offering, etc. This document describes these features in more detail and summarizes recent results and ongoing AOP-related work.

Shoham, Yoav↗
NASA NTRS2007

SWIFT Discovery of Gamma-ray Bursts without Jet Break Feature in their X-ray Afterglows

We analyze Swift gamma-ray bursts (GRBs) and X-ray afterglows for three GRBs with spectroscopic redshift determinations - GRB 050401, XRF 050416a, and GRB 050525a. We find that the relation between spectral peak energy and isotropic energy of prompt emissions (the Amati relation) is consistent with that for the bursts observed in pre-Swift era. However, we find that the X-ray afterglow lightcurves, which extend up to 10 - 70 days, show no sign of the jet break that is expected in the standard framework of collimated outflows. We do so by showing that none of the X-ray afterglow lightcurves in our sample satisfies the relation between the spectral and temporal indices that is predicted for the phase after jet break. The jet break time can be predicted by inverting the tight empirical relation between the peak energy of the spectrum and the collimation-corrected energy of the prompt emission (the Ghirlanda relation). We find that there are no temporal breaks within the predicted time intervals in X-ray band. This requires either that the Ghirlanda relation has a larger scatter than previously thought, that the temporal break in X-rays is masked by some additional source of X-ray emission, or that it does not happen because of some unknown reason.

Sato, G.↗
NASA NTRSDate not supplied

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.

Formal verification↗
NASA NTRS2006

Flood and Landslide Applications of High Time Resolution Satellite Rain Products

Experimental, potentially real-time systems to detect floods and landslides related to heavy rain events are described. A key basis for these applications is high time resolution satellite rainfall analyses. Rainfall is the primary cause for devastating floods across the world. However, in many countries, satellite-based precipitation estimation may be the best source of rainfall data due to insufficient ground networks and absence of data sharing along many trans-boundary river basins. Remotely sensed precipitation from the NASA's TRMM Multi-satellite Precipitation Analysis (TMPA) operational system (near real-time precipitation at a spatial-temporal resolution of 3 hours and 0.25deg x 0.25deg) is used to monitor extreme precipitation events. Then these data are ingested into a macro-scale hydrological model which is parameterized using spatially distributed elevation, soil and land cover datasets available globally from satellite remote sensing. Preliminary flood results appear reasonable in terms of location and frequency of events, with implementation on a quasi-global basis underway. With the availability of satellite rainfall analyses at fine time resolution, it has also become possible to assess landslide risk on a near-global basis. Early results show that landslide occurrence is closely associated with the spatial patterns and temporal distribution of TRMM rainfall characteristics. Particularly, the number of landslides triggered by rainfall is related to rainfall climatology, antecedent rainfall accumulation, and intensity-duration of rainstorms. For the purpose of prediction, an empirical TMPA-based rainfall intensity-duration threshold is developed and shown to have skill in determining potential areas of landslides. These experimental findings, in combination with landslide surface susceptibility information based on satellite-based land surface information, form a starting point towards a potential operational landslide monitoring/warning system around the globe.

Adler, Robert F.↗
NASA NTRS2018

TPSAS-NF1676L-29978-DND

Energy within an atmospheric column changes due to absorption of shortwave irradiance, emission of longwave irradiance, enthalpy released by precipitation, convergence of dry static and kinetic energy flux, and surface sensible heat flux. When satellite derived irradiance, precipitation, and surface sensible heat flux data products, as well as tendency and horizontal advection of dry static and kinetic energy fluxes from reanalysis are used to compute the atmospheric energy balance, energy fluxes does not balance exactly, resulting in an energy balance residual. A study by Kato et al. (2016) shows that large residuals exist over tropical oceans. In this study, we examine how the energy balance residual changes with time. If the energy balance residual for a given region is constant every year, this implies that annual anomalies of energy flux components balance over the region. If, however, the energy balance residual changes with time, an analysis of the dependence on atmospheric or cloud properties may provide information to understand the reason for the residual. A preliminary result indicates that significant interannual variabilities in energy balance residual exist when annual energy balance residuals over the entire ocean is examined. Temporal variability of regional energy budget residual and covariability of the energy budget residual with the multivariate ENSO index and the occurrence of specific cloud types will further be investigated.

Seiji Kato↗
NASA NTRS1984

Saturation Phenomena in LIF Measurements, Appendix B

Optical saturation is the phenomenon in which the laser-induced rates of absorption and spontaneous emission between two levels, induced by a laser, become comparable to or greater than the spontaneous emission and collision rates connecting these levels. This results in the excited state population N(u) acquiring a value of similar magnitude to that of the ground state, N(e). Under these conditions the observed fluorescence signal, which is proportional to N(u), is no longer linearly dependent on laser intensity I, but increases at a slower rate, and in principle ultimately becomes independent of I. A conceptual picture of optical saturation using a two-level picture is described. This is, however, inadequate for the description of a real experiment involving a molecule, such as OH, for several reasons, which will be explained briefly; these are the multi-level nature of the electronic states and energy transfer among them and effects due to spatial, spectral, and temporal fluctuations in the laser pulse.

Source record↗
NASA NTRS1992

High level cognitive information processing in neural networks

Two related research efforts were addressed: (1) high-level connectionist cognitive modeling; and (2) local neural circuit modeling. The goals of the first effort were to develop connectionist models of high-level cognitive processes such as problem solving or natural language understanding, and to understand the computational requirements of such models. The goals of the second effort were to develop biologically-realistic model of local neural circuits, and to understand the computational behavior of such models. In keeping with the nature of NASA's Innovative Research Program, all the work conducted under the grant was highly innovative. For instance, the following ideas, all summarized, are contributions to the study of connectionist/neural networks: (1) the temporal-winner-take-all, relative-position encoding, and pattern-similarity association techniques; (2) the importation of logical combinators into connection; (3) the use of analogy-based reasoning as a bridge across the gap between the traditional symbolic paradigm and the connectionist paradigm; and (4) the application of connectionism to the domain of belief representation/reasoning. The work on local neural circuit modeling also departs significantly from the work of related researchers. In particular, its concentration on low-level neural phenomena that could support high-level cognitive processing is unusual within the area of biological local circuit modeling, and also serves to expand the horizons of the artificial neural net field.

Barnden, John A.↗
NASA NTRS1996

Theory and ontology for sharing temporal knowledge

Using current technology, the sharing or re-using of knowledge-bases is very difficult, if not impossible. ARPA has correctly recognized the problem and funded a knowledge sharing initiative. One of the outcomes of this project is a formal language called Knowledge Interchange Format (KIF) for representing knowledge that could be translated into other languages. Capturing and representing design knowledge and reasoning with them have become very important for NASA who is a pioneer of innovative design of unique products. For upgrading an existing design for changing technology, needs, or requirements, it is essential to understand the design rationale, design choices, options and other relevant information associated with the design. Capturing such information and presenting them in the appropriate form are part of the ongoing Design Knowledge Capture project of NASA. The behavior of an object and various other aspects related to time are captured by the appropriate temporal knowledge. The captured design knowledge will be represented in such a way that various groups of NASA who are interested in various aspects of the design cycle should be able to access and use the design knowledge effectively. To facilitate knowledge sharing among these groups, one has to develop a very well defined ontology. Ontology is a specification of conceptualization. In the literature several specific domains were studied and some well defined ontologies were developed for such domains. However, very little, or no work has been done in the area of representing temporal knowledge to facilitate sharing. During the ASEE summer program, I have investigated several temporal models and have proposed a theory for time that is flexible to accommodate the time elements, such as, points and intervals, and is capable of handling the qualitative and quantitative temporal constraints. I have also proposed a primitive temporal ontology using which other relevant temporal ontologies can be built. I have investigated various issues of sharing knowledge and have proposed a formal framework for modeling the concept of knowledge sharing. This work may be implemented and tested in the software environment supplied by Knowledge Based System, Inc.

Loganantharaj, Rasiah↗
NASA NTRS2020

Atmospheric Carbon Cycle Dynamics Over the Above Domain: an Integrated Analysis Using Aircraft Observations (Arctic-CA) and Model Simulations (GEOS)

The Arctic Carbon Atmospheric Profiles (Arctic-CAP) project conducted six airborne surveys of Alaska and northwestern Canada between April and November 2017 to capture the spatial and temporal gradients of northern high-latitude carbon dioxide (CO2), methane (CH4) and carbon monoxide (CO) as part of NASA's Arctic-Boreal Vulnerability Experiment (ABoVE). The Arctic-CAP sampling strategy involved acquiring vertical profiles of CO2, CH4 and CO from the surface to 5 km altitude at 25 sites around the ABoVE domain on a 4- to 6-week time interval. We observed vertical gradients of CO2, CH4 and CO that vary by eco-region and duration of the sampling period, which spanned the majority of the seasonal cycle. All Arctic-CAP measurements were compared to a global simulation using the Goddard Earth Observing System (GEOS) modeling system. Comparisons with GEOS simulations of atmospheric CO2, CH4 and CO highlight the potential of these multi-species observations to inform improvements in surface flux estimates and the representation of atmospheric transport. GEOS simulations provide estimates of the near surface average CO2 and CH4 enhancements that are well correlated with aircraft observations (R=0.74 and R=0.60 respectively), suggesting that GEOS has reasonable fidelity over this complex and heterogeneous region. This model-data comparison over the ABoVE domain reveals that while current state-of-the-art models and flux estimates are able to capture broadscale spatial and temporal patterns in near-surface CO2 and CH4 concentrations, more work is needed to resolve fine-scale flux features that are observed. The study also provides a framework for benchmarking a global model at regional scales, which is needed to use climate models as tools to investigate high-latitude carbon-climate feedbacks.

C Sweeney↗
NASA NTRS1972

Anomalous type III bursts explained in terms of intermittent solar wind streams observed by Pioneer spacecraft.

Occasional solar radio bursts drift downward in frequency (like type III bursts), but the drift slows or ceases or it may even reverse. These anomalous forms are called L-bursts, U-bursts, etc., and are observed as low as 1 MHz by spacecraft. The conventional explanation involves guidance of relativistic exciting particles by solar magnetic fields that do not have the spiral shape expected in undisturbed conditions. A reasonable alternative explanation is possible and, indeed, it follows directly from the inferences which have been drawn from the Stanford dual-frequency experiment flown on four Pioneer spacecraft. Analysis of temporal variations in these data leads to the conclusion that narrow streams of enhanced concentration have lifetimes which are typically about one day and the streams seem to be intermittently ejected by long-enduring sources at the sun. Each enhancement is thought to lie along a spiral and to have a beginning and an end. It may happen that relativistic exciters encounter the tail of such a discrete streamer; the concentration encountered by such exciters would initially decline but, at the streamer tail, it would level off and perhaps increase. The plasma frequency versus time (the burst frequency) would then cease to drop in the typical type III profile and would level off or increase (as in a U-burst).

Croft, T. A.↗
NASA NTRS2000

Estimates of Internal Tide Energy Fluxes from Topex/Poseidon Altimetry: Central North Pacific

Energy fluxes for first-mode M(sub 2) internal tides are deduced throughout the central North Pacific Ocean from Topex/Poseidon satellite altimeter data. Temporally coherent internal tide signals in the altimetry, combined with climatological hydrographic data, determine the tidal displacements, pressures, and currents at depth, which yield power transmission rates. For a variety of reasons the deduced rates should be considered lower bounds. Internal tides were found to emanate from several large bathymetric structures, especially the Hawaiian Ridge, where the integrated flux amounts to about six gigawatts. Internal tides are generated at the Aleutian Trench near 172 deg west and propagate southwards nearly 2000 km.

Ray, Richard D.↗