SEARCH · Search NASA

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

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 361 records · Page 20

All sources NASA NTRS DOE OSTI

NASA NTRS1996

There aren't Non-Standard Solutions for the Braid Group Representations of the QYBE Associated with 10-D Representations of SU(4)

It is well known that the quantum Yang-Baxter equations (QYBE) play an important role in various theoretical and mathematical physics, such as completely integrable system in (1 + 1)-dimensions, exactly solvable models in statistical mechanics, the quantum inverse scattering method and the conformal field theories in 2-dimensions. Recently, much remarkable progress has been made in constructing the solutions of the QYBE associated with the representations of lie algebras. It is shown that for some cases except the standard solutions, there also exist new solutions, but the others have not non-standard solutions. In this paper by employing the weight conservation and the diagrammatic techniques we show that the solution associated with the 10-D representations of SU (4) are standard alone.

Yijun, Huang↗

NASA NTRS1982

Properties of the Eliassen-Palm flux for planetary scale motions

In an investigation of the properties of the quasi-geostrophic Eliassen-Palm (EP) flux for planetary-scale motions, particular attention is given to the relation between the EP flux divergence and the meridional flux of eddy potential vorticity, and the relations between the EP flux, group velocity, and the zonal mean refractive index in the Wentzel-Kramers-Brillouin-Jeffreys limit. This latter diagnostic has appeared in a number of different forms as that quantity whose gradient determines the refraction of group velocity paths or EP flux trajectories. The question is considered which, if any, of these forms holds for planetary scale motions. In this investigation, a planetary-scale motion is formally defined to be one for which Burger's (1958) quasigeostrophic theory is appropriate.

Palmer, T. N.↗

NASA NTRS1987

Intrinsically variable stars

The characteristics of intrinsically variable stars are examined, reviewing the results of observations obtained with the IUE satellite since its launch in 1978. Selected data on both medium-spectral-class pulsating stars (Delta Cep stars, W Vir stars, and related groups) and late-type variables (M, S, and C giants and supergiants) are presented in spectra, graphs, and tables and described in detail. Topics addressed include the calibration of the the period-luminosity relation, Cepheid distance determination, checking stellar evolution theory by the giant companions of Cepheids, Cepheid masses, the importance of the hydrogen convection zone in Cepheids, temperature and abundance estimates for Population II pulsating stars, mass loss in Population II Cepheids, SWP and LWP images of cold giants and supergiants, temporal variations in the UV lines of cold stars, C-rich cold stars, and cold stars with highly ionized emission lines.

Bohm-Vitense, Erika↗

NASA NTRS1988

Electronic materials high-T(sub c) superconductivity polymers and composites structural materials surface science and catalysts industry participation

The fifth year of the Center for Advanced Materials was marked primarily by the significant scientific accomplishments of the research programs. The Electronics Materials program continued its work on the growth and characterization of gallium arsenide crystals, and the development of theories to understand the nature and distribution of defects in the crystals. The High Tc Superconductivity Program continued to make significant contributions to the field in theoretical and experimental work on both bulk materials and thin films and devices. The Ceramic Processing group developed a new technique for cladding YBCO superconductors for high current applications in work with the Electric Power Research Institute. The Polymers and Composites program published a number of important studies involving atomistic simulations of polymer surfaces with excellent correlations to experimental results. The new Enzymatic Synthesis of Materials project produced its first fluorinated polymers and successfully began engineering enzymes designed for materials synthesis. The structural Materials Program continued work on novel alloys, development of processing methods for advanced ceramics, and characterization of mechanical properties of these materials, including the newly documented characterization of cyclic fatigue crack propagation behavior in toughened ceramics. Finally, the Surface Science and Catalysis program made significant contributions to the understanding of microporous catalysts and the nature of surface structures and interface compounds.

Source record↗

NASA NTRS1989

Development of a funding, cost, and spending model for satellite projects

