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 1,657 records · Page 92
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

Development of an Aircraft Approach and Departure Atmospheric Profile Generation Algorithm

In support of NASA Virtual Airspace Modeling and Simulation (VAMS) project, an effort was initiated to develop and test techniques for extracting meteorological data from landing and departing aircraft, and for building altitude based profiles for key meteorological parameters from these data. The generated atmospheric profiles will be used as inputs to NASA s Aircraft Vortex Spacing System (AVOLSS) Prediction Algorithm (APA) for benefits and trade analysis. A Wake Vortex Advisory System (WakeVAS) is being developed to apply weather and wake prediction and sensing technologies with procedures to reduce current wake separation criteria when safe and appropriate to increase airport operational efficiency. The purpose of this report is to document the initial theory and design of the Aircraft Approach Departure Atmospheric Profile Generation Algorithm.

Buck, Bill K.↗
NASA NTRS2007

A General Approach to the Geostationary Transfer Orbit Mission Recovery

This paper discusses recovery scenarios for geosynchronous satellites injected in a non-nominal orbit due to a launcher underperformance. The theory on minimum-fuel orbital transfers is applied to develop an operational tool capable to design a recovery mission. To obtain promising initial guesses for the recovery three complementary techniques are used: p-optimized impulse function contouring, a numerical impulse function minimization and the solutions to the switching equations. The tool evaluates the feasibility of a recovery with the on-board propellant of the spacecraft and performs the complete mission design. This design takes into account for various mission operational constraints such as e.g., the requirement of multiple finite-duration burns, third-body orbital perturbations, spacecraft attitude constraints and ground station visibility. In a final case study, we analyze the consequences of a premature breakdown of an upper rocket stage engine during injection on a geostationary transfer orbit, as well as the possible recovery solution with the satellite on-board propellant.

Faber, Nicolas↗
NASA NTRS2005

Nanowire Thermoelectric Devices

Nanowire thermoelectric devices, now under development, are intended to take miniaturization a step beyond the prior state of the art to exploit the potential advantages afforded by shrinking some device features to approximately molecular dimensions (of the order of 10 nm). The development of nanowire-based thermoelectric devices could lead to novel power-generating, cooling, and sensing devices that operate at relatively low currents and high voltages. Recent work on the theory of thermoelectric devices has led to the expectation that the performance of such a device could be enhanced if the diameter of the wires could be reduced to a point where quantum confinement effects increase charge-carrier mobility (thereby increasing the Seebeck coefficient) and reduce thermal conductivity. In addition, even in the absence of these effects, the large aspect ratios (length of the order of tens of microns diameter of the order of tens of nanometers) of nanowires would be conducive to the maintenance of large temperature differences at small heat fluxes. The predicted net effect of reducing diameters to the order of tens of nanometers would be to increase its efficiency by a factor of .3. Nanowires made of thermoelectric materials and devices that comprise arrays of such nanowires can be fabricated by electrochemical growth of the thermoelectric materials in templates that contain suitably dimensioned pores (10 to 100 nm in diameter and 1 to 100 microns long). The nanowires can then be contacted in bundles to form devices that look similar to conventional thermoelectric devices, except that a production version may contain nearly a billion elements (wires) per square centimeter, instead of fewer than a hundred as in a conventional bulk thermoelectric device or fewer than 100,000 as in a microdevice. It is not yet possible to form contacts with individual nanowires. Therefore, in fabricating a nanowire thermoelectric device, one forms contacts on nanowires in bundles of the order of 10-microns wide. The fill factor for the cross-section of a typical bundle is about 1/2. Nanowires have been grown in alumina templates with pore diameters of 100 and 40 nm.

Borshchevsky, Alexander↗
DOE OSTI2020

Measurement Problems: Contemporary Discussions and Models

In this paper I review the basic concepts of measurement that have existed from the end of the nineteenth century to the present day, such as representational theory and the realistic, operationalist, conventionalist, information-theoretical, and theoretical-operational models, with their respective advantages and weaknesses. Such characteristics of measurement as accuracy, precision, and various aspects of their application, related to agreement between measurement results, measurements and standards, and measurements and “true” values, as well as the internal and external reproducibility of measurements, are considered. The theoretical-operational model approach to experiment (and measurement), based on V.A. Fock’s three-part scheme, proposed by him for quantum mechanics, is discussed in detail using an example from the physics of elementary particles. The comparative advantages of the latter approach as well as its possible applications for the determination of systematic uncertainty are examined.

