SEARCH · Search NASA

Results for “representation theoretic methods”

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 55 records · Page 3

All sources NASA NTRS DOE OSTI

NASA NTRS1982

Aircraft geometry verification with enhanced computer generated displays

A method for visual verification of aerodynamic geometries using computer generated, color shaded images is described. The mathematical models representing aircraft geometries are created for use in theoretical aerodynamic analyses and in computer aided manufacturing. The aerodynamic shapes are defined using parametric bi-cubic splined patches. This mathematical representation is then used as input to an algorithm that generates a color shaded image of the geometry. A discussion of the techniques used in the mathematical representation of the geometry and in the rendering of the color shaded display is presented. The results include examples of color shaded displays, which are contrasted with wire frame type displays. The examples also show the use of mapped surface pressures in terms of color shaded images of V/STOL fighter/attack aircraft and advanced turboprop aircraft.

Cozzolongo, J. V.↗

NASA NTRS1983

Quantile Data Analysis of Image Data

Quantile data analysis and functional statistical inference methods are introduced and applied to provide representations of spectral data which may lead to simple statistical discriminators effective for the estimation of ground truth from satellite spectral measurements. To estimate the ground truth of a pixel, the probability of each possible ground truth is estimated, given observed (estimated) quantile theoretic statistical characteristics of the multispectral image data corresponding to the pixel and its neighboring pixels. A strategy for determining which statistical characteristics discriminate best is described. Results are reported of quantile data analysis of an extensive collection of training files of image data.

Parzen, E.↗

NASA NTRS1982

Aircraft geometry verification with enhanced computer-generated displays

A method for visual verification of aerodynamic geometries using computer-generated, color-shaded images is described. The mathematical models representing aircraft geometries are created for use in theoretical aerodynamic analyses and in computer-aided manufacturing. The aerodynamic shapes are defined using parametric bi-cubic splined patches. This mathematical representation is then used as input to an algorithm that generates a color-shaded image of the geometry. A discussion of the techniques used in the mathematical representation of the geometry and in the rendering of the color-shaded display is presented. The results include examples of color-shaded displays, which are contrasted with wire-frame-type displays. The examples also show the use of mapped surface pressures in terms of color-shaded images of V/STOL fighter/attack aircraft and advanced turboprop aircraft.

Cozzolongo, J. V.↗

NASA NTRS1972

Concepts for a theoretical and experimental study of lifting rotor random loads and vibrations. Phase 6-A: Effects of blade torsion, of blade flap bending flexibility and of rotor support flexibility on rotor stability and random response

The effects of lifting rotor blade torsion, blade flap bending flexibility and rotor support flexibility on rotor stability and random response are described. The subjects discussed are: (1) blade representation and method of analysis, (2) random gust response statistics for coupled torsion-flapping rotor blade vibrations, (3) flap bending corrections to the rigid blade analysis of lifting rotors, and (4) effects of rotor support flexibility. The response of linear periodically time varying systems to random excitation is examined.

Hohenemser, K. H.↗

NASA NTRS1986

An embedding method for the steady Euler equations

Certain difficulties arise in connection with the numerical solution of a direct finite difference representation of the steady Euler equations. Johnson (1979, 1981, 1982) has, therefore, proposed a surrogate-equation technique, in which the first-order steady Euler equations are embedded in a certain second-order system of equations. The present paper is concerned with the theoretical justification for such an embedding approach. For the numerical solution of the two-dimensional steady Euler equations, it is shown that, under a continuity restriction, it is possible to solve a second-order embedded system together with appropriate additional boundary conditions. The result indicates that a more direct and potentially more efficient approach to the steady solutions exists than the alternative of solving the unsteady equations.

Chang, S.-H.↗

NASA NTRS1983

Analysis of direct and nearby lightning strike data for aircraft