The need for a predictive budget/funging model is obvious. The current models used by the Resource Analysis Office (RAO) are used to predict the total costs of satellite projects. An effort to extend the modeling capabilities from total budget analysis to total budget and budget outlays over time analysis was conducted. A statistical based and data driven methodology was used to derive and develop the model. Th budget data for the last 18 GSFC-sponsored satellite projects were analyzed and used to build a funding model which would describe the historical spending patterns. This raw data consisted of dollars spent in that specific year and their 1989 dollar equivalent. This data was converted to the standard format used by the RAO group and placed in a database. A simple statistical analysis was performed to calculate the gross statistics associated with project length and project cost ant the conditional statistics on project length and project cost. The modeling approach used is derived form the theory of embedded statistics which states that properly analyzed data will produce the underlying generating function. The process of funding large scale projects over extended periods of time is described by Life Cycle Cost Models (LCCM). The data was analyzed to find a model in the generic form of a LCCM. The model developed is based on a Weibull function whose parameters are found by both nonlinear optimization and nonlinear regression. In order to use this model it is necessary to transform the problem from a dollar/time space to a percentage of total budget/time space. This transformation is equivalent to moving to a probability space. By using the basic rules of probability, the validity of both the optimization and the regression steps are insured. This statistically significant model is then integrated and inverted. The resulting output represents a project schedule which relates the amount of money spent to the percentage of project completion.

Johnson, Jesse P.↗

NASA NTRS2000

Self-Consistent Models of Accretion Disks

Research was carried out on several topics in the theory of astrophysical accretion flows around black holes, neutron stars and white dwarfs. The focus of our effort was the advection-dominated accretion flow (ADAF) model which the PI and his collaborators proposed and developed over the last several years. Our group completed a total of 46 papers, of which 36 are in refereed journals and 12 are in conference proceedings. All the papers have either already appeared in print or are in press.

Narayan, Ramesh↗

NASA NTRS1986

Stress analysis of the cracked lap shear specimens: An ASTM round robin

This ASTM Round Robin was conducted to evaluate the state of the art in stress analysis of adhesively bonded joint specimens. Specifically, the participants were asked to calculate the strain-energy-release rate for two different geometry cracked lap shear (CLS) specimens at four different debond lengths. The various analytical techniques consisted of 2- and 3-dimensional finite element analysis, beam theory, plate theory, and a combination of beam theory and finite element analysis. The results were examined in terms of the total strain-energy-release rate and the mode I to mode II ratio as a function of debond length for each specimen geometry. These results basically clustered into two groups: geometric linear or geometric nonlinear analysis. The geometric nonlinear analysis is required to properly analyze the CLS specimens. The 3-D finite element analysis gave indications of edge closure plus some mode III loading. Each participant described his analytical technique and results. Nine laboratories participated.

Johnson, W. S.↗

NASA NTRS1987

Stress analysis of the cracked-lap-shear specimen - An ASTM round-robin

Johnson, W. S.↗

NASA NTRS1996

Theory and ontology for sharing temporal knowledge

Using current technology, the sharing or re-using of knowledge-bases is very difficult, if not impossible. ARPA has correctly recognized the problem and funded a knowledge sharing initiative. One of the outcomes of this project is a formal language called Knowledge Interchange Format (KIF) for representing knowledge that could be translated into other languages. Capturing and representing design knowledge and reasoning with them have become very important for NASA who is a pioneer of innovative design of unique products. For upgrading an existing design for changing technology, needs, or requirements, it is essential to understand the design rationale, design choices, options and other relevant information associated with the design. Capturing such information and presenting them in the appropriate form are part of the ongoing Design Knowledge Capture project of NASA. The behavior of an object and various other aspects related to time are captured by the appropriate temporal knowledge. The captured design knowledge will be represented in such a way that various groups of NASA who are interested in various aspects of the design cycle should be able to access and use the design knowledge effectively. To facilitate knowledge sharing among these groups, one has to develop a very well defined ontology. Ontology is a specification of conceptualization. In the literature several specific domains were studied and some well defined ontologies were developed for such domains. However, very little, or no work has been done in the area of representing temporal knowledge to facilitate sharing. During the ASEE summer program, I have investigated several temporal models and have proposed a theory for time that is flexible to accommodate the time elements, such as, points and intervals, and is capable of handling the qualitative and quantitative temporal constraints. I have also proposed a primitive temporal ontology using which other relevant temporal ontologies can be built. I have investigated various issues of sharing knowledge and have proposed a formal framework for modeling the concept of knowledge sharing. This work may be implemented and tested in the software environment supplied by Knowledge Based System, Inc.

