Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Model reduction”

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 1,009 records · Page 56

Stormtime ring current and radiation belt ion transport: Simulations and interpretations

We use a dynamical guiding-center model to investigate the stormtime transport of ring current and radiation-belt ions. We trace the motion of representative ions' guiding centers in response to model substorm-associated impulses in the convection electric field for a range of ion energies. Our simple magnetospheric model allows us to compare our numerical results quantitatively with analytical descriptions of particle transport, (e.g., with the quasilinear theory of radial diffusion). We find that 10-145-keV ions gain access to L approximately 3, where they can form the stormtime ring current, mainly from outside the (trapping) region in which particles execute closed drift paths. Conversely, the transport of higher-energy ions (approximately greater than 145 keV at L approximately 3) turns out to resemble radial diffusion. The quasilinear diffusion coefficient calculated for our model storm does not vary smoothly with particle energy, since our impulses occur at specific (although randomly determined) times. Despite the spectral irregularity, quasilinear theory provides a surprisingly accurate description of the transport process for approximately greater than 145-keV ions, even for the case of an individual storm. For 4 different realizations of our model storm, the geometric mean discrepancies between diffusion coefficients D(sup sim, sub LL) obtained from the simulations and the quasilinear diffusion coefficient D(sup ql, sub LL) amount to factors of 2.3, 2.3, 1.5, and 3.0, respectively. We have found that these discrepancies between D(sup sim, sub LL) and D(sup ql, sub LL) can be reduced slightly by invoking drift-resonance broadening to smooth out the sharp minima and maxima in D(sup ql, sub LL). The mean of the remaining discrepancies between D(sup sim, sub LL) and D(sup ql, sub LL) for the 4 different storms then amount to factors of 1.9, 2.1, 1.5, and 2.7, respectively. We find even better agreement when we reduce the impulse amplitudes systematically in a given model storm (e.g., reduction of all the impulse amplitudes by half reduces the discrepancy factor by at least its square root) and also when we average our results over an ensemble of 20 model storms (agreement is within a factor of 1.2 without impulse-amplitude reduction). We use our simulation results also to map phase-space densities f in accordance with Liouville's theorem. We find that the stormtime transport of approximately greater than 145-keV ions produces little change in f-bar the drift-averaged phase-space density on any drift shell of interest. However, the stormtime transport produces a major enhancement from the pre-storm phase-space density at energies approximately 30-145 keV, which are representative of the stormtime ring current.

Lyons, Larry R.↗

Thermo-Hydro-Chemical Simulation of Mid-Ocean Ridge Hydrothermal Systems: Static 2D Models and Effects of Paleo-Seawater Chemistry

Decades of research have resulted in characterization of the ocean floor manifestations of mid-ocean ridge (MOR) hydrothermal systems, yet numerical models accounting for the connections between heat transfer, hydrology and geochemistry have been slow to develop. The Thermo-hydro-chemical code ToughReact can be used to describe the coupled effects of fluid flow, heat transfer, and fluid-rock chemical interactions that occur in MOR systems. We describe the results of 2-dimensional simulations of steady state flow in fractured diabase with mineral-fluid chemical reactions. Basal heating and specified permeability yield maximum temperature of 400°C. Total fluid flux and high fracture flow velocities are in accord with observations. Fluid chemistry, mineralogical changes and 87 Sr/ 86 Sr ratios can be compared to observations to assess and calibrate models. Simulated high temperature fracture fluids have Mg and SO 4 near zero, elevated Ca and 87 Sr/ 86 Sr of about 0.7040. Total alteration is 10%–50% for simple models of spreading. Anhydrite forms mainly near the base of the upwelling zone and results in substantial local fracture porosity reduction. A calibrated model is used to predict how Sr isotopes and other features of altered oceanic crust would be different in the Cretaceous (95 Ma) early Proterozoic (1,800 Ma) and Archean (3,800 Ma), when seawater may have had high Ca and Sr concentrations, lower pH, higher temperature, and lower Na, Mg, and SO 4 . The simulations are offered as a start on what ultimately may require a longer-term community effort to better understand the role of MOR thermo-hydro-chemical systems in Earth evolution.

58 GEOSCIENCES↗

The extended Baryon Oscillation Spectroscopic Survey: Variability selection and quasar luminosity function

