Search NASA⌕ Search

SEARCH · Search NASA

Results for “ADDITION THEOREM”

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 73 records · Page 4

Multiresolution GPC-Structured Control of a Single-Loop Cold-Flow Chemical Looping Testbed

Chemical looping is a near-zero emission process for generating power from coal. It is based on a multi-phase gas-solid flow and has extremely challenging nonlinear, multi-scale dynamics with jumps, producing large dynamic model uncertainty, which renders traditional robust control techniques, such as linear parameter varying H ∞ design, largely inapplicable. This process complexity is addressed in the present work through the temporal and the spatiotemporal multiresolution modeling along with the corresponding model-based control laws. Namely, the nonlinear autoregressive with exogenous input model structure, nonlinear in the wavelet basis, but linear in parameters, is used to identify the dominant temporal chemical looping process dynamics. The control inputs and the wavelet model parameters are calculated by optimizing a quadratic cost function using a gradient descent method. The respective identification and tracking error convergence of the proposed self-tuning identification and control schemes, the latter using the unconstrained generalized predictive control structure, is separately ascertained through the Lyapunov stability theorem. The rate constraint on the control signal in the temporal control law is then imposed and the control topology is augmented by an additional control loop with self-tuning deadbeat controller which uses the spatiotemporal wavelet riser dynamics representation. The novelty of this work is three-fold: (1) developing the self-tuning controller design methodology that consists in embedding the real-time tunable temporal highly nonlinear, but linearly parametrizable, multiresolution system representations into the classical rate-constrained generalized predictive quadratic optimal control structure, (2) augmenting the temporal multiresolution loop by a more complex spatiotemporal multiresolution self-tuning deadbeat control loop, and (3) demonstrating the effectiveness of the proposed methodology in producing fast recursive real-time algorithms for controlling highly uncertain nonlinear multiscale processes. The latter is shown through the data from the implemented temporal and augmented spatiotemporal solutions of a difficult chemical looping cold flow tracking control problem.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Sedimentation and shear-induced dynamics of spheroids in fluids with spatial viscosity variations

A generalized reciprocal theorem is used to relate the force and torque induced on a particle in an inertia-less fluid with small variation in viscosity to integrals involving Stokes flow fields and the spatial dependence of viscosity. These resistivity expressions are analytically evaluated using spheroidal harmonics and then used to obtain the mobility of the spheroid during sedimentation, and in linear flows, of a fluid with linear viscosity stratification. The coupling between the rotational and translational motion induced by stratification rotates the spheroid’s centerline, creating a variety of rotational and translational dynamics dependent upon the particle’s aspect ratio, κ, and the component of the stratification unit vector in the gravity direction, d g . Spheroids with 0.55 ⪅ κ ⪅ 2.0 exhibit the largest variety of settling behaviors. Interestingly, this range covers most microplastics and typical microorganisms. One of the modes include a stable orientation dependent only on κ and d g , but independent of initial orientation, thus allowing for the potential control of settling angles and sedimentation rates. In a simple shear flow, cross-streamline migration occurs due to the stratification-induced force generated on the particle. Similarly, a particle no longer stays at the stagnation point of a uniaxial extensional flow. While fully analytical results are obtained for spheroids, numerical simulations provide a source of validation. These simulations also provide additional insights into the stratification-induced force- and torque-producing mechanisms through the stratification-induced stress, which is not accessed in the reciprocal theorem-based analytical calculations.

Geophysical and Geological Flows: Stratified flows↗

Bayesian Inference in the Modern Design of Experiments

This paper provides an elementary tutorial overview of Bayesian inference and its potential for application in aerospace experimentation in general and wind tunnel testing in particular. Bayes Theorem is reviewed and examples are provided to illustrate how it can be applied to objectively revise prior knowledge by incorporating insights subsequently obtained from additional observations, resulting in new (posterior) knowledge that combines information from both sources. A logical merger of Bayesian methods and certain aspects of Response Surface Modeling is explored. Specific applications to wind tunnel testing, computational code validation, and instrumentation calibration are discussed.

