Engineering Papers⌕ Search

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.

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

At least 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRS2018

On-Board Battery Monitoring and Prognostics for Electric-Propulsion Aircraft

The reliability of the propulsion system of an aircraft is paramount for the aircraft safety and hence the aircraft health must be monitored continuously. In contrast to fuel- operated aircraft, electric battery-operated propulsion system poses specific problems, such as, the remaining battery power does not linearly decrease and cannot be measured directly. In this paper, we describe a combined monitoring and prognostics architecture that can continuously monitor all components of the electric propulsion system with respect to safety and performance properties as well as state of charge and rest of useful life for the battery. Our system combines a detailed electrochemical battery model for Li-ion batteries with a powerful prognostics engine based upon an Unscented Kalman Filter with the R2U2 monitoring device, which provides efficient observers for metric temporal logic and Bayesian reasoning. R2U2 is a real-time, realizable, responsive, unobtrusive unit, which continuously monitors sensor readings, outputs of the prognostics engine, as well as the ight software status for safety, performance, and security properties. We illustrate our architecture with two case studies, one reporting actual ight tests with an X8+ octocopter and the other a software-in-the-loop simulation with an unmanned Edge 540 electric aircraft model.

Kulkarni, Chetan↗
DOE OSTI2018

Adverse Event Prediction Using Graph-Augmented Temporal Analysis (Final Report)

This report summarizes the work performed under the Sandia LDRD project "Adverse Event Prediction Using Graph-Augmented Temporal Analysis." The goal of the project was to develop a method for analyzing multiple time-series data streams to identify precursors providing advance warning of the potential occurrence of events of interest. The proposed approach combined temporal analysis of each data stream with reasoning about relationships between data streams using a geospatial-temporal semantic graph. This class of problems is relevant to several important topics of national interest. In the course of this work we developed new temporal analysis techniques, including temporal analysis using Markov Chain Monte Carlo techniques, temporal shift algorithms to refine forecasts, and a version of Ripley's K-function extended to support temporal precursor identification. This report summarizes the project's major accomplishments, and gathers the abstracts and references for the publication submissions and reports that were prepared as part of this work. We then describe work in progress that is not yet ready for publication.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2018

Adverse Event Prediction Using Graph-Augmented Temporal Analysis (Final Report)

This report summarizes the work performed under the Sandia LDRD project "Adverse Event Prediction Using Graph-Augmented Temporal Analysis." The goal of the project was to develop a method for analyzing multiple time-series data streams to identify precursors providing advance warning of the potential occurrence of events of interest. The proposed approach combined temporal analysis of each data stream with reasoning about relationships between data streams using a geospatial-temporal semantic graph. This class of problems is relevant to several important topics of national interest. In the course of this work we developed new temporal analysis techniques, including temporal analysis using Markov Chain Monte Carlo techniques, temporal shift algorithms to refine forecasts, and a version of Ripley's K-function extended to support temporal precursor identification. This report summarizes the project's major accomplishments, and gathers the abstracts and references for the publication sub-missions and reports that were prepared as part of this work. We then describe work in progress that is not yet ready for publication.

42 ENGINEERING↗
NASA NTRSDate not supplied

A Temporal Differential Dynamic Logic Formal Embedding

Differential dynamic logic is a formal framework to specify and reason about hybrid programs (HPs). The core of dL is a proof calculus that contains a collection of axioms and rules for the rigorous verification of properties of HPs. Recently, dL has been embedded within the theorem prover Prototype Verification System (PVS) resulting in the tool Plaidypvs2. The integration of dL into PVS expands its expressive power; user defined functions, such as trigonometric and other transcendental functions, can be used inside the dL framework, and meta-reasoning about HPs can be performed, including reasoning about entire classes of HPs, specified using dependent types in PVS. The differential temporal dynamic logic (dTL2) extends dL with temporal logic operators to reason about all the states reachable during the execution of an HP. This paper presents a work in progress focusing on embedding dTL2 in PVS as an extension of Plaidypvs. Plaidypvs is expanded with the formalization of a trace semantics for HPs, the definition of the LTL temporal operators eventually and globally, and the implementation of the proof calculus for dTL2. This new embedding has the same capabilties as Plaidypvs, which allows user defined functions and meta-reasoning of properties of HPs. To the best of the authors’ knowledge this is the first implementation of dTL2.

differential dynamic logic↗
DOE OSTI2014

Volatility basis-set approach simulation of organic aerosol formation in East Asia: implications for anthropogenic-biogenic interaction and controllable amounts