The extended Baryon Oscillation Spectroscopic Survey of the Sloan Digital Sky Survey (SDSS-IV/eBOSS) has an extensive quasar program that combines several selection methods. Among these, the photometric variability technique provides highly uniform samples, which are unaffected by the redshift bias of traditional optical-color selections, when z = 2.7-3.5 quasars cross the stellar locus or when host galaxy light affects quasar colors at z< 0.9. We present the variability selection of quasars in eBOSS, focusing on a specific program that led to a sample of 13 876 quasars to g dered = 22.5 over a 94.5 deg 2 region in Stripe 82, which has an areal density 1.5 times higher than over the rest of the eBOSS footprint. We use these variability-selected data to provide a new measurement of the quasar luminosity function (QLF) in the redshift range of 0.68 g (z = 2) = -21.80 at low redshift and to M g (z = 2) = -26.20 at z ~ 4. We fit the QLF using two independent double-power-law models with ten free parameters each. The first model is a pure luminosity-function evolution (PLE) with bright-end and faint-end slopes allowed to be different on either side of z = 2.2. The other is a simple PLE at z< 2.2, combined with a model that comprises both luminosity and density evolution (LEDE) at z> 2.2. Both models are constrained to be continuous at z = 2.2. They present a flattening of the bright-end slope at high redshift. The LEDE model indicates a reduction of the break density with increasing redshift, but the evolution of the break magnitude depends on the parameterization. The models are in excellent accord, predicting quasar counts that agree within 0.3% (resp., 1.1%) to g< 22.5 (resp., g< 23). The models are also in good agreement over the entire redshift range with models from previous studies.

79 ASTRONOMY AND ASTROPHYSICS↗

Experimental space weathering of regolith material

Significant advances in the understanding of space weathering processes were recently reported. Submicroscopic iron blebs were produced in lunar simulant glass and natural terrestrial minerals by high-temperature reduction in controlled atmosphere furnaces. These experiments altered the samples' optical properties and microtextures so that they resembled those of extremely mature lunar soil. The results contributed to a revised model for natural reduction in the regolith. Subsequently, supporting results were obtained by reduction of lunar samples. Research to date has focused on reduction of three lunar surface components: basalt, pyroclastic glass, and mare soil. An extensive set of H reduction experiments with simulants has led to a detailed understanding of reaction mechanisms and kinetics. Reduction experiments using lunar basalt were recently conducted by Carbotek. Reduced samples from these test were analyzed. Reduction experiments on lunar glass 74220 were run at temperatures of 900-1100 C. Reduction efficiency of volcanic glass proved to be a function of the sample's FeO abundance and reaction temperature. We also reduced mare soil 75061 at temperatures of 900-1050 C. Partial reduction of FeO in olivine and pyroxene occurred, but was slower and less complete than reduction of ilmenite. Our experiments on simulants and lunar samples have indicated that the most readily reduced phases in the regolith are ilmenite and glass. Based on initial tests with simulants we proposed refinements to the accepted model for space weathering of the regolith. The impact of a micrometeoroid flash heats and melts and ejects from the impact point a small volume of soil that contains trapped solar wind H and C. Reduction occurs rapidly, while the melt volume is still in motion. When a droplet encounters unmelted soil, it envelopes cold mineral grains. The melt is chilled rapidly. Our analyses of experimentally reduced lunar basalt, glass, and mare soil support the proposed model for space weathering.

Mckay, D. S.↗

Defense Waste Processing Facility (DWPF) Durability-Composition Models and the Applicability of the Associated Reduction of Constraints (ROC) Criteria for High TiO 2 Containing Glasses