DeLoach, Richard↗

Evidence for a 5d F-theorem

Renormalization group flows are studied between 5d SCFTs engineered by (p, q) 5-brane webs with large numbers of external 5-branes. A general expression for the free energy on S5 in terms of single-valued trilogarithm functions is derived from their supergravity duals, which are characterized by the 5-brane charges and additional geometric parameters. The additional geometric parameters are fixed by regularity conditions, and we show that the solutions to the regularity conditions extremize a trial free energy. These results are used to survey a large sample of O(10 5 ) renormalization group flows between different 5d SCFTs, including Higgs branch flows and flows that preserve the SU(2) R- symmetry. In all cases the free energy changes monotonically towards the infrared, in line with a 5d F -theorem.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

A new spin on the Weak Gravity Conjecture

The mild form of the Weak Gravity Conjecture states that quantum or higher-derivative corrections should decrease the mass of large extremal charged black holes at fixed charge. This allows extremal black holes to decay, unless protected by a symmetry (such as supersymmetry). We reformulate this conjecture as an integrated condition on the effective stress tensor capturing the effect of quantum or higher-derivative corrections. In addition to charged black holes, we also consider rotating BTZ black holes and show that this condition is satisfied as a consequence of the $\textit{c}$-theorem, proving a spinning version of the Weak Gravity Conjecture. We also apply our results to a five-dimensional boosted black string with higher-derivative corrections. The boosted black string has a BTZ×$S^2$ near-horizon geometry and, after Kaluza-Klein reduction, describes a four-dimensional charged black hole. Combining the spinning and charged Weak Gravity Conjecture we obtain positivity bounds on the five-dimensional Wilson coefficients that are stronger than those obtained from charged black holes alone.

79 ASTRONOMY AND ASTROPHYSICS↗

Properly Learning Decision Trees in almost Polynomial Time

We give an n O (log log n ) -time membership query algorithm for properly and agnostically learning decision trees under the uniform distribution over { ± 1} n . Even in the realizable setting, the previous fastest runtime was n O (log n ) , a consequence of a classic algorithm of Ehrenfeucht and Haussler. Our algorithm shares similarities with practical heuristics for learning decision trees, which we augment with additional ideas to circumvent known lower bounds against these heuristics. To analyze our algorithm, we prove a new structural result for decision trees that strengthens a theorem of O’Donnell, Saks, Schramm, and Servedio. While the OSSS theorem says that every decision tree has an influential variable, we show how every decision tree can be “pruned” so that every variable in the resulting tree is influential.

Computer Science↗

A Privacy First Path Analysis using Clickstream Data

In the modern digital economy, data-driven decision making is crucial for effectively meeting the ever-evolving demands of consumer engagement and satisfaction. Clickstream data has become invaluable for understanding customer behavior, yet concerns over privacy and security persist, especially with some internet service providers profiting from its sale. This article introduces an innovative methodology that blends experiential learning with advanced cryptographic techniques, including differential privacy and graph analytics. The core objective of this methodology is to estimate Customer Lifetime Value (CLV) by analyzing clickstream data, achieving an average prediction accuracy of 92.4% in user engagement levels while ensuring user anonymity through Recency, Frequency, and Monetary (RFM) analysis. Our study introduces the concept of a “data depositor” and a privacy manager, employing the composition theorem to merge non-adaptive queries effectively. Privacy budgets (? = 1.0, d = 10-5), sensitivity-specific techniques, and data partitioning were applied. Randomization and noise addition protect data integrity, with special handling for categorical values. This approach, differing from prior studies, offers a 12.6% improvement in privacy-preserving targeting accuracy while maintaining strict confidentiality, presenting a novel path forward in data-driven decision-making.

Frequency and Monetary (RFM) analysis↗

Spin–Orbit Matrix Elements for a Combined Spin-Flip and IP/EA approach

