Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “operator theory”

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 829 records · Page 46

Low-noise 115-GHz receiver using superconducting tunnel junctions

A 110-118-GHz receiver based on a superconducting quasiparticle tunnel junction mixer is described. The single-sideband noise temperature is as low as 68 + or - 3 K. This is nearly twice the sensitivity of any other receiver at this frequency. The receiver was designed using a low-frequency scale model in conjunction with the quantum mixer theory. A scaled version of the receiver for operation at 46 GHz has a single-sideband noise temperature of 55 K. The factors leading to the success of this design are discussed.

Pan, S.-K.↗

Design and flight testing of a digital landing approach autopilot

An important feature in General Aviation (GA) autopilots is the ability to intercept and hold the glideslope and localizer during a landing approach. Most General Aviation landing approach autopilots available today use analog systems. This paper presents the designs of digital landing approach autopilots for a General Aviation (NAVION) aircraft using modern linear quadratic control theory. Each constant gain, direct digitally designed autopilot operates synchronously at a slow rate (10 samples per second) and has modest memory requirements, i.e., a full state Kalman filter is not used. The autopilot is designed to track desired position trajectories constructed in an ILS or MLS terminal area using command generators. Alternative command errors for intercepting and holding the localizer beam centerline are investigated. Linear simulations and flight test results are presented demonstrating the successful application of the linear quadratic regulator approach.

Broussard, J. R.↗

Entropic uncertainty relation at finite temperature

We discussed how much information is lost when a particle is in equilibrium with the thermal reservoir of temperature T = 1/beta. The universal temperature correction to the r.h.s. of U(X,P:psi) greater than or = 1 + ln(pi) is determined. For this purpose, it is convenient to employ the framework of thermo-field dynamics (TFD). This formulation of finite-temperature (T not = 0) quantum theory utilizes the doubled Hilbert space, the normal operator (A) acting on the objective space, and its corresponding tildian operator on the fictitious space. The physical probability density associated with the measurement of the normal operator, A, is given, and the information entropy at T not = 0 is defined. The results describe how the thermal disturbance effects in S sub X or S sub P (delta X or delta P) can be suppressed by squeezing with keeping U = S sub X + S sub P (delta X x delta P) its minimum value.

Abe, Sumiyoshi↗

Priority in Process Algebras

This paper surveys the semantic ramifications of extending traditional process algebras with notions of priority that allow for some transitions to be given precedence over others. These enriched formalisms allow one to model system features such as interrupts, prioritized choice, or real-time behavior. Approaches to priority in process algebras can be classified according to whether the induced notion of preemption on transitions is global or local and whether priorities are static or dynamic. Early work in the area concentrated on global pre-emption and static priorities and led to formalisms for modeling interrupts and aspects of real-time, such as maximal progress, in centralized computing environments. More recent research has investigated localized notions of pre-emption in which the distribution of systems is taken into account, as well as dynamic priority approaches, i.e., those where priority values may change as systems evolve. The latter allows one to model behavioral phenomena such as scheduling algorithms and also enables the efficient encoding of real-time semantics. Technically, this paper studies the different models of priorities by presenting extensions of Milner's Calculus of Communicating Systems (CCS) with static and dynamic priority as well as with notions of global and local pre- emption. In each case the operational semantics of CCS is modified appropriately, behavioral theories based on strong and weak bisimulation are given, and related approaches for different process-algebraic settings are discussed.

Cleaveland, Rance↗

Free Dendritic Growth of Succinonitrile-Acetone Alloys with Thermosolutal Melt Convection

A stagnant film model of the effects of thermosolutal convection on free dendritic growth of alloys is developed, and its predictions are compared to available earth-based experimental data for succinonitrileacetone alloys. It is found that the convection model gives excellent agreement with the measured dendrite tip velocities and radii for low solute concentrations. However, at higher solute concentrations the present predictions show some deviations from the measured data, and the measured (thermal) Peclet numbers tend to fall even below the predictions from diffusion theory. Furthermore, the measured selection parameter (sigma*) is significantly above the expected value of 0.02 and exhibits strong scatter. It is shown that convection is not responsible for these discrepancies. Some of the deviations between the predicted and measured data at higher supercoolings could be caused by measurement difficulties. The systematic disagreement in the selection parameter for higher solute concentrations and all supercoolings examined, indicates that the theory for the selection of the dendrite tip operating state in alloys may need to be reexamined.