A method for interpreting direct strike and nearby strike lightning data on aircraft is discussed. The theoretical basis for the interpretation involves a transmission line model for the aircraft, and is discussed. Results of applying this model to the F-106 aircraft are presented and in the natural resonances are computed for several different electrical representations of the aircraft. The signal processing techniques useful for extracting pole (resonance) information from experimental data are discussed, and the use of these techniques on the measured lightning data is illustrated. Finally, the results of a related ground-based lightning experiment are discussed and data are presented. The purpose of this test was to gain additional understanding of the resonance properties of the F-106 aircraft.

Giri, D. V.↗

NASA NTRS1986

Simple methods of exploiting the underlying structure of rule-based systems

Much recent work in the field of expert systems research has aimed at exploiting the underlying structures of the rule base for reasons of analysis. Such techniques as Petri-nets and GAGs have been proposed as representational structures that will allow complete analysis. Much has been made of proving isomorphisms between the rule bases and the mechanisms, and in examining the theoretical power of this analysis. In this paper we describe some early work in a new system which has much simpler (and thus, one hopes, more easily achieved) aims and less formality. The technique being examined is a very simple one: OPS5 programs are analyzed in a purely syntactic way and a FSA description is generated. In this paper we describe the technique and some user interface tools which exploit this structure.

Hendler, James↗

NASA NTRS1975

Downward continuation of gravity information from satellite to satellite tracking or satellite gradiometry in local areas

Integral formulas in the parameter domain are used instead of a representation by spherical harmonics. The neglected regions will cause a truncation error. The application of the discrete form of the integral equations connecting the satellite observations with surface gravity anomalies is discussed in comparison with the least squares prediction method. One critical point of downward continuation is the proper choice of the boundary surface. Practical feasibilities are in conflict with theoretical considerations. The properties of different approaches for this question are analyzed.

Rummel, R.↗

NASA NTRS2006

Intelligence for Human-Assistant Planetary Surface Robots

The central premise in developing effective human-assistant planetary surface robots is that robotic intelligence is needed. The exact type, method, forms and/or quantity of intelligence is an open issue being explored on the ERA project, as well as others. In addition to field testing, theoretical research into this area can help provide answers on how to design future planetary robots. Many fundamental intelligence issues are discussed by Murphy [2], including (a) learning, (b) planning, (c) reasoning, (d) problem solving, (e) knowledge representation, and (f) computer vision (stereo tracking, gestures). The new "social interaction/emotional" form of intelligence that some consider critical to Human Robot Interaction (HRI) can also be addressed by human assistant planetary surface robots, as human operators feel more comfortable working with a robot when the robot is verbally (or even physically) interacting with them. Arkin [3] and Murphy are both proponents of the hybrid deliberative-reasoning/reactive-execution architecture as the best general architecture for fully realizing robot potential, and the robots discussed herein implement a design continuously progressing toward this hybrid philosophy. The remainder of this chapter will describe the challenges associated with robotic assistance to astronauts, our general research approach, the intelligence incorporated into our robots, and the results and lessons learned from over six years of testing human-assistant mobile robots in field settings relevant to planetary exploration. The chapter concludes with some key considerations for future work in this area.

Hirsh, Robert↗

NASA NTRS2003

Modeling, Analyzing, and Mitigating Dissonance Between Alerting Systems

Alerting systems are becoming pervasive in process operations, which may result in the potential for dissonance or conflict in information from different alerting systems that suggests different threat levels and/or actions to resolve hazards. Little is currently available to help in predicting or solving the dissonance problem. This thesis presents a methodology to model and analyze dissonance between alerting systems, providing both a theoretical foundation for understanding dissonance and a practical basis from which specific problems can be addressed. A state-space representation of multiple alerting system operation is generalized that can be tailored across a variety of applications. Based on the representation, two major causes of dissonance are identified: logic differences and sensor error. Additionally, several possible types of dissonance are identified. A mathematical analysis method is developed to identify the conditions for dissonance originating from logic differences. A probabilistic analysis methodology is developed to estimate the probability of dissonance originating from sensor error, and to compare the relative contribution to dissonance of sensor error against the contribution from logic differences. A hybrid model, which describes the dynamic behavior of the process with multiple alerting systems, is developed to identify dangerous dissonance space, from which the process can lead to disaster. Methodologies to avoid or mitigate dissonance are outlined. Two examples are used to demonstrate the application of the methodology. First, a conceptual In-Trail Spacing example is presented. The methodology is applied to identify the conditions for possible dissonance, to identify relative contribution of logic difference and sensor error, and to identify dangerous dissonance space. Several proposed mitigation methods are demonstrated in this example. In the second example, the methodology is applied to address the dissonance problem between two air traffic alert and avoidance systems: the existing Traffic Alert and Collision Avoidance System (TCAS) vs. the proposed Airborne Conflict Management system (ACM). Conditions on ACM resolution maneuvers are identified to avoid dynamic dissonance between TCAS and ACM. Also included in this report is an Appendix written by Lee Winder about recent and continuing work on alerting systems design. The application of Markov Decision Process (MDP) theory to complex alerting problems is discussed and illustrated with an abstract example system.

