Search NASA⌕ Search

SEARCH · Search NASA

Results for “data parameterization”

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 NTRS2021

Concurrent Runtime Verification of Data Rich Events

This paper presents the open source runtime verification tool MESA (MEssage-based System Analysis), implemented in Scala, which supports concurrent monitors using the Actor model. Furthermore, the tool supports indexing (slicing) on the data values occurring in data-carrying events, for each individual monitor. The tool is generic in the sense that any monitoring system can be used for creating monitors. In this paper, we use the internal Scala DSL Daut for programming such in data parameterized state machines and temporal logic. To illustrate MESA/Daut, we present a case study that monitors flights from live U.S. airspace data streams, verifying that they conform to planned routes. With base in the case study, we then perform an extensive empirical study of the potential benefits from monitoring slices of a single property in concurrently executing actors. Due to the overhead of scheduling “small” actors (one for each slice or a small number of slices), it is not obvious that concurrent execution of such is beneficial. However, as a main result, we demonstrate that concurrent monitoring of slices to handle data-carrying events can provide considerable speed gains.

finite state machines↗
NASA NTRSDate not supplied

Actor-based Runtime Verification with MESA

This work presents a runtime verification approach implemented in the tool MESA (MEssage-based System Analysis) which allows for using concurrent monitors to check for properties specified in data parameterized temporal logic and state machines. The tool is implemented as an internal Scala DSL. We employ the actor programming model to implement MESA where monitors are captured by concurrent actors that communicate via messaging. The paper presents a case study in which MESA is used to effectively monitor a large number of flights from live US airspace data streams. We also perform an empirical study by conducting experiments using monitoring systems with different numbers of concurrent monitors and different layers of indexing on the data contained in events. The paper describes the experiments, evaluates the results, and discusses challenges faced during the study. The evaluation shows the value of combining concurrency with indexing to handle data rich events.

runtime verification↗
NASA NTRS2020

Actor-based Runtime Verification with MESA

This work presents a runtime verification approach implemented in the tool MESA (MEssage-based System Analysis) which allows for using concurrent monitors to check for properties specified in data parameterized temporal logic and state machines. The tool is implemented as an internal Scala DSL. We employ the actor programming model to implement MESA where monitors are captured by concurrent actors that communicate via messaging. The paper presents a case study in which MESA is used to effectively monitor a large number of flights from live US airspace data streams. We also perform an empirical study by conducting experiments using monitoring systems with different num- bers of concurrent monitors and different layers of indexing on the data contained in events. The paper describes the experiments, evaluates the results, and discusses challenges faced during the study. The evaluation shows the value of combining concurrency with indexing to handle data rich events.

Mehlitz, Peter↗
NASA NTRS1989

A parameterization for longwave surface radiation from sun-synchronous satellite data

A parameterization is presented for computing downward, upward, and net longwave radiation at the earth's surface using data from NOAA sun-synchronous satellites. The parameterization is applied to satellite soundings for April, 1982 over a large region of the tropical Pacific Ocean. Sensitivity studies were used to estimate the random and systematic errors in computed fluxes due to probable errors in TOVS-derived parameters. It is suggested that large biases in the results due to errors in TOVS-derived parameters may be corrected with data from the International Satellite Cloud Climatology Project.

Gupta, Shashi K.↗
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.↗
NASA NTRS2004

adwTools Developed: New Bulk Alloy and Surface Analysis Software for the Alloy Design Workbench

A suite of atomistic modeling software, called the Alloy Design Workbench, has been developed by the Computational Materials Group at the NASA Glenn Research Center and the Ohio Aerospace Institute (OAI). The main goal of this software is to guide and augment experimental materials research and development efforts by creating powerful, yet intuitive, software that combines a graphical user interface with an operating code suitable for real-time atomistic simulations of multicomponent alloy systems. Targeted for experimentalists, the interface is straightforward and requires minimum knowledge of the underlying theory, allowing researchers to focus on the scientific aspects of the work. The centerpiece of the Alloy Design Workbench suite is the adwTools module, which concentrates on the atomistic analysis of surfaces and bulk alloys containing an arbitrary number of elements. An additional module, adwParams, handles ab initio input for the parameterization used in adwTools. Future modules planned for the suite include adwSeg, which will provide numerical predictions for segregation profiles to alloy surfaces and interfaces, and adwReport, which will serve as a window into the database, providing public access to the parameterization data and a repository where users can submit their own findings from the rest of the suite. The entire suite is designed to run on desktop-scale computers. The adwTools module incorporates a custom OAI/Glenn-developed Fortran code based on the BFS (Bozzolo- Ferrante-Smith) method for alloys, ref. 1). The heart of the suite, this code is used to calculate the energetics of different compositions and configurations of atoms.

