Search NASA⌕ Search

SEARCH · Search NASA

Results for “Graph 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 199 records · Page 11

Predictions of dendritic growth rates in the linearized solvability theory

The velocity-selection phenomenon in dendritic solidification is investigated theoretically. A WKB-type solvability condition is derived which is applicable to two- and three-dimensional symmetric and one-sided models; this condition is then solved numerically to obtain existence conditions for steady-state needle crystals. Numerical results are presented in graphs and discussed with reference to published numerical and experimental data.

Barbieri, A.↗

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↗

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↗

A physical basis for cosmological correlators from cuts

Significant progress has been made in our understanding of the analytic structure of FRW wavefunction coefficients, facilitated by the development of efficient algorithms to derive the differential equations they satisfy. Moreover, recent findings indicate that the twisted cohomology of the associated hyperplane arrangement defining FRW integrals overestimates the number of integrals required to define differential equations for the wave-function coefficient. We demonstrate that the associated dual cohomology is automatically organized in a way that is ideal for understanding and exploiting the cut/residue structure of FRW integrals. Utilizing this understanding, we develop a systematic approach to organize compatible sequential residues, which dictates the physical subspace of FRW integrals for any n -site, ℓ-loop graph. In particular, the physical subspace of tree-level FRW wavefunction coefficients is populated by differential forms associated to cuts/residues that factorize the integrand of the wavefunction coefficient into only flat space amplitudes. After demonstrating the validity of our construction using intersection theory, we develop simple graphical rules for cut tubings that enumerate the space of physical cuts and, consequently, differential forms without any calculation.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Thermal Effects Modeling Developed for Smart Structures

Applying smart materials in aeropropulsion systems may improve the performance of aircraft engines through a variety of vibration, noise, and shape-control applications. To facilitate the experimental characterization of these smart structures, researchers have been focusing on developing analytical models to account for the coupled mechanical, electrical, and thermal response of these materials. One focus of current research efforts has been directed toward incorporating a comprehensive thermal analysis modeling capability. Typically, temperature affects the behavior of smart materials by three distinct mechanisms: Induction of thermal strains because of coefficient of thermal expansion mismatch 1. Pyroelectric effects on the piezoelectric elements; 2. Temperature-dependent changes in material properties; and 3. Previous analytical models only investigated the first two thermal effects mechanisms. However, since the material properties of piezoelectric materials generally vary greatly with temperature (see the graph), incorporating temperature-dependent material properties will significantly affect the structural deflections, sensory voltages, and stresses. Thus, the current analytical model captures thermal effects arising from all three mechanisms through thermopiezoelectric constitutive equations. These constitutive equations were incorporated into a layerwise laminate theory with the inherent capability to model both the active and sensory response of smart structures in thermal environments. Corresponding finite element equations were formulated and implemented for both the beam and plate elements to provide a comprehensive thermal effects modeling capability.

Lee, Ho-Jun↗

pycalceff

A Python project for calculating (binomial) efficiencies and their uncertainties. The mathematical theory and derivation of the formulas can be found in FERMILAB-TM-2286-CD. If you use this software for published work, please cite this note. The default algorithm for finding the shortest interval is based on Hyndman, R. J. (1996). Computing and graphing highest density regions, The American Statistician, 50(2), 120-126.

