Search NASA⌕ Search

SEARCH · Search NASA

Results for “SET 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 379 records · Page 21
All sourcesNASA NTRSDOE OSTI
NASA NTRS1988

Nature and the nonlinear evolution of electrostatic waves associated with the AMPTE solar wind releases

The nonlinear evolution of the electrostatic waves observed during the AMPTE (Active Magnetosphere Particle Tracer Explorers) solar wind releases is investigated. Previous linear studies indicate two distinct sets of instabilities may be responsible for the generation. One set consists of ion-acoustic type instabilities which are insensitive to the presence of a background magnetic field, while the other group corresponds to the modified two stream instabilities and requires the solar wind flow to be across the ambient magnetic field. To establish which set of instabilities is more viable a detailed linear Vlasov theory has been conducted by numerically solving the full electromagnetic dispersion relation. In addition both the plasma wave as well as the magnetic field measurements by the IRM (Ion Release Module) spacecraft were used to correlate the frequency and the power of the observed waves with the magnitude and the direction of the solar wind magnetic field. The results of these analyses indicate that the ion-acoustic type instabilities have growth rates that are an order of magnitude or more larger than those of the modified two stream instabilities. Results show that both the solar wind protons and the released ions may be heated and accelerated in the directions oblique to the solar wind flow velocity.

Omidi, N.↗
NASA NTRS1990

Z mode radiation in Jupiter's magnetosphere - The source of Jovian continuum radiation

Observations of Z-mode waves in Jupiter's magnetosphere are analyzed. The assumption that the frequency of the intensity minimum, which isolates the signal, corresponds to the electron plasma frequency provides a consistent interpretation of all spectral features in terms of plasma resonances and cutoffs. It is shown that the continuum radiation is composed of both left-hand and right-hand polarized waves with distinct cutoffs observed at the plasma frequency and right-hand cutoff frequency, respectively. It is found that the Z-mode peak frequency lies close to the left-hand cutoff frequency, suggesting that the observed characteristics of the emission are the result of wave reflection at the cutoff layer. Another distinct emission occurring near the upper hybrid resonance frequency is detected simultaneously with the Z mode. The entire set of observations gives strong support to the linear mode theory of the conversion of upper hybrid waves to continuum radiation mediated by the Z mode via the Budden radio window mechanism.

Barbosa, D. D.↗
NASA NTRS1991

Robust control of systems with real parameter uncertainty and unmodelled dynamics

During this research period we have made significant progress in the four proposed areas: (1) design of robust controllers via H infinity optimization; (2) design of robust controllers via mixed H2/H infinity optimization; (3) M-delta structure and robust stability analysis for structured uncertainties; and (4) a study on controllability and observability of perturbed plant. It is well known now that the two-Riccati-equation solution to the H infinity control problem can be used to characterize all possible stabilizing optimal or suboptimal H infinity controllers if the optimal H infinity norm or gamma, an upper bound of a suboptimal H infinity norm, is given. In this research, we discovered some useful properties of these H infinity Riccati solutions. Among them, the most prominent one is that the spectral radius of the product of these two Riccati solutions is a continuous, nonincreasing, convex function of gamma in the domain of interest. Based on these properties, quadratically convergent algorithms are developed to compute the optimal H infinity norm. We also set up a detailed procedure for applying the H infinity theory to robust control systems design. The desire to design controllers with H infinity robustness but H(exp 2) performance has recently resulted in mixed H(exp 2) and H infinity control problem formulation. The mixed H(exp 2)/H infinity problem have drawn the attention of many investigators. However, solution is only available for special cases of this problem. We formulated a relatively realistic control problem with H(exp 2) performance index and H infinity robustness constraint into a more general mixed H(exp 2)/H infinity problem. No optimal solution yet is available for this more general mixed H(exp 2)/H infinity problem. Although the optimal solution for this mixed H(exp 2)/H infinity control has not yet been found, we proposed a design approach which can be used through proper choice of the available design parameters to influence both robustness and performance. For a large class of linear time-invariant systems with real parametric perturbations, the coefficient vector of the characteristic polynomial is a multilinear function of the real parameter vector. Based on this multilinear mapping relationship together with the recent developments for polytopic polynomials and parameter domain partition technique, we proposed an iterative algorithm for coupling the real structured singular value.