Loganantharaj, Rasiah↗

NASA NTRS1975

Statistical properties of the interplanetary microscale fluctuations

Results are reported for a statistical study of short-period fluctuations in the interplanetary plasma velocity and magnetic field. The data base used consists of measurements of the interplanetary plasma and magnetic field by Pioneer 6 with a time resolution of 72 sec and by Mariner 5 with a resolution of 5 min. The analysis is conducted to characterize the parent population from which all individual microscale events on these time scales are drawn. The microscale changes are grouped according to their energy densities relative to the energy density of the background magnetic field, and it is found that each grouping exhibits certain statistical properties within the limits of observational uncertainty. It is noted that these statistical properties are purely observational and independent of any physical model which may be used to interpret them. The results are discussed in the context of MHD discontinuity theory for a thermally anisotropic plasma.

Belcher, J. W.↗

NASA NTRS1990

International Jupiter Watch - A program to study the time variability of the Jovian system

The International Jupiter Watch is a program for the encouragement and coordination of the study of temporal variations in the Jovian system. It consists of six discipline working groups concerned with: the Io torus under N. Schneider; the Jovian atmosphere under R. West; the magnetosphere and radio emissions under I. de Peter and M. Klein; aurora under J. Caldwell; the Galilean satellites under W. Sinton and J. Goguen; and laboratory measurement and theory under B. Lutz. To date the IJW has held two workshops and selected several Jupiter Watch periods for coordinated observations. The next Jupiter Watch workshop is tentatively scheduled for 1990 in association with the next COSPAR meeting.

Russell, C. T.↗

NASA NTRS1998

An Integrated Environment for Efficient Formal Design and Verification

The general goal of this project was to improve the practicality of formal methods by combining techniques from model checking and theorem proving. At the time the project was proposed, the model checking and theorem proving communities were applying different tools to similar problems, but there was not much cross-fertilization. This project involved a group from SRI that had substantial experience in the development and application of theorem-proving technology, and a group at Stanford that specialized in model checking techniques. Now, over five years after the proposal was submitted, there are many research groups working on combining theorem-proving and model checking techniques, and much more communication between the model checking and theorem proving research communities. This project contributed significantly to this research trend. The research work under this project covered a variety of topics: new theory and algorithms; prototype tools; verification methodology; and applications to problems in particular domains.

Source record↗

NASA NTRS2005

Mathematical Metaphors: Problem Reformulation and Analysis Strategies

This paper addresses the critical need for the development of intelligent or assisting software tools for the scientist who is working in the initial problem formulation and mathematical model representation stage of research. In particular, examples of that representation in fluid dynamics and instability theory are discussed. The creation of a mathematical model that is ready for application of certain solution strategies requires extensive symbolic manipulation of the original mathematical model. These manipulations can be as simple as term reordering or as complicated as discovery of various symmetry groups embodied in the equations, whereby Backlund-type transformations create new determining equations and integrability conditions or create differential Grobner bases that are then solved in place of the original nonlinear PDEs. Several examples are presented of the kinds of problem formulations and transforms that can be frequently encountered in model representation for fluids problems. The capability of intelligently automating these types of transforms, available prior to actual mathematical solution, is advocated. Physical meaning and assumption-understanding can then be propagated through the mathematical transformations, allowing for explicit strategy development.

Thompson, David E.↗

NASA NTRSDate not supplied

Planning and Monitoring for Swarm Search and Service Missions

