Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Symbolics”

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 919 records · Page 51
All sourcesNASA NTRSDOE OSTI
DOE OSTI2023

Combining data and theory for derivable scientific discovery with AI-Descartes

Abstract Scientists aim to discover meaningful formulae that accurately describe experimental data. Mathematical models of natural phenomena can be manually created from domain knowledge and fitted to data, or, in contrast, created automatically from large datasets with machine-learning algorithms. The problem of incorporating prior knowledge expressed as constraints on the functional form of a learned model has been studied before, while finding models that are consistent with prior knowledge expressed via general logical axioms is an open problem. We develop a method to enable principled derivations of models of natural phenomena from axiomatic knowledge and experimental data by combining logical reasoning with symbolic regression. We demonstrate these concepts for Kepler’s third law of planetary motion, Einstein’s relativistic time-dilation law, and Langmuir’s theory of adsorption. We show we can discover governing laws from few data points when logical reasoning is used to distinguish between candidate formulae having similar error on the data.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2025

Electron correlation and relativistic effects in the excited states of radium monofluoride

Highly accurate and precise electronic structure calculations of heavy radioactive atoms and their molecules are important for several research areas, including chemical, nuclear, and particle physics. Ab initio quantum chemistry can elucidate structural details in these systems that emerge from the interplay of relativistic and electron correlation effects, but the large number of electrons complicates the calculations, and the scarcity of experiments prevents insightful theory-experiment comparisons. Here we report the spectroscopy of the 14 lowest excited electronic states in the radioactive molecule radium monofluoride (RaF), which is proposed as a sensitive probe for searches of new physics. The observed excitation energies are compared with state-of-the-art relativistic Fock-space coupled cluster calculations, which achieve an agreement of ≥99.64% (within ~12 meV) with experiment for all states. Guided by theory, a firm assignment of the angular momentum and term symbol is made for 10 states and a tentative assignment for 4 states. The role of high-order electron correlation and quantum electrodynamics effects in the excitation energies is studied and found to be important for all states.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2022

Machine learning of superconducting critical temperature from Eliashberg theory

Abstract The Eliashberg theory of superconductivity accounts for the fundamental physics of conventional superconductors, including the retardation of the interaction and the Coulomb pseudopotential, to predict the critical temperature T c . McMillan, Allen, and Dynes derived approximate closed-form expressions for the critical temperature within this theory, which depends on the electron–phonon spectral function α 2 F ( ω ). Here we show that modern machine-learning techniques can substantially improve these formulae, accounting for more general shapes of the α 2 F function. Using symbolic regression and the SISSO framework, together with a database of artificially generated α 2 F functions and numerical solutions of the Eliashberg equations, we derive a formula for T c that performs as well as Allen–Dynes for low- T c superconductors and substantially better for higher- T c ones. This corrects the systematic underestimation of T c while reproducing the physical constraints originally outlined by Allen and Dynes. This equation should replace the Allen–Dynes formula for the prediction of higher-temperature superconductors.

36 MATERIALS SCIENCE↗
DOE OSTI2020

Electrocardiographic changes predate Parkinson’s disease onset

Autonomic nervous system involvement precedes the motor features of Parkinson’s disease (PD). Our goal was to develop a proof-of-concept model for identifying subjects at high risk of developing PD by analysis of cardiac electrical activity. We used standard 10-s electrocardiogram (ECG) recordings of 60 subjects from the Honolulu Asia Aging Study including 10 with prevalent PD, 25 with prodromal PD, and 25 controls who never developed PD. Various methods were implemented to extract features from ECGs including simple heart rate variability (HRV) metrics, commonly used signal processing methods, and a Probabilistic Symbolic Pattern Recognition (PSPR) method. Extracted features were analyzed via stepwise logistic regression to distinguish between prodromal cases and controls. Stepwise logistic regression selected four features from PSPR as predictors of PD. The final regression model built on the entire dataset provided an area under receiver operating characteristics curve (AUC) with 95% confidence interval of 0.90 [0.80, 0.99]. The five-fold cross-validation process produced an average AUC of 0.835 [0.831, 0.839]. We conclude that cardiac electrical activity provides important information about the likelihood of future PD not captured by classical HRV metrics. Machine learning applied to ECGs may help identify subjects at high risk of having prodromal PD.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2024

Complexity-calibrated benchmarks for machine learning reveal when prediction algorithms succeed and mislead