Chang, Bor-Chin↗
NASA NTRS1992

Extension and validation of an unsteady wake model for rotors

A new three-dimensional, finite-state induced-flow model is extended to treat nonlinearities associated with the mass flow induced through the rotor plane. This new theory is then applied to the correlation of a recent set of unsteady, hover laser Doppler velocimetry inflow measurements conducted in the Aeroelastic Rotor Test Chamber at Georgia Institute of Technology. Although the model is intended primarily as a representation of unsteady aerodynamics for aeroelasticity applications, the results show that it has an excellent capability in predicting the inflow distribution in hover except near the root and tip. In addition, the computed unsteady spanwise lift distribution of a rotor is compared with that from an unsteady vortex lattice method for pitch oscillations at various frequencies. The new model is shown to be capable of prediction of unsteady loads typical of aeroelastic response.

Su, AY↗
NASA NTRS1992

Intelligent virtual reality in the setting of fuzzy sets

The authors have previously introduced the concept of virtual reality worlds governed by artificial intelligence. Creation of an intelligent virtual reality was further proposed as a universal interface for the handicapped. This paper extends consideration of intelligent virtual realty to a context in which fuzzy set principles are explored as a major tool for implementing theory in the domain of applications to the disabled.

Dockery, John↗
NASA NTRS1993

A new constitutive equation for elastomers

A new mathematical approach for quantifying the mechanical properties of elastomeric materials under biaxial loads is presented. Specific equations relating principal strains and principal true stresses for a homogeneous, isotropic, and elastic material are proposed that resemble the conventional Hooke's law of linear elasticity. The predicted stresses are compared to those from three different sets of experimental data and to stresses from three different theories based on Rivlin's work-of-deformation approach. The proposed approach is considered to be of benefit to design engineers involved in a broad range of rubber products.

Erickson, Larry↗
NASA NTRS1994

Improved modeling of GPS selective availability

Selective Availability (SA) represents the dominant error source for stand-alone users of the Global Positioning System (GPS). Even for DGPS, SA mandates the update rate required for a desired level of accuracy in realtime applications. As was witnessed in the recent literature, the ability to model this error source is crucial to the proper evaluation of GPS-based systems. A variety of SA models were proposed to date; however, each has its own shortcomings. Most of these models were based on limited data sets or data which were corrupted by additional error sources. A comprehensive treatment of the problem is presented. The phenomenon of SA is discussed and a technique is presented whereby both clock and orbit components of SA are identifiable. Extensive SA data sets collected from Block 2 satellites are presented. System Identification theory then is used to derive a robust model of SA from the data. This theory also allows for the statistical analysis of SA. The stationarity of SA over time and across different satellites is analyzed and its impact on the modeling problem is discussed.

Braasch, Michael S.↗
NASA NTRS1994

Constrained minimization of smooth functions using a genetic algorithm

The use of genetic algorithms for minimization of differentiable functions that are subject to differentiable constraints is considered. A technique is demonstrated for converting the solution of the necessary conditions for a constrained minimum into an unconstrained function minimization. This technique is extended as a global constrained optimization algorithm. The theory is applied to calculating minimum-fuel ascent control settings for an energy state model of an aerospace plane.

Moerder, Daniel D.↗
NASA NTRS1994

An ab initio study of HCuCO

