Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Computational graph”

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 451 records · Page 25

A simplified optical model description of heavy ion fragmentation

The abrasion-ablation model of heavy-ion frgmentation by target nuclei of Townsend (1983) and the EVAP Monte Carlo computer program (Guthrie, 1970) for decay probabilities are applied to calculate the production cross sections of isotopes of S, P, Si, and Al for the fragmentation of 213-MeV/nucleon Ar-40 ions by C-12 targets and of Fe, Mn, Cr, V, Ti, Sc, and Ca for 1.88-GeV Fe-56 fragmentation by Pb-208 and by C-12. The results are presented in tables and graphs and shown to be in good agreement with the experimental data of Viyogi et al. (1979) and Westfall et al. (1979). The implications of these studies for the design of radiation shielding for long-term manned space missions are indicated.

Townsend, L. W.↗

Mars Relay Lander and Orbiter Overflight Profile Estimation

This software allows science and mission operations to view graphs of geometric overflights of satellites and landers within the Mars (or other planetary) networks. It improves on the MaROS Web interface within any modern Web browser, in that it adds new capabilities to the MaROS suite. The profile for an overflight is an important element for selecting communication/ overflight opportunities between the landers and orbiters within the Mars network. Unfortunately, determining these estimates is very computationally expensive and difficult to compute by hand. This software allows the user to select different overflights (via the existing MaROS Web interface) and specify the smoothness of the estimation. Estimates for the geometric relationship between a lander and an orbiter are determined based upon the orbital conditions of the orbiter at the moment the orbiter rises above the horizon from the perspective of the lander. It utilizes 2-body orbital equations to propagate the trajectory through the duration of the view period, and returns profiles that represent the range between the two vehicles, and the elevation and azimuth angles of the orbiter as measured from the lander s position. The algorithms assume a 2-body relationship with an ideal, spherical planetary body, so therefore can see errors less than 2% at polar landing sites on Mars. These algorithms are being implemented to provide rough estimates rapidly for the geometry of a geometric view period where more complete data is unavailable, such as for planning purposes. While other software for this task exists, each at the time of this reporting has been contained within a much more complicated package. This tool allows science and mission operations to view the estimates with a few clicks of the mouse.

Wallick, Michael N.↗

Unsteady transonic flows - Introduction, current trends, applications

The computational treatment of unsteady transonic flows is discussed, reviewing the historical development and current techniques. The fundamental physical principles are outlined; the governing equations are introduced; three-dimensional linearized and two-dimensional linear-perturbation theories in frequency domain are described in detail; and consideration is given to frequency-domain FEMs and time-domain finite-difference and integral-equation methods. Extensive graphs and diagrams are included.

Yates, E. C., Jr.↗

Artificial intelligence approach to planning the robotic assembly of large tetrahedral truss structures

An assembly planner for tetrahedral truss structures is presented. To overcome the difficulties due to the large number of parts, the planner exploits the simplicity and uniformity of the shapes of the parts and the regularity of their interconnection. The planning automation is based on the computational formalism known as production system. The global data base consists of a hexagonal grid representation of the truss structure. This representation captures the regularity of tetrahedral truss structures and their multiple hierarchies. It maps into quadratic grids and can be implemented in a computer by using a two-dimensional array data structure. By maintaining the multiple hierarchies explicitly in the model, the choice of a particular hierarchy is only made when needed, thus allowing a more informed decision. Furthermore, testing the preconditions of the production rules is simple because the patterned way in which the struts are interconnected is incorporated into the topology of the hexagonal grid. A directed graph representation of assembly sequences allows the use of both graph search and backtracking control strategies.

Homemdemello, Luiz S.↗

Performance Enhancement Strategies for Multi-Block Overset Grid CFD Applications

The overset grid methodology has significantly reduced time-to-solution of highfidelity computational fluid dynamics (CFD) simulations about complex aerospace configurations. The solution process resolves the geometrical complexity of the problem domain by using separately generated but overlapping structured discretization grids that periodically exchange information through interpolation. However, high performance computations of such large-scale realistic applications must be handled efficiently on state-of-the-art parallel supercomputers. This paper analyzes the effects of various performance enhancement strategies on the parallel efficiency of an overset grid Navier-Stokes CFD application running on an SGI Origin2000 machinc. Specifically, the role of asynchronous communication, grid splitting, and grid grouping strategies are presented and discussed. Details of a sophisticated graph partitioning technique for grid grouping are also provided. Results indicate that performance depends critically on the level of latency hiding and the quality of load balancing across the processors.

Djomehri, M. Jahed↗

Data-Flow Based Model Analysis

