Engineering PapersSearch

SEARCH · Engineering Papers

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 37 records · Page 2

Communication Demand in the National Airspace - A Federated Learning Approach

Within the national airspace system (NAS), efficient use of spectrum remains a challenge; as UAS and UAM missions evolve, the amount of mission-critical aircraft communications are expected to significantly grow. To accommodate the increased demand, NASA Glenn Research Center is investigating artificial intelligence approaches that could dynamically allocate spectrum; however, these solutions are driven by communication and aviation data items, many of which are not directly available. One such cornerstone data item is communication demand, parameterizing the needs within a sector in terms that may directly inform spectrum allocation, such as channel access duration, bandwidth, and modulation type. This paper considers the complexity of predicting communication demand as a function of NAS behaviors. Unlike prior prediction work in communications, this research must consider how the NAS may be impacted by external factors - such as convective weather and closures - rather than estimating demand from time-series forecasting alone. Much of this research considers a federated learning design to predict communication events in terms of the type of event occurring (sector coordination, conflict resolution, etc.). To do so, an investigation of products from Sherlock Data Warehouse is conducted, identifying the trends, sufficiency, and correlations of each product to identified events. Additionally, a preliminary discussion for inferring associations between these event types and their communication parameters (duration, bandwidth, modulation) is presented. By utilizing federated learning, imbalances in the types of events and data present throughout the NAS can inform local models without impairing global training. Furthermore, the two-stage approach proposed allows for robust and speculative communication modelling, as communication techniques continue to evolve. As a result, this model enables a generalized approach to understanding NAS communications which is able to inform long-term changes to aviation spectrum management.

Nathan Schimpf

A Federated Learning Approach to Predicting Communication Demand in the National Airspace

Within the national airspace system (NAS), efficient use of spectrum remains a challenge; as UAS and UAM missions evolve, the amount of mission-critical aircraft communications are expected to significantly grow. To accommodate the increased demand, NASA Glenn Research Center is investigating artificial intelligence approaches that could dynamically allocate spectrum; however, these solutions are driven by communication and aviation data items, many of which are not directly available. One such cornerstone data item is communication demand, parameterizing the needs within a sector in terms that may directly inform spectrum allocation, such as channel access duration, bandwidth, and modulation type. This paper considers the complexity of predicting communication demand as a function of NAS behaviors. Unlike prior prediction work in communications, this research must consider how the NAS may be impacted by external factors - such as convective weather and closures - rather than estimating demand from time-series forecasting alone. Much of this research considers a federated learning design to predict communication events in terms of the type of event occurring (sector coordination, conflict resolution, etc). To do so, an investigation of products from Sherlock Data Warehouse is conducted, identifying the trends, sufficiency, and correlations of each product to identified events. Additionally, a preliminary discussion for inferring associations between these event types and their communication parameters (duration, bandwidth, modulation) is presented. By utilizing federated learning, imbalances in the types of events and data present throughout the NAS can inform local models without impairing global training. Furthermore, the two-stage approach proposed allows for robust and speculative communication modelling, as communication techniques continue to evolve. As a result, this model enables a generalized approach to understanding NAS communications which is able to inform long-term changes to aviation spectrum management.

Nathan Schimpf

Improving the Representation of Snow Crystal Properties with a Single-Moment Mircophysics Scheme

Single-moment microphysics schemes are utilized in an increasing number of applications and are widely available within numerical modeling packages, often executed in near real-time to aid in the issuance of weather forecasts and advisories. In order to simulate cloud microphysical and precipitation processes, a number of assumptions are made within these schemes. Snow crystals are often assumed to be spherical and of uniform density, and their size distribution intercept may be fixed to simplify calculation of the remaining parameters. Recently, the Canadian CloudSat/CALIPSO Validation Project (C3VP) provided aircraft observations of snow crystal size distributions and environmental state variables, sampling widespread snowfall associated with a passing extratropical cyclone on 22 January 2007. Aircraft instrumentation was supplemented by comparable surface estimations and sampling by two radars: the C-band, dual-polarimetric radar in King City, Ontario and the NASA CloudSat 94 GHz Cloud Profiling Radar. As radar systems respond to both hydrometeor mass and size distribution, they provide value when assessing the accuracy of cloud characteristics as simulated by a forecast model. However, simulation of the 94 GHz radar signal requires special attention, as radar backscatter is sensitive to the assumed crystal shape. Observations obtained during the 22 January 2007 event are used to validate assumptions of density and size distribution within the NASA Goddard six-class single-moment microphysics scheme. Two high resolution forecasts are performed on a 9-3-1 km grid, with C3VP-based alternative parameterizations incorporated and examined for improvement. In order to apply the CloudSat 94 GHz radar to model validation, the single scattering characteristics of various crystal types are used and demonstrate that the assumption of Mie spheres is insufficient for representing CloudSat reflectivity derived from winter precipitation. Furthermore, snow density and size distribution characteristics are allowed to vary with height, based upon direct aircraft estimates obtained from C3VP data. These combinations improve the representation of modeled clouds versus their radar-observed counterparts, based on profiles and vertical distributions of reflectivity. These meteorological events are commonplace within the mid-latitude cold season and present a challenge to operational forecasters. This study focuses on one event, likely representative of others during the winter season, and aims to improve the representation of snow for use in future operational forecasts.

