Search NASA⌕ Search

SEARCH · Search NASA

Results for “graph model”

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

A microprocessor based satellite borne packet switch

Design considerations applicable to a space-borne single microprocessor based packet switch are identified. These include system architecture decisions and microprocessor selection. The division of tasks among different subroutines is discussed. The primary design criterion is to maximize throughput. The extension to a multi-satellite network is discussed. The maximum throughput attainable is derived. A queue theoretic model has been developed and expressions for average response times and average queue sizes are obtained. A number of graphs showing the effect of various design parameters on the average response time and the average queue sizes are presented.

Crist, S. C.↗

On the modelling and simulation of the dynamics and control of large flexible orbiting systems

This paper attempts to review the steps involved in the development of mathematical models that can be used to simulate the in-orbit dynamics of large flexible systems. The use of graph theoretic techniques can often be used to reduce the computational effort involved for calculating the eigenvalues of large ordered systems. Computer generated graphical techniques may provide additional insight into the understanding of elastic modal shape functions of complex systems. Finally the numerical techniques commonly used to develop shape and attitude control laws will be briefly reviewed.

Bainum, P. M.↗

Advanced interdisciplinary technologies

The following topics are presented in view graph form: (1) breakthrough trust (space research and technology assessment); (2) bionics (technology derivatives from biological systems); (3) biodynamics (modeling of human biomechanical performance based on anatomical data); and (4) tethered atmospheric research probes.

Anderson, John L.↗

MPD work at MIT

MPD work at MIT is presented in the form of the view-graphs. The following subject areas are covered: the MIT program, its goals, achievements, and roadblocks; quasi one-dimensional modeling; two-dimensional modeling - transport effects and Hall effect; microscopic instabilities in MPD flows and modified two stream instability; electrothermal stability theory; separation of onset and anode depletion; exit plane spectroscopic measurements; phenomena of onset as performance limiter; explanations of onset; geometry effects on onset; onset at full ionization and its consequences; relationship to anode depletion; summary on self-field MPD; applied field MPD - the logical growth path; the case for AF; the challenges of AF MPD; and recommendations.

Martinez-Sanchez, Manuel↗

An 8-PSK coded TDMA satellite demodulator

The objectives of this project are: (1) to develop a proof-of-concept (POC) uplink modulation system which will significantly increase the bandwidth efficiency of a time division multiple access (TDMA) uplink system; (2) to maintain present performance levels; and (3) to ensure that the POC model exhibit potential for low weight and low power consumption. Other aspects of this project are presented in view graph form.

Ames, S. A.↗

IRI: An international Rawer initiative

This paper was presented during the special session that was held at the 1993 International Reference Ionosphere (IRI) Workshop in honor of Karl Rawer's 80th birthday. It retraces the steps that led from the start of the IRI project to the present edition of the model highlighting the important role that the honoree played in guiding IRI from infancy to maturity. All summary view graphs are reproduced at the end of the article.

Bilitza, D.↗

3D Surface Reconstruction and Automatic Camera Calibration

Illustrations in this view-graph presentation are presented on a Bayesian approach to 3D surface reconstruction and camera calibration.Existing methods, surface analysis and modeling,preliminary surface reconstruction results, and potential applications are addressed.

Jalobeanu, Andre↗

Sheaf Theoretic Models for Routing in Delay Tolerant Networks

One key to communications scalability is routing; as such the goal of this paper is to build upon successful efforts towards general routing for space-based networks. With the ever-increasing accessibility of space, the number of assets is increasing, which becomes a critical communications burden in terms of scheduling, spectrum allocation, and resource allocation. In order to mitigate these concerns, a true networking approach is necessary; a standard approach for space systems is Delay Tolerant Networking (DTN). For DTN to be a meaningful answer to the Solar System Internet (SSI) question, DTN must offer meaningful routing solutions that span the heterogeneous collection of links and nodes. This, in turn, depends on the general structure of these disconnected networks -- a structure that remains largely unknown. In ground communications networks, routing decisions are made based on several pathfinding algorithms working in tandem. In previous work, we modeled Dijkstra's pathfinding algorithm using sheaves and provided a more general framework for determining paths using sheaves over graphs. Continuing our sheaf-theoretic approach, we introduce here an expansion of our pathfinding sheaf to handle more general information, and we expand on additional pathfinding algorithms that can be represented using sheaves. Moreover, we demonstrate means of combining multiple algorithms into a single sheaf structure so that changes of scale can be presented in the language of sheaves. In addition, space communications networks rely upon radio transmitter antennas which can establish broadcast and multicast communications options, rather than the primarily unicast options available to wired networks. Last year, we also introduced a multicast routing sheaf for presenting broadcast, unicast, and multicast communications over a graph. Extending that work, we also introduce queuing sheaves so that we can blend these communications options together to simulate a variety of routing options across space networks. In addition, we include examples to illustrate the applicability of this abstract theory to routing in disconnected networks.

