SEARCH · Engineering Papers

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.

SourceResearch connectionFrom yearThrough year

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

At least 55 records · Page 3

All sources NASA NTRS DOE OSTI

NASA NTRS2002

Two Solvers for Tractable Temporal Constraints with Preferences

A number of reasoning problems involving the manipulation of temporal information can naturally be viewed as implicitly inducing an ordering of potential local decisions involving time on the basis of preferences. Soft temporal constraints problems allow to describe in a natural way scenarios where events happen over time and preferences are associated to event distances and durations. In general, solving soft temporal problems require exponential time in the worst case, but there are interesting subclasses of problems which are polynomially solvable. We describe two solvers based on two different approaches for solving the same tractable subclass. For each solver we present the theoretical results it stands on, a description of the algorithm and some experimental results. The random generator used to build the problems on which tests are performed is also described. Finally, we compare the two solvers highlighting the tradeoff between performance and representational power.

Rossi, F.↗

NASA NTRS1995

Comparing Simultaneous Stratospheric Aerosol and Ozone Lidar Measurements with SAGE 2 Data after the Mount Pinatubo Eruption

Stratospheric aerosol and ozone profiles obtained simultaneously from the lidar station at the University of L'Aquila (42.35 deg N, 13.33 deg E, 683 m above sea level) during the first 6 months following the eruption of Mount Pinatubo are compared with corresponding nearby Stratospheric Aerosol and Gas Experiment (SAGE) 2 profiles. The agreement between the two data sets is found to be reasonably good. The temporal change of aerosol profiles obtained by both techniques showed the intrusion and growth of Pinatubo aerosols. In addition, ozone concentration profiles derived from an empirical time-series model based on SAGE 2 ozone data obtained before the Pinatubo eruption are compared with measured profiles. Good agreement is shown in the 1991 profiles, but ozone concentrations measured in January 1992 were reduced relative to time-series model estimates. Possible reasons for the differences between measured and model-based ozone profiles are discussed.

Yue, G. K.↗

DOE OSTI2017

EpiK: A Knowledge Base for Epidemiological Modeling and Analytics of Infectious Diseases

Computational epidemiology seeks to develop computational methods to study the distribution and determinants of health-related states or events (including disease), and the application of this study to the control of diseases and other health problems. Recent advances in computing and data sciences have led to the development of innovative modeling environments to support this important goal. The datasets used to drive the dynamic models as well as the data produced by these models presents unique challenges owing to their size, heterogeneity and diversity. These datasets form the basis of effective and easy to use decision support and analytical environments. As a result, it is important to develop scalable data management systems to store, manage and integrate these datasets. In this paper, we develop EpiK —a knowledge base that facilitates the development of decision support and analytical environments to support epidemic science. An important goal is to develop a framework that links the input as well as output datasets to facilitate effective spatio-temporal and social reasoning that is critical in planning and intervention analysis before and during an epidemic. The data management framework links modeling workflow data and its metadata using a controlled vocabulary. The metadata captures information about storage, the mapping between the linked model and the physical layout, and relationships to support services. EpiK is designed to support agent-based modeling and analytics frameworks—aggregate models can be seen as special cases and are thus supported. We use semantic web technologies to create a representation of the datasets that encapsulates both the location and the schema heterogeneity. The choice of RDF as a representation language is motivated by the diversity and growth of the datasets that need to be integrated. A query bank is developed—the queries capture a broad range of questions that can be posed and answered during a typical case study pertaining to disease outbreaks. The queries are constructed using SPARQL Protocol and RDF Query Language (SPARQL) over the EpiK. EpiK can hide schema and location heterogeneity while efficiently supporting queries that span the computational epidemiology modeling pipeline: from model construction to simulation output. As a result, we show that the performance of benchmark queries varies significantly with respect to the choice of hardware underlying the database and resource description framework (RDF) engine.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2011

Time Profiles of Ions Produced in a Hot-Cavity Resonant Ionization Laser Ion Source