To transition from control theory to real applications, it is important to study missions such as Swarm Search and Service (SSS) where vehicles are not only required to search an area, but also service all jobs that they find. In SSS missions each type of job requires a group of vehicles to break-off from the swarm for a given amount of time to successfully service it. The required number of vehicles and the service rate are unique to each job type. Once a job has been completed the vehicles are able to return to the swarm for use elsewhere. If not enough vehicles are present in the swarm at the time that the job is identified, that job is dropped without being serviced. Human operators as tasked with effectively planning and managing these complex missions. This work presents a user study that seeks to test the efficacy and ease-of-use of a prediction model known as the Hybrid Model as an aid in planning and monitoring tasks. Results show that the novel computational model aid allows operators to more effectively choose the necessary swarm size to handle expected mission workload, as well as, maintain sufficient situation awareness to evaluate the performance of the swarm during missions.

swarm search and service↗

NASA NTRS2021

Planning and Monitoring Multi-Job Type Swarm Search and Service Missions

To transition from control theory to real applications, it is important to study missions such as Swarm Search and Service (SSS) where vehicles are not only required to search an area, but also service all jobs that they find. In SSS missions, each type of job requires a group of vehicles to break off from the swarm for a given amount of time to service it. The required number of vehicles and the service rate are unique to each job type. Once a job has been completed, the vehicles are able to return to the swarm for use elsewhere. If not, enough vehicles are present in the swarm at the time that the job is identified, that job is dropped without being serviced. In SSS missions that occur in open environments, the arrival rate of jobs varies dynamically as vehicles move in and out of the swarm to service jobs. Human operators are tasked with effectively planning and managing these complex missions. This paper presents a user study that seeks to test the efficacy and ease-of-use of a prediction model known as the Hybrid Model as an aid in planning and monitoring tasks. Results show that the novel computational model aid allows operators to more effectively choose the necessary swarm size to handle expected mission workload, as well as, maintain sufficient situation awareness to evaluate the performance of the swarm during missions.

swarm search and service↗

NASA NTRS2006

Dynamic Theory of Relativistic Electrons Stochastic Heating by Whistler Mode Waves with Application to the Earth Magnetosphere

In the Hamiltonian approach an electron motion in a coherent packet of the whistler mode waves propagating along the direction of an ambient magnetic field is studied. The physical processes by which these particles are accelerated to high energy are established. Equations governing a particle motion by group symmetries of the problem were transformed in to a closed pair of nonlinear difference equations. The solutions of these equations have shown there exists the energetic threshold below that the electron motion is regular, and when the initial energy is above the threshold an electron moves stochastically. It is proved that the upper boundary of particle stochastic heating is conditioned by intrinsic property of the particle chaotic motion. Particle energy spectra and pitch angle electron scattering are described by the Fokker-Planck-Kolmogorov equations. It is shown that significant pitch angle diffusion occurs for the Earth radiation belt electrons with energies from a few keV up to a few MeV.

Khazanov, G. V.↗

NASA NTRS1977

The correlation function for density perturbations in an expanding universe. II - Nonlinear theory

A formalism is developed to find the two-point and higher-order correlation functions for a given distribution of sizes and shapes of perturbations which are randomly placed in three-dimensional space. The perturbations are described by two parameters such as central density and size, and the two-point correlation function is explicitly related to the luminosity function of groups and clusters of galaxies

Mcclelland, J.↗

NASA NTRS1987

Research papers and publications (1981-1987): Workload research program

An annotated bibliography of the research reports written by participants in NASA's Workload Research Program since 1981 is presented, representing the results of theoretical and applied research conducted at Ames Research Center and at universities and industrial laboratories funded by the program. The major program elements included: 1) developing an understanding of the workload concept; 2) providing valid, reliable, and practical measures of workload; and 3) creating a computer model to predict workload. The goal is to provide workload-related design principles, measures, guidelines, and computational models. The research results are transferred to user groups by establishing close ties with manufacturers, civil and military operators of aerospace systems, and regulatory agencies; publishing scientific articles; participating in and sponsoring workshops and symposia; providing information, guidelines, and computer models; and contributing to the formulation of standards. In addition, the methods and theories developed have been applied to specific operational and design problems at the request of a number of industry and government agencies.

Hart, Sandra G.↗