Molthan, Andrew L.

Global Surface Solar Energy Anomalies Including El Nino and La Nina Years

This paper synthesizes past events in an attempt to define the general magnitude, duration, and location of large surface solar anomalies over the globe. Surface solar energy values are mostly a function of solar zenith angle, cloud conditions, column atmospheric water vapor, aerosols, and surface albedo. For this study, solar and meteorological parameters for the 10-yr period July 1983 through June 1993 are used. These data were generated as part of the Release 3 Surface meteorology and Solar Energy (SSE) activity under the NASA Earth Science Enterprise (ESE) effort. Release 3 SSE uses upgraded input data and methods relative to previous releases. Cloud conditions are based on recent NASA Version-D International Satellite Cloud Climatology Project (ISCCP) global satellite radiation and cloud data. Meteorological inputs are from Version-I Goddard Earth Observing System (GEOS) reanalysis data that uses both weather station and satellite information. Aerosol transmission for different regions and seasons are for an 'average' year based on historic solar energy data from over 1000 ground sites courtesy of Natural Resources Canada (NRCan). These data are input to a new Langley Parameterized Shortwave Algorithm (LPSA) that calculates surface albedo and surface solar energy. That algorithm is an upgraded version of the 'Staylor' algorithm. Calculations are performed for a 280X280 km equal-area grid system over the globe based on 3-hourly input data. A bi-linear interpolation process is used to estimate data output values on a 1 X 1 degree grid system over the globe. Maximum anomalies are examined relative to El Nino and La Nina events in the tropical Pacific Ocean. Maximum year-to-year anomalies over the globe are provided for a 10-year period. The data may assist in the design of systems with increased reliability. It may also allow for better planning for emergency assistance during some atypical events.

Whitlock, C. H.

On the Importance of High Frequency Gravity Waves for Ice Nucleation in the Tropical Tropopause Layer

Recent investigations of the influence of atmospheric waves on ice nucleation in cirrus have identified a number of key processes and sensitivities: (1) ice concentrations produced by homogeneous freezing are strongly dependent on cooling rates, with gravity waves dominating upper tropospheric cooling rates; (2) rapid cooling driven by high-frequency waves are likely responsible for the rare occurrences of very high ice concentrations in cirrus; (3) sedimentation and entrainment tend to decrease ice concentrations as cirrus age; and (4) in some situations, changes in temperature tendency driven by high-frequency waves can quench ice nucleation events and limit ice concentrations. Here we use parcel-model simulations of ice nucleation driven by long-duration, constant-pressure balloon temperature time series, along with an extensive dataset of cold cirrus microphysical properties from the recent ATTREX high-altitude aircraft campaign, to statistically examine the importance of high-frequency waves as well as the consistency between our theoretical understanding of ice nucleation and observed ice concentrations. The parcel-model simulations indicate common occurrence of peak ice concentrations exceeding several hundred per liter. Sedimentation and entrainment would reduce ice concentrations as clouds age, but 1-D simulations using a wave parameterization (which underestimates rapid cooling events) still produce ice concentrations higher than indicated by observations. We find that quenching of nucleation events by high-frequency waves occurs infrequently and does not prevent occurrences of large ice concentrations in parcel simulations of homogeneous freezing. In fact, the high-frequency variability in the balloon temperature data is entirely responsible for production of these high ice concentrations in the simulations.

simulation

