Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Mathematical theories”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1980

Gas bearings

The present work deals with the fundamentals of gas lubrication theory, which forms the foundation of all analytical design tools for gas bearings. Most of the hard lessons learned in the past are outlined with reference to dry contact, debris ingestion, sliding speed, and chemical stability of lubricant. The mathematical theory of gas lubrication is described for scaling rules in thin-film viscous flow, momentum conservation, mass conservation, energy conservation, isothermal gas bearing theory, coupling effects, and global bearing characteristics. Particular attention is given to the governing differential equations for common bearing configurations. Also discussed are representative solutions of self-acting gas bearings, externally pressurized bearings, and time-dependent effects.

Pan, C. H. T.↗
NASA NTRS1949

Boundary Layer Theory: Laminar Flows - Part 1

The purpose of this presentation is to give you a survey of a field of aerodynamics which has for a number of years been attracting an ever growing interest. The subject is the theory of flows with friction, and, within that field, particularly the theory of friction layers, or boundary layers. As you know, a great many considerations of aerodynamics are based on the so-called ideal fluid, that is, the frictionless incompressible fluid. By neglect of compressibility and friction the extensive mathematical theory of the ideal fluid (potential theory) has been made possible.

Schlichting, H.↗
NASA NTRS1973

Phase operators and phase relations for photon states

For a quantized mode of the radiation field, the operator whose classical analog is the ordinary phase factor of the mode amplitudes has been shown to be nonunitary. A rigorous formulation of the phase P is given on the basis of the canonical factorization theorem. Many of the seemingly complex features of phase operators are found to be simple direct consequences of the general mathematical theory. It can be readily seen that P is a partial isometry but not a unitary operator. In contrast to the amplitude operator, it is found that P is not a spectral operator and that the set of phase eigenstates is not complete. Mathematically precise operator relations are developed, and a complete spectral analysis is given for each of the phase operators.-

Volkin, H. C.↗
NASA NTRS1984

Particle acceleration and MHD wave excitation upstream of interplanetary shocks

The theory of diffusive shock acceleration and its application in interplanetary space are reviewed. Special emphasis is placed on the distinction between diffusive and shock-drift shock acceleration, on ion-excitation of MHD waves upstream of the shock and the resulting self-consistent configuration of waves and accelerated ions, and on the mathematical theory of that configuration at quasi-parallel supercritical interplanetary travelling shocks. A comparison of predicted and observed proton anisotropies for the 12 November 1978 event is presented.

Lee, M. A.↗
NASA NTRS1974

Gravity tectonics and seismic gaps in the mantle

The concept of gravity tectonics is applied to reveal the major clue as to the conditions which result in the correspondence of seismic and tectonic gaps in the mantle. An asymptotic theory is developed for the calculation of the thrust and moment when a descending lithospheric plate encounters resistance to its downward motion in the mesosphere. Dynamic analysis falls into two parts: (1) deriving equations for forces in the descending lithosphere, (2) deducing moment distribution which causes the detachment of lithosphere. For the analysis of forces a mathematical theory of shells is given. In order to determine the detachment mechanism, solutions of equations are obtained by asymptotic integration. It is found that a thrust N sub phi coupled with a moment M sub phi due to gravitational forces generated by density contrast may play a key role in the initial detachment of a piece of descending lithosphere. The results are in agreement with the observed seismic gaps beneath South America, Toga-Fiji, New Zealand and New Hebrides regions.

Liu, H. S.↗
NASA NTRS1992

Domain decomposition: A bridge between nature and parallel computers

Domain decomposition is an intuitive organizing principle for a partial differential equation (PDE) computation, both physically and architecturally. However, its significance extends beyond the readily apparent issues of geometry and discretization, on one hand, and of modular software and distributed hardware, on the other. Engineering and computer science aspects are bridged by an old but recently enriched mathematical theory that offers the subject not only unity, but also tools for analysis and generalization. Domain decomposition induces function-space and operator decompositions with valuable properties. Function-space bases and operator splittings that are not derived from domain decompositions generally lack one or more of these properties. The evolution of domain decomposition methods for elliptically dominated problems has linked two major algorithmic developments of the last 15 years: multilevel and Krylov methods. Domain decomposition methods may be considered descendants of both classes with an inheritance from each: they are nearly optimal and at the same time efficiently parallelizable. Many computationally driven application areas are ripe for these developments. A progression is made from a mathematically informal motivation for domain decomposition methods to a specific focus on fluid dynamics applications. To be introductory rather than comprehensive, simple examples are provided while convergence proofs and algorithmic details are left to the original references; however, an attempt is made to convey their most salient features, especially where this leads to algorithmic insight.

Keyes, David E.↗
NASA NTRS1989

A Boltzmann machine for the organization of intelligent machines

In the present technological society, there is a major need to build machines that would execute intelligent tasks operating in uncertain environments with minimum interaction with a human operator. Although some designers have built smart robots, utilizing heuristic ideas, there is no systematic approach to design such machines in an engineering manner. Recently, cross-disciplinary research from the fields of computers, systems AI and information theory has served to set the foundations of the emerging area of the design of intelligent machines. Since 1977 Saridis has been developing an approach, defined as Hierarchical Intelligent Control, designed to organize, coordinate and execute anthropomorphic tasks by a machine with minimum interaction with a human operator. This approach utilizes analytical (probabilistic) models to describe and control the various functions of the intelligent machine structured by the intuitively defined principle of Increasing Precision with Decreasing Intelligence (IPDI) (Saridis 1979). This principle, even though resembles the managerial structure of organizational systems (Levis 1988), has been derived on an analytic basis by Saridis (1988). The purpose is to derive analytically a Boltzmann machine suitable for optimal connection of nodes in a neural net (Fahlman, Hinton, Sejnowski, 1985). Then this machine will serve to search for the optimal design of the organization level of an intelligent machine. In order to accomplish this, some mathematical theory of the intelligent machines will be first outlined. Then some definitions of the variables associated with the principle, like machine intelligence, machine knowledge, and precision will be made (Saridis, Valavanis 1988). Then a procedure to establish the Boltzmann machine on an analytic basis will be presented and illustrated by an example in designing the organization level of an Intelligent Machine. A new search technique, the Modified Genetic Algorithm, is presented and proved to converge to the minimum of a cost function. Finally, simulations will show the effectiveness of a variety of search techniques for the intelligent machine.