Paterno, Marc [Fermi National Accelerator Laborato↗

Nonlinear Local Bending Response and Bulging Factors for Longitudinal Cracks in Pressurized Cylindrical Shells

Results of a geometrically nonlinear finite element parametric study to determine curvature correction factors or "bulging factors" that account for increased stresses due to curvature for longitudinal cracks in unstiffened pressurized cylindrical shells are presented. Geometric parameters varied in the study include the shell radius, the shell wall thickness, and the crack length. The major results are presented in graphs of the bulging factor as a function of the applied load and as a function of geometric parameters that include the shell radius, the shell thickness and the crack length. The computed bulging factors are compared with solutions based on linear shallow shell theory, and with semi-empirical solutions that approximately account for the nonlinear deformation in the vicinity of the crack. The effect of biaxial loads on the computed bulging factors is also discussed.

Rose, Cheryl A.↗

Results of dynamic testing of GP-B spherical gyroscopes

Laboratory tests of the spherical electrostatically levitated cryogenically cooled coated gyroscope being developed for the Gravity Probe B (GP-B) spacecraft (Bardas et al., 1986) are reported. Spin speed and the dc components of the trapped magnetic field are measured with three orthogonal pickup loops attached to SQUID detectors as the levitated gyro is brought up to speed by an He gas jet. Data on the spin-vector time history, mass unbalance, higher rotor-shape harmonics, and spin-vector position are presented in extensive graphs and characterized in detail, and a mathematical model of the electrostatic suspension torques is derived. Prototype gyro 86-4 is found to have mass unbalance within the range required for the GP-B mission (to detect the geodetic and motional effects predicted by general relativity theory).

Keiser, G. M.↗

Multi-Domain Routing in Delay Tolerant Networks

The goal of Delay Tolerant Networking (DTN) is to provide the missing ingredient for the ever-growing collection of communicating nodes in our solar system to become a Solar System Internet (SSI). Great strides have been made in modeling particular types of DTNs, such as schedule- or discovery-based. Now, analogously to the Internet, these smaller DTNs can be considered routing domains which must be stitched together to form the overall SSI. In this paper, we propose a framework for cross-domain routing in DTNs as well as methodologies for detecting these sub-domains. Example time-varying networks are given to demonstrate the techniques proposed. A basic component is the mathematical theory of sheaves, which unifies the underlying model of DTN routing algorithms, by giving rise to routing sheaves – these can be defined for the dynamic and scheduled networks as noted above, and can also be used to define the interfaces between these domains in order to route across them. An immediate application would be routing across discovery-based networks connected by scheduled networks. These DTN subdomains remain elusive, however, and need to become well-defined and properly sized for tractable computability. In particular, a balance must be determined between areas that are too large (i.e. large matrix computations) versus areas that are too small (i.e. “many” single-noded domains). Moreover, the connections between the domains should, at least locally, be chosen to optimize data flow and connectivity: we address this in three ways. First, tools from persistent homology are given to understand underlying structures, reminiscent of hierarchies in the Internet Protocol (IP) addressing. Second, we construct a notion of temporal graph curvature based on network geometry to analyze flows induced by dynamical processes on these networks. Finally, Schrodinger Bridges, a tool arising from statistical physics, are proposed as a method of constructing flows on time-evolving networks with desirable properties such as speed, robustness, and load sensitivity. We construct an approach to temporal hypergraphs to simultaneously model unicast, multicast, and broadcast, using the language of scheme theory, and then consider DTN network coding as a way to achieve network-level computation and organization. The paper concludes with a discussion and ideas for future work.

Alan Hylton↗

Mean-field theory of spin-glasses with finite coordination number

The mean-field theory of dilute spin-glasses is studied in the limit where the average coordination number is finite. The zero-temperature phase diagram is calculated and the relationship between the spin-glass phase and the percolation transition is discussed. The present formalism is applicable also to graph optimization problems.

Kanter, I.↗

Towards a theory of automated elliptic mesh generation

The theory of elliptic mesh generation is reviewed and the fundamental problem of constructing computational space is discussed. It is argued that the construction of computational space is an NP-Complete problem and therefore requires a nonstandard approach for its solution. This leads to the development of graph-theoretic, combinatorial optimization and integer programming algorithms. Methods for the construction of two dimensional computational space are presented.

Cordova, J. Q.↗

Model Rotor Hover Performance at Low Reynolds Number

Hover performance data from four key experiments has been analyzed in detail to shed some light on model rotor hover performance at low Reynolds number. Each experiment used the simplest blade geometry. The blades were constant chord and untwisted. Three experiments used blades with the NACA 0012 airfoil from root to tip. The NACA 0015 was used in the earliest test. The four experiments provide data spanning a Reynolds number range of 136,500 to 548,700. The specific objective of this report is to ask and answer two questions: 1. Does blade aspect ratio influence hover performance or is rotor solidity the fundamental rotor geometry parameter for practical engineering purposes? ANSWER: Rotor solidity is the fundamental rotor geometry parameter for practical engineering purposes. Any effect of blade aspect ratio appears to be such a secondary variable that its effect lies within the range of experimental error. 2. Is Reynolds number a significant factor in scaling up hover performance to full-scale rotor performance? The answer is twofold. ANSWER: (a) Reynolds number effects on the increase of power with thrust do not appear to be a significant factor for practical engineering purposes, and (b) Reynolds number effects on minimum profile power at or very near zero rotor thrust could not be clearly established primarily because the low torque levels could not be accurately measured with the test equipment used. This has led to significant data scatter. A number of other observations can be made based on the analysis provided herein. For instance: 1. The test matrices used in the four key references contained far too few data points. A collective pitch variation of four or five data points is insufficient to establish experimental accuracy and data repeatability. 2. A common property of the power-versus-thrust (raised to the 3/2 exponent) graphs was that this curve was linear below the onset of blade stall. 3. The blade-to-blade interference at or near zero thrust may, in fact, be creating a turbulent flow field such that the effective Reynolds number at a blade element is considerably greater than what theories using two-dimensional (2D) airfoil properties at a blade element would calculate. 4. Definitive experiments answering the two key questions have yet to be made.

Model Rotor Hover Performance↗

Computational insights into hydrogen adsorption energies on medium-entropy oxides

High entropy oxides (HEOs) have emerged as promising catalysts for several important chemical transformations including alkane activation. Hydrogen adsorption energy (HAE) has been used as a key descriptor for many reactions including methane C–H activation and hydrogen evolution reactions. Hence, understanding the relationship between HAEs and the surface chemistry of HEO surfaces could lay the foundation for meaningful correlations among methane C–H activation, HAE, and the complex, local environment of HEO surfaces. Here, we used a medium-entropy oxide as a prototypical system – Mg 0.25 Ni 0.25 Cu 0.25 Zn 0.25 O with a rock-salt structure – to interrogate these relationships. We sampled 2000 different surfaces of its (100) plane and calculated the HAEs at randomly chosen surface O sites using density functional theory (DFT). Our analysis of the 2000 data points reveals that the HAEs at the surface O sites are significantly influenced by the local environment around the adsorption sites, particularly the nature of the metal atom directly below the surface O site where H adsorbs. After comparing several popular graph-neural-network-based machine learning models, we found that the DimeNet++ model performed best achieving satisfactory accuracy in predicting HAEs for both Mg 0.25 Ni 0.25 Cu 0.25 Zn 0.25 O and slightly varied compositions. Our work underscores the promise of such models and the need for further refinement to address the complexity of HEOs.

Song, Haohong [Vanderbilt Univ., Nashville, TN (Un↗

Sequential Test Strategies for Multiple Fault Isolation

In this paper, we consider the problem of constructing near optimal test sequencing algorithms for diagnosing multiple faults in redundant (fault-tolerant) systems. The computational complexity of solving the optimal multiple-fault isolation problem is super-exponential, that is, it is much more difficult than the single-fault isolation problem, which, by itself, is NP-hard. By employing concepts from information theory and Lagrangian relaxation, we present several static and dynamic (on-line or interactive) test sequencing algorithms for the multiple fault isolation problem that provide a trade-off between the degree of suboptimality and computational complexity. Furthermore, we present novel diagnostic strategies that generate a static diagnostic directed graph (digraph), instead of a static diagnostic tree, for multiple fault diagnosis. Using this approach, the storage complexity of the overall diagnostic strategy reduces substantially. Computational results based on real-world systems indicate that the size of a static multiple fault strategy is strictly related to the structure of the system, and that the use of an on-line multiple fault strategy can diagnose faults in systems with as many as 10,000 failure sources.

Shakeri, M.↗

The relations between the linear and bilinear atmospheric tidal fields in geometric height and in log-pressure coordinates

Theoretical models of planetary-atmosphere tidal fields are examined analytically, comparing models based on geometric-height coordinates with those employing log-pressure coordinates. The relationship between the linearized meteorological variables in the two systems is explored for classical tidal theory and its reduction to the Laplace tidal equation, and it is shown that identical horizontal and vertical equations are obtained. Also considered are the tidal zonal-mean bilinear flux convergences and their Eliassen-Palm formulations. Numerical results for problems involving the earth and Mars atmospheres are presented in graphs and discussed.

Zurek, Richard W.↗

Superconductivity in sputtered CuMo6S8

The superconducting transition temperature and the superconducting upper critical fields for sputtered films of copper-containing ternary molybdenum chalcogenides (chevrel phases) were determined. The theory presented by Werthamer, Helfand, and Hohenberg (WHH) (1966) was used to make computer-generated plots of the superconducting upper critical field values versus the superconducting transition temperature values for various values of the Maki paramagnetic pair-breaking parameter and the spin-orbit scattering parameter. The interpretation of the graph suggests that the experimental data for at least one sample are above the maximum WHH theoretical limit in the lower temperature range. Possible explanations of this situation are discussed. In other calculations, a scaling law was found suitable for determining pinning force densities; this data was used to calculate critical current values. The relation between resistivity and temperature was studied.

Alterovitz, S.↗

Nonlocal effects on the convective properties of the electrostatic current-driven ion-cyclotron instability

The convective behavior of the current-driven ion-cyclotron instability (CDICI) in the presence of nonlocal magnetic-shear and current-channel-width effects is investigated theoretically using the analytical approach of Bakshi et al. (1983). The results are presented in graphs and discussed. Three different CDICI regimes defined by the ratio of the channel width to the shear length are obtained: a purely nonlocal regime with reduced temporal growth rate and group velocity in the z direction going to zero (ratios greater than about 0.1); a regime corresponding to the results of local theory (ratios less than 0.01); and a regime characterized by decreasing temporal growth rate and by z and y group velocities which become negative when the channel width becomes less than the mean ion Larmor radius (ratios 0.001 or less).

Ganguli, G.↗

On the Current State of Sheaf Theoretic Networking

Advancing the Delay Tolerant Networking (DTN) effort has proven to be a unique and difficult challenge. In the journey to implementing space networking, NASA has considered several strategies. From direct translations of Internet Protocol (IP) to satellite networks to pre-planned routing structures in Contact Graph Routing (CGR), each potential solution for DTN has come with its fair share of setbacks and challenges. Frequently, these challenges can be traced back to specific assumptions made in the development of each protocol that do not carry over from ground networks to space networks. To address these fundamental assumptions, a more general and foundational networking theory is required. In this paper, we survey a novel mathematical foundation for networking using the theory of cellular sheaves. Sheaves form a mathematical tool for modeling local phenomenon that leads to global effects. Sheaves have been introduced a number of times, and our goal here is to summarize the applications and point towards important future work that must be done to build a stronger, cohesive theory for networking.

Sheaves↗