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 937 records · Page 52
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

DSS-13 26-meter antenna upgraded radiometer system

The Deep Space Station (DSS)-13 26-m antenna radiometer system was upgraded with an IBM-compatible computer-controlled configuration with improved supporting hardware and software. Software was generated to analyze results and correct for antenna mispointing, tropospheric loss, and other observing errors. This total power radiometer configuration provides a prototype for the new DSS-13 34-m antenna. The radiometer system is described in terms of the theory, instrumentation hardware, computer configuration, and operational features and performance. The system is used to obtain antenna efficiency and pointing model data and is useful for radio source calibrations required for radio astronomy. Some recent results are given.

Stelzried, C. T.↗
NASA NTRS1992

Extreme ultraviolet filters for 58.4 and 83.4 nm

We report the design of an EUV filter for He I at 58.4 nm and the design and fabrication of an EUV filter for O II at 83.4 nm. Both filters are designed as combinations of three narrow-band reflection filters. The net transmittance through both EUV filters is close to 10 percent with bandwidths less than 10 nm, and blocking better than 0.005 percent for out-of-band wavelengths. A theoretical calculation of the 83.4 nm filter predicts higher values for the peak transmittance than the measured spectral performance of the fabricated filter. Since aluminum is one of the film materials used for the fabrication of EUV filters, the aluminum film oxidation can be modeled in order to explain the discrepancy between the theory and experiment. Since the filters operate at angles of incidence up to 50 deg, the optical components of a system can serve as both the filtering and imaging elements.

Zukic, Muamer↗
NASA NTRS1997

LQR Control of Thin Shell Dynamics: Formulation and Numerical Implementation

A PDE-based feedback control method for thin cylindrical shells with surface-mounted piezoceramic actuators is presented. Donnell-Mushtari equations modified to incorporate both passive and active piezoceramic patch contributions are used to model the system dynamics. The well-posedness of this model and the associated LQR problem with an unbounded input operator are established through analytic semigroup theory. The model is discretized using a Galerkin expansion with basis functions constructed from Fourier polynomials tensored with cubic splines, and convergence criteria for the associated approximate LQR problem are established. The effectiveness of the method for attenuating the coupled longitudinal, circumferential and transverse shell displacements is illustrated through a set of numerical examples.

delRosario, R. C. H.↗
NASA NTRS2003

Low Frequency High Amplitude Temperature Oscillations in Loop Heat Pipe Operation

This paper presents viewgraphs on the low frequency high amplitude temperature oscillations observed in loop heat pipe operations. The topics include: 1) Proposed Theory; 2) Test Loop and Test Results; and 3) Effects of Various Parameters. The author also presents a short summary on the conditiions that must be met in order to sustain a low frequency high amplitude temperature oscillation.

Ku, Jentung↗
NASA NTRS2005

Application of an Extended Parabolic Equation to the Calculation of the Mean Field and the Transverse and Longitudinal Mutual Coherence Functions Within Atmospheric Turbulence

Solutions are derived for the generalized mutual coherence function (MCF), i.e., the second order moment, of a random wave field propagating through a random medium within the context of the extended parabolic equation. Here, "generalized" connotes the consideration of both the transverse as well as the longitudinal second order moments (with respect to the direction of propagation). Such solutions will afford a comparison between the results of the parabolic equation within the pararaxial approximation and those of the wide-angle extended theory. To this end, a statistical operator method is developed which gives a general equation for an arbitrary spatial statistical moment of the wave field. The generality of the operator method allows one to obtain an expression for the second order field moment in the direction longitudinal to the direction of propagation. Analytical solutions to these equations are derived for the Kolmogorov and Tatarskii spectra of atmospheric permittivity fluctuations within the Markov approximation.

Manning, Robert M.↗
NASA NTRS2015

A Short Tutorial on Inertial Navigation System and Global Positioning System Integration

The purpose of this document is to describe a simple method of integrating Inertial Navigation System (INS) information with Global Positioning System (GPS) information for an improved estimate of vehicle attitude and position. A simple two dimensional (2D) case is considered. The attitude estimates are derived from sensor data and used in the estimation of vehicle position and velocity through dead reckoning within the INS. The INS estimates are updated with GPS estimates using a Kalman filter. This tutorial is intended for the novice user with a focus on bringing the reader from raw sensor measurements to an integrated position and attitude estimate. An application is given using a remotely controlled ground vehicle operating in assumed 2D environment. The theory is developed first followed by an illustrative example.

Smalling, Kyle M.↗
NASA NTRS2015

A Framework of Working Across Disciplines in Early Design and R&D of Large Complex Engineered Systems