A WRF-Chem Analysis of Flash Rates, Lightning-NOx Production and Subsequent Trace Gas Chemistry of the 29-30 May 2012 Convective Event in Oklahoma During DC3

The Deep Convective Clouds and Chemistry (DC3) field campaign in 2012 provided a plethora of aircraft and ground-based observations (e.g., trace gases, lightning and radar) to study deep convective storms, their convective transport of trace gases, and associated lightning occurrence and production of nitrogen oxides (NOx). This is a continuation of previous work, which compared lightning observations (Oklahoma Lightning Mapping Array and National Lightning Detection Network) with flashes generated by various flash rate parameterization schemes (FRPSs) from the literature in a Weather Research and Forecasting Chemistry (WRF-Chem) model simulation of the 29-30 May 2012 Oklahoma thunderstorm. Based on the Oklahoma radar observations and Lightning Mapping Array data, new FRPSs are being generated and incorporated into the model. The focus of this analysis is on estimating the amount of lightning-generated nitrogen oxides (LNOx) produced per flash in this storm through a series of model simulations using different production per flash assumptions and comparisons with DC3 aircraft anvil observations. The result of this analysis will be compared with previously studied mid-latitude storms. Additional model simulations are conducted to investigate the upper troposphere transport, distribution, and chemistry of the LNOx plume during the 24 hours following the convective event to investigate ozone production. These model-simulated mixing ratios are compared against the aircraft observations made on 30 May over the southern Appalachians.

Cummings, Kristin A.

Benchmarking state-of-the-art theory and empirical models of pionless neutrino-argon scattering in GENIE

Upcoming experiments need improved simulations of neutrino scattering. This work uses the popular GENIE event generator to test a variety of neutrino interaction models against recent MicroBooNE measurements of pionless charged-current interactions. The GENIE code can easily interchange model components, including nucleon form factor parameterizations, quasielastic cross-section calculations, treatments of the nuclear ground state and hadronic final-state interactions. Leveraging this software capability in comparisons with MicroBooNE data, the performance of some of GENIE’s most theoretically sophisticated model components is evaluated and contrasted with more empirically-driven alternatives.

Neutrino cross section

MAMI: Modeling of the Magnetosphere-Ionosphere-Atmosphere System

Major emphasis of the investigation was the development of theoretical and numerical models of the aurora and of high latitude ionospheric processes. In particular: (1) the NCAR TIGCM (Thermosphere-Ionosphere Global Circulation Model) was updated to include mid and low latitude electrodynamics (this version is called TIE-GCM); (2) the NCAR TIE-GCM was modified to include a more realistic representation of the aurora; (3) the UAF auroral electron transport model was modified to include local acceleration processes; (4) a local ionospheric and auroral model (AURORA) was developed to allow detailed studies of the aurora; (5) a proton-hydrogen transport code has been developed to model proton aurora; and (6) a theory for the production of suprathermal atoms and ions in the upper atmosphere was developed and applied to studies of atomic nitrogen transport and helium escape on open field lines. These models enable us to devise schemes for tile interpretation and quantitative analysis of data obtained by the POLAR spacecraft. Parameterizations were formulated and are available to the GGS investigators. The UVI and VIS teams have adopted these parameterizations and include them in their data analysis. We have developed software for the quantitative interpretation of UVI and VIS images. After the launch of the POLAR satellite we used the image data from UVI and VIS in combination with ground based data from SuperDARN and incoherent scatter radars, magnetometers, and in situ observations from DMSP and NOAA satellites to characterize the state of the ionosphere. A number of event studies have been carried out in cooperation with other CGS theory teams.

Source record

Evaluation of Convective Transport in the GEOS-5 Chemistry and Climate Model