Beckermann, Christoph↗

Rotorcraft Technology for HALE Aeroelastic Analysis

Much of technology needed for analysis of HALE nonlinear aeroelastic problems is available from rotorcraft methodologies. Consequence of similarities in operating environment and aerodynamic surface configuration. Technology available - theory developed, validated by comparison with test data, incorporated into rotorcraft codes. High subsonic to transonic rotor speed, low to moderate Reynolds number. Structural and aerodynamic models for high aspect-ratio wings and propeller blades. Dynamic and aerodynamic interaction of wing/airframe and propellers. Large deflections, arbitrary planform. Steady state flight, maneuvers and response to turbulence. Linearized state space models. This technology has not been extensively applied to HALE configurations. Correlation with measured HALE performance and behavior required before can rely on tools.

Young, Larry↗

Improvement of Stratospheric Aerosol Extinction Retrieval from OMPS/LP Using a New Aerosol Model

The Ozone Mapping and Profiler Suite Limb Profiler (OMPS/LP) has been flying on the Suomi National Polar-orbiting Partnership (S-NPP) satellite since October 2011. It is designed to produce ozone and aerosol vertical profiles at 2-kilometer vertical resolution over the entire sunlit globe. Aerosol extinction profiles are computed with Mie theory using radiances measured at 675 nanometers. The operational Version 1.0 (V1.0) aerosol extinction retrieval algorithm assumes a bimodal lognormal aerosol size distribution (ASD) whose parameters were derived by combining an in situ measurement of aerosol microphysics with the Stratospheric Aerosol and Gas Experiment (SAGE II) aerosol extinction climatology. Internal analysis indicates that this bimodal lognormal ASD does not sufficiently explain the spectral dependence of LP-measured radiances. In this paper we describe the derivation of an improved aerosol size distribution, designated Version 1.5 (V1.5), for the LP retrieval algorithm. The new ASD uses a gamma function distribution that is derived from Community Aerosol and Radiation Model for Atmospheres (CARMA)-calculated results. A cumulative distribution fit derived from the gamma function ASD gives better agreement with CARMA results at small particle radii than bimodal or unimodal functions. The new ASD also explains the spectral dependence of LP-measured radiances better than the V1.0 ASD. We find that the impact of our choice of ASD on the retrieved extinctions varies strongly with the underlying reflectivity of the scene. Initial comparisons with collocated extinction profiles retrieved at 676 nanometers from the SAGE III instrument on the International Space Station (ISS) show a significant improvement in agreement for the LP V1.5 retrievals. Zonal mean extinction profiles agree to within 10 percent between 19 and 29 kilometers, and regression fits of collocated samples show improved correlation and reduced scatter compared to the V1.0 product. This improved agreement will motivate development of more sophisticated ASDs from CARMA results that incorporate latitude, altitude and seasonal variations in aerosol properties.

Ozone Mapping Profiler Suite Limb Profiler (OMPS/L↗

Guided Design of Alloys

Using multiscale materials modeling, we are designing stronger alloys for the airspace applications. We focus on improving mechanical properties of materials at operating temperature. We employ basic science and fundamental theory for guided design of the next-generation alloys. Among the examples, we consider precipitated superalloys with a local phase transformation strengthening. We acknowledge funding by NASA’s Aeronautics Research Mission Directorate (ARMD) via Transformational Tools and Technologies (TTT) Project.

multiscale↗

Guided Design of Alloys: Part 2

Using multiscale materials modeling, we are designing stronger alloys for the airspace applications. We focus on improving mechanical properties of materials at operating temperature. We employ basic science and fundamental theory for guided design of the next-generation alloys. Among the examples, we consider precipitated superalloys with a local phase transformation strengthening. We acknowledge funding by NASA’s Aeronautics Research Mission Directorate (ARMD) via Transformational Tools and Technologies (TTT) Project.

Multiscale↗

Applied Risk Analysis for Guiding Homeland Security Policy

Risk analysis methods may be qualitative, semi-quantitative, or quantitative; adopt probabilistic and statistical theories; and implement concepts from core disciplines including operations research, reliability engineering, systems engineering, and applied mathematics. These methods continue to develop and evolve and have successfully been applied to address various homeland security mission challenges in recent years. The objective of this book is to: 1) highlight the role of risk analysis for informing homeland security policy decisions, and 2) describe case studies from academia, government, and industry that apply risk analysis methods for addressing challenges within each of the DHS missions.