The time profiles of Cu, Sn and Ni ions extracted from a hot-cavity resonant ionization laser ion source are investigated. The ions are produced in the ion source by three-photon resonant ionization with pulsed Ti:Sapphire lasers. Measurements show that the time spread of these ions generated within laser pulses of about 30 ns could be larger than 100 s when the ions are extracted from the ion source. A one-dimensional ion-transport model using the Monte Carlo method is developed to simulate the time dependence of the ion pulses. The observed ion temporal profiles agree reasonably well with the predictions of the model, which indicates that a substantial fraction of the extracted ions are generated in the vapor-transfer tube rather than the hot cavity and that ion-wall collisions are suppressed inside the ion source by an undetermined ion confinement mechanism. Three-dimensional modeling will be necessary to understand the strong reduction in losses expected from ion-wall collisions which we interpret as evidence for confinement.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

NASA NTRS1987

Large-scale fluctuations between 13 AU and 25 AU and their effects on cosmic rays

The reasons for the temporal and latitudinal large-scale fluctuations in the magnetic-field strength observed between 13 and 25 AU by Voyagers 1 and 2 in 1984-1985, and their effect on the cosmic ray intensity profile are investigated. The study of low-frequency and intermediate-frequency fluctuations determined from magnetic-field-intensity profile suggests the presence of discontinuities near the equator during both years. The intensity of cosmic ray nuclei of greater than 75 MeV during 1984 was found to fluctuate about a constant value, because the decreases of intensity caused by the passage of large merged interaction regions balanced the increases of intensity associated with rarefied regions. The intensity of cosmic ray nuclei above 75 MeV increased during 1985 because there were few large interactions then. The cosmic ray intensity increased more rapidly at low than at high latitudes. The model of Burlaga et al. (1985) was found to provide good first-order fits to the cosmic ray intensity profiles.

Burlaga, L. F.↗

NASA NTRS1992

Using AVIRIS images to measure temporal trends in abundance of photosynthetic and nonphotosynthetic canopy components

The Jasper Ridge Biological Preserve, Stanford, California is a good example of hardwood rangeland ecosystems in California. Structurally, it is composed of a mosaic of serpentine grasslands, oak savannah, coastal chaparral, and mixed evergreen woodland, representing a broad cross-section of physiognomic classes. The Mediterranean climate produces an extended seasonal drought lasting throughout most of the growing season and has significant impact on the expression of divergent phenological patterns related to contrasting ecological strategies of these taxa. The region is well understood biologically due to the rich history of ecological research at the site. Thus, community characteristics, physiological characteristics, phenology, and temporal dynamics are reasonably well understood for many of the dominant species. Because of its proximity to NASA Ames Research Center, it has been subject to a large number of aircraft data acquisitions over many years. A more complete examination of this database would provide an opportunity to test current remote sensing hypotheses for measurement and detection of ecological attributes, particularly those involving canopy chemistry and physiology. Better definition of ecological rules might permit development of remotely sensed surrogate variables for biological properties that cannot be directly measured or measured with sufficient accuracy.

Ustin, Susan L.↗

NASA NTRS1993

Mars Operational Environmental Satellite (MOES): A post-Mars Observer discovery mission

Mars Operational Environmental Satellite (MOES) is a Discovery concept mission that is designed to observe the global short-term weather phenomena on Mars in a systematic fashion. Even after the Mariner, Viking, and, soon, Mars Observer missions, crucial aspects of the martian atmosphere will remain unobserved systematically. Achieving a better understanding of the cycles of dust, water vapor, and ices on Mars requires detailed information about atmospheric transports of those quantities associated with the weather systems, particularly those arising in mid latitudes during fall and winter. It also requires a quantitive understanding of the processes responsible for the onset and evolution of dust storms on all scales. Whereas on Earth the system of geosynchronous and polar orbiting satellites provides continuous coverage of the weather systems, on Mars the time history of important events such as regional and global dust storms remains unobserved. To understand the transport of tracers in the martian atmosphere and particularly to identify their sources and sinks, it is necessary to have systematic global, synoptic observations that have yet to be attained. Clearly these requirements are not easy to achieve from a single spacecraft in orbit, but if we focus on specific regions of the planet, e.g., polar vs. low and mid latitudes, then it is possible to attain a nearly ideal coverage at a reasonable spatial and temporal resolution with a system of just two satellites. Mars Observer is about to yield good coverage of the polar latitudes, so we focus initially on the region not covered well in terms of diurnal coverage, and in terms of desired observations will provide the initial data for the numerical models of the martian weather and climate that can be verified only with better temporal and spatial data.