Organic aerosol (OA) simulations using the volatility basis-set approach were made for East Asia and its outflow region. Model simulations were evaluated through comparisons with OA measured by aerosol mass spectrometers in and around Tokyo (at Komaba and Kisai in summer 2003 and 2004) and over the outflow region in East Asia (at Fukue and Hedo in spring 2009). The simulations with aging processes of organic vapors reasonably well reproduced mass concentrations, temporal variations, and formation efficiency of observed OA at all sites. As OA mass was severely underestimated in the simulations without the aging processes, the oxidations of organic vapors are essential for reasonable OA simulations over East Asia. By considering the aging processes, simulated OA concentrations considerably increased from 0.24 to 1.28 µg m-3 in the boundary layer over the whole of East Asia. OA formed from the interaction of anthropogenic and biogenic sources was also enhanced by the aging processes. The fraction of controllable OA was estimated to be 87 % of total OA over the whole of East Asia, showing that most of the OA in our simulations formed anthropogenically (controllable). A large portion of biogenic secondary OA (78 % of biogenic secondary OA) formed through the influence of anthropogenic sources. The high fraction of controllable OA in our simulations is likely because anthropogenic emissions are dominant over East Asia and OA formation is enhanced by anthropogenic sources and their aging processes. Both the amounts (from 0.18 to 1.12 µg m-3) and the fraction (from 75 % to 87 %) of controllable OA were increased by aging processes of organic vapors over East Asia.

Matsui, H.↗
DOE OSTI2023

Exploring temporal community evolution: algorithmic approaches and parallel optimization for dynamic community detection

Abstract Dynamic (temporal) graphs are a convenient mathematical abstraction for many practical complex systems including social contacts, business transactions, and computer communications. Community discovery is an extensively used graph analysis kernel with rich literature for static graphs. However, community discovery in a dynamic setting is challenging for two specific reasons. Firstly, the notion of temporal community lacks a widely accepted formalization, and only limited work exists on understanding how communities emerge over time. Secondly, the added temporal dimension along with the sheer size of modern graph data necessitates new scalable algorithms. In this paper, we investigate how communities evolve over time based on several graph metrics under a temporal formalization. We compare six different algorithmic approaches for dynamic community detection for their quality and runtime. We identify that a vertex-centric (local) optimization method works as efficiently as the classical modularity-based methods. To its advantage, such local computation allows for the efficient design of parallel algorithms without incurring a significant parallel overhead. Based on this insight, we design a shared-memory parallel algorithm DyComPar , which demonstrates between 4 and 18 fold speed-up on a multi-core machine with 20 threads, for several real-world and synthetic graphs from different domains.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1978

Nightglow emissions of OH/X 2 pi/ - Comparison of theory and measurements in the /9-3/ band

The visible airglow experiments on the Atmosphere Explorer C and E satellites have viewed the (9-3) band nightglow emission of the excited hydroxyl radical in the lower thermosphere at tropical latitudes. The surface brightnesses observed at similar local times vary by approximately a factor of 2. Comparison of the measurements with time-dependent photochemical calculations shows reasonable agreement and indicates that temporal changes in atmospheric transport processes are the most likely explanation of the nightglow variations.

Frederick, J. E.↗
NASA NTRS1990

A diagnosis system using object-oriented fault tree models

Spaceborne computing systems must provide reliable, continuous operation for extended periods. Due to weight, power, and volume constraints, these systems must manage resources very effectively. A fault diagnosis algorithm is described which enables fast and flexible diagnoses in the dynamic distributed computing environments planned for future space missions. The algorithm uses a knowledge base that is easily changed and updated to reflect current system status. Augmented fault trees represented in an object-oriented form provide deep system knowledge that is easy to access and revise as a system changes. Given such a fault tree, a set of failure events that have occurred, and a set of failure events that have not occurred, this diagnosis system uses forward and backward chaining to propagate causal and temporal information about other failure events in the system being diagnosed. Once the system has established temporal and causal constraints, it reasons backward from heuristically selected failure events to find a set of basic failure events which are a likely cause of the occurrence of the top failure event in the fault tree. The diagnosis system has been implemented in common LISP using Flavors.

Iverson, David L.↗
NASA NTRS2006

Developing Formal Correctness Properties from Natural Language Requirements

This viewgraph presentation reviews the rationale of the program to transform natural language specifications into formal notation.Specifically, automate generation of Linear Temporal Logic (LTL)correctness properties from natural language temporal specifications. There are several reasons for this approach (1) Model-based techniques becoming more widely accepted, (2) Analytical verification techniques (e.g., model checking, theorem proving) significantly more effective at detecting types of specification design errors (e.g., race conditions, deadlock) than manual inspection, (3) Many requirements still written in natural language, which results in a high learning curve for specification languages, associated tools and increased schedule and budget pressure on projects reduce training opportunities for engineers, and (4) Formulation of correctness properties for system models can be a difficult problem. This has relevance to NASA in that it would simplify development of formal correctness properties, lead to more widespread use of model-based specification, design techniques, assist in earlier identification of defects and reduce residual defect content for space mission software systems. The presentation also discusses: potential applications, accomplishments and/or technological transfer potential and the next steps.

