SEARCH · Engineering Papers
Results for “symbolic”
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.
Quick Guide for SNS-NSE Reduction Software DrSpine (Data Reduction for Spin Echo)
This is a general guide to quick access the most common commands for DrSpine (Data Reduction for Spin Echo) data reduction software of the SNS-NSE spectrometer. Over the length of the manuscript the symbol “ $ “ represents the OS shell prompt, i.e., the beginning of a command line in a shell terminal, while the symbol “-->” represents the beginning of a command line in the DrSpine reduction software, after the activation of the reduction environment.
Automated and Accelerated Continuum Model Development for Electrochemical Systems (Abbreviated Report)
Despite the availability of computational resources and advancements in numerical computing capabilities, the multiscale models core to understanding, predicting the behaviors of, and designing energy and environmental systems involving porous media are still 1.) developed through by-hand derivations and 2.) limited by many methodological assumptions employed during model derivation. As a result, the advancement of effective media models for engineering DOE mission-critical systems (e.g., batteries, flow batteries, electrolyzers, geothermal systems, subsurface chemical storage systems, etc.) is slow (i.e., it takes years for models to traverse from stages of “development” to “practical utilization”), hindering our ability to effectively optimize such systems and stay at the cutting-edge of the energy frontier. In this work, we aimed to address these limitations by 1.) automating and accelerating multiscale model derivation via symbolic computing and 2.) develop a novel multiscale modeling methodology for flow and transport through porous media that avoids the typical assumptions hindering previous models. As a result of our efforts, we 1.) developed a hybrid symbolic-numeric code called Fouriera for fully-automating the implementation of multiphysical and phase-field models via the Fourier spectral method for materials science research, and 2.) advanced a multiscale modeling methodology called The Method of Finite Averages that rigorously predicts the behaviors of flow and transport through heterogeneous porous media under the influence of non-local effects and strong advection. Ultimately, these deliverables provide strong foundations from which further efforts can advance multiscale modeling tools and capabilities that do not intrinsically rely on 1.) the speed and mathematical capabilities of humans, nor 2.) the methodological assumptions limiting current models.
Filterbank Multicarrier Communications for High Mobility Underwater Acoustic Links
This paper presents a new method of designing prototype filters that are robust against time and frequency dispersive (i.e., doubly dispersive) underwater acoustic (UWA) channels. The proposed design uses a modified form of Slepian sequences as a basis set to arrive at a design that is maximally compact along both time and frequency/Doppler dimensions. This keeps the inter-symbol interference confined to a small number of adjacent data symbols, both across time and frequency dimensions. It also minimizes the ramp-up (at the beginning) and ramp-down (at the end) of each synthesized data packet. Here, we test our design by making use of the BELLHOP/VirTex channel simulator and compare its performance with that of the widely used orthogonal frequency division multiplexing (OFDM) method. Our emphasis is on scenarios where the channel impulse response extends to a few hundreds of milli-seconds and the relative speed of communicating vehicles can be as large as 10 m/s. We find that while OFDM fails in majority of these scenarios, the proposed design continues to work well in all the scenarios that we simulate.
Machine-Learning Assisted Identification of Battery Life Models
Predictive battery life models are commonly utilized to extrapolate degradation trends observed during accelerated aging tests for simulation of degradation in real-world applications. Thus, fitting accelerated aging data as accurately as possible and with low uncertainty is crucial for making believable projections of battery lifetime, but it is challenging to identify algebraic expressions that accurately fit multivariate degradation trends. A review of models published in literature reveal some common expressions for fitting calendar aging data, which is only dependent on temperature and state-of-charge, but no consistency across many models for fitting cycle aging data, indicating the need for a statistically rigorous data driven approach for developing empirical models. This talk will describe a machine-learning assisted method for identification of predictive battery life models utilizing bilevel optimization and symbolic regression. Bilevel optimization with cross-validation is used to statistically determine cell- and stress-dependent model parameters, while symbolic regression identifies both linear and multiplicative candidate expressions to predict stress-dependent degradation rates by selecting low-order subsets of features from a generated feature library. Because model expressions are identified empirically, it is crucial to ensure resulting models behave according to physical expectations, so the stability of models for interpolation or extrapolation is interrogated qualitatively through simulation and quantitatively through cross-validation and uncertainty quantification via bootstrap resampling. This model identification approach substantially improves upon models identified purely using expert judgement in terms of both accuracy and uncertainty. Model simulation and validation is then conducted by deriving a state-equation form of the predictive model, enabling simulation of battery aging under dynamic stresses. This enables validation of the predictive battery model on lab-based tests with varying conditions or on drive-cycle or application-cycle testing protocols. Parameter uncertainty can be carried forward into model simulation, giving lifetime estimates and confidence windows for cell- or system-level lifetime. The financial impact of battery model uncertainty can be estimated by incorporating uncertainty into a technoeconomic model.
SyReNN: A tool for analyzing deep neural networks
Deep Neural Networks (DNNs) are rapidly gaining popularity in a variety of important domains. Unfortunately, modern DNNs have been shown to be vulnerable to a variety of attacks and buggy behavior. This has motivated recent work in formally analyzing the properties of such DNNs. Furthermore, this paper introduces SyReNN, a tool for understanding and analyzing a DNN by computing its symbolic representation. The key insight is to decompose the DNN into linear functions. Our tool is designed for analyses using low-dimensional subsets of the input space, a unique design point in the space of DNN analysis tools. We describe the tool and the underlying theory, then evaluate its use and performance on three case studies: computing Integrated Gradients, visualizing a DNN’s decision boundaries, and repairing buggy DNNs.
Developing a robust strength model using physically-informed genetic programming
The strength of materials is influenced by a range of external conditions, such as temperature and deformation rate. Consequently, materials that demonstrate substantial variations in their mechanical behavior due to fluctuations in temperature and strain rate require complex strength models to accurately predict material performance in real-world applications. To predict such complex behavior, a robust and flexible strength model is necessary. In this work, we utilize genetic programming-based symbolic regression (GPSR) to develop data-driven strength models that accurately represent the measured stress–strain responses of tin across a wide range of strain, strain rate and temperature regimes. The GPSR models are constrained by physically-informed conditions, which leads to significant improvement in extrapolation. The best model is integrated into a multi-physics code to perform Taylor impact simulations, validating the model’s accuracy and robustness. In conclusion, the model predictions showed excellent agreement with experimental results, particularly when compared to predictions using traditional strength models.
Locating Undocumented Wells Using Historical Oil and Gas Exploration Maps: A Case Study in Osage County, Oklahoma
Undocumented oil and gas wells lack reliable information about their locations and characteristics, making them difficult to identify. These wells can result in unanticipated delays and costs in the development of nearby surface and subsurface resources, and, if improperly plugged, can cause contamination. This study leverages historical petroleum exploration maps to locate such wells, focusing on Osage County, Oklahoma. Two sets of early 20th century oil and gas exploration maps by the United States Geological Survey were georeferenced and analyzed using a computer vision model to detect well symbols. The locations of detected wells were compared to the location of known wells in the database from the Bureau of Indian Affairs Osage Agency to identify potential undocumented wells. The analysis yielded over 500 potential undocumented wells, with dry holes constituting the largest fraction. Field verification confirmed the presence of some undocumented wells. Comparison with prior work revealed limited overlap, underscoring the complementary value of historical oil and gas maps for locating undocumented wells. This approach demonstrates the utility of integrating historical cartographic resources with modern geospatial and machine learning techniques to improve the identification and management of undocumented wells.
Data-driven Detection and Early Prediction of Thermoacoustic Instability in a Multi-nozzle Combustor
Thermoacoustic instability (TAI) is a critical issue in modern lean-burn gas-turbine combustors, which is induced by a strong coupling between the resonant combustor acoustics and fluctuations in the heat release rate. This instability may lead to high-amplitude pressure waves that generate undesirable noise levels as well as fatigue stresses in mechanical structures of the combustor. The intense pressure fluctuations due to TAI may also cause large flow perturbations and possibly flow reversal that may lead to flame oscillations, flame liftoff, and even flame blow-out. Hence, there is a strong need for exercising control actions in a timely fashion to mitigate the TAI phenomena. Anomaly detection is an essential prerequisite to the design of a good controller and such a detector must be able to reliably predict a forthcoming TAI. To detect and predict the onset of a TAI from an ensemble of pressure time series, this paper investigates three data-driven methods: Fast Fourier transform (FFT), symbolic time series analysis (STSA), and hidden Markov modeling (HMM). The main focus of the paper is to make a comparative evaluation of these three anomaly detection methods for classification of the current regime of operation into stable and unstable categories as well as for real-time identification of precursors to impending instabilities with short-length time series of measured variables (e.g., pressure oscillations). Finally, the results, generated on experimental data from a multi-nozzle combustor apparatus, have been compared to evaluate the performance of FFT, STSA, and HMM methods for TAI analysis.
Detect the Unobservable: Abnormality Detection in mixed Autonomy for Lane Change Maneuver with Following Vehicles’ Trajectories Only
Highly Automated Vehicles (HAVs) and Advanced Driver-Assistance Systems (ADAS) are transforming modern transportation with enhanced mobility, safety, and efficiency. Despite their advantages, cybersecurity vulnerabilities in these systems can lead to abnormal behavior, posing significant risks to surrounding human-driven vehicles (HDVs) in mixed traffic environments. Here, this article addresses the challenge of detecting abnormal lateral movements of HAVs/ADAS vehicles using only trajectory profiles of following HDVs. Specifically, we propose a novel modeling approach that captures both normal and abnormal lateral behaviors through vehicle kinematics, integrated decision-making processes, vehicle control using symbolic regression for lane change vehicles. Additionally, we introduce an abnormality detection framework that relies on observable HDV data, even in occlusion scenarios. The framework evaluates the sensitivity of various car-following models to detect abnormal behaviors, providing insights into the interaction between HAVs/ADAS and HDVs in mixed autonomy systems.
Learning and Controlling Silicon Dopant Transitions in Graphene Using Scanning Transmission Electron Microscopy
A machine learning approach is introduced to determine the transition dynamics of silicon atoms on a single layer of carbon atoms, when stimulated by the electron beam of a scanning transmission electron microscope (STEM). This method is data-centric, leveraging data collected on a STEM. The data samples are processed and filtered to produce symbolic representations, which is used to train a neural network to predict transition probabilities. These learned transition dynamics are then leveraged to guide a single silicon atom throughout the lattice to pre-determined target destinations. Empirical analyses are presented that demonstrate the efficacy and generality of the approach.
Significant Roles of Surface Hydrides in Enhancing the Performance of Cu/BaTiO 2.8 H 0.2 Catalyst for CO 2 Hydrogenation to Methanol
A BaTiO 3 lattice is shown in the background of the cover picture, with the stack of orange balls symbolizing Cu nanoparticles. Pipes delivering the reactants and products have the shapes of H — and e — indicating they are involved in the catalytic hydrogenation of CO 2 . Lattice O is replaced with hydrides for the enhanced performance in CO 2 hydrogenation to methanol, as demonstrated by Zili Wu et al. in their Research Article (e202313389).
ReactionMechanismSimulator.jl: A modern approach to chemical kinetic mechanism simulation and analysis
Abstract We present ReactionMechanismSimulator.jl (RMS), a modern differentiable software for the simulation and analysis of chemical kinetic mechanisms, including multiphase systems. RMS has already been applied to problems in combustion, pyrolysis, polymers, pharmaceuticals, catalysis, and electrocatalysis. RMS is written in Julia, making it easy to develop and allowing it to take advantage of Julia's extensive numerical computing ecosystem. In addition to its extensive library of optimized analytic Jacobians, RMS can generate and use Jacobians computed using automatic differentiation and symbolically generated analytic Jacobians. RMS is demonstrated to be faster than Cantera and Chemkin in several benchmarks. RMS also implements an extensive set of features for analyzing chemical mechanisms, including a library of easy‐to‐call plotting functions, molecular structure resolved flux diagram generation, crash analysis, traditional sensitivity analysis, transitory sensitivity analysis, and an automatic mechanism analysis toolkit. RMS implements efficient adjoint and parallel forward sensitivity analyses. We also demonstrate the ease of adding new features to RMS.
The use and abuse of cinnabar in Late Neolithic and Copper Age Iberia
Abstract In this study, total mercury (THg) was analyzed in archaeological human bone from 23 sites dating to between the Middle Neolithic and the Antiquity. A total of 370 individuals from individual or collective burials was sampled, mostly using cortical bone from the humerus. These individuals were recovered from over 50 different funerary structures ranging from tholoi, pits, caves, and hypogea. Although cinnabar (HgS) is a likely cause of mercury poisoning and toxicity for people exposed to this mineral from mining or use as a paint or pigment, not all sites investigated here had cinnabar associated with the burials or other excavated areas. We found unusual levels of THg in many of the sampled individuals that we assume were caused by exposure to cinnabar in life, and not by diagenetic processes or other exposures to mercury such as through diet, which would only cause negligible accumulation of THg in bone. Our data, based on the largest sampling ever undertaken on contamination of human bone through archaeological evidence, provide a baseline for additional research on cinnabar and its use in Prehistory. Moderate to high levels of THg in human bone are mainly associated with societies dating from the second half of the 4th to late 3rd millennia B.C. (Late Neolithic to Middle Chalcolithic) in southern Iberia. By the Late Chalcolithic and Early Bronze Age, the use of cinnabar decreased significantly and became minimal or absent. The use and abuse of cinnabar appears to have been pervasive throughout the above‐mentioned period and particularly between c. 2900–2300 B.C. This occurred in connection with the high symbolic and probably sacred value of the substance, which was sought after, traded, and extensively used in a variety of rituals and social practices.
The Table of Standard Atomic Weights—an exercise in consensus
The present Table of Standard Atomic Weights (TSAW) of the elements is perhaps one of the most familiar datasets in science. Unlike most parameters in physical science whose values and uncertainties are evaluated using the “Guidelines for Uncertainty in Measurement” (GUM), the majority of standard atomic-weight values and their uncertainties are consensus values, not GUM-evaluated values. The Commission on Isotopic Abundances and Atomic Weights of the International Union of Pure and Applied Chemistry (IUPAC) regularly evaluates the literature for new isotopic-abundance measurements that can lead to revised standard atomic-weight values, A r (E) for element E. The Commission strives to provide utmost clarity in products it disseminates, namely the TSAW and the Table of Isotopic Compositions of the Elements (TICE). In 2016, it was recognized by the Commission that a guideline recommending expression of uncertainty listed in parentheses following the standard atomic-weight value, e.g. A r (Se) = 78.971(8), is not in accord with the GUM, which suggests that this parenthetic notation be reserved to express standard uncertainty, not the expanded uncertainty used in the TSAW and TICE. In 2017, to eliminate this noncompliance with the GUM, a new format was adopted in which the uncertainty value is specified by the plus-minus symbol, e.g. A r (Se) = 78.971 ± 0.008. To clarify the definition of uncertainty, a new footnote has been added to the TSAW. This footnote emphasizes that an atomic-weight uncertainty is a consensus (decisional) uncertainty. Not only has the Commission shielded users of the TSAW and TICE from unreliable measurements that appear in the literature as a result of unduly small uncertainties, but the aim of IUPAC has been fulfilled by which any scientist, taking any natural sample from commerce or research, can expect their sample atomic weight to lie within A r (E) ± its uncertainty almost all of the time.
What is the iε for the S-matrix?
Can the S-matrix be complexified in a way consistent with causality? Since the 1960's, the affirmative answer to this question has been well-understood for 2→2 scattering of the lightest particle in theories with a mass gap at low momentum transfer, where the S-matrix is analytic everywhere except at normal-threshold branch cuts. We ask whether an analogous picture extends to realistic theories, such as the Standard Model, that include massless fields, UV/IR divergences, and unstable particles. Especially in the presence of light states running in the loops, the traditional iε prescription for approaching physical regions might break down, because causality requirements for the individual Feynman diagrams can be mutually incompatible. We demonstrate that such analyticity problems are not in contradiction with unitarity. Instead, they should be thought of as finite-width effects that disappear in the idealized 2→2 scattering amplitudes with no unstable particles, but might persist at higher multiplicity. To fix these issues, we propose an iε -like prescription for deforming branch cuts in the space of Mandelstam invariants without modifying the analytic properties. This procedure results in a complex strip around the real part of the kinematic space, where the S-matrix remains causal. In addition to giving a pedagogical introduction to the analytic properties of the perturbative S-matrix from a modern point of view, we illustrate all the points on explicit examples, both symbolically and numerically. Furthermore, to help with the investigation of related questions, we introduce a number of tools, including holomorphic cutting rules, new approaches to dispersion relations, as well as formulae for local behavior of Feynman integrals near branch points.
A note on one-loop cluster adjacency in N = 4 SYM
We study cluster adjacency conjectures for amplitudes in maximally supersymmetric Yang-Mills theory. We show that the n-point one-loop NMHV ratio function satisfies Steinmann cluster adjacency. We also show that the one-loop BDS-like normalized NMHV amplitude satisfies cluster adjacency between Yangian invariants and final symbol entries up to 9-points. We present conjectures for cluster adjacency properties of Plücker coordinates, quadratic cluster variables, and NMHV Yangian invariants that generalize the notion of weak separation.
Landau singularities of the 7-point ziggurat. Part II
We solve the Landau equations to find the singularities of nine three-loop 7-point graphs that arise as relaxations of the graph studied in [22]. Along the way we establish that Y – Δ equivalence fails for certain branches of solutions to the Landau equations. We find two graphs with singularities outside the heptagon symbol alphabet; in particular they are not cluster variables of Gr(4, 7). We compare maximal residues of scalar graphs exhibiting these singularities to those in $\mathcal{N}$ = 4 super-Yang-Mills theory in order to probe their cancellation from its amplitudes.