national security, risk assessment, risk managemen↗

On the use of distributed sensing in control of large flexible spacecraft

Distributed processing technology is being developed to process signals from distributed sensors using distributed computations. Thiw work presents a scheme for calculating the operators required to emulate a conventional Kalman filter and regulator using such a computer. The scheme makes use of conventional Kalman theory as applied to the control of large flexible structures. The required computation of the distributed operators given the conventional Kalman filter and regulator is explained. A straightforward application of this scheme may lead to nonsmooth operators whose convergence is not apparent. This is illustrated by application to the Mini-Mast, a large flexible truss at the Langley Research Center used for research in structural dynamics and control. Techniques for developing smooth operators are presented. These involve spatial filtering as well as adjusting the design constants in the Kalman theory. Results are presented that illustrate the degree of smoothness achieved.

Montgomery, Raymond C.↗

Real-time dynamics of the Schwinger model as an open quantum system with Neural Density Operators

Ab-initio simulations of multiple heavy quarks propagating in a Quark-Gluon Plasma are computationally difficult to perform due to the large dimension of the space of density matrices. This work develops machine learning algorithms to overcome this difficulty by approximating exact quantum states with neural network parametrisations, specifically Neural Density Operators. As a proof of principle demonstration in a QCD-like theory, the approach is applied to solve the Lindblad master equation in the 1 + 1d lattice Schwinger Model as an open quantum system. Neural Density Operators enable the study of in-medium dynamics on large lattice volumes, where multiple-string interactions and their effects on string-breaking and recombination phenomena can be studied. Thermal properties of the system at equilibrium can also be probed with these methods by variationally constructing the steady state of the Lindblad master equation. Scaling of this approach with system size is studied, and numerical demonstrations on up to 32 spatial lattice sites and with up to 3 interacting strings are performed.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Noncommutative-geometry model for closed bosonic strings

It is shown how Witten's (1986) noncommutative geometry may be extended to describe the closed bosonic string. For closed strings, an explicit representation is provided of the integral operator needed to construct an action and of an associative product on string fields. The proper choice of the action of the integral operator and the associative product in order to give rise to a reasonable theory is explained, and the consequences of such a choice are discussed. It is shown that the ghost numbers of the operator and associative product can be chosen arbitrarily for both open and closed strings, and that this construct can be used as an action for interacting closed bosonic strings.

Sen, Siddhartha↗

Generation and exploration of aggregation abstractions for scheduling and resource allocation

This paper presents research on the abstraction of computational theories for scheduling and resource allocation. The paper describes both theory and methods for the automated generation of aggregation abstractions and approximations in which detailed resource allocation constraints are replaced by constraints between aggregate demand and capacity. The interaction of aggregation abstraction generation with the more thoroughly investigated abstractions of weakening operator preconditions is briefly discussed. The purpose of generating abstract theories for aggregated demand and resources includes: answering queries about aggregate properties, such as gross feasibility; reducing computational costs by using the solution of aggregate problems to guide the solution of detailed problems; facilitating reformulating theories to approximate problems for which there are efficient problem-solving methods; and reducing computational costs of scheduling by providing more opportunities for variable and value-ordering heuristics to be effective. Experiments are being developed to characterize the properties of aggregations that make them cost effective. Both abstract and concrete theories are represented in a variant of first-order predicate calculus, which is a parameterized multi-sorted logic that facilitates specification of large problems. A particular problem is conceptually represented as a set of ground sentences that is consistent with a quantified theory.

Lowry, Michael R.↗

Quantitative Predictive Theories through Integrating Quantum, Statistical, Equilibrium, and Nonequilibrium Thermodynamics

