Search NASA⌕ Search

SEARCH · Search NASA

Results for “GREEN 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.

43 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1997

Analysis of Stub Loaded Microstrip Patch Antennas

A microstrip patch antenna fed by a coaxial probe and reactively loaded by a open circuited microstrip line has been used previously to produce circular polarization and also as a building block for a series fed microstrip patch array. Rectangular and circular patch antennas loaded with a microstrip stub were previously analyzed using the generalized Thevenin theorem. In the Thevenin theorem approach, the mutual coupling between the patch current and the surface current on the stub was not taken into account. Also, the Thevenin theorem approach neglects continuity of current at the patch-stub junction. The approach in this present paper includes the coupling between the patch and stub currents as well as continuity at the patch-stub junction. The input impedance for a stub loaded microstrip patch is calculated by the general planar dielectric dyadic Green's function approach in the spectral domain, as was initiated much earlier and has been extensively expanded upon and utilized successfully throughout the literature for microstrip antenna configurations. Using the spectral domain dyadic Green s function derived earlier with the electric field integral equation (EFIE), the problem is formulated by using entire domain basis functions to represent the surface current densities on the patch, the loading stub and the attachment mode at the junction. Galerkin's procedure is used to reduce the EFIE to a matrix equation, which is then solved to obtain the amplitudes of the surface currents. These surface currents are then used for calculating the input impedance of stub loaded rectangular and circular microstrip patches. Numerical results are compared with measured results and with previous results calculated by the Thevenin's theorem approach.

Deshpande, M. D.↗
NASA NTRS1995

Analytical and phenomenological studies of rotating turbulence

A framework, which combines mathematical analysis, closure theory, and phenomenological treatment, is developed to study the spectral transfer process and reduction of dimensionality in turbulent flows that are subject to rotation. First, we outline a mathematical procedure that is particularly appropriate for problems with two disparate time scales. The approach which is based on the Green's method leads to the Poincare velocity variables and the Poincare transformation when applied to rotating turbulence. The effects of the rotation are now reflected in the modifications to the convolution of a nonlinear term. The Poincare transformed equations are used to obtain a time-dependent analog of the Taylor-Proudman theorem valid in the asymptotic limit when the non-dimensional parameter mu is identical to Omega(t) approaches infinity (Omega is the rotation rate and t is the time). The 'split' of the energy transfer in both direct and inverse directions is established. Secondly, we apply the Eddy-Damped-Quasinormal-Markovian (EDQNM) closure to the Poincare transformed Euler/Navier-Stokes equations. This closure leads to expressions for the spectral energy transfer. In particular, an unique triple velocity decorrelation time is derived with an explicit dependence on the rotation rate. This provides an important input for applying the phenomenological treatment of Zhou. In order to characterize the relative strength of rotation, another non-dimensional number, a spectral Rossby number, which is defined as the ratio of rotation and turbulence time scales, is introduced. Finally, the energy spectrum and the spectral eddy viscosity are deduced.

Mahalov, Alex↗
NASA NTRS1983

The use of a formal simulator to verify a simple real time control program

The authors present an initial and elementary investigation of the formal specification and mechanical verification of programs that interact with environments. They describe a mechanical proof that a simple, real time control program keeps a vehicle on a straightline course in a variable crosswind. To formalize the specification they define a mathematical function which models the interaction of the program and its environment. They then state and proved two theorems about this function: the simulated vehicle never gets farther than three units away from the intended course, and it comes to the course if the wind ever remains steady for at least four sampling units.

Boyer, R. S.↗
NASA NTRS1983

Investigation, Development, and Evaluation of Performance Proving for Fault-tolerant Computers

A number of methodologies for verifying systems and computer based tools that assist users in verifying their systems were developed. These tools were applied to verify in part the SIFT ultrareliable aircraft computer. Topics covered included: STP theorem prover; design verification of SIFT; high level language code verification; assembly language level verification; numerical algorithm verification; verification of flight control programs; and verification of hardware logic.