This paper examines four primary methods of working across disciplines during R&D and early design of large-scale complex engineered systems such as aerospace systems. A conceptualized framework, called the Combining System Elements framework, is presented to delineate several aspects of cross-discipline and system integration practice. The framework is derived from a theoretical and empirical analysis of current work practices in actual operational settings and is informed by theories from organization science and engineering. The explanatory framework may be used by teams to clarify assumptions and associated work practices, which may reduce ambiguity in understanding diverse approaches to early systems research, development and design. The framework also highlights that very different engineering results may be obtained depending on work practices, even when the goals for the engineered system are the same.

McGowan, Anna-Maria Rivas↗
DOE OSTI2017

A Continuous-Discontinuous Hybrid Finite Element Method for S{sub N} Transport

Particle transport phenomenon for neutral particles, such as neutrons and photons, is governed by the linear Boltzmann equation, which is a first-order partial differential equation (PDE). In order to solve the transport equation, discontinuous finite element method (DFEM) is heavily developed. However, the large memory consumption due to the extra degrees of freedom is problematic in multi-D calculations. Another path is to recast the transport equation to a second-order form, such as the well-known self-adjoint angular flux equation (SAAF) and the even parity equations, and spatially discretize the equation using continuous finite element method (CFEM). Yet, such forms generally have problems in void situation as the streaming operator contains a 1/σ{sub t} term and becomes singular in void, which draws numerous efforts on developing void-treatment methods. An intuition to mitigate the shortcomings of both methods is then to develop a method that utilizes DFEM in part of the problem where CFEM has issues while in the other part, CFEM is employed to avoid DFEM's high cost. In this work, we present a novel continuous-discontinuous finite element method (CDFEM) for solving the discrete-ordinates (S{sub N}) transport equations. We perform the hybridization between 1/σ{sub t}-weighted least-squares finite element methods (1/σ{sub t}-LSFEM), with continuous basis functions, and first-order solver. Different solvers are defined in different regions, or subdomains, of the problem. The resulting scheme is such that CFEM-SAAF is performed in subdomains with continuous basis functions while upwinding based DFEM solver is utilized in subdomains with discontinuous basis functions. The connection between subdomains is through an upwinding operation on the interface, which can be performed via the sweep procedure. A foreseeable benefit is such a scheme is compatible with void as first-order DFEM solver can be used in void. On the other hand, as DFEM is only used in part of the problem, CDFEM can effectively avoid the notorious memory consumption of DFEM in multi-D calculation for the future work.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2013

Towards A Theory of Autonomous Reconstitution of Compromised Cyber-Systems

The ability to maintain mission-critical operations in cyber-systems in the face of disruptions is critical. Faults in cyber systems can come from accidental sources (e.g., natural failure of a component) or deliberate sources (e.g., an intelligent adversary). Natural and intentional manipulation of data, computing, or coordination are the most impactful ways that an attacker can prevent an infrastructure from realizing its mission goals. Under these conditions, the ability to reconstitute critical infrastructure becomes important. Specifically, the question is: Given an intelligent adversary, how can cyber systems respond to keep critical infrastructure operational? In cyber systems, the distributed nature of the system poses serious difficulties in maintaining operations, in part due to the fact that a centralized command and control apparatus is unlikely to provide a robust framework for resilience. Resilience in cyber-systems, in general, has several components, and requires the ability to anticipate and withstand attacks or faults, as well as recover from faults and evolve the system to improve future resilience. The recovery effort (and any subsequent evolution) may require significant reconfiguration of the system (at all levels – hardware, software, services, permissions, etc.) if the system is to be made resilient to further attack or faults. This is especially important in the case of ongoing attacks, where reconfiguration decisions must be taken with care to avoid further compromising the system while maintaining continuity of operations. Collectively, we will label this recovery and evolution process as “reconstitution”. Currently, reconstitution is performed manually, generally after-the-fact, and usually consists of either standing up redundant systems, check-points (rolling back the configuration to a “clean” state), or re-creating the system using “gold-standard” copies. For enterprise systems, such reconstitution may be performed either directly on hardware, or using virtual machines. A significant challenge within this context is the ability to verify that the reconstitution is performed in a manner that renders the cyber-system resilient to ongoing and future attacks or faults. Fundamentally, the need is to determine optimal configuration of the cyber system when a fault is determined to be present. While existing theories for fault tolerance (for example, Byzantine fault tolerance) can guarantee resilience under certain conditions, in practice, these theories can break down in the face of an intelligent adversary. Further, it is difficult, in a dynamically evolving environment, to determine whether the necessary conditions for resilience have been met, resulting in difficulties in achieving resilient operation. In addition, existing theories do not sufficiently take into account the cost for attack and defense (the adversary is generally assumed to have infinite resources and time), hierarchy of importance (all network resources are assumed to be equally important), and the dynamic nature of some attacks (i.e., as the attack evolves, can resilience be maintained?). Alternative approaches to resilience based on a centralized command and control structure suffer from a single-point-failure. This paper presents preliminary research towards concepts for effective autonomous reconstitution of compromised cyber systems. We describe a mathematical framework as a first step towards a theoretical basis for autonomous reconstitution in dynamic cyber-system environments. We then propose formulating autonomous reconstitution as an optimization problem and describe some of the challenges associated with this formulation. This is followed by a brief discussion on potential solutions to these challenges.