Radioactive high-level waste (HLW) at the Savannah River Site (SRS) has successfully been vitrified into borosilicate glass in the DWPF since 1996. Vitrification requires stringent product/process (P/P) constraints since the glass cannot be reworked once it has been poured into ten foot tall by two foot diameter canisters. A unique “feed forward” statistical process control (SPC) was developed for this control rather than relying on statistical quality control (SQC). In SPC, the feed composition to the DWPF melter is controlled prior to vitrification. In SQC, the glass product would be sampled after it is vitrified. Individual glass property-composition models form the basis for the “feed forward” SPC. The models transform constraints on the melt and glass properties into constraints on the feed composition going to the melter in order to determine, at the 95% confidence level, that the feed will be processable and that the durability of the resulting waste form will be acceptable to a geologic repository. The DWPF SPC system is known as the Product Composition Control System (PCCS). One of the process models within PCCS is known as the Thermodynamic Hydration Energy Reaction MOdel (THERMO™). The DWPF will soon be receiving increased concentrations of TiO 2 -, Na 2 O-, and Cs 2 O-enriched wastes from the Salt Waste Processing Facility (SWPF). The SWPF has been built to pretreat the high-curie fraction of the salt waste to be removed from the HLW tanks in the F- and H-Area Tank Farms at the SRS. In order to validate the existing TiO 2 term in THERMO™ beyond 2.0 wt% in the DWPF, new durability data were developed over the target range of 2.00 to 6.00 wt% TiO 2 and evaluated against the 1995 durability model. The durability was measured by the 7-day Product Consistency Test. This study documents the adequacy of the existing THERMO™ terms. It is recommended that the modified THERMO™ durability models and the modified property acceptable region limits for the durability constraints be incorporated in the next revision of the technical bases for PCCS and then implemented into PCCS. It is also recommended that an reduction of constraints of 4 wt% Al 2 O 3 be implemented with no restrictions on the amount of alkali in the glass for TiO 2 values ≥2 wt%. The ultimate limit on the amount of TiO 2 that can be accommodated from SWPF will be determined by the three PCCS models, the waste composition of a given sludge batch, the waste loading of the sludge batch, and the frit used for vitrification.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Mechanistic Multiscale Uncertainty Propagation in Support of Accelerated Fuel Qualification

Taking a nuclear fuel concept through the research, development, and qualification stages has historically taken on the order of 20 to 25 years because of extensive irradiation tests required for a variety of conditions. The concept of accelerated fuel qualification (AFQ) has been proposed to increase the innovation pace for nuclear fuels. The goal of AFQ is not to replace the traditional qualification approach but rather to reduce the total number of experiments required to ensure approval from the regulatory authority. Of the many AFQ approaches being explored, advanced modeling—and, in particular, mechanistic modeling—is in a uniquely cross-cutting position to reduce the number of required integral tests through the inclusion of separate-effects testing, while helping to extrapolate reactor performance during rare events. We make the case that propagation of uncertainty through various computational length scales helps contextualize mechanistic modeling. We will utilize UO 2 fission gas diffusion predictions from the atomistically informed cluster dynamics code Centipede to inform fuel performance rodlet simulations using the BISON finite element code as the metric for showing how multiscale mechanistic uncertainty quantification can help reduce uncertainty in fuel performance. In conclusion, by quantifying uncertainty and its reduction through multiscale modeling, the qualification process may be accelerated through the reduction of costly irradiation experiments.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Reduced El NiñO Variability in the Mid-Pliocene According to the Pliomip2 Ensemble

The mid-Pliocene warm period (3.264–3.025 Ma) is the most recent geological period during which atmospheric CO 2 levels were similar to recent historical values (∼400 ppm). Several proxy reconstructions for the mid-Pliocene show highly reduced zonal sea surface temperature (SST) gradients in the tropical Pacific Ocean, indicating an El Niño-like mean state. However, past modelling studies do not show these highly reduced gradients. Efforts to understand mid-Pliocene climate dynamics have led to the Pliocene Model Intercomparison Project (PlioMIP). Results from the first phase (PlioMIP1) showed clear El Niño variability (albeit significantly reduced) and did not show the greatly reduced time-mean zonal SST gradient suggested by some of the proxies. In this work, we study El Niño–Southern Oscillation (ENSO) variability in the PlioMIP2 ensemble, which consists of additional global coupled climate models and updated boundary conditions compared to PlioMIP1. We quantify ENSO amplitude, period, spatial structure and “flavour”, as well as the tropical Pacific annual mean state in mid-Pliocene and pre-industrial simulations. Results show a reduced ENSO amplitude in the model-ensemble mean (−24 %) with respect to the pre-industrial, with 15 out of 17 individual models showing such a reduction. Furthermore, the spectral power of this variability considerably decreases in the 3–4-year band. The spatial structure of the dominant empirical orthogonal function shows no particular change in the patterns of tropical Pacific variability in the model-ensemble mean, compared to the pre-industrial. Although the time-mean zonal SST gradient in the equatorial Pacific decreases for 14 out of 17 models (0.2 ∘C reduction in the ensemble mean), there does not seem to be a correlation with the decrease in ENSO amplitude. The models showing the most “El Niño-like” mean state changes show a similar ENSO amplitude to that in the pre-industrial reference, while models showing more “La Niña-like” mean state changes generally show a large reduction in ENSO variability. The PlioMIP2 results show a reasonable agreement with both time-mean proxies indicating a reduced zonal SST gradient and reconstructions indicating a reduced, or similar, ENSO variability.

mid-Pliocene warm period↗

