Search NASA⌕ Search

SEARCH · Search NASA

Results for “data parameterized events”

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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2014

Data Automata in Scala

The field of runtime verification has during the last decade seen a multitude of systems for monitoring event sequences (traces) emitted by a running system. The objective is to ensure correctness of a system by checking its execution traces against formal specifications representing requirements. A special challenge is data parameterized events, where monitors have to keep track of the combination of control states as well as data constraints, relating events and the data they carry across time points. This poses a challenge wrt. efficiency of monitors, as well as expressiveness of logics. Data automata is a form of automata where states are parameterized with data, supporting monitoring of data parameterized events. We describe the full details of a very simple API in the Scala programming language, an internal DSL (Domain-Specific Language), implementing data automata. The small implementation suggests a design pattern. Data automata allow transition conditions to refer to other states than the source state, and allow target states of transitions to be inlined, offering a temporal logic flavored notation. An embedding of a logic in a high-level language like Scala in addition allows monitors to be programmed using all of Scala's language constructs, offering the full flexibility of a programming language. The framework is demonstrated on an XML processing scenario previously addressed in related work.

runtime verification↗
NASA NTRS2014

Monitoring with Data Automata

We present a form of automaton, referred to as data automata, suited for monitoring sequences of data-carrying events, for example emitted by an executing software system. This form of automata allows states to be parameterized with data, forming named records, which are stored in an efficiently indexed data structure, a form of database. This very explicit approach differs from other automaton-based monitoring approaches. Data automata are also characterized by allowing transition conditions to refer to other parameterized states, and by allowing transitions sequences. The presented automaton concept is inspired by rule-based systems, especially the Rete algorithm, which is one of the well-established algorithms for executing rule-based systems. We present an optimized external DSL for data automata, as well as a comparable unoptimized internal DSL (API) in the Scala programming language, in order to compare the two solutions. An evaluation compares these two solutions to several other monitoring systems.

log analysis↗
NASA NTRS2012

Interactive robot control system and method of use

A robotic system includes a robot having joints, actuators, and sensors, and a distributed controller. The controller includes command-level controller, embedded joint-level controllers each controlling a respective joint, and a joint coordination-level controller coordinating motion of the joints. A central data library (CDL) centralizes all control and feedback data, and a user interface displays a status of each joint, actuator, and sensor using the CDL. A parameterized action sequence has a hierarchy of linked events, and allows the control data to be modified in real time. A method of controlling the robot includes transmitting control data through the various levels of the controller, routing all control and feedback data to the CDL, and displaying status and operation of the robot using the CDL. The parameterized action sequences are generated for execution by the robot, and a hierarchy of linked events is created within the sequence.

Sanders, Adam M.↗
DOE OSTI2022

Interpreting machine learning prediction of fire emissions and comparison with FireMIP process-based models

Annual burned areas in the United States have increased 2-fold during the past decades. With more large fires resulting in more emissions of fine particulate matter, an accurate prediction of fire emissions is critical for quantifying the impacts of fires on air quality, human health, and climate. This study aims to construct a machine learning (ML) model with game-theory interpretation to predict monthly fire emissions over the contiguous US (CONUS) and to understand the controlling factors of fire emissions. The optimized ML model is used to diagnose the process-based models in the Fire Modeling Intercomparison Project (FireMIP) to inform future development. Results show promising performance for the ML model, Community Land Model (CLM), and Joint UK Land Environment Simulator-Interactive Fire And Emission Algorithm For Natural Environments (JULES-INFERNO) in reproducing the spatial distributions, seasonality, and interannual variability of fire emissions over the CONUS. Regional analysis shows that only the ML model and CLM simulate the realistic interannual variability of fire emissions for most of the subregions (r >0.95 for ML and r =0.14~0.70 for CLM), except for Mediterranean California, where all the models perform poorly (r =0.74 for ML and r <0.30 for the FireMIP models). Regarding seasonality, most models capture the peak emission in July over the western US. However, all models except for the ML model fail to reproduce the bimodal peaks in July and October over Mediterranean California, which may be explained by the smaller wind speeds of the atmospheric forcing data during Santa Ana wind events and limitations in model parameterizations for capturing the effects of Santa Ana winds on fire activity. Furthermore, most models struggle to capture the spring peak in emissions in the southeastern US, probably due to underrepresentation of human effects and the influences of winter dryness on fires in the models. As for extreme events, both the ML model and CLM successfully reproduce the frequency map of extreme emission occurrence but overestimate the number of months with extremely large fire emissions. Comparing the fire PM 2.5 emissions from the ML model with process-based fire models highlights their strengths and uncertainties for regional analysis and prediction and provides useful insights into future directions for model improvements.