We introduce a practical approach for computing the Breit–Pauli spin–orbit matrix elements of multiconfigurational systems with both spin and spatial degeneracies based on our recently developed RAS-nSF-IP/EA method (Houck, S. E.; et al. J. Chem. Theory Comput. 2019, 15, 2278). The spin–orbit matrix elements over all the multiplet components are computed using a single one-particle reduced density matrix as a result of the Wigner–Eckart theorem. A mean field spin–orbit approximation was used to account for the two-electron contributions. Basis set dependence as well as the effect of including additional excitations is presented. The effect of correlating the core and semicore orbitals is also examined. Surprisingly accurate results are obtained for spin–orbit coupling constants, despite the fact that the efficient wave function approximations we research neglect the bulk of dynamical correlation.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Biased estimation for dynamic systems.

Optimization and regulation of static and dynamic systems require good estimates of the states of the system model and the parameters of the model in the presence of input and measurement noise. A biased estimator is proposed as an alternative to the familiar best linear unbiased estimator. Depending on the value of a constant, this biased estimator can be made unbiased and is then identical to the best linear unbiased estimator, thus permitting additional freedom of choice in design and application. The sum of squared errors of this bs tmator can be less than the best linear unbiased case. An existence theorem is established and various properties are discussed.

Chang, J. W.↗

Use of the sampling theorem to speed up near-field physical optics scattering calculations

Physical optics scattering calculations performed on the DSN 34-m beam-waveguide antennas at Ka-band (32 GHz) require approximately 12 hr of central processing unit time on a Cray Y-MP2 computer. This is excessive in terms of resource utilization and turnaround time. Typically, the calculations involve five surfaces, and the calculations are done two surfaces at a time. The sampling theorem is used to reduce the number of current values that must be calculated over the second surface by performing a physical optics integration over the first surface. The additional number of current values required on the second surface by subsequent physical optics integrations is obtained by interpolation over the original current values. Time improvements on the order of a factor of 2 to 4 were obtained for typical scattering pairs.

Cramer, P. W.↗

Thermodynamic Implementations of Quantum Processes

Abstract Recent understanding of the thermodynamics of small-scale systems have enabled the characterization of the thermodynamic requirements of implementing quantum processes for fixed input states. Here, we extend these results to construct optimal universal implementations of a given process, that is, implementations that are accurate for any possible input state even after many independent and identically distributed (i.i.d.) repetitions of the process. We find that the optimal work cost rate of such an implementation is given by the thermodynamic capacity of the process, which is a single-letter and additive quantity defined as the maximal difference in relative entropy to the thermal state between the input and the output of the channel. Beyond being a thermodynamic analogue of the reverse Shannon theorem for quantum channels, our results introduce a new notion of quantum typicality and present a thermodynamic application of convex-split methods.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Sines and Cosines. Part 3 of 3

In this 'Project Mathematics' series video, the addition formulas of sines and cosines are explained and their real life applications are demonstrated. Both film footage and computer animation is used. Several mathematical concepts are discussed and include: Ptolemy's theorem concerned with quadrilaterals; the difference between a central angle and an inscribed angle; sines and chord lengths; special angles; subtraction formulas; and a application to simple harmonic motion. A brief history of the city Alexandria, its mathematicians, and their contribution to the field of mathematics is shown.

Apostol, Tom M.↗

A B-B-G-K-Y framework for fluid turbulence

A kinetic theory for fluid turbulence is developed from the Liouville equation and the associated BBGKY hierarchy. Real and imaginary parts of Fourier coefficients of fluid variables play the roles of particles. Closure is achieved by the assumption of negligible five-coefficient correlation functions and probability distributions of Fourier coefficients are the basic variables of the theory. An additional approximation leads to a closed-moment description similar to the so-called eddy-damped Markovian approximation. A kinetic equation is derived for which conservation laws and an H-theorem can be rigorously established, the H-theorem implying relaxation of the absolute equilibrium of Kraichnan. The equation can be cast in the Fokker-Planck form, and relaxation times estimated from its friction and diffusion coefficients. An undetermined parameter in the theory is the free decay time for triplet correlations. Some attention is given to the inclusion of viscous damping and external driving forces.