Moed, Michael C.↗
DOE OSTI2025

Analog Systems for Edge Optimization

Over the past decade, analog computing has the subject of substantial research interest providing a path toward improved computational efficiency in the post-Dennard era. Analog matrix vector multiplication (MVM) accelerators provide a popular approach given the ubiquity of MVM operations in numerous applications. However, historically analog computing systems can struggle with applications requiring high precision due to the inherent susceptibility of these systems to analog non-idealities. Therefore, prior work on analog systems has focused either on applications known to be tolerant of limited precision (e.g., neural network inference), or using expensive techniques to emulate high-precision using many analog MVM operations. In this work, we propose an alternative approach. Motivated by recent advances in inexact nonlinear solvers and optimizers, we explore the potential of co-designing optimization algorithms which can take full advantage of the fundamentally inexact analog MVM operations. To enable these co-designed algorithms we also develop a general mathematical theory of the precision and energy efficiency of analog operations, and a new system architecture for tightly-coupled analog and digital computation. Finally, we examine the applicability of analog computing to a wider class of symmetric positive definite systems and find potential in using analog operations as a sparse approximate inverse preconditioner. With these core innovations, this project provides a path toward effectively implementing optimization algorithms on power-constrained autonomous and semi-autonomous systems.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

A review of fluids under nanoconfinement: Reactivity, geomechanics, phase transitions, and flow

Due to its many industrial applications, the physics associated with the nanoconfinement of fluids has garnered great attention from the scientific community in roughly the last fifteen years. One pioneer of that research has been the Multi-Scale Fluid-Solid Interactions in Architected and Natural Materials (MUSE) Energy Frontier Research Center, which produced more than 50 journal articles from 2018 to 2023. We structure the findings of MUSE into four categories and contextualize the work with the broader literature. Here, the four categories are (1) the dependence of chemical reactions on the degree of confinement, which given the lower freedom of motion of molecules yet improved availability of reaction sites generally lead to enhancement from bulk reactions; (2) the mechanical properties of the porous matrix, which are dependent on the heterogeneity of the system in terms of both composition and structure; (3) the phase transitions under nanoconfinement, which are influenced by the pore size and morphology, surface chemistry, and substrate composition; and (4) the physical controls of slip flow, which demonstrate the importance of several factors, such as wettability. These aspects of nanoconfinement are becoming clearer, but there are other elements such as mathematical theory that are still being developed.

58 GEOSCIENCES↗
DOE OSTI2025

On infinite tensor networks, complementary recovery and type II factors

We initiate a study of local operator algebras at the boundary of infinite tensor networks, using the mathematical theory of inductive limits. In particular, we consider tensor networks in which each layer acts as a quantum code with complementary recovery, a property that features prominently in the bulk-to-boundary maps intrinsic to holographic quantum error-correcting codes. In this case, we decompose the limiting Hilbert space and the algebras of observables in a way that keeps track of the entanglement in the network. As a specific example, we describe this inductive limit for the holographic Harlow-Pastawski-Preskill-Yoshida code model and relate its algebraic and error-correction features. We find that the local algebras in this model are given by the hyperfinite type II$_\infty$ factor. Next, we discuss other networks that build upon this framework and comment on a connection between type II factors and stabilizer circuits. We conclude with a discussion of multiscale entanglement renormalization ansatz networks in which complementary recovery is broken. We argue that this breaking possibly permits a limiting type III von Neumann algebra, making them more suitable ansätze for approximating subregions of quantum field theories.

holographic dualities↗
DOE OSTI2026

pycalceff

A Python project for calculating (binomial) efficiencies and their uncertainties. The mathematical theory and derivation of the formulas can be found in FERMILAB-TM-2286-CD. If you use this software for published work, please cite this note. The default algorithm for finding the shortest interval is based on Hyndman, R. J. (1996). Computing and graphing highest density regions, The American Statistician, 50(2), 120-126.

Paterno, Marc [Fermi National Accelerator Laborato↗
NASA NTRS1967

Functions of relaxed controls

Mathematical control theory problems involving solutions of certain partial differential equations, nonadditive set functions, or other functionals - approximation and existence theorems

FUNCTIONAL ANALYSIS↗
NASA NTRS1972

Deformation and instability of underthrusting lithospheric plates

Models of the underthrusting lithosphere are constructed for the calculation of displacement and deflection. First, a mathematical theory is developed that rigorously demonstrates the elastic instability in the decending lithosphere. The theory states that lithospheric thrust beneath island arcs becomes unstable and suffers deflection as the compression increases. Thus, in the neighborhood of the edges where the lithospheric plate plunges into the asthenosphere and mesosphere its shape will be contorted. Next, the lateral displacement is calculated, and it is shown that, before contortion, the plate will thicken and contract at different positions with the variation in thickness following a parabolic profile. Finally, the depth distribution of the intermediate and deep focus earthquakes is explained in terms of plate buckling and contortion.

Liu, H.↗