The concept of (meta) modeling combines an intuitive way of formalizing the structure of an application domain with a high expressiveness that makes it suitable for a wide variety of use cases and has therefore become an integral part of many areas in computer science. While the definition of modeling languages through the use of meta models, e.g. in Unified Modeling Language (UML), is a well-understood process, their validation and the extraction of behavioral information is still a challenge. In this paper we present a novel approach for dynamic model analysis along with several fields of application. Examining the propagation of information along the edges and nodes of the model graph allows to extend and simplify the definition of semantic constraints in comparison to the capabilities offered by e.g. the Object Constraint Language. Performing a flow-based analysis also enables the simulation of dynamic behavior, thus providing an "abstract interpretation"-like analysis method for the modeling domain.

Saad, Christian↗

Performability analysis using semi-Markov reward processes

Beaudry (1978) proposed a simple method of computing the distribution of performability in a Markov reward process. Two extensions of Beaudry's approach are presented. The method is generalized to a semi-Markov reward process by removing the restriction requiring the association of zero reward to absorbing states only. The algorithm proceeds by replacing zero-reward nonabsorbing states by a probabilistic switch; it is therefore related to the elimination of vanishing states from the reachability graph of a generalized stochastic Petri net and to the elimination of fast transient states in a decomposition approach to stiff Markov chains. The use of the approach is illustrated with three applications.

Ciardo, Gianfranco↗

Validating system-level error recovery for spacecraft

The system-level software onboard a spacecraft is responsible for recovery from communication, thermal, power, and computer-health anomalies that may occur. The recovery must occur without disrupting any critical scientific or engineering activity that is executing at the time of the error. Thus, the error-recovery software may have to execute concurrently with the ongoing acquisition of scientific data or with spacecraft maneuvers. This paper provides a technique by which the rules that constrain the concurrent execution of these processes can be modeled in a graph. An algorithm is described that uses this model to validate that the constraints hold for all concurrent executions of the error-recovery softwave with the softwave that controls the science and engineering events on the spacecraft.

Lutz, Robyn R.↗

Constraint checking during error recovery

The system-level software onboard a spacecraft is responsible for recovery from communication, power, thermal, and computer-health anomalies that may occur. The recovery must occur without disrupting any critical scientific or engineering activity that is executing at the time of the error. Thus, the error-recovery software may have to execute concurrently with the ongoing acquisition of scientific data or with spacecraft maneuvers. This work provides a technique by which the rules that constrain the concurrent execution of these processes can be modeled in a graph. An algorithm is described that uses this model to validate that the constraints hold for all concurrent executions of the error-recovery software with the software that controls the science and engineering activities of the spacecraft. The results are applicable to a variety of control systems with critical constraints on the timing and ordering of the events they control.

Lutz, Robyn R.↗

Component response to random vibratory motion of the carrier vehicle

Two physical models of component plus supporting substructure are considered. Each model consists of a rigid body attached to a moving base by means of linear springs and viscous dampers. The second model differs from the first in that its dampers are elastically supported. The first model receives the more extensive treatment. Base motion, assumed a random translational motion parallel to a fixed axis, is prescribed only to the extent that the power spectral density (PSD) of its acceleration is given; and, as given, its plot on log-log graph paper is a series of straight line segments, each segment having an extremity in common with the adjacent segment. Closed expressions are given for the mean squares of base acceleration, base velocity, and base displacement. The component is restricted to planar motion and allowed two degrees of freedom, one translational and one rotational. Integral expressions are given for the mean squares of component response variables, the transfer functions essential to mean square computation being available via the equations of motion. Closed expressions are given for mean squares of certain of the response variables for the case wherein the base acceleration PSD is constant.

Tuell, L. P.↗

A neurocomputer based on an analog-digital hybrid architecture

A novel analog-digital hybrid architecture based on the utilization of high density digital random access memories for the storage of the synaptic weights of a neural network, and high speed analog hardware to perform neural computation is described. An electronic neurocomputer based on such an architecture is ideally suited for investigating the dynamics, associative recall properties, and computational capabilities of neural networks and provides significant speed improvement in comparison to conventional software based neural network simulations. As a demonstration of the feasibility of the hybrid architectural concept, a prototype breadboard hybrid neurocomputer system with 32 neurons has been designed and fabricated with off-the-shelf hardware components. The performance of the breadboard system has been tested for variety of applications including associative memory and combinatorial problem solving such as Graph Coloring, and is discussed in this paper.

Moopenn, A.↗

Scientific data visualization software - Trends and directions

Scientific data visualization has finally come of age as an important and accepted discipline. While scientists have been using computer graphics to visualize experimental data and computational results for at least 30 years, recent improvements in cost/performance of graphics workstations, more readily available software, and a new-found identity based on the report "Visualization in Scientific Computing" (McCormick, DeFanti, and Brown, 1987) have solidified the discipline. The thesis here is that scientists are forced to work too hard to create these visualizations, but that the evolving set of visualization tools can greatly reduce the requisite effort. The architecture of a new class of software can lead to a more widespread availability of interactive visualization tools, which can make the process of creating a visualization as simple as doing interactive chart and graph layout.