Song, Lixia↗

NASA NTRS1991

A graph theoretic approach to scene matching

The ability to match two scenes is a fundamental requirement in a variety of computer vision tasks. A graph theoretic approach to inexact scene matching is presented which is useful in dealing with problems due to imperfect image segmentation. A scene is described by a set of graphs, with nodes representing objects and arcs representing relationships between objects. Each node has a set of values representing the relations between pairs of objects, such as angle, adjacency, or distance. With this method of scene representation, the task in scene matching is to match two sets of graphs. Because of segmentation errors, variations in camera angle, illumination, and other conditions, an exact match between the sets of observed and stored graphs is usually not possible. In the developed approach, the problem is represented as an association graph, in which each node represents a possible mapping of an observed region to a stored object, and each arc represents the compatibility of two mappings. Nodes and arcs have weights indicating the merit or a region-object mapping and the degree of compatibility between two mappings. A match between the two graphs corresponds to a clique, or fully connected subgraph, in the association graph. The task is to find the clique that represents the best match. Fuzzy relaxation is used to update the node weights using the contextual information contained in the arcs and neighboring nodes. This simplifies the evaluation of cliques. A method of handling oversegmentation and undersegmentation problems is also presented. The approach is tested with a set of realistic images which exhibit many types of sementation errors.

Ranganath, Heggere S.↗

NASA NTRS1990

Modeling and synthesis of multicomputer interconnection networks

The type of interconnection network employed has a profound effect on the performance of a multicomputer and multiprocessor design. Adequate models are needed to aid in the design and development of interconnection networks. A novel modeling approach using statistical and optimization techniques is described. This method represents an attempt to compare diverse interconnection network designs in a way that allows not only the best of existing designs to be identified but to suggest other, perhaps hybrid, networks that may offer better performance. Stepwise linear regression is used to develop a polynomial surface representation of performance in a (k+1) space with a total of k quantitative and qualitative independent variables describing graph-theoretic characteristics such as size, average degree, diameter, radius, girth, node-connectivity, edge-connectivity, minimum dominating set size, and maximum number of prime node and edge cutsets. Dependent variables used to measure performance are average message delay and the ratio of message completion rate to network connection cost. Response Surface Methodology (RSM) optimizes a response variable from a polynomial function of several independent variables. Steepest ascent path may also be used to approach optimum points.

Standley, Hilda M.↗

NASA NTRS1989

An opacity-sampled treatment of water vapor

Although the bands of H2O are strong in the spectra of cool stars and calculations have repeatedly demonstrated their significance as opacity sources, only approximate opacities are currently available, due both to the difficulty of accounting for the millions of lines involved and to the inadequacy of laboratory and theoretical data. To overcome these obstacles, a new treatment is presented, based upon a statistical representation of the water vapor spectrum derived from available laboratory data. This statistical spectrum of water vapor employs an exponential distribution of line strengths and random positions of lines whose overall properties are forced to reproduce the mean opacities observed in the laboratory. The resultant data set is then treated by the opacity-sampling method exactly as are all other lines, both molecular and atomic. Significant differences are found between the results of this improved treatment and the results obtained with previous treatments of water-vapor opacity.