Bozzolo, Guillermo↗
NASA NTRS2012

TraceContract

TraceContract is an API (Application Programming Interface) for trace analysis. A trace is a sequence of events, and can, for example, be generated by a running program, instrumented appropriately to generate events. An event can be any data object. An example of a trace is a log file containing events that a programmer has found important to record during a program execution. Trace - Contract takes as input such a trace together with a specification formulated using the API and reports on any violations of the specification, potentially calling code (reactions) to be executed when violations are detected. The software is developed as an internal DSL (Domain Specific Language) in the Scala programming language. Scala is a relatively new programming language that is specifically convenient for defining such internal DSLs due to a number of language characteristics. This includes Scala s elegant combination of object-oriented and functional programming, a succinct notation, and an advanced type system. The DSL offers a combination of data-parameterized state machines and temporal logic, which is novel. As an extension of Scala, it is a very expressive and convenient log file analysis framework.

Kavelund, Klaus↗
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 NTRS1982

IUE data reduction - The parameterization of the motion of the IUE reseau grids and spectral formats as a function of time and temperature

Improvements are made on IUE data reduction using corrected reseau positions and dispersion constants for temperature variations and secular effects. Models describing the motion of the high dispersion spectral format as a function of THDA alone reduce the scatter in the predicted position of a given wavelength, and scatter is further reduced when a linear dependence on time is also allowed. A correction technique is presented for early data which reduces errors in wavelength assignments from over 30 km/s to less than 3 km/s in high dispersion. The reseau temperature correction helps locate the minimum background signal, centered between the echelle orders. The residual uncertainty of 2 km/s for SWP and 2.7 km/s for LWR makes the wavelength accuracy of time and temperature corrected IUE spectra comparable to that of temperature corrected data from the Copernicus satellite.

Thompson, R. W.↗
NASA NTRS1984

The effect of physical parameterizations and initial data on the numerical prediction of the President's Day cyclone

Results are presented from a series of forecast experiments which were conducted to assess the importance of large-scale dynamical processes, diabatic heating, and initial data to the prediction of the President's Day cyclone. The synoptic situation and NMC model forecasts for this case are summarized, and the analysis/forecast system and experiments are described. The GLAS Model forecast from the GLAS analysis at 0000 GMT 18 February is found to have correctly predicted intense coastal cyclogenesis and heavy precipitation. A forecast with surface heat and moisture fluxes eliminated failed to predict any cyclogenesis while a similar forecast with only the surface moisture flux excluded showed weak development. Diabatic heating resulting from oceanic fluxes significantly contributed to the generation of low-level cyclonic vorticity and the intensification and slow rate of movement of an upper level ridge over the western Atlantic.

Atlas, R.↗
NASA NTRS1992

Semiprognostic tests of the Arakawa-Schubert cumulus parameterization using simulated data

Semiprognostic tests are performed against data simulated by a cumulus ensemble model to evaluate the Arakawa-Schubert (A-S) cumulus parametrization. It is found that the A-S cumulus parametrization is generally valid despite the existence of mesoscale organization in cumulus convection. The nondiagnostic and nondeterministic aspects of the A-S cumulus parametrization are examined by testing the sensitivity of the parametrization to the horizontal grid resolution. It is also shown that the inclusion of convective-scale downdrafts improves the results of semiprognostic tests.

Xu, Kuan-Man↗
NASA NTRS2010

High Pressure/Temperature Metal Silicate Partitioning of Tungsten

The behavior of chemical elements during metal/silicate segregation and their resulting distribution in Earth's mantle and core provide insight into core formation processes. Experimental determination of partition coefficients allows calculations of element distributions that can be compared to accepted values of element abundances in the silicate (mantle) and metallic (core) portions of the Earth. Tungsten (W) is a moderately siderophile element and thus preferentially partitions into metal versus silicate under many planetary conditions. The partitioning behavior has been shown to vary with temperature, silicate composition, oxygen fugacity, and pressure. Most of the previous work on W partitioning has been conducted at 1-bar conditions or at relatively low pressures, i.e. <10 GPa, and in two cases at or near 20 GPa. According to those data, the stronger influences on the distribution coefficient of W are temperature, composition, and oxygen fugacity with a relatively slight influence in pressure. Predictions based on extrapolation of existing data and parameterizations suggest an increased pressured dependence on metal/ silicate partitioning of W at higher pressures 5. However, the dependence on pressure is not as well constrained as T, fO2, and silicate composition. This poses a problem because proposed equilibration pressures for core formation range from 27 to 50 GPa, falling well outside the experimental range, therefore requiring exptrapolation of a parametereized model. Higher pressure data are needed to improve our understanding of W partitioning at these more extreme conditions.