54 ENVIRONMENTAL SCIENCES↗
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 NTRS2008

VML Sequencing: Growing Capabilities over Multiple Missions

Virtual Machine Language (VML) is an award-winning advanced procedural sequencing language in use on NASA deep-space missions since 1997. Missions featuring VML include Spitzer Space Telescope, Mars Odyssey, Stardust, Genesis, Mars Reconnaissance Orbiter, Phoenix, Dawn and Juno. The latest deployed version, VML 2.0, features parameterized functions, conditionals, polymorphism, a rich set of control directives and data types, event detection and response, and on-the-fly creation of spacecraft commands. This feature set is used to simplify spacecraft operations and science gathering activities. A new 2.1 version is being prototyped for use as an executive within flight instruments, and may be deployed on Juno.

Dawn↗
DOE OSTI2020

Identifying a regional aerosol baseline in the eastern North Atlantic using collocated measurements and a mathematical algorithm to mask high-submicron-number-concentration aerosol events

Abstract. High-time-resolution measurements of in situ aerosol and cloud properties provide the ability to study regional atmospheric processes that occur on timescales of minutes to hours. However, one limitation to this approach is that continuous measurements often include periods when the data collected are not representative of the regional aerosol. Even at remote locations, submicron aerosols are pervasive in the ambient atmosphere with many sources. Therefore, periods dominated by local aerosol should be identified before conducting subsequent analyses to understand aerosol regional processes and aerosol–cloud interactions. Here, we present a novel method to validate the identification of regional baseline aerosol data by applying a mathematical algorithm to the data collected at the U.S. Department of Energy's (DOE) Atmospheric Radiation Measurement (ARM) user facility in the eastern North Atlantic (ENA). The ENA central facility (C1) includes an aerosol observing system (AOS) for the measurement of aerosol physical, optical, and chemical properties at time resolutions from seconds to minutes. A second temporary supplementary facility (S1), located ∼0.75 km from C1, was deployed for ∼1 year during the Aerosol and Cloud Experiments (ACE-ENA) campaign in 2017. First, we investigate the local aerosol at both locations. We associate periods of high submicron number concentration (Ntot) in the fine-mode condensation particle counter (CPC) and size distributions from the Ultra-High Sensitivity Aerosol Spectrometer (UHSAS) as a function of wind direction using a meteorology sensor with local sources. Elevated concentrations of Aitken-mode (< 100 nm diameter) particles were observed in correspondence with the wind directions associated with airport operations. At ENA, the Graciosa Airport and its associated activities were found to be the main sources of high-concentration aerosol events at ENA, causing peaks in 1 min Ntot that exceeded 8000 and 10 000 cm−3 at C1, in summer and winter, respectively, and 5000 cm−3 at S1 in summer. Periods with high Ntot not associated with these wind directions were also observed. As a result, the diverse local sources at ENA yielded a poor relationship between Ntot measurements collected at C1 and S1 (R2=0.03 with a slope =0.05±0.001). As a first approach to mask these events, the time periods when the wind direction was associated with the airport operations (west to northwest and southeast to south at C1 and east to south at S1) were applied. The meteorological masks removed 38.9 % of the data at C1 and 43.4 % at S1, and they did not significantly improve the relationship between the two sites (R2=0.18 with a slope =0.06±0.001). Due to the complexity of high-Ntot events observed at ENA, we develop and validate a mathematical ENA Aerosol Mask (ENA-AM) to identify high-Ntot events using 1 min resolution data from the AOS CPC at C1 and S1. After its parameterization and application, ENA-AM generated a high correlation between Ntot in the summer at C1 and S1 (R2=0.87 with a slope =0.84±0.001). We identified the regional baseline at ENA to be 428±228 cm−3 in the summer and 346±223 cm−3 in the winter. Lastly, we compared masked measurements from the AOS with the ARM Aerial Facility (AAF) during flights over C1 in the summer to understand submicron aerosol vertical mixing over C1. The high correlation (R2=0.71 with a slope of 1.04±0.01) observed between C1 and the AAF Ntot collected within an area of 10 km surrounding ENA and at altitudes < 500 m indicated that the submicron aerosol at ENA was well mixed within the first 500 m of the marine boundary layer during the month of July during ACE-ENA. Our novel method for determining a regional aerosol baseline at ENA can be applied to other time periods and at other locations with validation by a secondary site or additional collocated measurements.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS2011