Alexander, David R.↗

NASA NTRS1982

Prediction of sound radiation from different practical jet engine inlets

Computer codes which were based upon a special integral representation of the external solutions of the Helmholtz equation were upgraded so that they would yield accurate results for the acoustic radiation patterns in the field surrounding an axisymmetric body for nondimensional wave numbers, based on duct radius, of up to twenty. The accuracy of these computer programs was checked by the use of the point source method for the generation of exact solutions and then by comparison with the results of other experimental and theoretical studies. These computer codes were used in a parametric study of the dependence of the radiated sound field on input modal distribution, wave number, and inlet lip shape. The results of this study show that: (1) as the wave number (i.e., cut off ratio) is increased for a given input modal distribution that the acoustic radiation peak moves towards the inlet centerline and becomes more compact (i.e., narrows); (2) as the input mode number is increased for a given cut off ratio the acoustic radiation peak moves away from the inlet centerline and becomes more compact.

Meyer, W. L.↗

NASA NTRS1990

Theoretical characterization of the potential energy surface for H + N2 yields HN2. II - Computed points to define a global potential

A previous calculation for H + N2 (Walch et al., 1989) focused on the minimum energy path (MEP) region of the potential energy surface and on estimates of the lifetime of the HN2 species. In this paper, energies computed at geometries selected to permit a global representation of the potential energy surface (PES) are reported. As in the previous work, the calculations were performed using the complete active space self-consistent field/externally contracted configuration interaction method. The surface was characterized using the same basis set as in the previous paper except that an improved contraction of the H s-basis is used. Calculations with a larger basis set were carried out along an approximate MEP obtained with the smaller basis set. The new PES exhibits a sharp curvature, which was not present in the previous calculations, and has a slightly narrower and smaller barrier to dissociation. Saddle points for H atom exchange via collinear and T shaped HN2 complexes are also reported.

Walch, Stephen P.↗

NASA NTRS1989

Finite solid representation of robot manipulation in three-dimensional geometric reasoning

Intelligence robotic system design involves sensor allocation and sensor data fusion. In the field of geometric reasoning, a fast and effective representation method is needed to determine the physical dimensions of the manipulator as well as the motion environment in sufficient detail. Due to the capability of current sensor technology, the integrity of the sensor information is location dependent and point-wise, line-wise and plane-wise in nature. In order to maneuver the robot by reasoning the environment, there is a minimum requirement of prior information for integrating the allocated sensor feedback. Some new theoretical developments of how to associate the number and the locations of the sensors with three-dimensional geometry of the robot and the motion environment is presented. The related collision avoidance problem (CAP) will be addressed as well.

Chen, Alexander Y. K.↗

NASA NTRS1991

On the integration of reinforcement learning and approximate reasoning for control

The author discusses the importance of strengthening the knowledge representation characteristic of reinforcement learning techniques using methods such as approximate reasoning. The ARIC (approximate reasoning-based intelligent control) architecture is an example of such a hybrid approach in which the fuzzy control rules are modified (fine-tuned) using reinforcement learning. ARIC also demonstrates that it is possible to start with an approximately correct control knowledge base and learn to refine this knowledge through further experience. On the other hand, techniques such as the TD (temporal difference) algorithm and Q-learning establish stronger theoretical foundations for their use in adaptive control and also in stability analysis of hybrid reinforcement learning and approximate reasoning-based controllers.

Berenji, Hamid R.↗

NASA NTRS1977

On the representation matrices of the spin permutation group

A method is presented for the determination of the representation matrices of the spin permutation group (symmetric group), a detailed knowledge of these matrices being required in the study of the electronic structure of atoms and molecules. The method is characterized by the use of two different coupling schemes. Unlike the Yamanouchi spin algebraic scheme, the method is not recursive. The matrices for the fundamental transpositions can be written down directly in one of the two bases. The method results in a computationally significant reduction in the number of matrix elements that have to be stored when compared with, say, the standard Young tableaux group theoretical approach.

Wilson, S.↗