Foley, James D.↗

Fault detection and initial state verification by linear programming for a class of Petri nets

The authors present an algorithmic approach to determining when the marking of a LSMG (live safe marked graph) or a LSFC (live safe free choice) net is in the set of live safe markings M. Hence, once the marking of a net is determined to be in M, then if at some time thereafter the marking of this net is determined not to be in M, this indicates a fault. It is shown how linear programming can be used to determine if m is an element of M. The worst-case computational complexity of each algorithm is bounded by the number of linear programs necessary to compute.

Rachell, Traxon↗

Pilot guidance and display considerations for energy efficient flight profiles

Two computer programs are applied to energy efficient flight operation in order to minimize aircraft operating costs. One algorithm (OPTIM) computes vertical flight profiles which optimize direct operating costs, including fuel and time costs, for an aircraft flying over a fixed range and with a fixed time-of-arrival. The second program (TRAGEN) simulates an aircraft steered to fly along a specified vertical flight trajectory, in order to examine fuel and cost penalties involved in flying nonoptimal trajectories. Constraints such as air traffic control procedures, and atmospheric and weight conditions are considered and supported by graphs and diagrams. The use of the algorithms as preflight planning tools is discussed, emphasizing OPTIM's future application for on-board energy management. Finally, research questions concerning pilot guidance and display considerations for advanced energy/flight management systems are addressed.

Samms, K. H.↗

Development of an LED display system for cross-track distance and velocity for Loran-C flight

The methodology for estimating cross-track velocity by combining rate-gyro and Loran-C data is illustrated in block diagrams. At present, preliminary analysis has established values for K sub 1, K sub 2, the parameters of the digital control loops. A computer program was written to implement a digital simulation of the system as illustrated. Given a model for the noise in the rate-gyro and Loran-C receiver, and their dynamic response, the simulation provides a working model to establish good control loop parameters. The layout of the LED display for flight testing of Loran-C approach flying, which was constructed during a visit to Langley Research Center, is shown. Four bar-graph LED displays are paired to provide cross-track distance and velocity from a Loran-C defined runway centerline. Two seven-segment LED displays are used to provide alphanumeric readout of range to touchdown and desired height. A metal case was built, a circuit board designed, and manufactured with the assistance of NASA Langley personnel.

Dogan, Norry↗

The measurement of pulsar periods.

The method used for determining the pulsar period is discussed. In connection with the computation of the time of arrival of a pulse the right ascension and declination of the earth relative to the barycenter, the center of mass of the solar system, are calculated. The data obtained together with the position of the pulsar are used to calculate what the time of arrival would have been had the antenna been at the barycenter. A matrix approach is used for series observations. Pulsar positions obtained are listed in a table. A graph is presented showing the rate of change of the period as a function of the period for several sources.

Downs, G. S.↗

Robot Display and Control program (ROBDAC)

The ROBOT display and control program (ROBDAC) to be written for the Adage 340 computer is designed to communicate with the Univac 1110 computer with the aid of the graphic support communications programs. ROBDAC and the Adage computer act as an input/output device for the program ROBOT, which is run on the Univac 1110. ROBDAC controls the input to ROBOT by displaying images of the inputs, providing an editing technique for these inputs, shipping the input data to the Univac, and then commanding ROBOT to start execution. The output is done in a similar manner after receiving the output data from the Univac. This data will be displayed numerically as well as by plotted graphs. All of the input/output will be done interactively with practically 'finger tip' control. A general program flow diagram of ROBDAC is included.

Stewart, W. A.↗

The effects of TiO opacity on the atmospheric structure of cool stars

A quantitative investigation is conducted concerning the effect of TiO opacities on the atmospheric temperature structure in late-type stars. Model atmospheres are computed, taking into account opacity-sampling (OS) or straight-mean (SM) opacities for three singlet and three triplet band systems of TiO. Model atmospheres using OS and SM opacities for TiO are compared with models having no TiO, giving attention to the effects of TiO opacities on the temperature structures of various atmospheres and the usefulness of straight-mean TiO opacities in model atmosphere calculations. The results of the model-atmosphere calculations are presented in two graphs. TiO opacities produce a global atmospheric heating which may reach several hundred kelvins. It is shown quantitatively that the TiO molecule is an important source of atmospheric opacity in cool stars of solar composition. The relative importance of TiO opacities to the thermal structure of a stellar atmosphere is influenced in the outer layers by CO and H2O cooling effects and in the deeper layers by CO, CN, and metal line absorption.

Krupp, B. M.↗