Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “discover”

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 649 records · Page 36

Crescendo beyond the horizon: More gravitational waves from domain walls bounded by inflated cosmic strings

Gravitational-wave (GW) signals offer a unique window into the dynamics of the early universe. GWs may be generated by the topological defects produced in the early universe, which contain information on the symmetry of UV physics. We consider the case in which a two-step phase transition produces a network of domain walls bounded by cosmic strings. Specifically, we focus on the case in which there is a hierarchy in the symmetry-breaking scales, and a period of inflation pushes the cosmic string generated in the first phase transition outside the horizon before the second phase transition. We show that the GW signal from the evolution and collapse of this string-wall network has a unique spectrum, and the resulting signal strength can be sizeable. In particular, depending on the model parameters, the resulting signal can show up in a broad range of frequencies and can be discovered by a multitude of future probes, including the pulsar timing arrays and space- and ground-based GW observatories. As an example that naturally gives rise to this scenario, we present a model with the first phase transition followed by a brief period of thermal inflation driven by the field responsible for the second stage of symmetry breaking. Here, the model can be embedded into a supersymmetric setup, which provides a natural realization of this scenario. In this case, the successful detection of the peak of the GW spectrum probes the soft supersymmetry breaking scale and the wall tension.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Dissipation in open holography

We exploit the holographic realization of a conformal theory coupled to an external bath realized via a double trace deformation and its gravity dual in terms of transparent boundary conditions in order to map out some basic dissipative properties of this simple open holographic system. In particular, we determine the energy transmission coefficient across the boundary, discover a novel duality relating weak and strong coupling to the external bath, and quantify the dissipation in the system by working out the quasi normal modes.

AdS-CFT correspondence↗

Large-scale reactive thermoset printing: Complex interactions between temperature evolution, viscosity, and cure shrinkage

Thermoset composites are strong candidates for large-scale material extrusion additive manufacturing (AM). However, uncured thermoset composites become unstable as print height increases. Here, chemical initiation of vinyl ester immediately before deposition was used to suppress collapse and enable large-scale thermoset printing. Structural stability was assessed by printing thin walls at various layer times and monitoring thermal gradients with an infrared camera. Stable printing was observed at a layer time of 4.50 min, approximately half the gel time of the material (8 min). Self-weight collapse occurred at short layer time (0.68 min), whereas warpage occurred at long layer time (6.50 min). Here, a new behavior was discovered at intermediate layer time (2.25 min) where the heat generated by the reaction causes new, un-gelled layers to flow. Forced convection eliminates this behavior, stabilizing the 2.25-min layer time print. These findings motivated development of a less exothermic material system, which was used to print a large-scale mold and demonstrate the value of this understanding. By presenting these challenges of large-scale reactive thermoset AM for the first time, this work motivates focused studies of the complex interplay between rheological, thermal, and chemical behaviors to improve the feasibility of large-scale thermoset AM. Tensile properties of the printed material were also measured. Longitudinal and transverse elastic moduli are 3.79 and 2.95 GPa, respectively, and corresponding tensile strengths are 36.11 and 18.83 MPa. The glass transition temperature is 93.13 °C.

36 MATERIALS SCIENCE↗

Uncovering acoustic signatures of pore formation in laser powder bed fusion

Abstract We present a machine learning workflow to discover signatures in acoustic measurements that can be utilized to create a low-dimensional model to accurately predict the location of keyhole pores formed during additive manufacturing processes. Acoustic measurements were sampled at 100 kHz during single-layer laser powder bed fusion (LPBF) experiments, and spatio-temporal registration of pore locations was obtained from post-build radiography. Power spectral density (PSD) estimates of the acoustic data were then decomposed using non-negative matrix factorization with custom $$\varvec{k}$$ k -means clustering (NMF $$\varvec{k}$$ k ) to learn the underlying spectral patterns associated with pore formation. NMF $$\varvec{k}$$ k returned a library of basis signals and matching coefficients to blindly construct a feature space based on the PSD estimates in an optimized fashion. Moreover, the NMF $$\varvec{k}$$ k decomposition led to the development of computationally inexpensive machine learning models which are capable of quickly and accurately identifying pore formation with classification accuracy of supervised and unsupervised label learning greater than 95% and 90%, respectively. The intrinsic data compression of NMF k , the relatively light computational cost of the machine learning workflow, and the high classification accuracy makes the proposed workflow an attractive candidate for edge computing toward in-situ keyhole pore prediction in LPBF.