BioXTAS RAW 2 : new developments for a free open-source program for small-angle scattering data reduction and analysis

BioXTAS RAW is a free open-source program for reduction, analysis and modelling of biological small-angle scattering data. Here, the new developments in RAW version 2 are described. These include improved data reduction using pyFAI ; updated automated Guinier fitting and D max finding algorithms; automated series ( e.g. size-exclusion chromatography coupled small-angle X-ray scattering or SEC-SAXS) buffer- and sample-region finding algorithms; linear and integral baseline correction for series; deconvolution of series data using regularized alternating least squares ( REGALS ); creation of electron-density reconstructions using electron density via solution scattering ( DENSS ); a comparison window showing residuals, ratios and statistical comparisons between profiles; and generation of PDF reports with summary plots and tables for all analysis. Furthermore, there is now a RAW API, which can be used without the graphical user interface (GUI), providing full access to all of the functionality found in the GUI. In addition to these new capabilities, RAW has undergone significant technical updates, such as adding Python 3 compatibility, and has entirely new documentation available both online and in the program.

97 MATHEMATICS AND COMPUTING↗

Resolving dynamic mineral-organic interactions in the rhizosphere by combining in-situ microsensors with plant-soil reactive transport modeling

Associations between minerals and organic matter represent one of the most important carbon storage mechanisms in soils. Plant roots are major sources of soil carbon, and resolving the dynamics and dominance of microbial consumption versus mineral sorption of root-derived carbon is critical to understanding soil carbon storage. Here we integrate in-situ rhizosphere microsensor and plant physiological measurements with a 3-D plant-soil reactive transport model to explore the fate of dissolved organic carbon (DOC) in the rhizosphere, particularly its microbial consumption and interaction with Fe oxide minerals. Over several days, a microdialysis probe sampling pore water at the root-soil interface of growing Vicia faba roots in live soil, revealed clear diel patterns of DOC concentration. Daytime DOC spikes coincided with peaks in leaf-level photosynthesis rates and were accompanied by declining redox potential and dissolved oxygen as well as increasing pH in the rhizosphere. Incorporating microsensor data into our modeling framework showed that the measured rapid loss of DOC after each mid-day spike could not be explained by consumption via aerobic respiration, nor via anaerobic respiration dominated by Fe oxide reduction. Rather, in the model, a large fraction of rhizosphere DOC was rapidly immobilized each day by adsorption to Fe oxides. Further, modeled microbial Fe reduction (fueled by DOC) did not mobilize significant organic carbon from Fe oxides during the day. Instead, the model predicted equilibrium desorption of organic carbon from Fe oxides at night. This new mechanistic modeling framework, which couples aboveground plant physiological measurements with non-destructive high-resolution monitoring of rhizosphere processes, has great potential for exploring the dynamics and balance of the various microbial reactions and mineral interactions controlling carbon transformations and storage in soils.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Determining the kinetic rate constants of Fe 3 O 4 -to-Fe and FeO-to-Fe reduction by H 2

Steel production using coal accounts for ~ 8% of global carbon emissions. “Green Steel” is a new grand concept proposed recently to make steel from iron ores using renewable derived “Green Hydrogen” to achieve zero carbon emission. The kinetics and rate-limiting steps of iron ore reduction into iron with H 2 as a reducing agent is critically important to the success of this new technology. While reduction of Fe 2 O 3 into Fe by H 2 follows multiple steps, the past research on this topic mainly deals with the overall averaged kinetics, giving little information on the elemental and rate-limiting steps. In this work, we report a kinetic study specifically design to attain kinetic rate constants of one-step reduction of Fe 3 O 4 -to-Fe and FeO-to-Fe. Guided by thermodynamics, we show first how to create in situ the desirable starting oxide phases, i.e., Fe 3 O 4 and FeO, with precisely controlled the ratio of partial pressures of H 2 O and H 2 . We then show time-dependent raw H 2 O content data collected by a mass spectrometer and the processed reduction data to extract kinetic rate constants. We found that the kinetics of the two one-step reduction reactions follows nicely the Johnson-Mehl-Avrami (JMA) phase transformation model. The one-step reduction mechanisms and activation energy are also discussed.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Decline and poleward shift in Indian summer monsoon synoptic activity in a warming climate

