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 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.↗
NASA NTRS1990

Cloud parameters derived from GOES during the 1987 marine stratocumulus FIRE Intensive Field Observation (IFO) period

The Geostationary Operational Environmental Satellite (GOES) is well suited for observations of the variations of clouds over many temporal and spatial scales. For this reason, GOES data taken during the Marine Stratocumulus Intensive Field Observations (IFO) (June 29 to July 19, 1987, Kloessel et al.) serve several purposes. One facet of the First ISCCP Regional Experiment (FIRE) is improvement of the understanding of cloud parameter retrievals from satellite-observed radiances. This involves comparisons of coincident satellite cloud parameters and high resolution data taken by various instruments on other platforms during the IFO periods. Another aspect of FIRE is the improvement of both large- and small-scale models of stratocumulus used in general circulation models (GCMs). This may involve, among other studies, linking the small-scale processes observed during the IFO to the variations in large-scale cloud fields observed with the satellites during the IFO and Extended Time Observation (ETO) periods. Preliminary results are presented of an analysis of GOES data covering most of the IFO period. The large scale cloud-field characteristics are derived, then related to a longer period of measurements. Finally, some point measurements taken from the surface are compared to regional scale cloud parameters derived from satellite radiances.

Young, David F.↗
NASA NTRS2011

Simulation of Acoustics for Ares I Scale Model Acoustic Tests

The Ares I Scale Model Acoustics Test (ASMAT) is a series of live-fire tests of scaled rocket motors meant to simulate the conditions of the Ares I launch configuration. These tests have provided a well documented set of high fidelity acoustic measurements useful for validation including data taken over a range of test conditions and containing phenomena like Ignition Over-Pressure and water suppression of acoustics. To take advantage of this data, a digital representation of the ASMAT test setup has been constructed and test firings of the motor have been simulated using the Loci/CHEM computational fluid dynamics software. Results from ASMAT simulations with the rocket in both held down and elevated configurations, as well as with and without water suppression have been compared to acoustic data collected from similar live-fire tests. Results of acoustic comparisons have shown good correlation with the amplitude and temporal shape of pressure features and reasonable spectral accuracy up to approximately 1000 Hz. Major plume and acoustic features have been well captured including the plume shock structure, the igniter pulse transient, and the ignition overpressure.

Putnam, Gabriel↗
NASA NTRS2011

Validation and Simulation of ARES I Scale Model Acoustic Test -1- Pathfinder Development

The Ares I Scale Model Acoustics Test (ASMAT) is a series of live-fire tests of scaled rocket motors meant to simulate the conditions of the Ares I launch configuration. These tests have provided a well documented set of high fidelity measurements useful for validation including data taken over a range of test conditions and containing phenomena like Ignition Over-Pressure and water suppression of acoustics. To take advantage of this data, a digital representation of the ASMAT test setup has been constructed and test firings of the motor have been simulated using the Loci/CHEM computational fluid dynamics software. Within this first of a series of papers, results from ASMAT simulations with the rocket in a held down configuration and without water suppression have then been compared to acoustic data collected from similar live-fire tests to assess the accuracy of the simulations. Detailed evaluations of the mesh features, mesh length scales relative to acoustic signals, Courant-Friedrichs-Lewy numbers, and spatial residual sources have been performed to support this assessment. Results of acoustic comparisons have shown good correlation with the amplitude and temporal shape of pressure features and reasonable spectral accuracy up to approximately 1000 Hz. Major plume and acoustic features have been well captured including the plume shock structure, the igniter pulse transient, and the ignition overpressure. Finally, acoustic propagation patterns illustrated a previously unconsidered issue of tower placement inline with the high intensity overpressure propagation path.

Putnam, G. C.↗
NASA NTRS2018

Efficient Runtime Verification of First-Order Temporal Properties

