Computer experiments on the microscopic theory of plasmas
Computer methods and microscopic plasma theory
SEARCH · Search NASA
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.
Computer methods and microscopic plasma theory
Concepts and techniques that have proved successful in the computational theory of shockless airfoils are examined. Shockless airfoils have been used in the design of supercritical wings for fuel-efficient aircraft. In transonic aerodynamics, it is has been found that test data agree well with the best results obtained from CFD. This is particularly true for two-dimensional flow, where accurate experiments are difficult to perform and numerical calculations are relatively easy. However, it is important to choose reasonable models in setting up the computations. Particular attention is given to the formulation of the relevant differential equations in ways that have been found to be satisfactory in practice.
As part of a multiphased program for subsonic transport high-lift flight research, flight tests were conducted on the Transport Systems Research Vehicle (B737-100 aircraft) at the NASA Langley Research Center, to obtain detailed flow characteristics of the high-lift flap system for correlation with computational and wind-tunnel investigations. Pressure distributions, skin friction, and flow-visualization measurements were made on a triple-slotted flap system for a range of flap deflections, chord Reynolds numbers (10 to 21 million), and Mach numbers (0.16 to 0.36). Experimental test results are given for representative flap settings indicating flow separation on the fore-flap element for the largest flap deflection. Comparisons of the in-flight flow measurements were made with predictions from available viscous multielement computational methods modified with simple-sweep theory. Computational results overpredicted the experimentally measured pressures, particularly in the case involving separation of the fore lap, indicating the need for better modeling of confluent boundary layers and three-dimensional sweep effects.
A low frequency unsteady lifting-line theory is developed for a harmonically oscillating wing of large aspect ratio. The wing is assumed to be chordwise rigid but completely flexible in the span direction. The theory is developed by use of the method of matched asymptotic expansions which reduces the problem from a singular integral equation to quadrature. The wing displacements are prescribed and the pressure field, airloads, and unsteady induced downwash are obtained in closed form. The influence of reduced frequency, aspect ratio, planform shape, and mode of oscillation on wing aerodynamics is demonstrated through numerical examples. Compared with lifting-surface theory, computation time is reduced significantly. Using the present theory, the energetic quantities associated with the propulsive performance of a finite wing oscillating in combined pitch and heave are obtained in closed form. Numerical examples are presented for an elliptic wing.
This paper presents research on the abstraction of computational theories for scheduling and resource allocation. The paper describes both theory and methods for the automated generation of aggregation abstractions and approximations in which detailed resource allocation constraints are replaced by constraints between aggregate demand and capacity. The interaction of aggregation abstraction generation with the more thoroughly investigated abstractions of weakening operator preconditions is briefly discussed. The purpose of generating abstract theories for aggregated demand and resources includes: answering queries about aggregate properties, such as gross feasibility; reducing computational costs by using the solution of aggregate problems to guide the solution of detailed problems; facilitating reformulating theories to approximate problems for which there are efficient problem-solving methods; and reducing computational costs of scheduling by providing more opportunities for variable and value-ordering heuristics to be effective. Experiments are being developed to characterize the properties of aggregations that make them cost effective. Both abstract and concrete theories are represented in a variant of first-order predicate calculus, which is a parameterized multi-sorted logic that facilitates specification of large problems. A particular problem is conceptually represented as a set of ground sentences that is consistent with a quantified theory.
A method for obtaining free body responses from dynamic tests on a constrained structure is investigated for practical feasibility. The method is based on the principle that a constrained structure can be considered to be a free body acted upon by multiple forces which include the forces of constraint. By measuring these forces and by exciting the structure so as to develop linearly independent sets of forces, the response of the free body to one force at a time can be computed. Techniques for producing these independent forces are discussed. The development of the theory, computer simulations of tests of representative aerospace vehicles (including experimental error), and a description and listing of the computer programs developed are included. The procedure appears to be a practical method for obtaining in-flight characteristics of such vehicles.
Our research is investigating abstraction of computational theories for scheduling and resource allocation. These theories are represented in a variant of first order predicate calculus, parameterized multisorted logic, that facilitates specification of large problems. A particular problem is conceptually stated as a set of ground sentences that are consistent with a quantified theory. We are mainly investigating the automated generation of aggregation abstractions and approximations in which detailed resource allocation constraints are replaced by constraints between aggregate demand and capacity. We are also investigating the interaction of aggregation abstractions with the more thoroughly investigated abstractions of weakening operator preconditions. The purpose of the theories for aggregated demand/capacity is threefold: first, to answer queries about aggregate properties, such as gross feasibility; second, to reduce computational costs by using the solution of aggregate problems to guide the solution of detailed problems; and third, to facilitate reformulating theories to approximate problems for which there are efficient problem solving methods. We also describe novel methods for exploiting aggregation abstractions.
A set of simple queuing theory models which can model the average response of a network of computers to a given traffic load has been implemented using a spreadsheet. The impact of variations in traffic patterns and intensities, channel capacities, and message protocols can be assessed using them because of the lack of fine detail in the network traffic rates, traffic patterns, and the hardware used to implement the networks. A sample use of the models applied to a realistic problem is included in appendix A. Appendix B provides a glossary of terms used in this paper. This Ames Research Center computer communication network is an evolving network of local area networks (LANs) connected via gateways and high-speed backbone communication channels. Intelligent planning of expansion and improvement requires understanding the behavior of the individual LANs as well as the collection of networks as a whole.
Unsteady lifting-line theory is developed for a wing of large aspect ratio oscillating at low frequency in inviscid incompressible flow. The wing is assumed to have a rigid chord but a flexible span. Use of the method of matched asymptotic expansions reduces the problem from a singular integral equation to quadrature. The pressure field and airloads, for a prescribed wing shape and motion, are obtained in closed form as expansions in inverse aspect ratio. A rigorous definition of unsteady induced downwash is also obtained. Numerical calculations are presented for an elliptic wing in pitch and heave; compared with numerical lifting-surface theory, computation time is reduced significantly. The present work also identifies and resolves errors in the unsteady lifting line theory of James (1975), and points out a limitation in that of Van Holten (1975, 1976, 1977).
The transport of a reacting permeant diffusing through a thin membrane is extended to more realistic dissociation models. A new nonlinear analysis of the reaction-diffusion equations, using implicit finite-difference methods and direct block solvers, is used to study the limits of linearized and equilibrium theories. Computed curves of molecular oxygen permeating through hemoglobin solution are used to illustrate higher-order reaction models, the effect of concentration boundary layers at the membrane interfaces, and the transient buildup of oxygen flux.
The piecewise-sinusoidal reaction technique is applied to low frequency radiation and scattering from noncircular cylinders with perfect or imperfect conductivity. This report presents the theory, computer programs and numerical results for these two-dimensional problems with the TE polarization.
The reaction concept is employed to formulate an integral equation for radiation and scattering from plates, corner reflectors, and dielectric-coated conducting cylinders. The surface-current density on the conducting surface is expanded with subsectional bases. The dielectric layer is modeled with polarization currents radiating in free space. Maxwell's equation and the boundary conditions are employed to express the polarization-current distribution in terms of the surface-current density on the conducting surface. By enforcing reaction tests with an array of electric test sources, the moment method is employed to reduce the integral equation to a matrix equation. Inversion of the matrix equation yields the current distribution, and the scattered field is then obtained by integrating the current distribution. The theory, computer program and numerical results are presented for radiation and scattering from plates, corner reflectors, and dielectric-coated conducting cylinders.
The theory, computer program, and numerical results of an investigation of an axial slot antenna on a circular cylinder are discussed. The cylinder is partially coated with a dielectric layer and the antenna radiates through a flush mounted window. The study was conducted to determine the effects of a high temperature dielectric layer on the performance of antennas mounted on a space shuttle. Mathematical models are developed to show the relationships of the parameters. Curves are developed to compare the theoretical and actual far field radiation patterns.
An instrument was designed and built that measures the light scattered at several angles in the forward direction simultaneously. The instrument relies on an optical multiplexing technique for frequency encoding of the different channels suitable for detection by a single photodetector. A Mie theory computer program was used to calculate the theoretical volume scattering function for a suspension of polystyrene latex spheres. The agreement between the theoretical and experimental volume scattering functions is taken as a verification of the calibration technique used.
Articles on theoretical and applied mathematics are introduced. The articles cover information that might be of interest to workers in statistics and information theory, computational aids that could be used by scientists and engineers, and mathematical techniques for design and control.
The linear, non-linear and anomalous transport properties associated with various microinstabilities driven by cross field currents in reconnecting geometries are reviewed. An assessment of their role in collisionless tearing based on analytic theory, computer simulations and experimental evidence, supports the dominant role of lower hybrid waves. The relevance of microturbulence on macroscopic stationary and time dependent models of merging is presented. It is concluded that a fluid-numerical simulation approach that includes (at each space and time step) the effects of anomalous transport in a self consistent manner, similar to the one used for laboratory collisionless shocks, represents the best method for studying and modeling the details of the reconnection process.
How an expert system reasons about its own ability to deal with a particular problem is studied. Ideally, an expert system ought to rapidly recognize that a particular problem is beyond its abilities and defer to another, perhaps human, expert. This capability is extremely important in domains where expert systems may control life critical processes such as air traffic control, medicine, strategic defense, and manned space exploration. The methods used by knowledge engineers to infuse an expert system with knowledge of its own limitations is surveyed. A computability theory is employed to analyze the general problem of meta-knowledge and to give insight into the efficacy of specific solutions.
We have developed new upwind kinetic difference schemes for flows with non-equilibrium thermodynamics and chemistry. These schemes are derived from the Boltzmann equation with the resulting Euler schemes developed as moments of the discretized Boltzmann scheme with a locally Maxwellian velocity distribution. Splitting the velocity distribution at the Boltzmann level is seen to result in a flux-split Euler scheme and is called Kinetic Flux Vector Splitting (KFVS). Extensions to flows with finite-rate chemistry and vibrational relaxation is accomplished utilizing nonequilibrium kinetic theory. Computational examples are presented comparing KFVS with the schemes of Van Leer and Roe for a quasi-one-dimensional flow through a supersonic diffuser, inviscid flow through two-dimensional inlet, and viscous flow over a cone at zero angle-of-attack. Calculations are also shown for the transonic flow over a bump in a channel and the transonic flow over an NACA 0012 airfoil. The results show that even though the KFVS scheme is a Riemann solver at the kinetic level, its behavior at the Euler level is more similar to the existing flux-vector splitting algorithms than to the flux-difference splitting scheme of Roe.