Montgomery, D.↗

Calculation of spin–orbit couplings using RASCI spinless one-particle density matrices: Theory and applications

Here we present the formalism and implementation for calculations of spin–orbit couplings (SOCs) using the Breit–Pauli Hamiltonian and non-relativistic wave functions described by the restricted active space configuration interaction (RASCI) method with general excitation operators of spin-conserving spin-flipping, ionizing, and electron-attaching types. The implementation is based on the application of the Wigner–Eckart theorem within the spin space, which enables the calculation of the entire SOC matrix based on the explicit calculation of just one transition between the two spin multiplets. Numeric results for a diverse set of atoms and molecules highlight the importance of a balanced treatment of correlation and adequate basis sets and illustrate the overall robust performance of RASCI SOCs. The new implementation is a useful addition to the methodological toolkit for studying spin-forbidden processes and molecular magnetism.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

On optimizing a constellation of altimetric satellites for measuring global oceanic mesoscale

The orbital configuration of the Eos polar-platform constellation is examined to determine if baseline orbital parameters are appropriately specified to meet the mission goal of measuring global oceanic mesoscale variability. Using the Nyquist sampling theorem, spatial and temporal measurement requirements are first established for the constellation. Based upon these requirements, the optimum solution indicates that a total of five spacecraft are required to meet the mesoscale mapping task. Additional analyses are performed on both a two-platform configuration as well as the complete four-platform Eos constellation. The results of these calculations show that an optimized configuration of four properly-phased Eos platforms, placed into identical 835-km sun-synchronous orbits with 13-day repeat periods, can very nearly meet statistically significant sampling criteria for mapping global oceanic mesoscale variability.

Chase, Robert↗

Longitudinal dynamic stability of a shuttle vehicle.

Analytical study of the longitudinal dynamic stability of a nonrolling, lifting vehicle gliding at hypersonic speeds. The analysis applies to shuttle vehicles designed for operating up to the rim of a planetary atmosphere. A general nondimensional time transformation is introduced to derive a unified second-order linear differential equation for the angle of attack, valid for all types of reentry of a general type of vehicle. The stability of motion is discussed for two fundamental regimes of flight that are based on widely different assumptions. For near ballistic entry along a straight line trajectory, the equation reduces to a confluent hypergeometric equation, the solution of which can be expressed in terms of Whittaker's function. Using a theorem in the theory of stability of differential equations, criteria for damped oscillations are derived. It is shown that the aerodynamic criteria for stability are the same as for the case of ballistic entry. In addition, for each vehicle configuration, and specified planetary atmosphere, there exists an altitude range where the angle of attack frequency is nearly equal to the orbital frequency causing instability in pitch. This resonance instability is due to the ellipticity of the orbit. Criteria for eccentricity instability are derived.

Vinh, N. X.↗

Diamagnetic force on a flux tube

The diamagnetic force on a straight flux tube is elucidated. The case when the flux tube has a circular cross section is considered, and the result is generalized to the case of noncircular cross section. The result shows that when the external magnetic field is uniform, the diamagnetic force is simply equal to the vector multiplication of the internal conduction current and the external magnetic field. It is independent of the size and shape of the cross section of the flux tube. This is analogous to the Kutta-Joukowski theorem that the aerodynamic lift force is proportional to the vector multiplication of the unperturbed flow velocity and the circulation around the airfoil. When the external magnetic field is nonuniform, the diamagnetic force has an additional contribution which is proportional to the gradient of magnetic pressure and to the volume of the flux tube. The constant of proportionality, which is shown to be equal to two for a circular cross section, indicates the enhancement of the nonuniformity of the external magnetic field in the vicinity of the periphery by the polarization current.

Yeh, T.↗