Levitt, K. N.↗
NASA NTRS1985

Remote sensing of earth terrain

Progress on the investigation of the anisotropy of the terrain media, such as vegetation canopy and sea ice, and the study of the fluctuation-dissipation theorem in conjunction with the application of strong fluctuation theory for passive remote sensing of snowpacks is reported. The Feynman diagrammatic technique is used to derive the Dyson equation for the mean field and the Bethe-Salpeter equation for the correlation or the covariance of the field for electromagnetic wave propagation and scattering in an anisotropic random medium. With the random permittivity expressed in a general form, the bilocal and the nonlinear approximations are employed to solve the Dyson equation and the ladder approximation to the Bethe-Salpeter equation. The mean dyadic Green's function for a two layer anisotropic random medium with arbitrary three dimensional correlation function was investigated with the zeroth-order solutions to the Dyson equation under the four characteristic waves associated with the coherent vector fields propagating in an anisotropic random medium layer, which are the ordinary and extraordinary waves with upward and downward propagating vectors.

Kong, J. A.↗
NASA NTRS1999

Improving the Accuracy of Quadrature Method Solutions of Fredholm Integral Equations that Arise from Nonlinear Two-Point Boundary Value Problems

In this paper we are concerned with high-accuracy quadrature method solutions of nonlinear Fredholm integral equations of the form y(x) = r(x) + integral(0 to 1) g(x,t) F(t, y(t)) dt, 0 less than or equal to x less than or equal to 1, where the kernel function g(x,t) is continuous, but its partial derivatives have finite jump discontinuities across x = t. Such integrals equations arise, e.g., when one applies Green's function techniques to nonlinear two-point boundary value problems of the form U''(x) = f(x,y(x)), 0 less than or equal to x less than or equal to 1, with y(0) = y(sub 0) and g(l) = y(sub 1), or other linear boundary conditions. A quadrature method that is especially suitable and that has been employed for such equations is one based on the trapezoidal rule that has a low accuracy. By analyzing the corresponding Euler-Maclaurin expansion, we derive suitable correction terms that we add to the trapezoidal thus obtaining new numerical quadrature formulas of arbitrarily high accuracy that we also use in defining quadrature methods for the integral equations above. We prove an existence and uniqueness theorem for the quadrature method solutions, and show that their accuracy is the same as that of the underlying quadrature formula. The solution of the nonlinear systems resulting from the quadrature methods is achieved through successive approximations whose convergence is also proved. The results are demonstrated with numerical examples.

Sidi, Avram↗
NASA NTRS1999

Improving the Accuracy of Quadrature Method Solutions of Fredholm Integral Equations That Arise from Nonlinear Two-Point Boundary Value Problems

In this paper we are concerned with high-accuracy quadrature method solutions of nonlinear Fredholm integral equations of the form y(x) = r(x) + definite integral of g(x, t)F(t,y(t))dt with limits between 0 and 1,0 less than or equal to x les than or equal to 1, where the kernel function g(x,t) is continuous, but its partial derivatives have finite jump discontinuities across x = t. Such integral equations arise, e.g., when one applied Green's function techniques to nonlinear two-point boundary value problems of the form y "(x) =f(x,y(x)), 0 less than or equal to x less than or equal to 1, with y(0) = y(sub 0) and y(l) = y(sub l), or other linear boundary conditions. A quadrature method that is especially suitable and that has been employed for such equations is one based on the trepezoidal rule that has a low accuracy. By analyzing the corresponding Euler-Maclaurin expansion, we derive suitable correction terms that we add to the trapezoidal rule, thus obtaining new numerical quadrature formulas of arbitrarily high accuracy that we also use in defining quadrature methods for the integral equations above. We prove an existence and uniqueness theorem for the quadrature method solutions, and show that their accuracy is the same as that of the underlying quadrature formula. The solution of the nonlinear systems resulting from the quadrature methods is achieved through successive approximations whose convergence is also proved. The results are demonstrated with numerical examples.

Sidi, Avram↗