Cyclonic atmospheric vortices of varying intensity, collectively known as low-pressure systems (LPS), travel northwest across central India and produce more than half of the precipitation received by that fertile region and its ~600 million inhabitants. Yet, future changes in LPS activity are poorly understood, due in part to inadequate representation of these storms in current climate models. Using a high-resolution atmospheric general circulation model that realistically simulates the genesis distribution of LPS, here we show that Indian monsoon LPS activity declines about 45% by the late 21st century in simulations of a business-as-usual emission scenario. The distribution of LPS genesis shifts poleward as it weakens, with oceanic genesis decreasing by ~60% and continental genesis increasing by ~10%; over land the increase in storm counts is accompanied by a shift toward lower storm wind speeds. The weakening and poleward shift of the genesis distribution in a warmer climate are confirmed and attributed, via a statistical model, to the reduction and poleward shift of low-level absolute vorticity over the monsoon region, which in turn are robust features of most coupled model projections. The poleward shift in LPS activity results in an increased frequency of extreme precipitation events over northern India.

54 ENVIRONMENTAL SCIENCES↗

Using models to guide field experiments: a priori predictions for the CO 2 response of a nutrient- and water-limited native Eucalypt woodland

One major uncertainty in Earth System models is the response of terrestrial ecosystems to rising atmospheric CO 2 concentration (Ca), particularly under nutrient-lim- ited conditions. The Eucalyptus Free-Air CO 2 Enrichment (EucFACE) experiment, recently established in a nutrient- and water-limited woodlands, presents a unique opportunity to address this uncertainty, but can best do so if key model uncertainties have been identified in advance. Moreover, we applied seven vegetation models, which have previously been comprehensively assessed against earlier forest FACE experi- ments, to simulate a priori possible outcomes from EucFACE. Our goals were to provide quantitative projections against which to evaluate data as they are collected, and to identify key measurements that should be made in the experiment to allow discrimination among alternative model assumptions in a postexperiment model intercompari- son. Simulated responses of annual net primary productivity (NPP) to elevated Ca ranged from 0.5 to 25% across models. The simulated reduction of NPP during a low-rainfall year also varied widely, from 24 to 70%. Key processes where assumptions caused disagreement among models included nutrient limitations to growth; feedbacks to nutri- ent uptake; autotrophic respiration; and the impact of low soil moisture availability on plant processes. Finally, knowledge of the causes of variation among models is now guiding data collection in the experiment, with the expectation that the experimental data can optimally inform future model improvements.

54 ENVIRONMENTAL SCIENCES↗

Improved procedures for mass matrix-reductions in eigenvalue solutions

Analytical models of three structures were used to test mass matrix-reduction schemes. Accuracy of four mode shapes and frequencies was tracked through successive mass matrix-reductions with diminishing numbers of indicator degrees of freedom. Results were consistently disappointing. Two new procedures were developed in attempt to improve accuracy.

Levy, R.↗

Drag characteristics of V-groove and transverse curvature riblets

The paper examines the drag characteristics of longitudinally ribbed surfaces where the rib dimensions are the order of the initial turbulent wall burst region near the wall. Direct drag measurements are presented for symmetric and unsymmetric V-groove, and (larger wavelength) transverse curvature riblets. The direct drag data indicate net drag reductions as large as 7% for certain V-groove riblets with heights in terms of law of the wall coordinates h+ less than 30. For one of the riblet models, the drag reduction is confirmed by reductions in the momentum thickness, turbulent velocity fluctuations, and Reynolds stress profiles. Although the direct drag data for the transverse curvature riblets showed drag increases, certain models did show that the drag increase diminished with increasing velocity. This trend is opposite to the normal one found for rough surfaces and should be investigated further.

Walsh, M. J.↗

( d , n ) proton-transfer reactions on Be 9 , B 11 , C 13 , N 14 , 15 , and F 19 and spectroscopic factors at E d = 16 MeV

The (d,n) reaction has been studied with targets of 9 Be, 11 B, 13 C, 14,15 N, and 19F at E d = 16MeV using a deuterated liquid-scintillator array. Advanced spectral unfolding techniques with accurately measured scintillator response functions were employed to extract neutron energy spectra without the need for long-path neutron time-of-flight. An analysis of the proton-transfer data at forward angles to the ground states of the final nuclei, using finite-range distorted-wave Born approximation analysis with common bound-state, global, and local optical-model parameter sets, yields a set of self-consistent spectroscopic factors. These are compared with the results of several previous time-of-flight measurements, most done many years ago for individual nuclei at lower energy and often analyzed using zero-range transfer codes. In contrast to some of the earlier published data, our data generally compare well with simple shell-model predictions, with little evidence for uniform quenching (reduction from shell-model values) that has previously been reported from analysis of nucleon knock-out reactions. Data for low-lying excited states in 14 N from 13 C(d,n) also is analyzed and spectroscopic information relevant to nuclear astrophysics obtained. Here, a preliminary study of the radioactive ion beam induced reaction 7 Be(d,n), E( 7 Be) = 30MeV was carried out and indicates further improvements are needed for such measurements, which require detection of neutrons with E n < 2MeV.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Gray-Box Modeling for Distribution Systems with Inverter-Based Resources