Abstract Recurrent neural networks are used to forecast time series in finance, climate, language, and from many other domains. Reservoir computers are a particularly easily trainable form of recurrent neural network. Recently, a “next-generation” reservoir computer was introduced in which the memory trace involves only a finite number of previous symbols. We explore the inherent limitations of finite-past memory traces in this intriguing proposal. A lower bound from Fano’s inequality shows that, on highly non-Markovian processes generated by large probabilistic state machines, next-generation reservoir computers with reasonably long memory traces have an error probability that is at least $$\sim 60\%$$ ∼ 60 % higher than the minimal attainable error probability in predicting the next observation. More generally, it appears that popular recurrent neural networks fall far short of optimally predicting such complex processes. These results highlight the need for a new generation of optimized recurrent neural network architectures. Alongside this finding, we present concentration-of-measure results for randomly-generated but complex processes. One conclusion is that large probabilistic state machines—specifically, large $$\epsilon$$ ϵ -machines—are key to generating challenging and structurally-unbiased stimuli for ground-truthing recurrent neural network architectures.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2019

Antiferromagnetic semiconductor Eu 3 Sn 2 P 4 with Sn–Sn dimer and crown-wrapped Eu

A novel antiferromagnetic semiconductor, Eu 3 Sn 2 P 4 , has been discovered. Single crystals of Eu 3 Sn 2 P 4 were prepared using the Sn self-flux method. The crystal structure determined by single crystal X-ray diffraction shows that Eu 3 Sn 2 P 4 crystallizes in the orthorhombic structure with the space group Cmca (Pearson Symbol, oP 216). Furthermore, six Sn–Sn dimers connected by P atoms form a Sn 12 P 24 crown-shaped cluster with a Eu atom located in the center. Magnetization measurements indicate that the system orders antiferromagnetically below a T N ~14 K at a low field and undergoes a metamagnetic transition at a high field when T < T N . The effective magnetic moment is 7.41(3) μ B per Eu, corresponding to Eu 2+ . The electric resistivity reveals a non-monotonic temperature dependence with non-metallic behavior below ~60 K, consistent with the band structure calculations. By fitting the data using the thermally activated resistivity formula, we estimate the energy gap to be ~0.14 eV. Below T N , the resistivity tends to saturate, suggesting the reduction of charge-spin scattering.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2022

Decentralized modular hybrid supervisory control for the formation of unmanned helicopters

Abstract Formation control of Unmanned Aerial Vehicles (UAVs) requires them to tightly cooperate to reach and keep the formation, while avoiding collision. This paper proposes a novel decentralized hybrid supervisory control approach for the formation control of multiple UAVs. This is achieved by developing a symbolic motion planning technique to polarly partition the motion space resulting in a finite state discrete event model for the motion dynamics of each UAV. Then, a modular discrete supervisor is designed for different components of the formation mission including reaching the formation, keeping the formation, and collision avoidance. Further, for the collision avoidance mechanism, a novel top‐down decomposition‐based approach is developed to design local supervisors decentralizedly. It is formally proved that with the proposed top‐down decomposition‐based approach, the (locally) supervised UAVs, as a whole, can cooperatively satisfy the desired (global) collision avoidance specification. The proposed decentralized supervisory control algorithm is also verified through a hardware‐in‐the‐loop simulator for the formation control of unmanned helicopters.

Karimoddini, Ali↗
DOE OSTI2024

Solving differential‐algebraic equations in power system dynamic analysis with quantum computing

Abstract Power system dynamics are generally modeled by high dimensional non‐linear differential‐algebraic equations (DAEs) given a large number of components forming the network. These DAEs' complexity can grow exponentially due to the increasing penetration of distributed energy resources, whereas their computation time becomes sensitive due to the increasing interconnection of the power grid with other energy systems. This paper demonstrates the use of quantum computing algorithms to solve DAEs for power system dynamic analysis. We leverage a symbolic programming framework to equivalently convert the power system's DAEs into ordinary differential equations (ODEs) using index reduction methods and then encode their data into qubits using amplitude encoding. The system non‐linearity is captured by Hamiltonian simulation with truncated Taylor expansion so that state variables can be updated by a quantum linear equation solver. Our results show that quantum computing can solve the power system's DAEs accurately with a computational complexity polynomial in the logarithm of the system dimension. We also illustrate the use of recent advanced tools in scientific machine learning for implementing complex computing concepts, that is, Taylor expansion, DAEs/ODEs transformation, and quantum computing solver with abstract representation for power engineering applications.

computational complexity↗
DOE OSTI2012

Pure and entangled N=4 linear supermultiplets and their one-dimensional sigma-models

