Engineering Papers⌕ Search

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.

At least 487 records · Page 27
All sourcesNASA NTRSDOE OSTI
NASA NTRS2016

Characterization of Operational Performance of Ka-Band Links in Deep Space Network

This paper presents a characterization of performance of 32-GHz Ka-band link in an operational environment. The data come from tracking of Kepler spacecraft by the NASA Deep Space Network (DSN) in the past few years. Ka-band link offers a significant signal-to-noise advantage compared to the more common X- or S-band; however, it is subject to more signal fluctuation caused by the weather. Kepler is the first mission supported by the DSN that solely rely on the higher deep space Ka-band communications link to return its high-rate science data. A well characterization of the operational performance of Kepler would benefit future Ka-band missions, especially for those operating with smaller link margin. The study examines how weather conditions at the DSN facilities (e.g., winds, clouds, rains) affect the received signal, particularly on telemetry data. It addresses questions such as how often the weather affects the link and how much degradation the link could suffer. Among the 22 Ka-band passes in 2012, heavy clouds affected one pass and two passes were impacted by high winds. The adverse weather caused at time as much as 3-dB instantaneous change in the signal to noise ratio (SNR). Estimates of degradation to the SNR as a function of wind speeds are captured based on observations. This study also quantifies the probability distribution of the variation of received signal power. With such information, future missions can better plan their link design. An optimal link design aims for just having enough margin to realize the data return with a targeted probability, with neither having too much margin that it reduces the downlink data rate nor insufficient reserve that causes frequent data outages. The study tries to provide some answers to the questions such as how much does SNR vary from one tracking pass to the next, and what is the cumulative distribution of signal fluctuation. Regarding the signal variation over many tracking passes, we found that the averaged symbol SNR (SSNR) for each pass changed by as much as 4 dB. Some variations were due to geometry such as the changing distance between spacecraft and Earth and different antenna pointing elevations. Other variations seem to be random in nature, reflecting the randomness of operational environments. Some passes were found to be quite stable, with a standard deviation of symbol SNR around 0.25 dB while others had greater variation, up to 1.4 dB. Overall, the cumulative distribution of the symbol SNR reflects that 50% of the fluctuations was less than 0.6 dB, 90% of fluctuation was within 1.6 dB and 95% within 2.2 dB. Some of the challenges in data processing, validation and modeling were captured in this paper. We observed some inconsistent measurements where operational data significantly deviate from a normal expectation. These inconsistent measurements made it hard to develop an accurate and consistent performance model, such as the degradation of signal SNR as a function of high wind. The difficulty was compounded by the fact that there were only a few Ka-band passes observed in high winds.

Pham, Timothy↗
NASA NTRS1995

Bit-Wise Arithmetic Coding for Data Compression

Consider the problem of compressing a uniformly quantized source. A traditional approach is to assign variable length codewords to the quantizer output symbols or groups of symbols. Here an alternate solution is proposed: assign a fixed length binary codeword to each output symbol in such a way that a zero is more likely than a one in every codeword bit position. The encoding procedure is described.

Arithmetic↗
NASA NTRS2018

A 5.8 GHz 1.77mW AFSK-OFDM CMOS Backscatter Transmitter for Low Power Internet of Things Applications

This paper presents an AFSK-OFDM (amplitude frequency shift keying-orthogonal frequency division multiplexing) based backscatter transmitter for Internet-of-Things (IoT) applications. The transmitter uses an array of 4 low-power direct digital frequency synthesizers (DDFSs) and DACs to transmit data using both frequency and amplitude symbols on 4 different OFDM subcarriers. The backscatter modulator is demonstrated within a 5.8 GHz wireless link using an 8-symbol OFDM library at a range of 2.7m and shown to consume 1.77 mW when operated at a symbol rate of 4MS/s (corresponds to 12 Mb/s). The modulator chip occupies 0.45mm² of silicon area.

Chang, M-C. Frank↗
NASA NTRS2024

A Systematic Methodology for Modeling and Attitude Control of Multi-body Space Telescopes

This paper derives a symbolic multi-body rigid nonlinear model for a space telescope using Stoneking’s implementation of Kane’s method. This symbolic nonlinear model is linearized using Matlab symbolic functions diff and inv because the analytic linearization is intractable for manual derivation. The linearized system model is then used to design the controllers using both linear quadratic regulator (LQR) and robust pole assignment methods. The closed-loop systems for the two designs are simulated using both the rigid model as well as a second model containing flexible modes. The performances of the two designs are compared based on the simulation testing results. Our conclusion is that the robust pole assignment design offers better performance than that of the LQR system in terms of actuator usage and pointing accuracy. However, the LQR approach remains an effective first design step that can inform the selection of real eigenvalues for robust pole assignment. The proposed method may be used for the modeling and controller designs for various multi-body systems.