requirements engineering↗
NASA NTRS2013

Atmospheric Turbulence Estimates from a Pulsed Lidar

Estimates of the eddy dissipation rate (EDR) were obtained from measurements made by a coherent pulsed lidar and compared with estimates from mesoscale model simulations and measurements from an in situ sonic anemometer at the Denver International Airport and with EDR estimates from the last observation time of the trailing vortex pair. The estimates of EDR from the lidar were obtained using two different methodologies. The two methodologies show consistent estimates of the vertical profiles. Comparison of EDR derived from the Weather Research and Forecast (WRF) mesoscale model with the in situ lidar estimates show good agreement during the daytime convective boundary layer, but the WRF simulations tend to overestimate EDR during the nighttime. The EDR estimates from a sonic anemometer located at 7.3 meters above ground level are approximately one order of magnitude greater than both the WRF and lidar estimates - which are from greater heights - during the daytime convective boundary layer and substantially greater during the nighttime stable boundary layer. The consistency of the EDR estimates from different methods suggests a reasonable ability to predict the temporal evolution of a spatially averaged vertical profile of EDR in an airport terminal area using a mesoscale model during the daytime convective boundary layer. In the stable nighttime boundary layer, there may be added value to EDR estimates provided by in situ lidar measurements.

Pruis, Matthew J.↗
NASA NTRS2005

Apex Reference Manual 3.0 Beta

Apex is a toolkit for constructing software that behaves intelligently and responsively in demanding task environments. Reflecting its origin at NASA where Apex continues to be developed, current applications include: a) Providing autonomous mission management and tactical control capabilities for unmanned aerial vehicles including an autonomous surveillance helicopter and a simulation prototype of an unmanned fixed-wing aircraft to be used for wildfire mapping; b) Simulating human air traffic controllers, pilots and astronauts to help predict how people might respond to changes in equipment or procedures; and c) Predicting the precise duration and sequence of routine human behaviors based on a human-computer interaction engineering technique called CPM-GOMS. Among Apex s components are a set of implemented reasoning services, such as those for reactive planning and temporal pattern recognition; a software architecture that embeds and integrates these services and allows additional reasoning elements to be added as extensions; a formal language for specifying agent knowledge; a simulation environment to facilitate prototyping and analysis; and Sherpa, a set of tools for visualizing autonomy logic and runtime behavior. In combination, these are meant to provide a flexible and usable framework for creating, testing, and deploying intelligent agent software. Overall, our goal in developing Apex is to lower economic barriers to developing intelligent software agents. New ideas about how to extend or modify the system are evaluated in terms of their impact in reducing the time, expertise, and inventiveness required to build and maintain applications. For example, potential enhancements to the AI reasoning capabilities in the system are reviewed not only for usefulness and distinctiveness, but also for their impact on the readability and general usability of Apex s behavior representation language (PDL) and on the transparency of resulting behavior. A second central part of our approach is to iteratively refine Apex based on lessons learned from as diverse a set of applications as possible. Many applications have been developed by users outside the core development team including engineers, researchers, and students. Usability is thus a central concern for every aspect of Apex visible to a user, including PDL, Sherpa, the Apex installation process, APIs, and user documentation. Apex users vary in their areas of expertise and in their familiarity with autonomy technology. Focusing on usability, a development philosophy summarized by the project motto "Usable Autonomy," has been important part of enabling diverse users to employ Apex successfully and to provide feedback needed to guide iterative, user-centered refinement.

Freed, Michael A.↗
DOE OSTI2013

Numerical simulation of the main characteristics of a high-pressure DF – CO{sub 2} laser for amplification of picosecond laser pulses

The gain characteristics of the medium of a pulsed DF – CO{sub 2} laser in the ten-micron region at the working gas pressures from 1 to 2.5 atm, which were experimentally determined in [4], are numerically simulated using a scheme that includes the main chemical and relaxation processes. It is shown that the chosen scheme of processes makes it possible (i) to numerically describe the experimental data on the temporal behaviour of gains; (ii) to explain the reason for early degradation of gains (at the degree of D{sub 2} transformation of about 20%); (iii) from comparison of experimental and calculated temporal gain profiles, to determine the degree of photodissociation of F{sub 2} molecules, which is an important parameter determining the operation of pulsed chemical DF – CO{sub 2} lasers; and (iv) to predict the gain characteristics of working mixtures depending on their composition and pressure and on the initiation parameters. The predicted gains in the mixtures of the optimal composition at a pressure of 2.5 atm, a degree of dissociation of F{sub 2} molecules per flash ∼1%, and a flash duration at half-width of ∼3 μs are ∼7 m{sup -1}. (lasers)

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2017