In this paper, we develop a novel gray-box modeling approach for distribution systems with inverter-based resources (IBRs). The proposed gray-box modeling method aims to improve estimation accuracy by taking advantages of both physics-based (white-box) and data-driven (black-box) modeling approaches. To this end, the gray-box modeling framework is constructed by encoding prior physical knowledge of the system into a whitebox model and then embedding the output variables of the white-box model into the input vector of a black-box model. Especially, the white-box modeling component is constructed alongside the equivalent network model simplified with Kron reduction. Furthermore, case studies demonstrate that our graybox modeling approach effectively improves estimation accuracy compared to purely physics-based or data-driven methods.

Zhang, Junhui↗

Model simulations of Plum Island Ecosystems LTER low marsh site using ELM-PFLOTRAN

Model simulations using the E3SM Land Model (ELM) coupled to the PFLOTRAN reactive transport model via the Alquimia interface. The simulations were conducted for a tidal salt marsh at the Plum Island Ecosystems LTER near Rowley, Massachusetts, USA. Model simulations were forced using site-specific tidal cycles and salinity, and the simulations used a biogeochemical reaction network including aerobic decomposition, sulfate reduction, iron reduction, and methanogenesis. Model outputs include simulated carbon stocks, carbon dioxide and methane fluxes, and porewater concentrations of key solutes related to sulfur, iron, and carbon cycling. The model simulations included a saline simulation (with tidal sulfate inputs), a fresh simulation (with low salinity and low sulfate inputs), and a saline simulation with lower vegetation productivity to represent the effect of salinity on vegetation. These simulations were conducted to demonstrate that a new model framework incorporating subsurface redox and biogeochemical interactions into a land surface model could reproduce measured surface greenhouse gas fluxes and biogeochemical dynamics in tidal marsh ecosystems, and to test whether including redox interactions in a land surface model would allow the model to resolve contrasts in biogeochemical cycling and greenhouse gas production between saline and freshwater wetlands.The data package includes gzipped tar archives (which can be expanded using standard tar and gzip utilities) of model outputs from three model configurations: saline subsurface and reduced vegetation productivity related to salinity; saline subsurface with vegetation productivity not reduced; and freshwater. Also included are code for the modified E3SM model, Alquimia interface, and PFLOTRAN reactive transport simulator in gzipped tar format; plain text parameter and configuration files; python code files for visualizing model output and defining model configurations; and model output, tide and salinity forcing, and configuration files in netCDF format. See the README.md file in the data package for a detailed description of all files contained in the package. All files are in netCDF (.nc), gzipped tar archive (.tar.gz or .tgz), or text (all other files).Updated: May 13, 2024. Model output, E3SM code, PFLOTRAN input files, and python codes for visualizing results were updated to reflect changes made for the manuscript revision. The updated archive reflects the code and model output from the final accepted manuscript. Changes included updated reaction parameters reflecting improved parameterization and additional comparisons with field measurements. E3SM code changes included better support for multiple grid cells and improved flow and transport parameterization.

54 ENVIRONMENTAL SCIENCES↗

State Event Models for the Formal Analysis of Human-Machine Interactions

The work described in this paper was motivated by our experience with applying a framework for formal analysis of human-machine interactions (HMI) to a realistic model of an autopilot. The framework is built around a formally defined conformance relation called "fullcontrol" between an actual system and the mental model according to which the system is operated. Systems are well-designed if they can be described by relatively simple, full-control, mental models for their human operators. For this reason, our framework supports automated generation of minimal full-control mental models for HMI systems, where both the system and the mental models are described as labelled transition systems (LTS). The autopilot that we analysed has been developed in the NASA Ames HMI prototyping tool ADEPT. In this paper, we describe how we extended the models that our HMI analysis framework handles to allow adequate representation of ADEPT models. We then provide a property-preserving reduction from these extended models to LTSs, to enable application of our LTS-based formal analysis algorithms. Finally, we briefly discuss the analyses we were able to perform on the autopilot model with our extended framework.

State-event Models↗