asymmetric resilience↗
DOE OSTI2015

Operator evolution for ab initio electric dipole transitions of 4 He

A goal of nuclear theory is to make quantitative predictions of low-energy nuclear observables starting from accurate microscopic internucleon forces. A major element of such an effort is applying unitary transformations to soften the nuclear Hamiltonian and hence accelerate the convergence of ab initio calculations as a function of the model space size. The consistent simultaneous transformation of external operators, however, has been overlooked in applications of the theory, particularly for nonscalar transitions. We study the evolution of the electric dipole operator in the framework of the similarity renormalization group method and apply the renormalized matrix elements to the calculation of the 4 He total photoabsorption cross section and electric dipole polarizability. All observables are calculated within the ab initio no-core shell model. Furthermore, we find that, although seemingly small, the effects of evolved operators on the photoabsorption cross section are comparable in magnitude to the correction produced by including the chiral three-nucleon force and cannot be neglected.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2014

Effective field theory and keV lines from dark matter

We survey operators that can lead to a keV photon line from dark matter decay or annihilation. We are motivated in part by recent claims of an unexplained 3.5 keV line in galaxy clusters and in Andromeda, but our results could apply to any hypothetical line observed in this energy range. We find that given the amount of flux that is observable, explanations in terms of decay are more plausible than annihilation, at least if the annihilation is directly to Standard Model states rather than intermediate particles. The decay case can be explained by a scalar or pseudoscalar field coupling to photons suppressed by a scale not far below the reduced Planck mass, which can be taken as a tantalizing hint of high-scale physics. The scalar case is particularly interesting from the effective field theory viewpoint, and we discuss it at some length. Because of a quartically divergent mass correction, naturalness strongly suggests the theory should be cut off at or below the 1000 TeV scale. The most plausible such natural UV completion would involve supersymmetry. These bottom-up arguments reproduce expectations from top-down considerations of the physics of moduli. A keV line could also arise from the decay of a sterile neutrino, in which case a renormalizable UV completion exists and no direct inference about high-scale physics is possible.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2023

Fermion geometry and the renormalization of the Standard Model Effective Field Theory

The geometry of field space governs on-shell scattering amplitudes. We formulate a geometric description of effective field theories which extends previous results for scalars and gauge fields to fermions. The field-space geometry reorganizes and simplifies the computation of quantum loop corrections. Using this geometric framework, we calculate the fermion loop contributions to the renormalization group equations for bosonic operators in the Standard Model Effective Field Theory up to mass dimension eight.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2015

The bispectrum in the Effective Field Theory of Large Scale Structure

We study the bispectrum in the Effective Field Theory of Large Scale Structure, consistently accounting for the effects of short-scale dynamics. We begin by proving that, as long as the theory is perturbative, it can be formulated to arbitrary order using only operators that are local in time. We then derive all the new operators required to cancel the UV-divergences and obtain a physically meaningful prediction for the one-loop bispectrum. In addition to new, subleading stochastic noises and the viscosity term needed for the one-loop power spectrum, we find three new effective operators. The three new parameters can be constrained by comparing with N-body simulations. The best fit is precisely what is suggested by the structure of UV-divergences, hence justifying a formula for the EFTofLSS bispectrum whose only fitting parameter is already fixed by the power spectrum. This result predicts the bispectrum of N-body simulations up to k{sub max}≈0.22 h Mpc{sup −1} at 0z=, an improvement by nearly a factor of two as compared to one-loop standard perturbation theory.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2021

Spin-free formulation of the multireference driven similarity renormalization group: A benchmark study of first-row diatomic molecules and spin-crossover energetics

We report a spin-free formulation of the multireference (MR) driven similarity renormalization group (DSRG) based on the ensemble normal ordering of Mukherjee and Kutzelnigg (1997). This ensemble averages over all microstates of a given total spin quantum number, and therefore, it is invariant with respect to SU(2) transformations. As such, all equations may be reformulated in terms of spin-free quantities and they closely resemble those of spin-adapted closed-shell coupled cluster (CC) theory. The current implementation is used to assess the accuracy of various truncated MR-DSRG methods (perturbation theory up to third order and iterative methods with single and double excitations) in computing the constants of 33 first-row diatomic molecules. The accuracy trends for these first-row diatomics are consistent with our previous benchmark on a small subset of closed-shell diatomic molecules. We then present the first MR-DSRG application on transition-metal complexes by computing the spin splittings of the [Fe(H 2 O) 6 ] 2+ and [Fe(NH 3 ) 6 ] 2+ molecules. A focal point analysis (FPA) shows that third-order perturbative corrections are essential to achieve reasonably converged energetics. The FPA based on the linearized MR-DSRG theory with one- and two-body operators and up to a quintuple- ζ basis set predicts the spin splittings of [Fe(H 2 O) 6 ] 2+ and [Fe(NH 3 ) 6 ] 2+ to be –35.7 and –17.1 kcal mol –1 , respectively, showing good agreement with the results of local CC theory with singles, doubles, and perturbative triples.

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