Runtime verification allows monitoring the execution of a system against a temporal property, raising an alarm if the property is violated. In this paper we present a theory and system for runtime verification of a first-order past time linear temporal logic. The first-order nature of the logic allows a monitor to reason about events with data elements. While runtime verification of propositional temporal logic requires only a fixed amount of memory, the first-order variant has to deal with a number of data values potentially growing unbounded in the length of the execution trace. This requires special compactness considerations in order to allow checking very long executions. In previous work we presented an efficient use of BDDs for such first-order runtime verification, implemented in the tool DEJAVU. We first summarize this previous work. Subsequently, we look at the new problem of dynamically identifying when data observed in the past are no longer needed, allowing to reclaim the data elements used to represent them. We also study the problem of adding relations over data values. Finally, we present parts of the implementation, including a new concept of user defined property macros.

Peled, Doron↗
DOE OSTI2024

MemFriend: Understanding Memory Performance with Spatial-Temporal Affinity

In HPC applications, memory access behavior is one of the main factors affecting performance. Improving an application’s memory access behavior involves optimizing data layout and/or restructuring code, and requires studying spatial-temporal data locality. Existing data locality analyses focus on single-location metrics and are restricted to evaluating temporal locality. We introduce spatial-temporal affinity metrics that quantify temporal access proximity, forward access correlation, and nearby access correlation between pairs of memory locations. We describe methods for distinguishing between potential vs. realized affinity and for reasoning about affinity at multiple resolutions (3D, 2D, 1D). Finally, we construct spatial-temporal affinity signatures that classify memory behavior and that be used to reason about changes in software (data relayout, code refactoring) or hardware (caching, prefetching). We describe methods for signature visualization, interpretation, and quantitative comparison of signatures. We evaluate our methodology using applications with variants that contrast data structures, data layouts and algorithms. We show that spatial-temporal affinity analysis provides novel insights and enables predictive reasoning about application performance when contrasted with reuse distance analysis.

Suriyakumar, Yasodhadevi↗
NASA NTRS1993

A technique for deriving column-integrated water content using VAS split-window data

An algorithm is examined that uses VISSR Atmospheric Sounder (VAS) 11- and 12-micron (split-window) data to derive column-integrated water content (IWC) at mesoscale resolution. The algorithm is physically based and derives its first-guess information from radiosonde data. The procedure is applied first to a test case data set and then to the 19 June 1986 study day from the Cooperative Huntsville Meteorological Experiment (COHMEX). Ground truth data for verifying results from the technique include IWC from National Weather Service and COHMEX radiosondes, the Multispectral Atmospheric Mapping Sensor (MAMS), and a special set of VAS soundings (12 channel) using an independent retrieval method. Results from the test case show reasonable accuracy with the rms errors as low as +/- 3.8 mm. On the 19 June case study day IWC analyses depict reasonable gradients and exhibit good spatial and temporal continuity. Furthermore, they provide insight into preferred regions for cumulus cloud and thunderstorm formation. On the average, a mean absolute retrieval error of 2.4 mm (an 8.1 percent error) and a rms error of +/- 2.9 mm are obtained on the case study day. These results compare favorably with those from existing VAS IWC techniques. Overall, the findings indicate that the technique has excellent potential to depict mesoscale moisture variations.

Guillory, Anthony R.↗
NASA NTRS2022

Spatial Downscaling of GOES-R Land Surface Temperature over Urban Regions: A Case Study for New York City