The NASA Goddard Earth Observing System (GEOS-5) Chemistry and Climate Model (CCM) consists of a global atmospheric general circulation model and the combined stratospheric and tropospheric chemistry package from the NASA Global Modeling Initiative (GMI) chemical transport model. The subgrid process of convective tracer transport is represented through the Relaxed Arakawa-Schubert parameterization in the GEOS-5 CCM. However, substantial uncertainty for tracer transport is associated with this parameterization, as is the case with all global and regional models. We have designed a project to comprehensively evaluate this parameterization from the point of view of tracer transport, and determine the most appropriate improvements that can be made to the GEOS-5 convection algorithm, allowing improvement in our understanding of the role of convective processes in determining atmospheric composition. We first simulate tracer transport in individual observed convective events with a cloud-resolving model (WRF). Initial condition tracer profiles (CO, CO2, O3) are constructed from aircraft data collected in undisturbed air, and the simulations are evaluated using aircraft data taken in the convective anvils. A single-column (SCM) version of the GEOS-5 GCM with online tracers is then run for the same convective events. SCM output is evaluated based on averaged tracer fields from the cloud-resolving model. Sensitivity simulations with adjusted parameters will be run in the SCM to determine improvements in the representation of convective transport. The focus of the work to date is on tropical continental convective events from the African Monsoon Multidisciplinary Analyses (AMMA) field mission in August 2006 that were extensively sampled by multiple research aircraft.

Pickering, Kenneth E.

Electrification Within Wintertime Stratiform Regions Sampled During the 2020/2022 NASA IMPACTS Field Campaign

Two nor'easter events—sampled during the NASA Investigation of Microphysics and Precipitation for Atlantic Coast-Threatening Snowstorms (IMPACTS) field campaign—were examined to characterize the microphysics in relation to the underlying electrification processes within wintertime stratiform regions. A theoretical model was developed to determine whether accretion or diffusion growth regimes were preferential during periods of greatest electrification. Model simulation with electrification parameterization was used to provide supplemental context to the physical processes of in-cloud microphysics and electrification. The strongest electric fields (i.e., ∼80 V m −1 at 20 km) during the 2020 NASA IMPACTS deployment was associated with large non-rimed ice crystals colliding with each other. During the 29–30 January 2022 science flight, the NASA P-3 microphysical probe data demonstrated that non-inductive charging was possible off the coastline of Cape Cod, Massachusetts. Later in the science flight, when the NASA P-3 and ER-2 were coordinating with each other, measured electric fields consistently were less than 8 V m −1 and electrification was subdued owing to reduced concentrations of graupel and large ice hydrometeors. Altogether, the in-situ observations provide evidence for the non-riming collisional charging mechanism and demonstrates that graupel and supercooled liquid water may not be necessary for weak electrification within wintertime stratiform regions. Model output from simulation of both events suggested that the main synoptic snowbands were associated with elevated hydrometeor snow charge density and electric fields.

snowfall

Toward Understanding the Differences between Mesoscale and Large-Eddy Simulations of Tropical Cyclones

In this work, we investigate the ability of mesoscale and large-eddy simulation (LES) model configurations to predict the mean wind speed profile within the boundary layer of tropical cyclones (TCs). To this end, we perform idealized simulations of five hypothetical intense storms ranging from categories 1 to 5 on the Saffir–Simpson scale and extract time-averaged quantities near the eyewall region. We compare the model-generated data against mean wind speed profiles compiled from dropsondes launched from reconnaissance aircraft operating in the North Atlantic basin. Our analysis shows that mesoscale- and LES-generated mean wind fields display important differences in the boundary layer, including the magnitude of shear as well as the height where their low-level wind speed maxima are located. In addition, a comparison between the two model configurations with the dropsonde data shows that both modeling approaches are unable to capture the typical structure of mean winds in the lower part of the TC boundary layer (10–500 m), calling into question the use of simulations of near-axisymmetric storms for investigating the wind structure of past events. To better understand these differences, we conduct a momentum-budget analysis and show that modeled turbulent fluxes are underestimated in the mesoscale boundary layer parameterization compared to the LES model. Based on the analysis of the horizontal turbulent fluxes and their potential impact on mean flow quantities, a TC-specific boundary layer parameterization may be needed.

17 WIND ENERGY

The Effect of Satellite Observing System Changes on MERRA Water and Energy Fluxes