TraceContract: A Scala DSL for Trace Analysis

In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the best weapon is a high level programming language augmented with constructs for temporal reasoning. A trace is a sequence of events, which may for example be generated by a running program, instrumented appropriately to generate events. The API supports writing properties in a notation that combines an advanced form of data parameterized state machines with temporal logic. The implementation utilizes SCALA's support for defining internal Domain Specific Languages (DSLs). Furthermore SCALA's combination of object oriented and functional programming features, including partial functions and pattern matching, makes it an ideal host language for such an API.

log file analysis↗
NASA NTRS2018

Dressing the Coronal Magnetic Extrapolations of Active Regions with a Parameterized Thermal Structure

The study of time-dependent solar active region (AR) morphology and its relation to eruptive events requires analysis of imaging data obtained in multiple wavelength domains with differing spatial and time resolution, ideally in combination with 3D physical models. To facilitate this goal, we have undertaken a major enhancement of our IDL-based simulation tool, GX_Simulator, previously developed for modeling microwave and X-ray emission from flaring loops, to allow it to simulate quiescent emission from solar ARs. The framework includes new tools for building the atmospheric model and enhanced routines for calculating emission that include new wavelengths. In this paper, we use our upgraded tool to model and analyze an AR and compare the synthetic emission maps with observations. We conclude that the modeled magneto-thermal structure is a reasonably good approximation of the real one.

Nita, Gelu M.↗
NASA NTRS2007

An Experimental System for a Global Flood Prediction: From Satellite Precipitation Data to a Flood Inundation Map