Pronskikh, V.↗
DOE OSTI2019

Managing Risks via Small/Pilot Scale Testing for INL's Integrated Waste Treatment Unit (IWTU) - 19268

In 2005, the THOR steam reforming fluidized-bed reactor (FBR) technology was selected by the U.S. Department of Energy (DOE) as the technology of choice for treatment of sodium- bearing waste (SBW) at the INL. The basis of the process was to use fluidized bed technology to convert an acidic radioactive nitrate-rich liquid waste into a solid carbonate product suitable for long-term disposal and storage. During initial commissioning, as well as subsequent start-ups, the plant faced many operational challenges, such as stagnant/de-fluidized bed, and wall-scale formation. Such operational issues prompted the original contractor to seek expertise in pilot-scale testing, thereby reaching out to Hazen Research Inc. (HRI, Golden, Co). Several tests were conducted, but the results did not seem to address the underlying issues observed in the full-scale plant, as evidenced by continued operational issues. A systematic approach was then taken by the Fluor-Idaho team (new contractor as of June 2016) with respect to solving these technical issues. First, two different bench-scale, 2-inch fluidized bed reactors (stainless-steal and quartz), were utilized to test several theories to better understand the underlying chemical reactions that may be taking place under expected normal operating conditions. Then, the team designed and built an 18-inch FBR unit, mimicking the full-scale main vessel at IWTU - Denitration Mineralization Reformer (DMR). This was used to test various aspects of operational challenges observed at IWTU, namely particle size control, wall-scale growth-rate control, long-term operational stability, process optimization, and process off- gas filtration challenges. An example of information obtained from bench-scale testing, which was then tested during pilot-scale testing, was the phenomena that an addition of 5 vol % of CO{sub 2} gas into the fluidizing gas system nearly eliminated the formation of agglomerates that had typically led to bed de-fluidization. This change proved to be correct in both the pilot and full-scale testing and will be implemented as part of a long-term operational strategy of IWTU. Several other findings that have provided answers with respect to IWTU operational issues will be discussed in this report. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2025

A Solution to the Hierarchy Problem with Non-Linear Quantum Mechanics

We argue that the hierarchy problem of the standard model of particle physics can be solved by adding a state-dependent term to the Higgs sector. We present an example of a scalar field with a Higgs-like potential with an additional term proportional to the expectation value of the squared Higgs field operator. We show that the mass can be parametrically lighter than the theory's energy-momentum cutoff without fine tuning. We find the Higgs mass can be technically natural, even with a Planck-scale cutoff. The simplest version of the theory may not be distinguishable from the standard model at colliders, but other versions might. In addition, some aspects of cosmological evolution can be different in this model, in some cases radically.