Hadamard products and BPS networks

We study examples of fourth-order Picard-Fuchs operators that are Hadamard products of two second-order Picard-Fuchs operators. Each second-order Picard-Fuchs operator is associated with a family of elliptic curves, and the Hadamard product computes period integrals on the fibred product of the two elliptic surfaces. We construct 3-cycles on this geometry as the union of 2-cycles in the fibre over contours on the base. We then use the special Lagrangian condition to constrain the contours on the base. This leads to a construction that is reminiscent of spectral networks and exponential networks that have previously appeared in string theory literature.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS2010

Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol

We use the UPPAAL model checker for Timed Automata to verify the Timing-Sync time-synchronization protocol for sensor networks (TPSN). The TPSN protocol seeks to provide network-wide synchronization of the distributed clocks in a sensor network. Clock-synchronization algorithms for sensor networks such as TPSN must be able to perform arithmetic on clock values to calculate clock drift and network propagation delays. They must be able to read the value of a local clock and assign it to another local clock. Such operations are not directly supported by the theory of Timed Automata. To overcome this formal-modeling obstacle, we augment the UPPAAL specification language with the integer clock derived type. Integer clocks, which are essentially integer variables that are periodically incremented by a global pulse generator, greatly facilitate the encoding of the operations required to synchronize clocks as in the TPSN protocol. With this integer-clock-based model of TPSN in hand, we use UPPAAL to verify that the protocol achieves network-wide time synchronization and is devoid of deadlock. We also use the UPPAAL Tracer tool to illustrate how integer clocks can be used to capture clock drift and resynchronization during protocol execution

Huang, Xiaowan↗
DOE OSTI2016

Systematic renormalization of the effective theory of Large Scale Structure

A perturbative description of Large Scale Structure is a cornerstone of our understanding of the observed distribution of matter in the universe. Renormalization is an essential and defining step to make this description physical and predictive. Here we introduce a systematic renormalization procedure, which neatly associates counterterms to the UV-sensitive diagrams order by order, as it is commonly done in quantum field theory. As a concrete example, we renormalize the one-loop power spectrum and bispectrum of both density and velocity. In addition, we present a series of results that are valid to all orders in perturbation theory. First, we show that while systematic renormalization requires temporally non-local counterterms, in practice one can use an equivalent basis made of local operators. We give an explicit prescription to generate all counterterms allowed by the symmetries. Second, we present a formal proof of the well-known general argument that the contribution of short distance perturbations to large scale density contrast δ and momentum density π(k) scale as k{sup 2} and k, respectively. Third, we demonstrate that the common practice of introducing counterterms only in the Euler equation when one is interested in correlators of δ is indeed valid to all orders.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2016

Observables, gravitational dressing, and obstructions to locality and subsystems

Quantum field theory - our fundamental framework for describing all non-gravitational physics - conflicts with general relativity: the latter precludes the standard definition of the former's essential principle of locality, in terms of commuting local observables. We explore this conflict more carefully, by investigating implications of gauge (diffeomorphism) invariance for observables in gravity. We prove a dressing theorem, showing that any operator with nonzero Poincare charges, and in particular any compactly-supported operator, in flat-spacetime quantum field theory must be gravitationally dressed once coupled to gravity, i.e. it must depend on the metric at arbitrarily long distances, and we put lower bounds on this nonlocal dependence. This departure from standard locality occurs in the most severe way possible: in perturbation theory about flat spacetime, at leading order in Newton's constant. The physical observables in a gravitational theory therefore do not organize themselves into local commuting subalgebras: the principle of locality must apparently be reformulated or abandoned, and in fact we lack a clear definition of the coarser and more basic notion of a quantum subsystem of the Universe. We discuss relational approaches to locality based on diffeomorphism-invariant nonlocal operators, and reinforce arguments that any such locality is state-dependent and approximate. Furthermore, we find limitations to the utility of bilocal diffeomorphism-invariant operators that are considered in cosmological contexts. An appendix provides a concise review of the canonical covariant formalism for gravity, instrumental in the discussion of Poincare charges and their associated long-range fields.

79 ASTRONOMY AND ASTROPHYSICS↗