Floods impact more people globally than any other type of natural disaster. It has been established by experience that the most effective means to reduce the property damage and life loss caused by floods is the development of flood early warning systems. However, advances for such a system have been constrained by the difficulty in estimating rainfall continuously over space (catchment-. national-, continental-. or even global-scale areas) and time (hourly to daily). Particularly, insufficient in situ data, long delay in data transmission and absence of real-time data sharing agreements in many trans-boundary basins hamper the development of a real-time system at the regional to global scale. In many countries around the world, particularly in the tropics where rainfall and flooding co-exist in abundance, satellite-based precipitation estimation may be the best source of rainfall data for those data scarce (ungauged) areas and trans-boundary basins. Satellite remote sensing data acquired and processed in real time can now provide the space-time information on rainfall fluxes needed to monitor severe flood events around the world. This can be achieved by integrating the satellite-derived forcing data with hydrological models, which can be parameterized by a tailored geospatial database. An example that is a key to this progress is NASA's contribution to the Tropical Rainfall Measuring Mission (TRMM), launched in November 1997. Hence, in an effort to evolve toward a more hydrologically-relevant flood alert system, this talk articulates a module-structured framework for quasi-global flood potential naming, that is 'up to date' with the state of the art on satellite rainfall estimation and the improved geospatial datasets. The system is modular in design with the flexibility that permits changes in the model structure and in the choice of components. Four major components included in the system are: 1) multi-satellite precipitation estimation; 2) characterization of land surface including digital elevation from NASA SRTM, topography-derived hydrologic parameters such as flood direction. flow accumulation, basin, and river network etc.; 3) spatially distributed hydrological models to infiltrate rainfall and route overland runoff; and 4) an implementation interface to relay thc input data to the models and display the flood inundation results to the users and decision-makers. Early results appear reasonable in terms of location and frequency of events. Case studies of this experimental system are evaluated with surface runoff data and other river monitoring systems. such as Dartmouth Flood Observatory's "Surface Water Watch" array of river reaches that are measured daily via other satellite remote sensing data. A major outcome of this progress will be the availability of a global overview of flood alerts that should consequently improve the performance of Decision Support System. We expect these developments in utilization of satellite remote sensing technology to offer a practical solution to the challenge of building a cost-effective early warning system for data scarce and under-developed areas.

Adler, Robert↗
NASA NTRSDate not supplied

An Approach to Shape Parameterization Using Laboratory Hypervelocity Impact Experiments

NASA’s Orbital Debris Program Office relies on laboratory-based impact tests to supplement the measurement data of on-orbit events that defines the orbital debris environment. These experiments provide information that is essential to interpreting the radar and optical measurements of orbital fragmentation events into useful metrics, such as characteristic size of the debris, and to providing a better understanding of the distributions of fragment populations in terms of their masses, material constituents, fragment densities, cross-sectional areas, area-to-mass ratios, shapes, etc. The Satellite Orbital Debris Characterization Impact Test (SOCIT) was a notable laboratory impact experiment conducted in 1992 using a surplus U.S. Navy Transit navigation satellite of the 1960s. The data from this ground-based experiment were combined with on-orbit measurements to develop the NASA Standard Satellite Breakup Model (SSBM). To account for advancements in satellite design and construction since, a new impact test series – DebriSat – was conducted in 2014. This test utilized a high-fidelity mock-up spacecraft that better represents the materials and construction techniques used to design and manufacture modern spacecraft. Together, these tests offer valuable data to model an orbital debris environment composed of legacy and modern spacecraft. This paper presents an overview of the two laboratory impact tests, comparing their fragment parameter distributions with each other and with relevant distributions from the NASA SSBM. The categorization and descriptions of fragment shapes are of significant interest for future work, yet there are marked differences in the definitions of shape categories between each dataset. The categorizations of constituent materials, and the measurement techniques employed to populate these two datasets, are also different. New rubrics simplify and equate the categorizations between datasets to aid comparative analyses and to facilitate the potential use of both datasets in tandem with future environmental debris models. A preferred approach to classifying shape across disparate datasets uses the characteristic-length dimensions, and a simplified shape classification based on physical, solid-body dimensions, to mathematically construct an encapsulating right-circular cylinder that represents the fragment. The ratio of cylinder length-to-diameter (L:D) then provides a single continuum value for shape that is strongly correlated with its designated shape and size. This metric can then be used to further assess the distribution of shape with populations of other fragment characteristics within these datasets. The shape parameterization using the L:D ratios of right-circular cylinders is discussed.

John H. Seago↗
NASA NTRSDate not supplied

An Approach to Shape Parameterization Using Laboratory Hypervelocity Impact Experiments