36 MATERIALS SCIENCE↗

Narain to Narnia

We generalize the holographic correspondence between topological gravity coupled to an abelian Chern–Simons theory in three dimensions and an ensemble average of Narain’s family of massless free bosons in two dimensions, discovered by Afkhami-Jeddi et al. and by Maloney and Witten. We find that the correspondence also works for toroidal orbifolds but not for K3 or Calabi–Yau sigma-models and not always for the minimal models. Here, we conjecture that the correspondence requires that the central charge is equal to the critical central charge defined by the asymptotic density of states of the chiral algebra. For toroidal orbifolds, we extend the holographic correspondence to correlation functions of twist operators by using topological properties of rational tangles in the three-dimensional ball, which represent configurations of vortices associated to a discrete gauge symmetry.

97 MATHEMATICS AND COMPUTING↗

In-depth understanding of molecular mechanisms of aldehyde toxicity to engineer robust Saccharomyces cerevisiae

Aldehydes are ubiquitous electrophilic compounds that ferment microorganisms including Saccharomyces cerevisiae encounter during the fermentation processes to produce food, fuels, chemicals, and pharmaceuticals. Aldehydes pose severe toxicity to the growth and metabolism of the S. cerevisiae through a variety of toxic molecular mechanisms, predominantly via damaging macromolecules and hampering the production of targeted compounds. Compounds with aldehyde functional groups are far more toxic to S. cerevisiae than all other functional classes, and toxic potency depends on physicochemical characteristics of aldehydes. The yeast synthetic biology community established a design–build–test–learn framework to develop S. cerevisiae cell factories to valorize the sustainable and renewable biomass, including the lignin-derived substrates. However, thermochemically pretreated biomass-derived substrate streams contain diverse aldehydes (e.g., glycolaldehyde and furfural), and biological conversions routes of lignocellulosic compounds consist of toxic aldehyde intermediates (e.g., formaldehyde and methylglyoxal), and some of the high-value targeted products have aldehyde functional group (e.g., vanillin and benzaldehyde). Numerous studies comprehensively characterized both single and additive effects of aldehyde toxicity via systems biology investigations, and novel molecular approaches have been discovered to overcome the aldehyde toxicity. Based on those novel approaches, researchers successfully developed synthetic yeast cell factories to convert lignocellulosic substrates to valuable products, including aldehyde compounds. Here, we highlight the salient relationship of physicochemical charac- teristics and molecular toxicity of aldehydes, the molecular detoxification and macromolecules protection mechanisms of aldehydes, and the advances of engineering robust S. cerevisiae against complex mixtures of aldehyde inhibitors.

59 BASIC BIOLOGICAL SCIENCES↗

Data-Driven Operator Theoretic Methods for Phase Space Learning and Analysis

This paper uses data-driven operator theoretic approaches to explore the global phase space of a dynamical system. In this work, we defined conditions for discovering new invariant subspaces in the state space of a dynamical system starting from an invariant subspace based on the spectral properties of the Koopman operator. When the system evolution is known locally in several invariant subspaces in the state space of a dynamical system, a phase space stitching result is derived that yields the global Koopman operator. Additionally, in the case of equivariant systems, a phase space stitching result is developed to identify the global Koopman operator using the symmetry properties between the invariant subspaces of the dynamical system and time-series data from any one of the invariant subspaces. Finally, these results are extended to topologically conjugate dynamical systems; in particular, the relation between the Koopman tuple of topologically conjugate systems is established. The proposed results are demonstrated on several second-order nonlinear dynamical systems including a bistable toggle switch. Our method elucidates a strategy for designing discovery experiments: experiment execution can be done in many steps, and models from different invariant subspaces can be combined to approximate the global Koopman operator.