Modeling↗
DOE OSTI2020

CP-DSSS: An OFDM Compatible Variable Rate Modulation for 5G and Beyond

Cyclic prefix direct sequence spread spectrum (CPDSSS) is a recently proposed waveform that has been designed for coexistence with OFDM (orthogonal frequency division multiplexing) in the same or a pair of parallel networks. The first contribution of this paper is to present equations that reveal similarities and differences of CP-DSSS and OFDM. Furthermore, we show that the channel model of CP-DSSS reduces to that of a cyclic prefixed block-wise single carrier modulation (CP-SCM). However, unlike CP-SCM whose symbol rate is always equal to the transmission bandwidth, CP-DSSS can be adopted to any symbol rate equal to or smaller than the transmission bandwidth. This reduction in symbol rate allows CP-DSSS power spectral density to drop to an arbitrarily low level, hence, facilitates it coexistence as a secondary waveform in a network of primary users. The peak-to-average power ratio (PAPR) of CP-DSSS is also explored and a method for reducing it is proposed.

5G↗
DOE OSTI2026

Identifying stochastic dynamics via finite expression methods

Modeling stochastic differential equations (SDEs) is crucial for understanding complex dynamical systems in various scientific fields. Recent methods often employ neural network-based models, which typically represent SDEs through a combination of deterministic and stochastic terms. However, these models usually lack interpretability and have difficulty in generalizing beyond their training domain. Here, this paper introduces the Finite Expression Method (FEX), a symbolic learning approach designed to derive interpretable mathematical representations of the deterministic component of SDEs. For the stochastic component, we integrate FEX with advanced generative modeling techniques to provide a comprehensive representation of SDEs. The numerical experiments on linear, nonlinear, and multidimensional SDEs demonstrate that FEX generalizes well beyond the training domain and delivers more accurate long-term predictions compared to neural network-based methods. The symbolic expressions identified by FEX not only improve prediction accuracy but also offer valuable scientific insights into the underlying dynamics of the systems.

Complex dynamical systems↗
DOE OSTI2020

Cyclic dynamics of misfires and partial burns in a dilute spark-ignition engine

Here, this study investigates the cyclic dynamics of cumulative heat release data past the edge of stability in a dilute spark-ignition engine. Emphasis is placed on analyzing the cyclic dynamics near the dilute limit where partial burns and misfires are frequent. These events are often followed by a higher-energy cycle due to the feed-forward mechanism present in the residual gases. These patterns are deterministic and increase the coefficient of variation to undesirable levels. Symbol sequence analysis was used to investigate the cyclic dynamics of these low–high patterns. The heat release was partitioned on an energy basis to give physical meaning to each partition and each sequence created when analyzing the symbol sequence results. This partitioning method provided insight into the differences in the dynamics when operating in the misfire or partial burn regime. These differences could impact the control method used.

42 ENGINEERING↗
DOE OSTI2023

On triality defects in 2d CFT

We consider the triality fusion category discovered in the c = 1 Kosterlitz-Thouless theory. We analyze this fusion category using the tools from the group theoretical fusion category and compute the simple lines, fusion rules and F-symbols. We then studied the physical implication of this fusion category including deriving the spin selection rule, computing the asymptotic density of states of irreducible representations of the fusion category symmetries, and analyzing its anomaly and constraints under the renormalization group flow. There is another set of F-symbols for the fusion categories with the same fusion rule known in the literature. We find these two solutions are different as they lead to different spin selection rules. This gives a complete list of the fusion categories with the same fusion rule by the classification result in.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

Non-perturbative geometries for planar $ \mathcal{N} $ = 4 SYM amplitudes

There is a remarkable well-known connection between the G(4, n) cluster algebra and n-particle amplitudes in $ \mathcal{N} $ = 4 SYM theory. For n ≥ 8 two long-standing open questions have been to find a mathematically natural way to identify a finite list of amplitude symbol letters from among the infinitely many cluster variables, and to find an explanation for certain algebraic functions, such as the square roots of four-mass-box type, that are expected to appear in symbols but are not cluster variables. In this letter we use the notion of “stringy canonical forms” to construct polytopal realizations of certain compactifications of (the positive part of) the configuration space Conf n (P k–1 ) ≅ G(k, n)/T that are manifestly finite for all k and n. Some facets of these polytopes are naturally associated to cluster variables, while others are naturally associated to algebraic functions constructed from Lusztig’s canonical basis. For (k, n) = (4, 8) the latter include precisely the expected square roots, revealing them to be related to certain “overpositive” functions of the kinematical invariants.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

Recurrent features of amplitudes in planar $\mathcal{N}$ = 4 super Yang-Mills theory