'Pure' homogeneous linear supermultiplets (minimal and non-minimal) of the N=4-extended one-dimensional supersymmetry algebra are classified. 'Pure' means that they admit at least one graphical presentation (the corresponding graph/graphs are known as 'Adinkras'). We further prove the existence of 'entangled' linear supermultiplets which do not admit a graphical presentation, by constructing an explicit example of an entangled N=4 supermultiplet with field content (3, 8, 5). It interpolates between two inequivalent pure N=4 supermultiplets with the same field content. The one-dimensional N=4 sigma-model with a three-dimensional target based on the entangled supermultiplet is presented. The distinction between the notion of equivalence for pure supermultiplets and the notion of equivalence for their associated graphs (Adinkras) is discussed. Discrete properties such as 'chirality' and 'coloring' can discriminate different supermultiplets. The tools used in our classification include, among others, the notion of field content, connectivity symbol, commuting group, node choice group, and so on.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2013

Effect of magnetic fluctuations on the confinement and dynamics of runaway electrons in the HT-7 tokamak

The nature of runaway electrons is such that the confinement and dynamics of the electrons can be strongly affected by magnetic fluctuations in plasma. Experimental results in the HT-7 tokamak indicated significant losses of runaway electrons due to magnetic fluctuations, but the loss processes did not only rely on the fluctuation amplitude. Efficient radial runaway transport required that there were no more than small regions of the plasma volume in which there was very low transport of runaways. A radial runaway diffusion coefficient of D{sub r} Almost-Equal-To 10 m{sup 2}s{sup -1} was derived for the loss processes, and diffusion coefficient near the resonant magnetic surfaces and shielding factor #Greek Upsilon With Hook Symbol#=0.8 were deduced. Test particle equations were used to analyze the effect of magnetic fluctuations on runaway dynamics. It was found that the maximum energy that runaways can gain is very sensitive to the value of {alpha}{sub s} (i.e., the fraction of plasma volume with reduced transport). {alpha}{sub s}=(0.28-0.33) was found for the loss processes in the experiment, and maximum runaway energy could be controlled in the range of E=(4 MeV-6 MeV) in this case. Additionally, to control the maximum runaway energy below 5 MeV, the normalized electric field needed to be under a critical value D{sub {alpha}}=6.8, and the amplitude normalized magnetic fluctuations b(tilde sign) needed to be at least of the order of b(tilde sign) Almost-Equal-To 3 Multiplication-Sign 10{sup -5}.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2013

Multi-soliton propagation in a generalized inhomogeneous nonlinear Schroedinger-Maxwell-Bloch system with loss/gain driven by an external potential

In this paper, we introduce a system of the nonlinear Schroedinger-Maxwell-Bloch equation with variable coefficients which represents the propagation of optical pulses in an inhomogeneous erbium doped fiber with loss/gain driven by an external potential. The one and two soliton solutions in explicit forms are generated by using the Darboux transformation and the associated Lax pair. We consider the distributed amplification system, and some main features of the solutions are demonstrated graphically. We also consider the concept of soliton propagation in a dispersion managed erbium doped fiber and through symbolic computation, we have carried out our study from an analytic viewpoint.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2013

Automatic computer procedure for generating exact and analytical kinetic energy operators based on the polyspherical approach: General formulation and removal of singularities

We present new techniques for an automatic computation of the kinetic energy operator in analytical form. These techniques are based on the use of the polyspherical approach and are extended to take into account Cartesian coordinates as well. An automatic procedure is developed where analytical expressions are obtained by symbolic calculations. This procedure is a full generalization of the one presented in Ndong et al., [J. Chem. Phys. 136, 034107 (2012)]. The correctness of the new implementation is analyzed by comparison with results obtained from the TNUM program. We give several illustrations that could be useful for users of the code. In particular, we discuss some cyclic compounds which are important in photochemistry. Among others, we show that choosing a well-adapted parameterization and decomposition into subsystems can allow one to avoid singularities in the kinetic energy operator. We also discuss a relation between polyspherical and Z-matrix coordinates: this comparison could be helpful for building an interface between the new code and a quantum chemistry package.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2013

On the atomic line profiles in high pressure plasmas

In a previous contribution to this journal [H. P. Stormberg, J. Appl. Phys. 51(4), 1963 (1980)], Stormberg presented an analytical expression for the convolution of Lorentz and Levy line profiles, which models atomic radiative transitions in high pressure plasmas. Unfortunately, the derivations are flawed with errors and the final expression, while correct, is accompanied by misguiding comments about the meaning of the symbols used therein, in particular the “complex error function.” In this paper, we discuss the broadening mechanisms that give rise to Stormberg's model and present a correct derivation of his final result. We will also provide an alternative expression, based on the Faddeeva function, which has decisive computational advantages and emphasizes the real-valuedness of the result. The MATLAB/Octave scripts of our implementation have been made available on the publisher's website for future reference.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2013