42 ENGINEERING↗

Heterogeneous Mixtures of Dictionary Functions to Approximate Subspace Invariance in Koopman Operators: Why Deep Koopman Operators Work

Abstract Koopman operators model nonlinear dynamics as a linear dynamic system acting on a nonlinear function as the state. This nonstandard state is often called a Koopman observable and is usually approximated numerically by a superposition of functions drawn from a dictionary . In a widely used algorithm, extended dynamic mode decomposition (EDMD), the dictionary functions are drawn from a fixed class of functions. Deep learning combined with EDMD has been used to learn novel dictionary functions in an algorithm called deep dynamic mode decomposition (deepDMD). The learned representation both (1) accurately models and (2) scales well with the dimension of the original nonlinear system. In this paper, we analyze the learned dictionaries from deepDMD and explore the theoretical basis for their strong performance. We explore State-Inclusive Logistic Lifting (SILL) dictionary functions to approximate Koopman observables. Error analysis of these dictionary functions show they satisfy a property of subspace approximation, which we define as uniform finite approximate closure. Typically, a Koopman dictionary’s nonlinear functions are homogeneous. In this paper, we discover that structured mixing of heterogeneous dictionary functions drawn from different classes of nonlinear functions achieve the same accuracy and dimensional scaling as the deep-learning-based deepDMD algorithm Yeung et al. ( In: 2019 American Control Conference (ACC), 2019). We specifically show this by building a heterogeneous dictionary comprised of SILL functions and conjunctive radial basis functions (RBFs). This mixed dictionary achieves similar accuracy and dimensional scaling to deepDMD with an order of magnitude reduction in parameters, while maintaining geometric interpretability. These results strengthen the viability of dictionary-based Koopman models to solving high-dimensional nonlinear learning problems.

Johnson, Charles A.↗

Quantifying the influence of natural climate variability on in situ measurements of seasonal total and extreme daily precipitation

Abstract While various studies explore the relationship between individual sources of climate variability and extreme precipitation, there is a need for improved understanding of how these physical phenomena simultaneously influence precipitation in the observational record across the contiguous United States. In this work, we introduce a single framework for characterizing the historical signal (anthropogenic forcing) and noise (natural variability) in seasonal mean and extreme precipitation. An important aspect of our analysis is that we simultaneously isolate the individual effects of seven modes of variability while explicitly controlling for joint inter-mode relationships. Our method utilizes a spatial statistical component that uses in situ measurements to resolve relationships to their native scales; furthermore, we use a data-driven procedure to robustly determine statistical significance. In Part I of this work we focus on natural climate variability: detection is mostly limited to DJF and SON for the modes of variability considered, with the El Niño/Southern Oscillation, the Pacific–North American pattern, and the North Atlantic Oscillation exhibiting the largest influence. Across all climate indices considered, the signals are larger and can be detected more clearly for seasonal total versus extreme precipitation. We are able to detect at least some significant relationships in all seasons in spite of extremely large (> 95%) background variability in both mean and extreme precipitation. Furthermore, we specifically quantify how the spatial aspect of our analysis reduces uncertainty and increases detection of statistical significance while also discovering results that quantify the complex interconnected relationships between climate drivers and seasonal precipitation.

54 ENVIRONMENTAL SCIENCES↗

Variational and phase response analysis for limit cycles with hard boundaries, with applications to neuromechanical control problems