Limaye, Sanjay S.↗

NASA NTRS2001

Metastability of Liquid Water on Mars

This talk reviews reasonable spatial and temporal scales for melting and flowing of water on Mars, and relates them to plausible martian conditions. Additional information is contained in the original extended abstract.

Hecht, M. H.↗

NASA NTRS2005

The response of the near earth magnetotail to substorm activity

The large scale structure of the current sheet in the terrestrial magnetotail is often represented as the superposition of a constant northward-oriented magnetic field component (B(sub z)) and a component along the Earth-Sun direction (B(sub x)) that varies with distance from the center of the sheet (z(sub o) in GSM) as in a Hams neutral sheet. The latter implies that B(sub x) = B(sub Lx) tanh((z - z(sub o))/h) where B(sub Lx) is the magnitude of the B(sub x) component in the northern lobe. Correspondingly, the cross-tail current should be approximated by J(sub y) = (B(sub Lx)/h) sech(sup 2)((z - z(sub o))/h). Using data from the fluxgate magnetometer (FGM) on the Cluster I1 spacecraft tetrad, we have used measured fields and currents to ask if this model represents the large-scale properties of the system. During very quiet crossings of the plasmasheet, we find that the model gives a reasonable estimate of the trend of the average current and field distributions, but during disturbed intervals, the best fit fails to represent the data. If, however, the parameters z(sub o) and h of the model are taken as variable functions of time, the fits can be reasonably good. The temporal variation of the fit parameter h that characterizes the thickness of the current sheet can be interpreted in terms of thinning during the growth phase of a substorm and thickening following the expansion phase. Ground signatures that give insight into the local time of substorm onset can be used to interpret the response of the plasmasheet to substorm related changes of the global system. During a substorm, the field magnitude in the central plasmasheet fluctuates at the period of Pi2 pulsations.

Kivelson, M. G.↗

NASA NTRS2010

Mechanisms of Diurnal Precipitation over the United States Great Plains: A Cloud-Resolving Model Simulation

The mechanisms of summertime diurnal precipitation in the US Great Plains were examined with the two-dimensional (2D) Goddard Cumulus Ensemble (GCE) cloud-resolving model (CRM). The model was constrained by the observed large-scale background state and surface flux derived from the Department of Energy (DOE) Atmospheric Radiation Measurement (ARM) Program s Intensive Observing Period (IOP) data at the Southern Great Plains (SGP). The model, when continuously-forced by realistic surface flux and large-scale advection, simulates reasonably well the temporal evolution of the observed rainfall episodes, particularly for the strongly forced precipitation events. However, the model exhibits a deficiency for the weakly forced events driven by diurnal convection. Additional tests were run with the GCE model in order to discriminate between the mechanisms that determine daytime and nighttime convection. In these tests, the model was constrained with the same repeating diurnal variation in the large-scale advection and/or surface flux. The results indicate that it is primarily the surface heat and moisture flux that is responsible for the development of deep convection in the afternoon, whereas the large-scale upward motion and associated moisture advection play an important role in preconditioning nocturnal convection. In the nighttime, high clouds are continuously built up through their interaction and feedback with long-wave radiation, eventually initiating deep convection from the boundary layer. Without these upper-level destabilization processes, the model tends to produce only daytime convection in response to boundary layer heating. This study suggests that the correct simulation of the diurnal variation in precipitation requires that the free-atmospheric destabilization mechanisms resolved in the CRM simulation must be adequately parameterized in current general circulation models (GCMs) many of which are overly sensitive to the parameterized boundary layer heating.

Lee, M.-I.↗

NASA NTRSDate not supplied

Runtime Analysis with R2U2: A Tool Exhibition Report