The planar three-gluon form factor for the chiral stress tensor operator in planar maximally supersymmetric Yang-Mills theory is an analog of the Higgs-to-three-gluon scattering amplitude in QCD. The amplitude (symbol) bootstrap program has provided a wealth of high-loop perturbative data about this form factor, with results up to eight loops available. The symbol of the form factor at L loops is given by words of length 2L in six letters with associated integer coefficients. In this paper, we analyze this data, describing patterns of zero coefficients and relations between coefficients. We find many sequences of words whose coefficients are given by closed-form expressions which we expect to be valid at any loop order. Moreover, motivated by our previous machine-learning analysis, we identify simple recursion relations that relate the coefficient of a word to the coefficients of particular lower-loop words. These results open an exciting door for understanding scattering amplitudes at all loop orders.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

More about the lattice Hamiltonian for Adjoint QCD 2

In our earlier work [1], we introduced a lattice Hamiltonian for Adjoint QCD 2 using staggered Majorana fermions. We found the gauge invariant space of states explicitly for the gauge group SU(2) and used them for numerical calculations of observables, such as the spectrum and the expectation value of the fermion bilinear. In this paper, we carry out a more in-depth study of our lattice model, extending it to any compact and simply-connected gauge group G. We show how to find the gauge invariant space of states and use it to study various observables. We also use the lattice model to calculate the mixed ’t Hooft anomalies of Adjoint QCD 2 for arbitrary G. We show that the matrix elements of the lattice Hamiltonian can be expressed in terms of the Wigner 6j-symbols of G. For G = SU(3), we perform exact diagonalization for lattices of up to six sites and study the low-lying spectrum, the fermion bilinear condensate, and the string tension. We also show how to write the lattice strong coupling expansion for ground state energies and operator expectation values in terms of the Wigner 6j-symbols. For SU(3) we carry this out explicitly and find good agreement with the exact diagonalizations, and for SU(4) we give expansions that can be compared with future numerical studies.

confinement↗
DOE OSTI2021

Algebraic branch points at all loop orders from positive kinematics and wall crossing

A bstract There is a remarkable connection between the boundary structure of the positive kinematic region and branch points of integrated amplitudes in planar $$ \mathcal{N} $$ N = 4 SYM. A long-standing question has been precisely how algebraic branch points emerge from this picture. We use wall crossing and scattering diagrams to systematically study the boundary structure of the positive kinematic regions associated with MHV amplitudes. The notion of asymptotic chambers in the scattering diagram naturally explains the appearance of algebraic branch points. Furthermore, the scattering diagram construction also motivates a new coordinate system for kinematic space that rationalizes the relations between algebraic letters in the symbol alphabet. As a direct application, we conjecture a complete list of all algebraic letters that could appear in the symbol alphabet of the 8-point MHV amplitude.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

Landau singularities of the 7-point ziggurat. Part I

We compute the leading (first-type Landau) singularities of a certain four-loop 7-point graph that is related to the 7-point “ziggurat” graph by the graphical moves familiar from equivalent circuit theory. We find perfect agreement with a subset of the “heptagon symbol alphabet” that has appeared in the context of planar Ν = 4 super-Yang-Mills theory. The remaining heptagon symbol letters are found in its subleading Landau singularities, which we address in a companion paper.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2026

Cluster bootstrap for cosmological correlators

We show that cosmological wavefunction coefficients associated with n-site chain and loop graphs for a cubic scalar theory in de Sitter spacetime have symbol alphabets given by subsets of A 2n−2 and B 2n−1 cluster variables, respectively, and satisfy the associated cluster adjacency properties. The key step in proving this is identifying a precise connection between graph “tubings” that appear in the kinematic flow equation and polygon “triangulations” that encode the combinatorics of cluster compatibility. Our results imply that cosmological wavefunction coefficients in a general power-law FRW cosmology satisfy cluster adjacency to all orders in the ϵ expansion around the de Sitter limit. We use this information as bootstrap input to show that de Sitter symbols for n ≤ 4 are uniquely determined by simple physical constraints.

differential and algebraic geometry↗
DOE OSTI2026

A Data-Driven Method for Modeling Creep-Fatigue Stress- Strain Behavior Using Neural ODEs

In this paper, we introduce a data-driven machine learning approach for modeling one-dimensional stress–strain behavior under cyclic loading, utilizing experimental data from the nickel-based Alloy 617. The study employs uniaxial creep–fatigue test data acquired under various loading histories and compares two distinct neural network-based ODE models. The first model, known as the black-box model, comprehensively describes the strain–stress relationship using a Neural ODE equation. To interpret this black-box model, we apply the Sparse Identification of Nonlinear Dynamical Systems (SINDy) technique, transforming the black-box model into an equation-based model using symbolic regression. The second model, the Neural flow rule model, incorporates Hooke’s Law for the linear elastic component, with the nonlinear part characterized by a Neural ODE. Both models are trained with experimental data to accurately reflect the observed stress–strain behavior. We conduct a detailed comparison with the standard Chaboche model, which includes three back stresses. Our results demonstrate that the neural network-based ODE models precisely capture the experimental creep–fatigue mechanical behavior, exceeding the standard Chaboche model’s accuracy. Furthermore, an interpretable model derived from the black-box neural ODE model through symbolic regression achieves accuracy comparable to the Chaboche model, enhancing its interpretability. The results highlight the potential of neural network-based ODE models to depict complex creep–fatigue behavior, eliminating the necessity for experts to define a specific, material-focused model form.

