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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2019

Electromagnetic Scattering by Discrete Random Media. I: The Dispersion Equation and the Configuration-Averaged Exciting Field

We consider the scattering of a plane electromagnetic wave obliquely incident on a plane-parallel layer of discrete random medium with non-scattering boundaries. We solve the Lax integral equation for the conditional configuration-averaged exciting field coefficients by assuming a special-form solution, that is, by representing the conditional configuration-averaged exciting field coefficients as a linear combination of the coefficients corresponding to an up-going and a down-going wave. This solution representation is supposed to be valid within the whole domain occupied by the particles, even in the close proximity of the boundaries. By balancing the waves with different propagation directions and wavenumbers we derive two homogeneous systems of equations corresponding to the generalized Lorenz–Lorentz law and two inhomogeneous systems of equations corresponding to the generalized Ewald–Oseen extinction theorem. It is shown that (i) the two homogeneous systems of equations of the generalized Lorenz–Lorentz law reduce to a single homogeneous system of equations corresponding to a semi-infinite discrete random medium at normal incidence; (ii) the dispersion equation is direction and polarization independent; and (iii) the two inhomogeneous systems of equations of the generalized Ewald–Oseen extinction theorem can be reduced to two scalar equations by means of the addition theorem for vector spherical harmonics. It is also shown that the same dispersion equation can be obtained without assuming a special-form solution representation in the proximity of the boundaries.

Adrian Doicu↗
NASA NTRS1978

Fresnel drag effect in fiber optic gyroscope

Consideration is given to the development of a low-noise fiber-optic ring interferometer gyroscope. A technique for measuring the Fresnel drag coefficient of optical fibers is described, and the accuracy of the technique is considered. An experiment is performed which allows verification of the Einstein velocity addition theorem to the first nonlinear term. An experimental setup for measuring Fresnel drag is described: it consists of a Sagnac interferometer and a Fresnel drag measurement configuration.

Vali, V.↗
NASA NTRS1981

Three methods for performing Hankel transforms

Three methods for performing Hankel transforms with optical or digital processors are described. The first method is applicable when the input data is available in Cartesian (x-y) format and uses the close connection between generalized Hankel transform and the two dimensional Fourier transform in Cartesian coordinates. The second method is useful when the input data is in polar (r - theta) format and uses change of variables to perform the nth order Hankel transform as a correlation integral. The third method utilizes the von Neumann addition theorem for Bessel functions to extract the Hankel coefficients from a correlation between the radial part of the input and a Bessel function. Initial experimental results obtained for optical implementation of the first two methods are presented.

Athale, R. A.↗
NASA NTRS1982

Line shape of the non-thermal 6300 A O/1D/ emission

The two-population model of Schmitt, Abreu and Hays (1981) is used to calculate the line shape of the atomic oxygen metastable state, nonthermal O(1D) 6300 A emission, in order to simulate observations made from a space platform at different zenith angles and altitudes. The Addition theorem, for spherical harmonics of a Legendre polynomial expansion of the nonthermal population distribution function, is used to obtain nonthermal line shapes observed at zenith angles other than the local vertical one.

Schmitt, G. A.↗
NASA NTRS1978

A fixed point theorem for certain operator valued maps

In this paper, we develop a family of Neuberger-like results to find points z epsilon H satisfying L(z)z = z and P(z) = z. This family includes Neuberger's theorem and has the additional property that most of the sequences q sub n converge to idempotent elements of B sub 1(H).

Brown, D. R.↗
NASA NTRS1984

Solar-flare-induced Forbush decreases - Dependence on shock wave geometry

It is argued that the principal mechanism for the association of Forbush decreases with the passage of a solar flare shock wave is prolonged containment of cosmic ray particles behind the flare compression region, which acts as a semipermeable obstacle to particle motion along the field lines, leading to additional adiabatic cooling of the particles. Liouville's theorem is used to calculate the instantaneous distribution function at 1 AU for each particle arriving at the earth. By averaging over a large number of individual estimates, a representative estimate of the omnidirectional phase space density and the corresponding particle intensity is obtained. The energy change of individual particles at the shocks is found to be small in comparison to the energy lost by adiabatic cooling of the cosmic rays between the shock wave and the sun. The effects of particle rigidity, diffusion coefficient, and flare longitude on the magnitude of the Forbush decrease are quantitatively investigated.

Thomas, B. T.↗
NASA NTRS1994

Heat release effects on the instability of parallel shear layers

The influence of time-dependent heat addition on the linear instablity of shear layers is of considerable interest in understanding the dynamic behavior of reacting flows and combustion-turbulence interactions. The approach is based upon the Bernoulli enthalpy aeroacoustics theory, which utilizes the specific enthalpy and specific entropy as the primary thermodynamic variables. In addition, velocity oscillations are split into Helmoholtz decomposition theorem.

Hegde, U.↗
NASA NTRS1993