NASA’s Orbital Debris Program Office relies on laboratory-based impact tests to supplement the measurement data of on-orbit events that defines the orbital debris environment. These experiments provide information that is essential to interpreting the radar and optical measurements of orbital fragmentation events into useful metrics, such as characteristic size of the debris, and to providing a better understanding of the distributions of fragment populations in terms of their masses, material constituents, fragment densities, cross-sectional areas, area-to-mass ratios, shapes, etc. The Satellite Orbital Debris Characterization Impact Test (SOCIT) was a notable laboratory impact experiment conducted in 1992 using a surplus U.S. Navy Transit navigation satellite of the 1960s. The data from this ground-based experiment were combined with on-orbit measurements to develop the NASA Standard Satellite Breakup Model (SSBM). To account for advancements in satellite design and construction since, a new impact test series – DebriSat – was conducted in 2014. This test utilized a high-fidelity mock-up spacecraft that better represents the materials and construction techniques used to design and manufacture modern spacecraft. Together, these tests offer valuable data to model an orbital debris environment composed of legacy and modern spacecraft. This paper presents an overview of the two laboratory impact tests, comparing their fragment parameter distributions with each other and with relevant distributions from the NASA SSBM. The categorization and descriptions of fragment shapes are of significant interest for future work, yet there are marked differences in the definitions of shape categories between each dataset. The categorizations of constituent materials, and the measurement techniques employed to populate these two datasets, are also different. New rubrics simplify and equate the categorizations between datasets to aid comparative analyses and to facilitate the potential use of both datasets in tandem with future environmental debris models. A preferred approach to classifying shape across disparate datasets uses the characteristic-length dimensions, and a simplified shape classification based on physical, solid-body dimensions, to mathematically construct an encapsulating right-circular cylinder that represents the fragment. The ratio of cylinder length-to-diameter (L:D) then provides a single continuum value for shape that is strongly correlated with its designated shape and size. This metric can then be used to further assess the distribution of shape with populations of other fragment characteristics within these datasets. The shape parameterization using the L:D ratios of right-circular cylinders is discussed.

John H Seago↗
DOE OSTI2018

The Relative Importance of Assumed Infrasound Mechanisms on the Linear Inversion of Infrasound Time Series at the Source Physics Experiment

We invert far field infrasound data for the equivalent seismo-acoustic time domain moment tensor to assess the relative importance of two assumed seismoacoustic source mechanisms. The infrasound data were produced by a four of the underground chemical explosions that were conducted during the Source Physics Experiment (SPE). For each SPE event that we invert, we produce three set of atmospheric Green's functions: an average model based on ten years of atmospheric data, as well as two extrema models designed to maximize the variability of atmospheric conditions for the given time-of-day and day-of-year for each SPE event. To parameterize the inversion, we assume that the source of infrasonic energy results from the linear combination of explosion-induced surface spall and linear seismic-to-elastic mode conversion at the Earth's free surface. We find that the inversion yields relatively repeatable results for the estimated spall source whereas the estimated isotropic explosion source is highly variable. This suggests that the majority of the observed acoustic energy is produced by the spall source and/or our modeling of the elastic energy propagation, and data are subsequent conversion to acoustic energy via linear elastic-to-acoustic coupling at the surface, is too simplistic.

58 GEOSCIENCES↗
DOE OSTI2018

The Relative Importance of Assumed Infrasound Source Terms and Effects of Atmospheric Models on the Linear Inversion of Infrasound Time Series at the Source Physics Experiment