We present R2U2 (Realizable, Responsive, Unobtrusive Unit), a hardware- supported tool and framework for the continuous monitoring of safetycritical and embedded cyber-physical systems.With the widespread advent of autonomous systems such as Unmanned Aerial Systems (UAS), satellites, rovers, and cars, real-time, on-board decision making requires unobtrusive monitoring of properties for safety, performance, security, and system health. R2U2 models combine past-time and future-time Metric Temporal Logic, “mission time” Linear Temporal Logic, probabilistic reasoning with Bayesian Networks, and modelbased prognostics. The R2U2 monitoring engine can be instantiated as a hardware solution, running on an FPGA, or as a software component. The FPGA realization enables R2U2 to monitor complex cyber-physical systems without any overhead or instrumentation of the flight software. In this tool exhibition report, we present R2U2 and demonstrate applications on system runtime monitoring, diagnostics, software health management, and security monitoring for a UAS. Our tool demonstration uses a hardware-based processor-in-the-loop “iron-bird” configuration.

Johann Martin Schumann↗

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 NTRS1973

Some observed seasonal changes in extratropical general circulation: A study in terms of vorticity

Extratropical eddy distributions in four months typical of the four seasons are treated in terms of temporal mean and temporal r.m.s. values of the geostrophic relative vorticity. The geographical distributions of these parameters at the 300 mb level show that the arithmetic mean fields are highly biased representatives of the extratropical eddy distributions. The zonal arithmetic means of these parameters are also presented. These show that the zonal-and-time mean relative vorticity is but a small fraction of the zonal mean of the temporal r.m.s. relative vorticity, K. The reasons for considering the r.m.s. values as the temporal normal values of vorticity in the extratropics are given in considerable detail. The parameter K is shown to be of considerable importance in locating the extratropical frontal jet streams (EFJ) in time-and-zonal average distributions. The study leads to an understanding of the seasonal migrations of the EFJ which have not been explored until now.

Srivatsangam, S.↗

NASA NTRSDate not supplied

Planning for Compilation of a Quantum Algorithm for Graph Coloring

Recently, the problem of compiling general quantum algorithms for implementation on near-term quantum processors has been introduced to the AI community. Previous work demonstrated that temporal planning is an attractive approach for part of this compilation task, specifically, the routing of circuits that implement the Quantum Alternating Operator Ansatz (QAOA) applied to theMaxCut problem on a quantum processor architecture. In this paper, we extend the earlier work to route circuits that implement QAOAfor Graph Coloring problems. QAOA for coloring requires execution of more, and more complex, operations on the chip, which makes routing a more challenging problem. We evaluate the approach on state-of-the-art hardware architectures from leading quantum computing companies. Additionally, we investigate applying the planning approach to qubit initialization as well as routing. Our empirical evaluation shows that temporal planning compares well to reasonable analytic upper bounds [20], and that solving qubit initialization with a classical planner generally helps temporal planners in finding shorter-makespan compilations for QAOA for Graph Coloring.These advances suggest that temporal planning can be an effective approach for more complex quantum computing algorithms and architectures.

Minh Do↗

DOE OSTI2018

Towards in-situ high precision local material velocity measurements in lattice materials under dynamic compression

The study of dynamic compression of materials requires high precision spatial and temporal resolution to infer the material state at any given time. In ultra-fast imaging experiments such as those performed at the Dynamic Compression Sector at the Advanced Photon Source, the current CCD frame rate is less than the X-ray pulse rate necessitating that 4 CCDs be used to image a single scintillator screen to obtain the same projection of transmitted or diffracted beam at time intervals synchronized with the X-ray beam. The use of multiple-camera setups is often employed for a variety of reasons including enhancing the temporal resolution through interleaving frames or increasing the number of viewpoints, for example. Physical corrections are made to have each CCD approximately viewing the same field of view, however we present corrections that can be made after the data collection to further refine and be able to compare movements and changes in the sample between independent CCDs. These software corrections enable higher precision and higher fidelity comparison of position changes due to sample deformation. Furthermore, we present a method to correct images (or frames) as a demonstration toward high fidelity displacement measurements in these types of ultra-fast multi-camera setup experiments.

36 MATERIALS SCIENCE↗

DOE OSTI2024

Printed Potentiometric Ammonium Sensors for Agriculture Applications