HCuCO is studied using a large Gaussian basis set at the coupled cluster singles and doubles level of theory, including a perturbational estimate of the connected triples (CCSD(T)). In contrast with CuCO, HCuCO is linear. The Cu-CO bond in HCuCO is significantly stronger than in CuCO. These differences between HCuCO and CuCO are discussed in terms of theCu-H bond polarizing the Cu 4s electron away from the CO.

Bauschlicher, Charles W., Jr.↗
NASA NTRS1996

Symmetries in Turbulent Boundary Layer Flows

The objective is the development of a new theory which enables the algorithmic computation of all self-similar mean velocity profiles. The theory is based on Liegroup analysis and unifies a large set of self-similar solutions for the mean velocity of stationary parallel turbulent shear flows. The results include the logarithmic law of the wall, an algebraic law, the viscous sublayer, the linear region in the middle of a Couette flow and in the middle of a rotating channel flow, and a new exponential mean velocity profile not previously reported. Experimental results taken in the outer parts of a high Reynolds number flat-plate boundary layer, strongly support the exponential profile. From experimental as well as from DNS data of a turbulent channel flow the algebraic scaling law could be confirmed in both the center region and in the near wall region. In the case of the logarithmic law of the wall, the scaling with the wall distance arises as a result of the analysis and has not been assumed in the derivation. The crucial part of the derivation of all the different mean velocity profiles is to consider the invariance of the equation for the velocity fluctuations at the same time as the invariance of the equation for the velocity product equations. The latter is the dyad product of the velocity fluctuations with the equation for the velocity fluctuations. It has been proven that all the invariant solutions are also consistent with similarity of all velocity moment equations up to any arbitrary order.

Oberlack, M.↗
NASA NTRS2002

Simulating Activities: Relating Motives, Deliberation and Attentive Coordination

Activities are located behaviors, taking time, conceived as socially meaningful, and usually involving interaction with tools and the environment. In modeling human cognition as a form of problem solving (goal-directed search and operator sequencing), cognitive science researchers have not adequately studied "off-task" activities (e.g., waiting), non-intellectual motives (e.g., hunger), sustaining a goal state (e.g., playful interaction), and coupled perceptual-motor dynamics (e.g., following someone). These aspects of human behavior have been considered in bits and pieces in past research, identified as scripts, human factors, behavior settings, ensemble, flow experience, and situated action. More broadly, activity theory provides a comprehensive framework relating motives, goals, and operations. This paper ties these ideas together, using examples from work life in a Canadian High Arctic research station. The emphasis is on simulating human behavior as it naturally occurs, such that "working" is understood as an aspect of living. The result is a synthesis of previously unrelated analytic perspectives and a broader appreciation of the nature of human cognition. Simulating activities in this comprehensive way is useful for understanding work practice, promoting learning, and designing better tools, including human-robot systems.

Clancey, William J.↗
NASA NTRS2003

A Framework for Categorizing Important Project Variables

While substantial research has led to theories concerning the variables that affect project success, no universal set of such variables has been acknowledged as the standard. The identification of a specific set of controllable variables is needed to minimize project failure. Much has been hypothesized about the need to match project controls and management processes to individual projects in order to increase the chance for success. However, an accepted taxonomy for facilitating this matching process does not exist. This paper surveyed existing literature on classification of project variables. After an analysis of those proposals, a simplified categorization is offered to encourage further research.

Parsons, Vickie S.↗
NASA NTRS2011

Uncertainty Assessments of 2D and Axisymmetric Hypersonic Shock Wave - Turbulent Boundary Layer Interaction Simulations at Compression Corners