Motor systems show an overall robustness, but because they are highly nonlinear, understanding how they achieve robustness is difficult. In many rhythmic systems, robustness against perturbations involves response of both the shape and the timing of the trajectory. This makes the study of robustness even more challenging. To understand how a motor system produces robust behaviors in a variable environment, we consider a neuromechanical model of motor patterns in the feeding apparatus of the marine mollusk Aplysia californica (Shaw et al. in J Comput Neurosci 38(1):25–51, 2015; Lyttle et al. in Biol Cybern 111(1):25–47, 2017). We established in (Wang et al. in SIAM J Appl Dyn Syst 20(2):701–744, 2021. https://doi.org/10.1137/20M1344974) the tools for studying combined shape and timing responses of limit cycle systems under sustained perturbations and here apply them to study robustness of the neuromechanical model against increased mechanical load during swallowing. Interestingly, we discover that nonlinear biomechanical properties confer resilience by immediately increasing resistance to applied loads. In contrast, the effect of changed sensory feedback signal is significantly delayed by the firing rates’ hard boundary properties. Our analysis suggests that sensory feedback contributes to robustness in swallowing primarily by shifting the timing of neural activation involved in the power stroke of the motor cycle (retraction). This effect enables the system to generate stronger retractor muscle forces to compensate for the increased load, and hence achieve strong robustness. The approaches that we are applying to understanding a neuromechanical model in Aplysia, and the results that we have obtained, are likely to provide insights into the function of other motor systems that encounter changing mechanical loads and hard boundaries, both due to mechanical and neuronal firing properties.

59 BASIC BIOLOGICAL SCIENCES↗

Speeding-up fuzzing through directional seeds

Abstract Fuzzing is an automated process for discovering inputs in a program that may trigger unexpected behavior. Today, fuzzing has become a standard practice for the discovery of bugs and security vulnerabilities. However, the main issue with such practices is that the exploration of the input space of programs can often be prohibitively expensive. Therefore, several alternative fuzzing strategies have been introduced during the last few years. Some fuzzing techniques rely on human expertise to provide a plausible set of initial input examples, namely, seeds. However, the process of handcrafting seeds for fuzzing purposes often becomes strenuous for humans as it requires a deeper understanding of the Program-Under-Test (PUT). Also, the use of known inputs to programs often does not trigger vulnerable program behavior or may not reach potentially vulnerable code locations. To address those issues, we propose a seed generation framework that enables Human-In-The-Loop (HITL) directed fuzzing where the human assumes a more active role in the creation of seeds that can penetrate and assess desired locations of the PUT. Our proposed framework uses Symbolic Execution (SE) to generate seeds that exercise paths to target program locations. Moreover, our framework enables the visualization of the explored execution paths in the binary of the PUT for the generated seeds. We evaluated our approach on a set of 12 carefully designed C programs with diverse characteristics that mimic real-world programs. The experimental results show the effectiveness of the proposed approach in improving the performance of standard fuzzing tools such as the American Fuzzy Lop ("Image missing" <#comment/> ). Specifically, our solution can generate seeds that substantially enhance the performance of the fuzzer, achieving speedups ranging from $$1.46\times $$ 1.46 × to $$68.53\times $$ 68.53 × for branch conditions, $$1.39\times $$ 1.39 × to $$254.62\times $$ 254.62 × for branch depths, $$14,879.59\times $$ 14 , 879.59 × to $$30,295.88\times $$ 30 , 295.88 × for branch widths over traditional seeds. Additionally, the speedup increases with the number of target function ranging from $$12,260\times $$ 12 , 260 × to $$22,856.07\times $$ 22 , 856.07 × over traditional seeds while only requiring less than 15 seconds on average for the seed generation step.

97 MATHEMATICS AND COMPUTING↗

Proximal Galerkin: A Structure-Preserving Finite Element Method for Pointwise Bound Constraints

The proximal Galerkin finite element method is a high-order, low iteration complexity, nonlinear numerical method that preserves the geometric and algebraic structure of pointwise bound constraints in infinite-dimensional function spaces. This paper introduces the proximal Galerkin method and applies it to solve free boundary problems, enforce discrete maximum principles, and develop a scalable, mesh-independent algorithm for optimal design with pointwise bound constraints. This paper also introduces the latent variable proximal point (LVPP) algorithm, from which the proximal Galerkin method derives. When analyzing the classical obstacle problem, we discover that the underlying variational inequality can be replaced by a sequence of second-order partial differential equations (PDEs) that are readily discretized and solved with, e.g., the proximal Galerkin method. Throughout this work, we arrive at several contributions that may be of independent interest. These include (1) a semilinear PDE we refer to as the entropic Poisson equation; (2) an algebraic/geometric connection between high-order positivity-preserving discretizations and certain infinite-dimensional Lie groups; and (3) a gradient-based, bound-preserving algorithm for two-field, density-based topology optimization. The complete proximal Galerkin methodology combines ideas from nonlinear programming, functional analysis, tropical algebra, and differential geometry and can potentially lead to new synergies among these areas as well as within variational and numerical analysis. Open-source implementations of our methods accompany this work to facilitate reproduction and broader adoption.

97 MATHEMATICS AND COMPUTING↗

Explaining and predicting human behavior and social dynamics in simulated virtual worlds: reproducibility, generalizability, and robustness of causal discovery methods

Ground Truth program was designed to evaluate social science modeling approaches using simulation test beds with ground truth intentionally and systematically embedded to understand and model complex Human Domain systems and their dynamics Lazer et al. (Science 369:1060–1062, 2020). Our multidisciplinary team of data scientists, statisticians, experts in Artificial Intelligence (AI) and visual analytics had a unique role on the program to investigate accuracy, reproducibility, generalizability, and robustness of the state-of-the-art (SOTA) causal structure learning approaches applied to fully observed and sampled simulated data across virtual worlds. In addition, we analyzed the feasibility of using machine learning models to predict future social behavior with and without causal knowledge explicitly embedded. In this paper, we first present our causal modeling approach to discover the causal structure of four virtual worlds produced by the simulation teams—Urban Life, Financial Governance, Disaster and Geopolitical Conflict. Our approach adapts the state-of-the-art causal discovery (including ensemble models), machine learning, data analytics, and visualization techniques to allow a human-machine team to reverse-engineer the true causal relations from sampled and fully observed data. We next present our reproducibility analysis of two research methods team’s performance using a range of causal discovery models applied to both sampled and fully observed data, and analyze their effectiveness and limitations. We further investigate the generalizability and robustness to sampling of the SOTA causal discovery approaches on additional simulated datasets with known ground truth. Our results reveal the limitations of existing causal modeling approaches when applied to large-scale, noisy, high-dimensional data with unobserved variables and unknown relationships between them. We show that the SOTA causal models explored in our experiments are not designed to take advantage from vasts amounts of data and have difficulty recovering ground truth when latent confounders are present; they do not generalize well across simulation scenarios and are not robust to sampling; they are vulnerable to data and modeling assumptions, and therefore, the results are hard to reproduce. Finally, when we outline lessons learned and provide recommendations to improve models for causal discovery and prediction of human social behavior from observational data, we highlight the importance of learning data to knowledge representations or transformations to improve causal discovery and describe the benefit of causal feature selection for predictive and prescriptive modeling.

97 MATHEMATICS AND COMPUTING↗

A Schwarzian on the stretched horizon

Abstract It is well known that the Euclidean black hole action has a boundary term at the horizon proportional to the area. I show that if the horizon is replaced by a stretched horizon with appropriate boundary conditions, a new boundary term appears, described by a Schwarzian action similar to the recently discovered boundary actions in “nearly anti-de Sitter” gravity.

79 ASTRONOMY AND ASTROPHYSICS↗

Phase Measurements of a 140-GHz Confocal Gyro-Amplifier

The phase stability of a 140-GHz, 1-kW pulsed gyro-amplifier system and the phase dependence on the cathode voltage were experimentally measured. To optimize the measurement precision, the amplifier was operated at 47 kV and 1 A, where the output power was ~ 30 W. The phase was determined to be stable both pulse-to-pulse and during each pulse, so far as the cathode voltage and electron beam current are constant. The phase variation with voltage was measured and found to be 130 ± 30° /kV, in excellent agreement with simulations. The electron gun used in this device is non-adiabatic, resulting in a steep slope of the beam pitch factor with respect to cathode voltage. This was discovered to be the dominant factor in the phase dependence on voltage. The use of an adiabatic electron gun is predicted to yield a significantly smaller phase sensitivity to voltage, and thus a more phase-stable performance. To our knowledge, these are the first phase measurements reported for a gyro-amplifier operating at a frequency above W-band.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Characterizing mechanical and microstructural properties of novel montmorillonite-rich polyethylene composites

Montmorillonite (MMT) clays are important industrial materials used as catalysts, chemical sorbents and fillers in polymer–clay nanocomposites. The layered structure of these clays has motivated research into further applications of these low-cost materials, including use as ion exchange media and solid-state ionic conductors. In these applications, the mechanical properties of MMT are key when considering long-term, reliable performance. Previous studies have focused on the mechanical properties of nanocomposites with MMT as the minority component or pure MMT thin films. In this work, the microstructure and mechanical properties of pure MMT and majority MMT/polyethylene composites pressed into dense pellets are examined. Characterization methods such as X-ray diffraction, atomic force microscopy and scanning electron microscopy together with nanoindentation reveal important structure–property relationships in the clay-based materials. Here, utilizing these techniques, we have discovered that MMT processing impacts the layered microstructure, chemical stability and, critically, the elastic modulus and hardness of bulk MMT samples. Particularly, the density of the pellets and the ordering of the clay platelets within them strongly influence the elastic modulus and hardness of the pellets. By increasing pressing force or by incorporating secondary components, the density, and therefore mechanical properties, can be increased. If the layered structure of the clay is destroyed by exfoliation, the mechanical properties will be compromised. Understanding these relationships will help guide new studies to engineer mechanically stable MMT-based materials for industrial applications.

36 MATERIALS SCIENCE↗

Unveiling mechanism of surface-guided platinum nanowire growth

We report surface-guided growth of non-planar nanowires on functional substrates offers the new opportunity to precisely control their diameter, length, density and alignment, which will greatly benefit their direct integration into practical devices for large-scale applications. However, control of noble metal nanowires growth and arrangement remains a great challenge, and the mechanistic understanding is still limited. Herein, we choose Pt as a model material system to study the synthesis conditions required to control the in situ growth of aligned Pt nanowires on flat titanium substrate via a one-step and room-temperature green chemical synthesis process in aqueous solution. Most importantly, it is for the first time discovered that ordered nanoarrays and self-assembled nanoflowers can be directly grown on flat Ti substrate by merely adjusting the reaction times, without use of any soft/hard templates, surfactants and organic solvents. The proposed surface-guided growth mechanisms for nanoarray and nanoflower formation in this study may shed light on understanding of oriented arrangement/assembly of one-dimensional Pt nanowires into desirable morphologies for a variety of practical device applications.

Pt nanoflower↗

ORCA: Outlier detection and Robust Clustering for Attributed graphs

Here, a framework is proposed to simultaneously cluster objects and detect anomalies in attributed graph data. Our objective function along with the carefully constructed constraints promotes interpretability of both the clustering and anomaly detection components, as well as scalability of our method. In addition, we developed an algorithm called Outlier detection and Robust Clustering for Attributed graphs (ORCA) within this framework. ORCA is fast and convergent under mild conditions, produces high quality clustering results, and discovers anomalies that can be mapped back naturally to the features of the input data. The efficacy and efficiency of ORCA is demonstrated on real world datasets against multiple state-of-the-art techniques.

97 MATHEMATICS AND COMPUTING↗