Robert Short↗

Growth Curve Parameterization of Metabolic Activity of Yeast Cells for BioSentinel

The goal of the BioSentinel small satellite payload is to measure the effect of deep space radiation on the growth and metabolic activity of yeast cells. Raw test data is generated by fluidics cards containing yeast cells rehydrated at different periods, with metabolic activity measured by the reduction of alamarBlue. Each card well has a sensor array that measures the amount of red, green, and infrared light transmitted through the yeast culture. This illumination data is then converted to absorbance values, which are further converted into concentrations. The ultimate objective is to convert these concentrations into biologically-relevant metrics that can be compared against one another to determine changes due to differential radiation exposure. Beginning with IR absorbance data (corresponding to cell density) from ground studies, three parameters from a sigmoidal growth curve were extracted and analyzed: 𝜆 (lag phase), 𝜇 (max growth rate), and A (max cell growth). The data was fit to the Gompertz model of microbial growth using non-linear regression (Minitab), as the fit error was reduced compared to the simpler logistic growth curve. Graphs showed that the data contained a discrepancy (drift) in the lag phase that is attributable to a slow, constant loss of moisture. Correcting this discrepancy by fitting the first 25 hours of the data to a power function and subtracting these values from the absorbance readings obtained a better statistical fit to the growth curve in the lag phase. A power fit was selected over a linear fit because it reflected the effects of constant volume loss. This correction to the BioSentinel data analysis pipeline will enable quantitative statistical analysis of the effect of different levels of deep space radiation on yeast cells. Future work includes automation of drift correction and curve modeling to extract these parameters directly from data.

Growth Curve↗

Revealing the ISO/IEC 9126-1 Clique Tree for COTS Software Evaluation

Previous research has shown that acyclic dependency models, if they exist, can be extracted from software quality standards and that these models can be used to assess software safety and product quality. In the case of commercial off-the-shelf (COTS) software, the extracted dependency model can be used in a probabilistic Bayesian network context for COTS software evaluation. Furthermore, while experts typically employ Bayesian networks to encode domain knowledge, secondary structures (clique trees) from Bayesian network graphs can be used to determine the probabilistic distribution of any software variable (attribute) using any clique that contains that variable. Secondary structures, therefore, provide insight into the fundamental nature of graphical networks. This paper will apply secondary structure calculations to reveal the clique tree of the acyclic dependency model extracted from the ISO/IEC 9126-1 software quality standard. Suggestions will be provided to describe how the clique tree may be exploited to aid efficient transformation of an evaluation model.

Morris, A. Terry↗

Aerodynamic characteristics of the 40- by 80/80- by 120-foot wind tunnel at NASA Ames Research Center

The design and testing of vane sets and air-exchange inlet for the 40 x 80/80 x 120-ft wind tunnel at NASA Ames are reported. Boundary-layer analysis and 2D and 3D inviscid panel codes are employed in computer models of the system, and a 1/10-scale 2D facility and a 1/50-scale 3D model of the entire wind tunnel are used in experimental testing of the vane sets. The results are presented in graphs, photographs, drawings, and diagrams are discussed. Generally good agreement is found between the predicted and measured performance.

Corsiglia, V. R.↗

Aerodynamic characteristics of the 40- by 80-/80- by 120-ft wind tunnel at NASA-Ames Research Center

The design and testing of vane sets and air-exchange inlet for the 40 x 80/80 x 120-ft wind tunnel at NASA Ames are reported. Boundary-layer analysis and 2D and 3D inviscid panel codes are employed in computer models of the system, and a 1/10-scale 2D facility and a 1/50-scale 3D model of the entire wind tunnel are used in experimental testing of the vane sets. The results are presented in graphs, photographs, drawings, and diagrams and discussed. Generally good agreement is found between the predicted and measured performance.

Corsiglia, V. R.↗

The climatic effects of nuclear war