This paper is one of a series of five papers in a special session organized by the NASA Fundamental Aeronautics Program that addresses uncertainty assessments for CFD simulations in hypersonic flow. Simulations of a shock emanating from a compression corner and interacting with a fully developed turbulent boundary layer are evaluated herein. Mission relevant conditions at Mach 7 and Mach 14 are defined for a pre-compression ramp of a scramjet powered vehicle. Three compression angles are defined, the smallest to avoid separation losses and the largest to force a separated flow engaging more complicated flow physics. The Baldwin-Lomax and the Cebeci-Smith algebraic models, the one-equation Spalart-Allmaras model with the Catrix-Aupoix compressibility modification and two-equation models including Menter SST, Wilcox k-omega 98, and Wilcox k-omega 06 turbulence models are evaluated. Each model is fully defined herein to preclude any ambiguity regarding model implementation. Comparisons are made to existing experimental data and Van Driest theory to provide preliminary assessment of model form uncertainty. A set of coarse grained uncertainty metrics are defined to capture essential differences among turbulence models. Except for the inability of algebraic models to converge for some separated flows there is no clearly superior model as judged by these metrics. A preliminary metric for the numerical component of uncertainty in shock-turbulent-boundary-layer interactions at compression corners sufficiently steep to cause separation is defined as 55%. This value is a median of differences with experimental data averaged for peak pressure and heating and for extent of separation captured in new, grid-converged solutions presented here. This value is consistent with existing results in a literature review of hypersonic shock-turbulent-boundary-layer interactions by Roy and Blottner and with more recent computations of MacLean.

Gnoffo, Peter A.↗
NASA NTRS1988

Application of bifurcation theory to axial flow compressor instability

When a compression system goes unstable, the mode of response depends on the operating and system parameters, such as throttle setting and B parameter. Previous numerical work on the model developed by Moore and Greitzer (1986) has provided a limited picture of the parametric effects. Applying bifurcation theory to a single-harmonic version of the model has supplied much more complete information, defining the boundaries of each mode of response in the parameter space. Specifically, this is shown in a plot of B vs. throttle setting, which compares well with the corresponding map produced experimentally. The importance of the shape of the rotating stall characteristic is emphasized. The analysis shows a qualitative difference between classic surge and deep surge.

Mccaughan, F. E.↗
NASA NTRS1980

Research directions in large scale systems and decentralized control

Control theory provides a well established framework for dealing with automatic decision problems and a set of techniques for automatic decision making which exploit special structure, but it does not deal well with complexity. The potential exists for combining control theoretic and knowledge based concepts into a unified approach. The elements of control theory are diagrammed, including modern control and large scale systems.

Tenney, R. R.↗
NASA NTRS1965

On time changes in a digraph.

Probabilistic model for analyzing changes through time in binary dyadic relation on finite set of points

PROBABILITY THEORY↗
NASA NTRS1990

Differential geometry techniques for sets of nonlinear partial differential equations

An attempt is made to show that the Cartan theory of partial differential equations can be a useful technique for applied mathematics. Techniques for finding consistent subfamilies of solutions that are generically rich and well-posed and for introducing potentials or other usefully consistent auxiliary fields are introduced. An extended sample calculation involving the Korteweg-de Vries equation is given.

Estabrook, Frank B.↗
NASA NTRS1982

An investigation of impurity centers in semiconductors of variable composition. Part 1: General theory and some applications

A theory of deep point defects imbedded in otherwise perfect semiconductor crystals is developed with the aid of pseudopotentials. The dominant short-range forces engendered by the impurity are sufficiently weakened in all cases where the cancellation theorem of the pseudopotential formalism is operative. Thus, effective-mass-like equations exhibiting local effective potentials derived from nonlocal pseudopotentials are shown to be valid for a large class of defects. A two-band secular determinant for the energy eigenvalues of deep defects is also derived from the set of integral equations which corresponds to the set of differential equations of the effective-mass type. Subsequently, the theory in its simplest form, is applied to the system Al(x)Ga(1-x)As:Se. It is shown that the one-electron donor level of Se within the forbidden gap of Al(x)Ga(1-x)As as a function of the AlAs mole fraction x reaches its maximum of about 300 meV (as measured from the conduction band edge) at the cross-over from the direct to the indirect band-gap at x = 0.44 in agreement with experiments.

Vonroos, O. H.↗