Today's thermodynamics is largely based on the combined law for equilibrium systems and statistical mechanics derived by Gibbs in 1873 and 1901, respectively, while irreversible thermodynamics for nonequilibrium systems resides essentially on the Onsager Theorem as a separate branch of thermodynamics developed in 1930s. Between them, quantum mechanics was invented and was quantitatively solved in terms of density functional theory (DFT) in 1960s. Furthermore, these three scientific domains operate based on different principles and are very much separated from each other. In analogy to the parable of the blind men and the elephant articulated by Perdew, they individually represent different portions of a complex system and thus are incomplete by themselves alone, resulting in the lack of quantitative agreement between their predictions and experimental observations. Over the last two decades, the author's group has developed a multiscale entropy approach (recently termed as zentropy theory) that integrates DFT-based quantum mechanics and Gibbs statistical mechanics and is capable of accurately predicting entropy and free energy of complex systems. Furthermore, in combination with the combined law for nonequilibrium systems developed by Hillert, the author developed the theory of cross phenomena beyond the phenomenological Onsager Theorem. The zentropy theory and theory of cross phenomena jointly provide quantitative predictive theories for systems from electronic to any observable scales as reviewed in the present work.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Lieb-Schultz-Mattis anomalies as obstructions to gauging (non-on-site) symmetries

We study ’t Hooft anomalies of global symmetries in 1+1d lattice Hamiltonian systems. We consider anomalies in internal and lattice translation symmetries. We derive a microscopic formula for the “anomaly cocycle” using topological defects implementing twisted boundary conditions. The anomaly takes value in the cohomology group H^3(G,U(1)) × H^2(G,U(1)) H 3 ( G , U ( 1 ) ) × H 2 ( G , U ( 1 ) ) . The first factor captures the anomaly in the internal symmetry group G, and the second factor corresponds to a generalized Lieb-Schultz-Mattis anomaly involving G and lattice translation. We present a systematic procedure to gauge internal symmetries (that may not act on-site) on the lattice. We show that the anomaly cocycle is the obstruction to gauging the internal symmetry while preserving the lattice translation symmetry. As an application, we construct anomaly-free chiral lattice gauge theories. We demonstrate a one-to-one correspondence between (locality-preserving) symmetry operators and topological defects, which is essential for the results we prove. We also discuss the generalization to fermionic theories. Finally, we construct non-invertible lattice translation symmetries by gauging internal symmetries with a Lieb-Schultz-Mattis anomaly.

Physics↗

Numerical studies of identification in nonlinear distributed parameter systems

An abstract approximation framework and convergence theory for the identification of first and second order nonlinear distributed parameter systems developed previously by the authors and reported on in detail elsewhere are summarized and discussed. The theory is based upon results for systems whose dynamics can be described by monotone operators in Hilbert space and an abstract approximation theorem for the resulting nonlinear evolution system. The application of the theory together with numerical evidence demonstrating the feasibility of the general approach are discussed in the context of the identification of a first order quasi-linear parabolic model for one dimensional heat conduction/mass transport and the identification of a nonlinear dissipation mechanism (i.e., damping) in a second order one dimensional wave equation. Computational and implementational considerations, in particular, with regard to supercomputing, are addressed.

Banks, H. T.↗

MIONet: Learning Multiple-Input Operators via Tensor Product

As an emerging paradigm in scientific machine learning, neural operators aim to learn operators, via neural networks, that map between infinite-dimensional function spaces. Several neural operators have been recently developed. However, all the existing neural operators are only designed to learn operators defined on a single Banach space; i.e., the input of the operator is a single function. Here, for the first time, we study the operator regression via neural networks for multiple-input operators defined on the product of Banach spaces. We first prove a universal approximation theorem of continuous multiple-input operators. We also provide a detailed theoretical analysis including the approximation error, which provides guidance for the design of the network architecture. Based on our theory and a low-rank approximation, we propose a novel neural operator, MIONet, to learn multiple-input operators. MIONet consists of several branch nets for encoding the input functions and a trunk net for encoding the domain of the output function. Here, we demonstrate that MIONet can learn solution operators involving systems governed by ordinary and partial differential equations. In our computational examples, we also show that we can endow MIONet with prior knowledge of the underlying system, such as linearity and periodicity, to further improve accuracy.

97 MATHEMATICS AND COMPUTING↗