Because reanalysis data sets offer state variables and fluxes at regular space / time intervals, atmospheric reanalyses have become a mainstay of the climate community for diagnostic purposes and for driving offline ocean and land models. Although one weakness of these data sets is the susceptibility of the flux products to uncertainties because of shortcomings in parameterized model physics, another issue, perhaps less appreciated, is the fact that continual but discreet changes in the evolving observational system, particularly from satellite sensors, may also introduce artifacts in the time series of quantities. In this paper we examine the ability of the NASA MERRA (Modern Era Retrospective Analysis for Research and Applications) and other recent reanalyses to determine variability in the climate system over the satellite record (approximately the last 30 years). In particular we highlight the effect on the reanalysis of discontinuities at the junctures of the onset of passive microwave imaging (Special Sensor Microwave Imager) in late 1987 as well as improved sounding and imaging with the Advanced Microwave Sounding Unit, AMSU-A, in 1998. We first examine MERRA fluxes from the perspective of how physical modes of variability (e.g. ENSO events, Pacific Decadal Variability) are contaminated by artificial step-like trends induced by the onset of new moisture data these two satellite observing systems. Secondly, we show how Redundancy Analysis, a statistical regression methodology, is effective in relating these artifact signals in the moisture and temperature analysis increments to their presence in the physical flux terms (e.g. precipitation, radiation). This procedure is shown to be effective greatly reducing the artificial trends in the flux quantities.

Robertson, Franklin R.

The Effect of Satellite Observing System Changes on MERRA Water and Energy Fluxes

Because reanalysis data sets offer state variables and fluxes at regular space / time intervals, atmospheric reanalyses have become a mainstay of the climate community for diagnostic purposes and for driving offline ocean and land models. Although one weakness of these data sets is the susceptibility of the flux products to uncertainties because of shortcomings in parameterized model physics, another issue, perhaps less appreciated, is the fact that continual but discreet changes in the evolving observational system, particularly from satellite sensors, may also introduce artifacts in the time series of quantities. In this paper we examine the ability of the NASA MERRA (Modern Era Retrospective Analysis for Research and Applications) and other recent reanalyses to determine variability in the climate system over the satellite record (approx. the last 30 years). In particular we highlight the effect on the reanalysis of discontinuities at the junctures of the onset of passive microwave imaging (Special Sensor Microwave Imager) in late 1987 and, more prominently, with improved sounding and imaging with the Advanced Microwave Sounding Unit, AMSU-A, in 1998. We first examine MERRA fluxes from the perspective of how physical modes of variability (e.g. ENSO events, Pacific Decadal Variability) are contained by artificial step-like trends induced by the onset of new moisture data these two satellite observing systems. Secondly, we show how Redundancy Analysis, a statistical regression methodology, is effective in relating these artifact signals in the moisture and temperature analysis increments to their presence in the physical flux terms (e.g. precipitation, radiation). This procedure is shown to be effective greatly reducing the artificial trends in the flux quantities.

Robertson, Franklin R.

High Resolution Global Climate Modeling with GEOS-5: Intense Precipitation, Convection and Tropical Cyclones on Seasonal Time-Scales.

In 2008 the World Modeling Summit for Climate Prediction concluded that "climate modeling will need-and is ready-to move to fundamentally new high-resolution approaches to capitalize on the seamlessness of the weather-climate continuum." Following from this, experimentation with very high-resolution global climate modeling has gained enhanced priority within many modeling groups and agencies. The NASA Goddard Earth Observing System model (GEOS-5) has been enhanced to provide a capability for the execution at the finest horizontal resolutions POS,SIOle with a global climate model today. Using this high-resolution, non-hydrostatic version of GEOS-5, we have developed a unique capability to explore the intersection of weather and climate within a seamless prediction system. Week-long weather experiments, to mUltiyear climate simulations at global resolutions ranging from 3.5- to 14-km have demonstrated the predictability of extreme events including severe storms along frontal systems, extra-tropical storms, and tropical cyclones. The primary benefits of high resolution global models will likely be in the tropics, with better predictions of the genesis stages of tropical cyclones and of the internal structure of their mature stages. Using satellite data we assess the accuracy of GEOS-5 in representing extreme weather phenomena, and their interaction within the global climate on seasonal time-scales. The impacts of convective parameterization and the frequency of coupling between the moist physics and dynamics are explored in terms of precipitation intensity and the representation of deep convection. We will also describe the seasonal variability of global tropical cyclone activity within a global climate model capable of representing the most intense category 5 hurricanes.

Putnam, WilliamM.

The Impacts of Microphysics and Planetary Boundary Layer Physics on Model Simulations of U. S. Deep South Summer Convection