Shofner, G. A.↗
NASA NTRS2005

Evaluation of a New Cloud Droplet Activation Parameterization wtih in Situ Data from CRYSTAL-FACE and CSTRIPE

The accuracy of the 2003 prognostic, physically based aerosol activation parameterization of A. Nenes and J. H. Seinfeld (NS) with modification introduced by C. Fountoukis and A. Nenes in 2005 (modified NS) is evaluated against extensive microphysical data sets collected on board the Center for Interdisciplinary Remotely Piloted Aircraft Studies (CIRPAS) Twin Otter aircraft for cumuliform and stratiform clouds of marine and continental origin. The cumuliform cloud data were collected during NASA's Cirrus Regional Study of Tropical Anvils and Cirrus Layers-Florida Area Cirrus Experiment (CRYSTAL-FACE, Key West, Florida, July 2002), while the stratiform cloud data were gathered during Coastal Stratocumulus Imposed Perturbation Experiment (CSTRIPE, Monterey, California, July 2003). In situ data sets of aerosol size distribution, chemical composition, and updraft velocities are used as input for the NS parameterization, and the evaluation is carried out by comparing predicted cloud droplet number concentrations (CDNC) with observations. This is the first known study in which a prognostic cloud droplet activation parameterization has been evaluated against a wide range of observations. On average, predicted droplet concentration in adiabatic regions is within -20% of observations at the base of cumuliform clouds and -30% of observations at different altitudes throughout the stratiform clouds, all within experimental uncertainty. Furthermore, CDNC is well parameterized using either a single mean updraft velocity w or by weighting droplet nucleation rates with a Gaussian probability density function of w. This study suggests that for nonprecipitating warm clouds of variable microphysics, aerosol composition, and size distribution the modified NS parameterization can accurately predict cloud droplet activation and can be successfully implemented for describing the aerosol activation process in global climate models.

Meskhidze, Nicholas↗
NASA NTRS2022

Constraining Clouds and Convective Parameterizations in A Climate Model Using Paleoclimate Data

Cloud and convective parameterizations strongly influence uncertainties in equilibrium climate sensitivity. We provide a proof-of-concept study to constrain these parameterizations in a perturbed parameter ensemble of the atmosphere-only version of the Goddard Institute for Space Studies Model E2.1 simulations by evaluating model biases in the present-day runs using multiple satellite climatologies and by comparing simulated δ 18 O of precipitation (δ 18 O p ), known to be sensitive to parameterization schemes, with a global database of speleothem δ 18 O records covering the Last Glacial Maximum (LGM), mid-Holocene (MH) and pre-industrial (PI) periods. Relative to modern interannual variability, paleoclimate simulations show greater sensitivity to parameter changes, allowing for an evaluation of model uncertainties over a broader range of climate forcing and the identification of parts of the world that are parameter sensitive. Certain simulations reproduced absolute δ 18 O p values across all time periods, along with LGM and MH δ 18 O p anomalies relative to the PI, better than the default parameterization. No single set of parameterizations worked well in all climate states, likely due to the non-stationarity of cloud feedbacks under varying boundary conditions. Future work that involves varying multiple parameter sets simultaneously with coupled ocean feedbacks will likely provide improved constraints on cloud and convective parameterizations.

cloud and convective parameterization↗
NASA NTRS1983

Results of data base management system parameterized performance testing related to GSFC scientific applications

The results of a variety of tests designed to demonstrate and evaluate the performance of several commercially available data base management system (DBMS) products compatible with the Digital Equipment Corporation VAX 11/780 computer system are summarized. The tests were performed on the INGRES, ORACLE, and SEED DBMS products employing applications that were similar to scientific applications under development by NASA. The objectives of this testing included determining the strength and weaknesses of the candidate systems, performance trade-offs of various design alternatives and the impact of some installation and environmental (computer related) influences.

Carchedi, C. H.↗
NASA NTRS1992

A simple lightning parameterization for calculating global lightning distributions

A simple parameterization has been developed to simulate global lightning distributions. Convective cloud top height is used as the variable in the parameterization, with different formulations for continental and marine thunderstorms. The parameterization has been validated using two lightning data sets: one global and one regional. In both cases the simulated lightning distributions and frequencies are in very good agreement with the observed lightning data. This parameterization could be used for global studies of lightning climatology; the earth's electric circuit; in general circulation models for modeling global lightning activity, atmospheric NO(x) concentrations, and perhaps forest fire distributions for both the present and future climate; and, possibly, even as a short-term forecasting aid.

Price, Colin↗
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↗