Projection quantum mechanics and neutrino mixing

The theory of neutrino oscillations rests on the assumption, that the interaction basis and the physical (mass) basis of neutrino states are different. Therefore neutrino is produced in a certain welldefined superposition of three mass eigenstates, which propagate separately and may be detected as a different superposition. This is called flavor oscillations. It is, however, not clear why neutrinos behave this way, i.e., what is the underlying mechanism which leads to the production of a superposition of physical states in a single reaction. In this paper we argue, that one of the reasons may be connected with the temporal structure of the process. In order to discuss the role of time in processes on the quantum level, we use a special formulation of the quantum mechanics, which is based on the projection time evolution. We arrive at the conclusion, that for short reaction times the formation of a superposition of states of similar masses is natural.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2016

A global scale mechanistic model of photosynthetic capacity (LUNA V1.0)

Abstract. Although plant photosynthetic capacity as determined by the maximum carboxylation rate (i.e., Vc, max25) and the maximum electron transport rate (i.e., Jmax25) at a reference temperature (generally 25 °C) is known to vary considerably in space and time in response to environmental conditions, it is typically parameterized in Earth system models (ESMs) with tabulated values associated with plant functional types. In this study, we have developed a mechanistic model of leaf utilization of nitrogen for assimilation (LUNA) to predict photosynthetic capacity at the global scale under different environmental conditions. We adopt an optimality hypothesis to nitrogen allocation among light capture, electron transport, carboxylation and respiration. The LUNA model is able to reasonably capture the measured spatial and temporal patterns of photosynthetic capacity as it explains ∼ 55 % of the global variation in observed values of Vc, max25 and ∼ 65 % of the variation in the observed values of Jmax25. Model simulations with LUNA under current and future climate conditions demonstrate that modeled values of Vc, max25 are most affected in high-latitude regions under future climates. ESMs that relate the values of Vc, max25 or Jmax25 to plant functional types only are likely to substantially overestimate future global photosynthesis.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1977

Solar particle propagation from 1 to 5 AU

The radial variation of the interplanetary propagation of solar cosmic rays is investigated on a grand scale by performing a statistical analysis of charged-particle data obtained by Pioneers 10 and 11 from launch to Jovian encounter (i.e., at distances of 1 to 5 AU). A numerical propagation model is adopted which includes diffusion, convection, and adiabatic deceleration, as well as a variable power-law diffusion coefficient. The study of solar particle events is carried out by analyzing individually each of five key parameters that are uniquely defined in each solar particle event: the time to maximum flux starting from the initial release at the sun, the anisotropy at the time to maximum flux, the flux at that time, the time width of the event at half the flux at the time to maximum, and the decay time. Combined results for the proton energy ranges from 3.4 to 5.2 MeV and 24 to 30 MeV are presented, the average radial diffusion coefficients between 1 and 5 AU are determined for each energy range, and it is found that the combination of a near-impusive injection with a temporally constant spectral index produces a reasonably good fit to the high-energy data but not as good a fit to the low-energy data. Implications of the results obtained are discussed for cosmic-ray propagation theory, solar modulation studies, and interplanetary acceleration of solar particles.

Zwickl, R. D.↗
NASA NTRS1987

An evaluation of a real-time fault diagnosis expert system for aircraft applications

A fault monitoring and diagnosis expert system called Faultfinder was conceived and developed to detect and diagnose in-flight failures in an aircraft. Faultfinder is an automated intelligent aid whose purpose is to assist the flight crew in fault monitoring, fault diagnosis, and recovery planning. The present implementation of this concept performs monitoring and diagnosis for a generic aircraft's propulsion and hydraulic subsystems. This implementation is capable of detecting and diagnosing failures of known and unknown (i.e., unforseeable) type in a real-time environment. Faultfinder uses both rule-based and model-based reasoning strategies which operate on causal, temporal, and qualitative information. A preliminary evaluation is made of the diagnostic concepts implemented in Faultfinder. The evaluation used actual aircraft accident and incident cases which were simulated to assess the effectiveness of Faultfinder in detecting and diagnosing failures. Results of this evaluation, together with the description of the current Faultfinder implementation, are presented.

Schutte, Paul C.↗
NASA NTRS1987

A qualitative approach for recovering relative depths in dynamic scenes

This approach to dynamic scene analysis is a qualitative one. It computes relative depths using very general rules. The depths calculated are qualitative in the sense that the only information obtained is which object is in front of which others. The motion is qualitative in the sense that the only required motion data is whether objects are moving toward or away from the camera. Reasoning, which takes into account the temporal character of the data and the scene, is qualitative. This approach to dynamic scene analysis can tolerate imprecise data because in dynamic scenes the data are redundant.

Haynes, S. M.↗