creep-fatigue↗
DOE OSTI2024

A Deep Learning Based Framework to Identify Undocumented Orphaned Oil and Gas Wells from Historical Maps: A Case Study for California and Oklahoma

Undocumented Orphaned Wells (UOWs) are wells without an operator that have limited or no documentation with regulatory authorities. An estimated 310,000 to 800,000 UOWs exist in the United States (US), whose locations are largely unknown. These wells can potentially leak methane and other volatile organic compounds to the atmosphere, and contaminate groundwater. In this study, we developed a novel framework utilizing a state-of-the-art computer vision neural network model to identify the precise locations of potential UOWs. The U-Net model is trained to detect oil and gas well symbols in georeferenced historical topographic maps, and potential UOWs are identified as symbols that are further than 100 m from any documented well. A custom tool was developed to rapidly validate the potential UOW locations. We applied this framework to four counties in California and Oklahoma, leading to the discovery of 1301 potential UOWs across >40,000 km 2 . We confirmed the presence of 29 UOWs from satellite images and 15 UOWs from magnetic surveys in the field with a spatial accuracy on the order of 10 m. This framework can be scaled to identify potential UOWs across the US since the historical maps are available for the entire nation.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2021

Automatic Differentiation in MetaPhysicL and Its Applications in MOOSE

Efficient solution via Newton’s method of nonlinear systems of equations requires an accurate representation of the Jacobian, corresponding to the derivatives of the component residual equations with respect to the degrees of freedom. In practice these systems of equations often arise from spatial discretization of partial differential equations used to model physical phenomena. These equations may involve domain motion or material equations that are complex functions of the systems’ degrees of freedom. Computing the Jacobian by hand in these situations is arduous and prone to error. Finite difference approximations of the Jacobian or its action are prone to truncation error, especially in multiphysics settings. Symbolic differentiation packages may be used, but often result in an excessive number of terms in realistic model scenarios. An alternative to symbolic and numerical differentiation is automatic differentiation (AD), which propagates derivatives with every elementary operation of a computer program, corresponding to continual application of the chain rule. Automatic differentiation offers the guarantee of an exact Jacobian at a relatively small overhead cost. In this work, we outline the adoption of AD in the Multiphysics Object Oriented Simulation Environment (MOOSE) via the MetaPhysicL package. We describe the application of MOOSE’s AD capability to several sets of physics that were previously infeasible to model via hand-coded or Jacobian-free simulation techniques, including arbitrary Lagrangian-Eulerian and level-set simulations of laser melt pools, phase-field simulations with free energies provided through neural networks, and metallic nuclear fuel simulations that require inner Newton loop calculation of nonlinear material properties.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2023

Nonlinear photoconductivities and quantum geometry of chiral multifold fermions

Here, chiral multifold fermions are quasiparticles that appear only in chiral crystals such as transition metal silicides in the cubic B20 structure (i.e., the CoSi family), and they may show exotic physical properties. Here we study the injection and shift photoconductivities and also the related geometrical quantities for several types of chiral multifold fermions, including spin-1/2 as well as pseudospin-1 and -3/2 fermions, dubbed as Kramers Weyl, triple-point, and Rarita-Schwinger-Weyl (RSW) fermions, respectively. We utilize the minimal symmorphic model to describe the triple-point fermions (TPF). We also consider the more realistic model Hamiltonian for the CoSi family including both linear and quadratic terms. We find that injection currents due to circularly polarized light are quantized as a result of the Chern numbers carried by the multifold fermions within the linear models. Surprisingly, we discover that in the TPF model, the linear shift conductivities, responsible for the shift current generation by linearly polarized light, are proportional to the pseudo spin-orbit coupling and independent of photon frequency. In contrast, for the RSW and Kramer Weyl fermions, the linear shift conductivity is linearly proportional to photon frequency. The numerical results agree with the power-counting analysis for quadratic Hamiltonians. The frequency independence of the linear shift conductivity could be attributed to the strong resonant symplectic Christoffel symbols of the flat bands. Moreover, the calculated symplectic Christoffel symbols show significant peaks at the nodes, suggesting that the shift currents are due to the strong geometrical response near the topological nodes.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