Kaplan, David E. [Johns Hopkins U.; Tokyo U., IPMU↗
NASA NTRS1979

An evaluation of linear acoustic theory for a hovering rotor

Linear acoustic calculations are compared with previously reported data for a small-scale hovering rotor operated at high tip Mach numbers. A detailed calculated description of the distributions of blade surface pressure and shear stress due to skin friction is presented. The noise due to skin friction and loading, in the rotor disk plane, is small compared to thickness noise. The basic conclusions of Boxwell et al about the importance of nonlinear effects are upheld. Some approximations involved in the current theories for the inclusion of nonlinear effects are discussed. Using a model nonlinear problem, it is shown that to use the acoustic analogy, good knowledge of the flowfield is required.

Morris, C. E. K., Jr.↗
NASA NTRS1973

Simultaneous Q-switching and mode-locking in the CW Nd:YAG laser

The theory of transient mode-locking for an active modulator in a laser with a homogeneously broadened line is presented. The theory is applied to simultaneously Q-switched and mode-locked Nd:YAG lasers and good agreement between theory and experiment is obtained. The main conclusion is that under usual Q-switched operating conditions the mode-locking process does not have sufficient time to build up to steady-state conditions. We also present a method to overcome this problem by allowing the laser to prelase before the Q-switch is opened. Mode-locked pulses whose width approaches the steady-state value are obtained. The transient mode-locking theory presented here also applies to actively mode-locking TEA CO2 lasers and to other types of simultaneously pulsed and mode-locked lasers.

Kuizenga, D. J.↗
DOE OSTI2019

Renormalized approach to neutrinoless double-$β$ decay

The process at the heart of neutrinoless double-$β$ decay, $nn →\ pp\ e⁻ e⁻$ induced by a light Majorana neutrino, is investigated in pionless and chiral effective field theory. We show in various regularization schemes the need to introduce a short-range lepton-number-violating operator at leading order, confirming earlier findings. We demonstrate that such a short-range operator is only needed in spin-singlet $S$-wave transitions, while leading-order transitions involving higher partial waves depend solely on long-range currents. Calculations are extended to include next-to-leading-order corrections in perturbation theory, where to this order no additional undetermined parameters appear. We establish a connection based on chiral symmetry between neutrinoless double-$β$ decay and nuclear charge-independence breaking induced by electromagnetism. Data on the latter confirm the need for a leading-order short-range operator but do not allow for a full determination of the corresponding lepton-number-violating coupling. Using a crude estimate of this coupling, we perform ab initio calculations of the matrix elements for neutrinoless double-$β$ decay for 6 He and 12 Be. We speculate on the phenomenological impact of the leading short-range operator on the basis of these results.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2020

Rechargeable Alkali-Ion Battery Materials: Theory and Computation

Since its development in the 1970s, the rechargeable alkali-ion battery has proven to be a truly transformative technology, providing portable energy storage for devices ranging from small portable electronics to sizable electric vehicles. Here, we present a review of modern theoretical and computational approaches to the study and design of rechargeable alkali-ion battery materials. Additionally, starting from fundamental thermodynamics and kinetics phenomenological equations, we rigorously derive the theoretical relationships for key battery properties, such as voltage, capacity, alkali diffusivity, and other electrochemically relevant computable quantities. We then present an overview of computational techniques for the study of rechargeable alkali-ion battery materials, followed by a critical review of the literature applying these techniques to yield crucial insights into battery operation and performance. Finally, we provide perspectives on outstanding challenges and opportunities in the theory and computation of rechargeable alkali-ion battery materials.

25 ENERGY STORAGE↗
DOE OSTI2016

Shape dependence of holographic Rényi entropy in general dimensions

We present a holographic method for computing the response of Rényi entropies in conformal field theories to small shape deformations around a flat (or spherical) entangling surface. Our strategy employs the stress tensor one-point function in a deformed hyperboloid background and relates it to the coefficient in the two-point function of the displacement operator. We obtain explicit numerical results for d = 3, · · · , 6 spacetime dimensions, and also evaluate analytically the limits where the Rényi index approaches 1 and 0 in general dimensions. We use our results to extend the work of 1602.08493 and disprove a set of conjectures in the literature regarding the relation between the Rényi shape dependence and the conformal weight of the twist operator. As a result, we also extend our analysis beyond leading order in derivatives in the bulk theory by studying Gauss-Bonnet gravity.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2015

Weak gravity conjecture in the AdS/CFT correspondence

Here, we study implications of the weak gravity conjecture in the AdS/CFT correspondence. Unlike in Minkowski spacetime, Anti-de Sitter (AdS) spacetime has a physical length scale, so that the conjecture must be generalized with an additional parameter. We discuss possible generalizations and translate them into the language of dual conformal field theories (CFTs), which take the form of inequalities involving the dimension and charge of an operator as well as the current and energy-momentum tensor central charges. We then test these inequalities against various CFTs to see if they are universally obeyed by all the CFTs. Additionally, we find that certain CFTs, such as supersymmetric QCDs, do not satisfy them even in the large N limit. This does not contradict the conjecture in AdS spacetime because the theories violating them are either unlikely or unclear to have weakly coupled gravitational descriptions, but it suggests that the CFT inequalities obtained here by naive translations do not apply beyond the regime in which weakly coupled gravitational descriptions are available.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2015

A molecular theory for optimal blue energy extraction by electrical double layer expansion

We proposed the electrical double layer expansion (CDLE) as a promising alternative to reverse electrodialysis (RED) and pressure retarded osmosis (PRO) processes for extracting osmotic power generated by the salinity difference between freshwater and seawater. The performance of the CDLE process is sensitive to the configuration of porous electrodes and operation parameters for ion extraction and release cycles. In our work, we use a classical density functional theory (CDFT) to examine how the electrode pore size and charging/discharging potentials influence the thermodynamic efficiency of the CDLE cycle. The existence of an optimal charging potential that maximizes the energy output for a given pore configuration is predicted, which varies substantially with the pore size, especially when it is smaller than 2 nm. Finally, the thermodynamic efficiency is maximized when the electrode has a pore size about twice the ion diameter.

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

Validity of standard model EFT studies of V H and V V production at NLO

The production of $W^±H, ZH, W^+W^-$, and $W^±Z$ pairs probes non-Standard-Model interactions of quarks, gauge bosons, and the Higgs boson. New effects can be parameterized in terms of an effective field theory (EFT) where the Lagrangian is expanded in terms of higher-dimension operators suppressed by increasing powers of a high scale Λ. We examine the importance of including next-to-leading-order QCD corrections in global fits to the coefficients of the EFT. The numerical implications on the fits due to different approaches to enforcing the validity of the EFT are quantified. We pay particular attention to the dependence of the fits on the ex-pansion in 1/Λ 2 since the differences between results calculated at $\mathcal{O}$(1/Λ 2 ) and $\mathcal{O}$(1/Λ 4 ) may give insight into the possible significance of dimension-8 effects.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Conservative scattering of Reissner-Nordström black holes at third post-Minkowskian order

Using a recently developed effective field theory formalism for extreme mass ratios arXiv:2308.14832, we present a calculation of charged black hole scattering at third post-Minkowskian order. The charges and masses are kept arbitrary, and the result interpolates from the scattering of Schwarzschild to extremal charged black holes, and beyond to charged particles in electrodynamics — agreeing with previously reported results in all such limits. The computation of the radial action is neatly organized in powers of the mass ratio. The probe (0SF) contributions are readily computed by direct integration of the radial momentum, and we use the effective field theory to compute the subleading (1SF) contributions via background-field Feynman rules supplemented by an operator encoding recoil of the background. Together these contributions completely determine the conservative physics at order O (G 3 ). .

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1941

The aerodynamics of a wind-tunnel fan

The vortex blade-element theory modified to apply to an axial fan working in a duct is reviewed. Thrust and power coefficients for a fan are identified with the corresponding coefficients for airplane propellers. The relation of pressure produced by the fan to the blade-element coefficients is developed. The distribution of axial velocity of fluid through a fan is assumed to be controlled by the fan itself. The radial distribution of tangential velocity imported by the fan to fluid moving through the fan is shown to be independent of the axial-velocity distribution. A nondimensional coefficient, designated the rotation constant, is introduced. This constant is based solely upon design information. The use of the rotation constant in simplifying the design of a fan for a specific operating condition is demonstrated. Based on the use of the rotation constant, a graphical method is outlined by which the performance of a given fan in a given wind tunnel may be predicted and by which the distributions of axial velocity of the fluid through the fan under various operating conditions may be established.

THEORIES-VORTEX↗
DOE OSTI2024

MFANS 2024 - Formally Proving Characteristics of Cyber-Physical Systems

Cyber-physical systems (CPS) are engineered systems that rely on the smooth integration of computational algorithms and physical elements. This integration presents new challenges for verifying that systems will behave as expected. The goal of this presentation is to present current challenges and potential solutions for the formal verification of cyber-physical systems. For cyber systems, formal methods refer to systematically rigorous mathematical techniques employed in the specification, development, analysis, and verification of both software and hardware systems. Recent advancements in computer science have yielded sophisticated tools specifically designed to address challenges associated with formal methods in complex systems. These tools leverage various foundational concepts such as logic, formal languages, program semantics, type systems, type theory, and automata theory. A notable achievement in the application of formal methods is the seL4 microkernel, claimed to be the first general-purpose operating-system kernel to be verified. Its proof implies the absence of bugs and guarantees that the kernel meets specifications. For physical systems, dynamic and control theory has a history of using rigorous analytic techniques to prove functional correctness. Lyapunov, optimal, classical, modern, and robust control theories all provide rigorous mathematical methods both to analyze system performance and to design controller that can be guaranteed to meet certain objectives. Recent computational techniques like level set theory and reachability analysis provide assertions that a system's state will avoid unsafe regions. Even though success has been independently achieved for cyber systems and physical systems, the integration of such systems creates new challenges. In particular, there is an obvious discrepancy between finite-state machines and infinite-state systems, resulting in different approaches for modeling and analyzing these system. While it is possible to simulate hybrid systems, this provides only a demonstration of a performance and not proof. For hybrid systems, current formal methods and system analysis approaches typically require a workarounds to work on hybrid systems like CPS. This paper will outline the state of the art and limits of current practice for formally verifying CPS and will identify possible research directions that require attention.

97 MATHEMATICS AND COMPUTING↗