We invert far-field infrasound data for the equivalent seismoacoustic time-domain moment tensor to assess the effects of variable atmospheric models and source phenomena. The infrasound data were produced by a series of underground chemical explosions that were conducted during the Source Physics Experiment (SPE), which was originally designed to study seismoacoustic signal phenomena. The first goal is to investigate the sensitivity of the inversion to the variability of the estimated atmospheric model. The second goal is to determine the relative contribution of two presumed source mechanisms to the observed infrasonic wavefield. Rather than using actual atmospheric observations to estimate the necessary atmospheric Green’s functions, we build a series of atmospheric models that rely on publicly available, regional-scale atmospheric observations. The atmospheric observations are summarized and interpolated onto a 3D grid to produce a model of sound speed at the time of the experiment. For each of four SPE acoustic datasets that we invert, we produced a suite of three atmospheric models for each chemical explosion event, based on 10 yrs of meteorological data: an average model, which averages the atmospheric conditions for 10 yrs prior to each SPE event, as well as two extrema models. To parameterize the inversion, we assume that the source of infrasonic energy results from the linear combination of explosion-induced surface spall and linear seismic-to-elastic mode conversion at the Earth’s free surface. We find that the inversion yields relatively repeatable results for the estimated spall source. Conversely, the estimated isotropic explosion source is highly variable. This suggests that 1) the majority of the observed acoustic energy is produced by the spall and/or 2) our modeling of the elastic energy, and the subsequent conversion to acoustic energy, is too simplistic.

58 GEOSCIENCES↗
NASA NTRS1995

Geomagnetic transmission of solar energetic protons during the geomagnetic disturbances of October 1989

Orbit-averaged geomagnetic transmission measurements during the large solar energetic particle events of October 1989 are presented using proton data from the NOAA-10 and GOES-7 satellies. The measurements are compared to geomagnetic transmission calculations determined by tracing particle trajectories through the combination of the International Geomagnetic Reference Field (IGRF) model and the 1989 Tsyganenko magnetospheric magnetic field model. The effective 'ring current' parameter in the 1989 Tsyganenko model based on the Dst data. Results are compared to calculations employing only the IGRF and to a parameterization of geomagnetically quiet-time cutoff rigidities derived from Cosmos/intercosmos observations. The 3-hour orbit-averaged results have approximately 15% accuracy during the October 1989 events.

Boberg, P. R.↗
DOE OSTI2018

Diagnosing added value of convection-permitting regional models using precipitation event identification and tracking

Dynamical downscaling with high-resolution regional climate models may offer the possibility of realistically reproducing precipitation and weather events in climate simulations. As resolutions fall to order kilometers, the use of explicit rather than parametrized convection may offer even greater fidelity. However, these increased resolutions both allow and require increasingly complex diagnostics for evaluating model fidelity. Here we focus on precipitation evaluation and analyze five 2-month-long dynamically downscaled model runs over the continental United States that employ different convective and microphysics parameterizations, including one high-resolution convection-permitting simulation. All model runs use the Weather Research and Forecasting Model driven by National Center for Environmental Prediction reanalysis data. We show that employing a novel rainstorm identification and tracking algorithm that allocates essentially all rainfall to individual precipitation events allows new insights into model biases. Results include that, at least in these runs, model wet bias is driven by excessive areal extent of individual precipitating events, and that the effect is time-dependent, producing excessive diurnal cycle amplitude. This amplified cycle is driven not by new production of events but by excessive daytime enlargement of long-lived precipitation events. Here, we further show that in the domain average, precipitation biases appear best represented as additive offsets. Of all model configurations evaluated, convection-permitting simulations most consistently reduced biases in precipitation event characteristics.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1992

The particle background of the Rosat PSPC

In order to permit quantitative studies of the diffuse cosmic X-ray background and of extended X-ray sources, the particle induced background of the Roentgen Satellite, Rosat, Position Sensitive Proportional Counter (PSPC) is parameterized. Data collected during 210,000 s of PSPC operation have been analyzed and the temporal, spectral, and spatial distributions investigated. About 77 percent of the residual events originate within the detector while the remainder enter through the counter window. During typical conditions, the count rate of the residual events is well correlated with the Master Veto (MV) count rate. The spectrum of these events is well described by a flat component plus a soft power law and an Al K-alpha line at 1.5 keV. Also during typical conditions, the ratio between the power law and flat components remains constant to +/- 4 while the relative Al K-alpha contribution increases with increasing MV count rate. The distribution of the counts over the field of view is uniform except for a slight radial dependence and shadowing caused by blockage of the externally produced component by the window support structure.

Snowden, S. L.↗