The surface urban heat island (SUHI) effect is among the major environmental issues encountered in urban regions. To better predict the dynamics of the SUHI and its impacts on extreme heat events, an accurate characterization of the surface energy balance in urban regions is needed. However, the ability to improve understanding of the surface energy balance is limited by the heterogeneity of surfaces in urban areas. This study aims to enhance the understanding of the urban surface energy budget through an innovation in the use of land surface temperature (LST) observations from remote sensing satellites. A LST database with 5–min temporal and 30–m spatial resolution is developed by spatial downscaling of the Geostationary Operational Environmental Satellites—R (GOES–R) series LST product over New York City (NYC). The new downscaling method, known as the Spatial Downscaling Method (SDM), benefits from the fine spatial resolution of Landsat–8 and high temporal resolution of GOES–R, and considers the temporal variation in LST for each land cover type separately. Preliminary results show that the SDM can reproduce the temporal and spatial variability of LST over NYC reasonably well and the downscaled LST has a spatial root mean square error (RMSE) of the order of 2 K as compared to the independent Landsat–8 observations. The SDM shows smaller RMSE of 1.93 K over the tree canopy land cover, whereas RMSE is 2.19 K for built–up areas. The overall results indicate that the SDM has potential to estimate LST at finer spatial and temporal scales over urban regions.

land surface temperature↗
NASA NTRS2023

Automated Global-Scale Detection and Characterization of Anthropogenic Activity using Multi-Source Satellite-Based Remote Sensing Imagery

Satellite-based remote sensing imagery is an effective means for detecting objects and structures in support of many applications. However, detecting the spatial and temporal bounds of a specific activity in satellite imagery is inherently more complex and research in this area is nascent. One reason for this is that describing an activity implies defining both spatial and temporal bounds and while activity is inherently continuous in nature, the geospatial (imagery) time series for any particular swath of ground provided by satellite imagery is relatively sparse and discrete in comparison. The IARPA Space-Based Machine Automated Recognition Technique (SMART)1 program is the first large-scale research program to target advancing the state of the art for automatically detecting, characterizing, and monitoring large-scale anthropogenic activity in global, multispectral satellite imagery. The program has two primary research objectives: 1) the “harmonization” of multiple imagery sources and 2) automated reasoning at scale to detect, characterize, and monitor activities of interest. This paper provides details on the goals, dataset, metrics, and lessons learned of the IARPA SMART program. By releasing the annotated dataset, the program aims to foster additional research in this area by the community at large.

Hirsh R Goldberg↗
NASA NTRS1991

A space-time neural network

Introduced here is a novel technique which adds the dimension of time to the well known back propagation neural network algorithm. Cited here are several reasons why the inclusion of automated spatial and temporal associations are crucial to effective systems modeling. An overview of other works which also model spatiotemporal dynamics is furnished. A detailed description is given of the processes necessary to implement the space-time network algorithm. Several demonstrations that illustrate the capabilities and performance of this new architecture are given.

Villarreal, James A.↗
NASA NTRS1990

The Temporal Logic of the Tower Chief System

The purpose is to describe the logic used in the reasoning scheme employed in the Tower Chief system, a runway configuration management system. First, a review of classical logic is given. Defensible logics, truth maintenance, default logic, temporally dependent propositions, and resource allocation and planning are discussed.

Hazelton, Lyman R., Jr.↗
NASA NTRS1985

Monitoring real-time navigation processes using the automated reasoning tool (ART)

An expert system is described for monitoring and controlling navigation processes in real-time. The ART-based system features data-driven computation, accommodation of synchronous and asynchronous data, temporal modeling for individual time intervals and chains of time intervals, and hypothetical reasoning capabilities that consider alternative interpretations of the state of navigation processes. The concept is illustrated in terms of the NAVEX system for monitoring and controlling the high speed ground navigation console for Mission Control at Johnson Space Center. The reasoning processes are outlined, including techniques used to consider alternative data interpretations. Installation of the system has permitted using a single operator, instead of three, to monitor the ascent and entry phases of a Shuttle mission.

Maletz, M. C.↗
NASA NTRS2012

Intelligent Data Visualization for Cross-Checking Spacecraft System Diagnosis