From sequences to polynomials and back, via operator orderings

Bender and Dunne [“Polynomials and operator orderings,” J. Math. Phys. 29, 1727–1731 (1988)] showed that linear combinations of words q{sup k}p{sup n}q{sup n−k}, where p and q are subject to the relation qp − pq = ı, may be expressed as a polynomial in the symbol z=1/2 (qp+pq). Relations between such polynomials and linear combinations of the transformed coefficients are explored. In particular, examples yielding orthogonal polynomials are provided.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2014

A short proof of Weyl's law for fractional differential operators

We study spectral asymptotics for a large class of differential operators on an open subset of R{sup d} with finite volume. This class includes the Dirichlet Laplacian, the fractional Laplacian, and also fractional differential operators with non-homogeneous symbols. Based on a sharp estimate for the sum of the eigenvalues we establish the first term of the semiclassical asymptotics. This generalizes Weyl's law for the Laplace operator.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2014

Discriminating chaotic and stochastic dynamics through the permutation spectrum test

In this paper, we propose a new heuristic symbolic tool for unveiling chaotic and stochastic dynamics: the permutation spectrum test. Several numerical examples allow us to confirm the usefulness of the introduced methodology. Indeed, we show that it is robust in situations in which other techniques fail (intermittent chaos, hyperchaotic dynamics, stochastic linear and nonlinear correlated dynamics, and deterministic non-chaotic noise-driven dynamics). We illustrate the applicability and reliability of this pragmatic method by examining real complex time series from diverse scientific fields. Taking into account that the proposed test has the advantages of being conceptually simple and computationally fast, we think that it can be of practical utility as an alternative test for determinism.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2014

Three-dimensional dust-ion-acoustic rogue waves in a magnetized dusty pair-ion plasma with nonthermal nonextensive electrons and opposite polarity dust grains

Dust-ion-acoustic (DIA) rogue waves are investigated in a three-dimensional magnetized plasma containing nonthermal electrons featuring Tsallis distribution, both positive and negative ions, and immobile dust grains having both positive and negative charges. Via the reductive perturbation method, a (3 + 1)-dimensional nonlinear Schrödinger (NLS) equation is derived to govern the dynamics of the DIA wave packets. The modulation instability of DIA waves described by the (3 + 1)-dimensional NLS equation is investigated. By means of the similarity transformation and symbolic computation, both the first- and second-order rogue wave solutions of the (3 + 1)-dimensional NLS equation are constructed in terms of rational functions. Moreover, the dynamics properties and the effects of plasma parameters on the nonlinear structures of rogue waves are discussed in detail. The results could be useful for understanding the physical mechanism of rogue waves in laboratory experiments where pair-ion plasmas with electrons and dust grains can be found.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2014

On the oscillator realization of conformal U(2, 2) quantum particles and their particle-hole coherent states

We revise the unireps. of U(2, 2) describing conformal particles with continuous mass spectrum from a many-body perspective, which shows massive conformal particles as compounds of two correlated massless particles. The statistics of the compound (boson/fermion) depends on the helicity h of the massless components (integer/half-integer). Coherent states (CS) of particle-hole pairs (“excitons”) are also explicitly constructed as the exponential action of exciton (non-canonical) creation operators on the ground state of unpaired particles. These CS are labeled by points Z (2×2 complex matrices) on the Cartan-Bergman domain D₄=U(2,2)/U(2)², and constitute a generalized (matrix) version of Perelomov U(1, 1) coherent states labeled by points z on the unit disk D₁=U(1,1)/U(1)². First, we follow a geometric approach to the construction of CS, orthonormal basis, U(2, 2) generators and their matrix elements and symbols in the reproducing kernel Hilbert space H{sub λ}(D₄) of analytic square-integrable holomorphic functions on D₄, which carries a unitary irreducible representation of U(2, 2) with index λϵN (the conformal or scale dimension). Then we introduce a many-body representation of the previous construction through an oscillator realization of the U(2, 2) Lie algebra generators in terms of eight boson operators with constraints. This particle picture allows us for a physical interpretation of our abstract mathematical construction in the many-body jargon. In particular, the index λ is related to the number 2(λ – 2) of unpaired quanta and to the helicity h = (λ – 2)/2 of each massless particle forming the massive compound.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