Ammonium (NH 4 + ) concentration is critical to both nutrient availability and nitrogen (N) loss in soil ecosystems but can be highly variable across spatial and temporal scales. For this reason, effectively informing agricultural practices such as fertilizer management and understanding of mechanisms of soil N loss require sensor technologies to monitor ammonium concentrations in real time. Our work investigates the performance of fully printed ammonium ion-selective sensors used in diverse soil environments. Ammonium sensors consisting of a printed ammonium ion-selective electrode and a printed Ag/AgCl reference were fabricated and characterized in aqueous solutions and three different soil types (sand, peat, and clay) under the range of ion concentrations likely to be present in soil (0.01–100 mM). The response of ammonium sensors was further evaluated under variable gravimetric moisture content in the soil to reflect their reliability under field conditions. Ammonium sensors demonstrated a sensitivity of 53.6 ± 5.1 mV/decade when tested in aqueous solution, and a sensitivity of 55.7 ± 11 mV/dec, 57.5 ± 4.1 mV/dec, and 43.7 ± 4 mV/dec was measured in sand, clay, and peat soils, respectively.

60 APPLIED LIFE SCIENCES↗

NASA NTRS1992

Multi-agent planning and scheduling, execution monitoring and incremental rescheduling: Application to motorway traffic

This article describes a planning method applicable to agents with great perception and decision-making capabilities and the ability to communicate with other agents. Each agent has a task to fulfill allowing for the actions of other agents in its vicinity. Certain simultaneous actions may cause conflicts because they require the same resource. The agent plans each of its actions and simultaneously transmits these to its neighbors. In a similar way, it receives plans from the other agents and must take account of these plans. The planning method allows us to build a distributed scheduling system. Here, these agents are robot vehicles on a highway communicating by radio. In this environment, conflicts between agents concern the allocation of space in time and are connected with the inertia of the vehicles. Each vehicle made a temporal, spatial, and situated reasoning in order to drive without collision. The flexibility and reactivity of the method presented here allows the agent to generate its plan based on assumptions concerning the other agents and then check these assumptions progressively as plans are received from the other agents. A multi-agent execution monitoring of these plans can be done, using data generated during planning and the multi-agent decision-making algorithm described here. A selective backtrack allows us to perform incremental rescheduling.

Mourou, Pascal↗

NASA NTRS1994

A unifying comparison of nearly scatter free transport models

Gombosi et al. (1993) recently derived a modified telegrapher's equation for charged particle transport under the influence of isotropic scattering. This equation obeys causality and disallows upstream diffusion for particles with random velocities smaller than the bulk flow velocity. The acausal diffusion equation was obtained to lowest order in the expansion of smallness prameters. The paper by Gombosi et al. (1993) prompted responses from Pauls et al. (1993) and Earl (1993). This paper is written to explain the differences between the methods, assumptions, and results of Gombosi et al. (1993), Pauls et al. (1993), and Earl (1993) and presents a new method of obtaining approximate solutions. It is shown that the assumptions used by Gombosi et al. (1993) and Pauls et al. (1993) are physically equivalent. In our solution method, the solution of the modified telegrapher's equation is obtained as the casual limit of solutions accurate to second order in the smallness parameter expansion. In order to investigate the coherent velocity, we have also developed `wavenumber eigenfunctions' which account for all the pitch angle dependence in our Boltzmann equation. Using truncation, Earl (1993) obtains approximations for the wavenumber dependence of the lowest two frequency modes, which correspond to two of the wavenumber eigenmodes. We find that a consequence of including only two wavenumber eigenmodes is that one obtains solutions which disobey causality at sufficiently short times. Furthermore, the coherent velocity of the two eigenmodes is strongly dependent on wavenumber and approaches the particle velocity in the limit of large wavenumber for both isotropic and anisotropic scattering processes. We conclude that Earl's (1993) solutions and solutions obtained using the new solution method implicitly assume weak acausality and reasonable behavior in the temporal regime, t less than 4 tau. The solutions are not strictly consistent with the behavior of the lowest two frequency modes but have similar behavior in the regime of low wavenumber.

Schwadron, N. A.↗