Any reasoning system is fallible, so crew members and flight controllers must be able to cross-check automated diagnoses of spacecraft or habitat problems by considering alternate diagnoses and analyzing related evidence. Cross-checking improves diagnostic accuracy because people can apply information processing heuristics, pattern recognition techniques, and reasoning methods that the automated diagnostic system may not possess. Over time, cross-checking also enables crew members to become comfortable with how the diagnostic reasoning system performs, so the system can earn the crew s trust. We developed intelligent data visualization software that helps users cross-check automated diagnoses of system faults more effectively. The user interface displays scrollable arrays of timelines and time-series graphs, which are tightly integrated with an interactive, color-coded system schematic to show important spatial-temporal data patterns. Signal processing and rule-based diagnostic reasoning automatically identify alternate hypotheses and data patterns that support or rebut the original and alternate diagnoses. A color-coded matrix display summarizes the supporting or rebutting evidence for each diagnosis, and a drill-down capability enables crew members to quickly view graphs and timelines of the underlying data. This system demonstrates that modest amounts of diagnostic reasoning, combined with interactive, information-dense data visualizations, can accelerate system diagnosis and cross-checking.

Ong, James C.↗
NASA NTRS1973

Twin payload observations of incident and backscattered auroral electrons.

Energy spectra and pitch angle distributions of auroral electrons have been measured in a premidnight multiple arc auroral display by a Javelin rocket containing two identical payloads that separated in flight. The rocket was launched from Fort Churchill, Canada, at 0459 UT on March 2, 1968, and covered an altitude range up to 800 km. The electron energy spectra between 40 eV and 20 keV show a 'continuum' spectrum with a superimposed energetic peak. The center energy of the peak was observed to shift from 10-12 keV over the arcs to 2-3 keV between the arcs. This spectral structure is shown to be similar to the inverted 'V' structure reported by other investigators. The in flight separation of the two payloads allowed investigation of spatial versus temporal effects in the auroral precipitation.

Reasoner, D. L.↗
NASA NTRS2002

Sensor Web Architectural Concepts and Implementation Challenges - An Heuristic Approach

There is a significant interest in the Earth Science remote sensing community to increase the number of observations. The obvious reasons for such a push is to improve the temporal and surface coverage of measurements. However, there is little analysis available in terms of benefits, costs and optimized set of sensors needed to make these necessary observations. In reality, this is a complex problem that should be carefully studied and balanced over many boundaries. For example, the question of technology maturity versus users desire to obtain additional measurements is non congruent. This is further complicated by the limitations of the laws of physics and the economic conditions. With the advent of advance technology, it is anticipated that the cost of the spacecraft technology will become more affordable. However, the specialized detector subsystems, and the precision flying techniques may still require substantial innovation, development time and cost. Additionally, the space deployment scheme should also be given a careful attention because of a high expense. Nonetheless, it is important to carefully examine the science priorities and steer the development efforts that can commensurate with the tangible requirements. This paper outlines a possible set of architectural concepts, operational scenarios and potential benefits of one scheme versus another. It further makes some suggestions where one can draw some boundary conditions to incrementally solve this predicament.

Habib, Shahid↗
NASA NTRS2002

Sensor Web and Intelligent Sensors for Earth Science Applications

There is a significant interest in the Earth Science remote sensing community in substantially increasing the number of observations relative to the current frequency of collection. The obvious reason for such a push is to improve the temporal and surface coverage of measurements. However, there is little analysis available in terms of benefits, costs and optimized set of sensors needed to make these necessary observations. This is a complex problem that should be carefully studied and balanced over many boundaries. For example, the question of technology maturity versus users' desire for obtaining additional measurements is noncongruent. This is further complicated by the limitations of the laws of physics and the economic conditions. With the advent of advanced technology, it is anticipated that developments in spacecraft technology will enable advanced capabilities to become more affordable. However, specialized detector subsystems, and precision flying techniques may still require substantial innovation, development time and cost. Additionally, the space deployment scheme should also be given careful attention because of the high associated expense. Nonetheless, it is important to carefully examine the science priorities and steer the development efforts that can commensurate with the tangible requirements. This presentation will focus on a possible set of architectural concepts beneficial for future Earth science studies and research its and potential benefits.

Habib, Shahid↗