Inspection of output from various configurations of high-resolution, explicit convection forecast models such as the Weather Research and Forecasting (WRF) model indicates significant sensitivity to the choices of model physics parameterizations employed. Some of the largest apparent sensitivities are related to the specifications of the cloud microphysics and planetary boundary layer physics packages. In addition, these sensitivities appear to be especially pronounced for the weakly-sheared, multicell modes of deep convection characteristic of the Deep South of the United States during the boreal summer. Possible ocean-land sensitivities also argue for further examination of the impacts of using unique ocean-land surface initialization datasets provided by the NASA Short-term Prediction Research and Transition (SPoRT Center to select NOAA/NWS weather forecast offices. To obtain better quantitative understanding of these sensitivities and also to determine the utility of the ocean-land initialization data, we have executed matrices of regional WRF forecasts for selected convective events near Mobile, AL (MOB), and Houston, TX (HGX). The matrices consist of identically initialized WRF 24-h forecasts using any of eight microphysics choices and any of three planetary boundary layer choices. The resulting 24 simulations performed for each event within either the MOB or HGX regions are then compared to identify the sensitivities of various convective storm metrics to the physics choices. Particular emphasis is placed on sensitivities of precipitation timing, intensity, and coverage, as well as amount and coverage of lightning activity diagnosed from storm kinematics and graupel in the mixed phase layer. The results confirm impressions gleaned from study of the behavior of variously configured WRF runs contained in the ensembles produced each spring at the Center for the Analysis and Prediction of Storms, but with the benefit of more straightforward control of the physics package choices. The design of the experiments thus allows for more direct interpretation of the sensitivities to each possible physics combination. The results should assist forecasters in their efforts to anticipate and correct for possible biases in simulated WRF convection patterns, and help the modeling community refine their model parameterizations.

McCaul, E. W., Jr.

Scientific goals of the Cooperative Multiscale Experiment (CME)

Mesoscale Convective Systems (MCS) form the focus of CME. Recent developments in global climate models, the urgent need to improve the representation of the physics of convection, radiation, the boundary layer, and orography, and the surge of interest in coupling hydrologic, chemistry, and atmospheric models of various scales, have emphasized the need for a broad interdisciplinary and multi-scale approach to understanding and predicting MCS's and their interactions with processes at other scales. The role of mesoscale systems in the large-scale atmospheric circulation, the representation of organized convection and other mesoscale flux sources in terms of bulk properties, and the mutually consistent treatment of water vapor, clouds, radiation, and precipitation, are all key scientific issues concerning which CME will seek to increase understanding. The manner in which convective, mesoscale, and larger scale processes interact to produce and organize MCS's, the moisture cycling properties of MCS's, and the use of coupled cloud/mesoscale models to better understand these processes, are also major objectives of CME. Particular emphasis will be placed on the multi-scale role of MCS's in the hydrological cycle and in the production and transport of chemical trace constituents. The scientific goals of the CME consist of the following: understand how the large and small scales of motion influence the location, structure, intensity, and life cycles of MCS's; understand processes and conditions that determine the relative roles of balanced (slow manifold) and unbalanced (fast manifold) circulations in the dynamics of MCS's throughout their life cycles; assess the predictability of MCS's and improve the quantitative forecasting of precipitation and severe weather events; quantify the upscale feedback of MCS's to the large-scale environment and determine interrelationships between MCS occurrence and variations in the large-scale flow and surface forcing; provide a data base for initialization and verification of coupled regional, mesoscale/hydrologic, mesoscale/chemistry, and prototype mesoscale/cloud-resolving models for prediction of severe weather, ceilings, and visibility; provide a data base for initialization and validation of cloud-resolving models, and for assisting in the fabrication, calibration, and testing of cloud and MCS parameterization schemes; and provide a data base for validation of four dimensional data assimilation schemes and algorithms for retrieving cloud and state parameters from remote sensing instrumentation.

Cotton, William

Remote sensing of water vapor convergence, deep convection, and precipitation over the tropical Pacific Ocean during the 1982-1983 El Nino

Using data collected by SMMR on board the Nimbus 7 satellite, estimates of atmospheric water vapor were obtained over the tropical Pacific Ocean during the 1982-1983 El Nino. A parameterization that physically relates the synoptic and convective scales was employed, making it possible to explicitly resolve convective elements and rain cells for poorly resolvable measurements. The derived water vapor flux convergences were analyzed during the El Nino episode to map the inferred deep convection and estimated rainfall over regions impacted by the event, and the inferred monthly rainfall amounts were compared with observations for 14 island and coastal stations in the Pacific Ocean.

Ardanuy, Philip E.

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