Vortex generation and mixing in three-dimensional supersonic combustors

The generation and evolution of the flow vorticity established by instream injector ramps in a high Mach number/high enthalpy scramjet combustor flow-field are described in detail for a number of computational cases. Classical fluid dynamic circulation is presented for these cases in order to clarify the spatial distribution and convection of the vorticity. The ability of the simulations to accurately represent Stokes Law of circulation is discussed and shown. In addition, the conservation of swirl (effectively the moment-of-momentum theorem) is presented for these flows. The impact of both turbulent diffusion and the vortex/ramp non-uniformity on the downstream mixing rate is clearly illustrated. A correlation over the length of the combustor between fuel-air mixing and a parameter called the vortex stirring length is demonstrated. Finally, computational results for a representative ramp injector are compared with experimental data. Influence of the stream vorticity on the effective turbulent Prandtl number used in the simulation is discussed.

Riggins, D. W.↗
NASA NTRS1994

Development of New Open-Shell Perturbation and Coupled-Cluster Theories Based on Symmetric Spin Orbitals

A new spin orbital basis is employed in the development of efficient open-shell coupled-cluster and perturbation theories that are based on a restricted Hartree-Fock (RHF) reference function. The spin orbital basis differs from the standard one in the spin functions that are associated with the singly occupied spatial orbital. The occupied orbital (in the spin orbital basis) is assigned the delta(+) = 1/square root of 2(alpha+Beta) spin function while the unoccupied orbital is assigned the delta(-) = 1/square root of 2(alpha-Beta) spin function. The doubly occupied and unoccupied orbitals (in the reference function) are assigned the standard alpha and Beta spin functions. The coupled-cluster and perturbation theory wave functions based on this set of "symmetric spin orbitals" exhibit much more symmetry than those based on the standard spin orbital basis. This, together with interacting space arguments, leads to a dramatic reduction in the computational cost for both coupled-cluster and perturbation theory. Additionally, perturbation theory based on "symmetric spin orbitals" obeys Brillouin's theorem provided that spin and spatial excitations are both considered. Other properties of the coupled-cluster and perturbation theory wave functions and models will be discussed.

Lee, Timothy J.↗
NASA NTRSDate not supplied

Formalized Reasoning of Operational Volumes for Wildland Fire Fighting

This work is focused on the formalized reasoning of operational volumes as it relates to the current and future technologies developed by NASA to aid in wildfire fighting operations. One such technology is the unmanned aircraft system pilot kit (UASP-kit) developed by the Scalable Traffic Management for Emergency Response Operations (STEReO) project at NASA, which is used to increase situation awareness for a ground operator in the field. The UASP-kit utilizes operational volumes which represent mission areas and alerting volumes, to alert when another aircraft is within one of these volumes from received ADS-B data. This work is focused on developing a rigorous foundation for the concept of operational volumes for modeling and prototyping operations in such a tool as the UASP-kit. This includes establishing a class of algorithms to detect when an object is in an operational volume, and when an operational volume is intersecting or contained within another. Additionally, this work is focused on providing rigorous proof in an interactive theorem prover that the algorithms work as intended. Scenarios are presented that model current UASP-kit operations and extend past the current capabilities of the technology to modeling more complex scenarios such as mission planning.

Operational Volumes↗
NASA NTRS1983

Global transformations of nonlinear systems

Necessary and sufficient conditions for a nonlinear system of equations to be locally equivalent, in a neighborhood of the origin in the real number system, to a controllable linear system are combined with several versions of the global inverse function theorem to define sufficient conditions for transforming the nonlinear system into a linear system. Additionally, a technique is introduced for developing a transformation under the assumptions that the columns of a controllability matrix span an n-dimensional space. Finally, the n-l form of the controllability matrix columns is demonstrated to be involutive

Hunt, L. R.↗
NASA NTRS1992

Mechanically verified hardware implementing an 8-bit parallel IO Byzantine agreement processor

Consider a network of four processors that use the Oral Messages (Byzantine Generals) Algorithm of Pease, Shostak, and Lamport to achieve agreement in the presence of faults. Bevier and Young have published a functional description of a single processor that, when interconnected appropriately with three identical others, implements this network under the assumption that the four processors step in synchrony. By formalizing the original Pease, et al work, Bevier and Young mechanically proved that such a network achieves fault tolerance. We develop, formalize, and discuss a hardware design that has been mechanically proven to implement their processor. In particular, we formally define mapping functions from the abstract state space of the Bevier-Young processor to a concrete state space of a hardware module and state a theorem that expresses the claim that the hardware correctly implements the processor. We briefly discuss the Brock-Hunt Formal Hardware Description Language which permits designs both to be proved correct with the Boyer-Moore theorem prover and to be expressed in a commercially supported hardware description language for additional electrical analysis and layout. We briefly describe our implementation.

Moore, J. Strother↗