The effects of various US-USSR nuclear-exchange scenarios on global climate are investigated by means of computer simulations, summarizing the results of Turco et al. (1983) and follow-up studies using 3D global-circulation models. A nuclear-scenario model is used to determine the amounts of dust, smoke, radioactivity, and pyrotoxins generated by a particular type of nuclear exchange (such as a general 5,000-Mt exchange, a 1,000-Mt limited exchange, a 5,000-Mt hard-target counterforce attack, and a 100-Mt attack on cities only): a particle-microphysics model predicts the evolution of the dust and smoke particles; and a radiative-convective climate model estimates the effects of the dust and smoke clouds on the global radiation budget. The findings are presented in graphs, diagrams, and a table. Thick clouds blocking most sunlight over the Northern Hemisphere midlatitudes for weeks or months and producing ground-temperature reductions of 20-40 C, disruption of global circulation patterns, and rapid spread of clouds to the Southern Hemisphere are among the 'nuclear-winter' effects predicted for the 5,000-Mt baseline case. The catastrophic consequences for plant, animal, and human populations are considered, and the revision of superpower nuclear strategies is urged.

Turco, R. P.↗

Implications of the light curve of the A-type W UMa binary V566 Ophiuchi

Broadband (2585-3200-A) IUE photometric observations of V566 Oph obtained in three 8-h shifts on July 17-19, 1984 are reported and solved simultaneously with the ground-based optical observations of Bookmyer (1976). The observed light curves are fit to theoretical Roche-model light curves using the computer program described by Eaton (1986). The data and solutions are presented in tables and graphs, and the modifications required to match the solutions to data for 1965 (Bookmyer, 1969) and 1957 (Binnendjik, 1959) are considered. The lower-than-expected darkening observed is attributed to a reduced common-radiative-envelope temperature gradient, probably a result of circulation related to energy transfer between the components of V566 Oph.

Eaton, Joel A.↗

Plan-graph Based Heuristics for Conformant Probabilistic Planning

In this paper, we introduce plan-graph based heuristics to solve a variation of the conformant probabilistic planning (CPP) problem. In many real-world problems, it is the case that the sensors are unreliable or take too many resources to provide knowledge about the environment. These domains are better modeled as conformant planning problems. POMDP based techniques are currently the most successful approach for solving CPP but have the limitation of state- space explosion. Recent advances in deterministic and conformant planning have shown that plan-graphs can be used to enhance the performance significantly. We show that this enhancement can also be translated to CPP. We describe our process for developing the plan-graph heuristics and estimating the probability of a partial plan. We compare the performance of our planner PVHPOP when used with different heuristics. We also perform a comparison with a POMDP solver to show over a order of magnitude improvement in performance.

Ramakrishnan, Salesh↗

Controlling state explosion during automatic verification of delay-insensitive and delay-constrained VLSI systems using the POM verifier

Delay-insensitive VLSI systems have a certain appeal on the ground due to difficulties with clocks; they are even more attractive in space. We answer the question, is it possible to control state explosion arising from various sources during automatic verification (model checking) of delay-insensitive systems? State explosion due to concurrency is handled by introducing a partial-order representation for systems, and defining system correctness as a simple relation between two partial orders on the same set of system events (a graph problem). State explosion due to nondeterminism (chiefly arbitration) is handled when the system to be verified has a clean, finite recurrence structure. Backwards branching is a further optimization. The heart of this approach is the ability, during model checking, to discover a compact finite presentation of the verified system without prior composition of system components. The fully-implemented POM verification system has polynomial space and time performance on traditional asynchronous-circuit benchmarks that are exponential in space and time for other verification systems. We also sketch the generalization of this approach to handle delay-constrained VLSI systems.

Probst, D.↗

Graph Partitioning for Parallel Applications in Heterogeneous Grid Environments

The problem of partitioning irregular graphs and meshes for parallel computations on homogeneous systems has been extensively studied. However, these partitioning schemes fail when the target system architecture exhibits heterogeneity in resource characteristics. With the emergence of technologies such as the Grid, it is imperative to study the partitioning problem taking into consideration the differing capabilities of such distributed heterogeneous systems. In our model, the heterogeneous system consists of processors with varying processing power and an underlying non-uniform communication network. We present in this paper a novel multilevel partitioning scheme for irregular graphs and meshes, that takes into account issues pertinent to Grid computing environments. Our partitioning algorithm, called MiniMax, generates and maps partitions onto a heterogeneous system with the objective of minimizing the maximum execution time of the parallel distributed application. For experimental performance study, we have considered both a realistic mesh problem from NASA as well as synthetic workloads. Simulation results demonstrate that MiniMax generates high quality partitions for various classes of applications targeted for parallel execution in a distributed heterogeneous environment.

Bisws, Rupak↗