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.

SourceResearch connectionFrom yearThrough year

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

138 records · Page 8

All sources NASA NTRS DOE OSTI

NASA NTRS1991

The dynamics of particle disks. III - Dense and spinning particle disks

The kinetic theory of planetary rings developed by Araki and Tremaine (1986) and Araki (1988) is extended and refined, with a focus on the implications of finite particle size: (1) nonlocal collisions and (2) finite filling factors. Consideration is given to the derivation of the equations for the local steady state, the low-optical-depth limit, and the steady state at finite filling factors (including the effects of collision inelasticity, spin degrees of freedom, and self-gravity). Numerical results are presented in extensive graphs and characterized in detail. The importance of distinguishing effects (1) and (2) at low optical depths is stressed, and the existence of vertical density profiles with layered structures at high filling factors is demonstrated.

Araki, Suguru↗

NASA NTRS1996

Computational and Experimental Efforts in Gravity Probe B Microthruster Analysis

Gravity Probe B, an experiment to test the theory of relativity, will be launched near the turn of the millennium. Due to the precise pointing requirements need to successfully carry out this experiment, the satellite will use sixteen proportionally controlled microthrusters as a main component of the attitude control system. These microthrusters use the helium boil-off from the on-board dewar as propellant. Marshall Space Flight Center, verified the design of the thruster flow path by both computational and experimental methods. The flow performance of the thruster has been adequately characterized. Graphs show specific impulse, thrust coefficient, discharge coefficient, and mass flow rate trends. Value was added to the program through gained confidence in the design of the thruster and through valuation of some design trade-offs.

Droege, Alan↗

NASA NTRS1989

Theory of the optimally coupled Q-switched laser

The general equations describing Q-switched laser operation are transcendental in nature and require numerical solutions, which greatly complicates the optimization of real devices. Here, it is shown that, using the mathematical technique of Lagrange multipliers, one can derive simple analytic expressions for all of the key parameters of the optimally coupled laser, i.e., one which uses an optimum reflector to obtain maximum laser efficiency for a given pump level. These parameters can all be expressed as functions of a single dimensionless variable z, defined as the ratio of the unsaturated small-signal gain to the dissipative (nonuseful) optical loss, multiplied by a few simple constants. Laser design tradeoff studies and performance projections can be accomplished quickly with the help of several graphs and a simple hand calculator. Sample calculations for a high-gain Nd:YAG and a low-gain alexandrite laser are presented as illustrations of the technique.

Degnan, John J.↗

NASA NTRS1988

Eigenfunctions of the magnetospheric radial-diffusion operator

The applicability of eigenfunction methods to the theory of magnetospheric radial diffusion is investigated analytically, with a focus on the operator (Lambda) for radiation-belt and ring-current particles. It is shown that the eigenfunctions of Lambda can be expressed in terms of a linear combination of ordinary Bessel functions of the first and second kinds, and that the solution for the drift-averaged phase-space density can be expressed as the sum of a quasi-static solution and a time-dependent superposition of the eigenfunctions of Lambda. Results for illustrative and practical sample problems are presented in extensive tables and graphs and discussed in detail.

Schulz, Michael↗

NASA NTRS1986

Linear simulation of the stationary eddies in a general circulation model. I - The no-mountain model

A linear primitive-equation stationary-wave model is developed to describe Northern Hemisphere winter stationary eddies on a sphere, and simulation results are compared with the predictions of a flat-lower-boundary GCM in extensive graphs and maps. The linear model is shown to reproduce the general behavior of the GCM well, with 10-30-percent underestimation of amplitudes in the Northern Hemisphere extratropical upper troposphere. The response to global heating plus transient eddy flux convergences is then decomposed into responses to total tropical forcing (heating plus transients) and total extratropical forcing (upper and lower tropospheric transients and latent, sensible, and radiative heating). The quality of the simulation is found to deteriorate rapidly if transient forcing is omitted, although somewhat better results are obtained by substituting thermal damping for transient forcing. The importance of low-level-transient parameterization for theories of time-mean low-level flow is emphasized.

Nigam, Sumant↗

NASA NTRSDate not supplied

Aerial Vehicle Routing and Scheduling for UAS Traffic Management: A Monte Carlo Tree Search Approach

Numerous unmanned aircraft systems operating at low altitudes to deliver goods and services may one day become ubiquitous in our cities. In the Unmanned Aircraft Systems (UAS) Traffic Management (UTM) framework, such a concept is envisioned, where aerial vehicles operate beyond visual line of sight (BVLOS) within specifically reserved and time stamped “corridors” in the airspace. For example, these corridors or operational intent volumes can connect an aerial vehicle’s origin site to its destination site for package delivery operations. There may also be more than one corridor available for an aerial vehicle to choose from and often different corridors may intersect with one another. Thus, it is imperative to ensure flight trajectories belonging to different aerial vehicles are not in conflict. Per the UTM CONOPs, we assume that a vehicle almost always stays inside its corridor or operational volume. This work provides a framework for strategic deconfliction of UTM or package delivery drones, where we schedule the departure time of all vehicles subject to various temporal constraints (including the corridor deconfliction at the intersections). We present the “multi-route weighted package delivery problem” which serves as an exemplifying model for strategic deconfliction in UTM. In the multi-route weighted package delivery problem, a graph network is given which consists of a set of depots (source) and drop-off (destination) nodes, with multiple routes (defined as a sequence of waypoints) connecting the depots to drop-off nodes. In addition, routes are weighted by the associated ground risk and total travel distance for package delivery. The goal is for a known set of aerial vehicles to depart from the depots, choose a route and take off time, while avoiding conflicts with other aerial vehicles, and minimizing both risk and distance traveled. We provide a mixed integer linear programming (MILP) formulation of the problem, as well as a heuristic solution based on Monte Carlo Tree Search (MCTS) – a method used in game theory and artificial intelligence – to overcome limitations inherent to optimal solvers. Computational results show the advantages of using MCTS over the MILP formulation; the former can provide a sub-optimal solution quickly, and may sometimes even reach an optimal solution, whereas the latter may not even produce a solution in reasonable time. Furthermore, results from both the MILP formulation and MCTS methods were validated using a preliminary agent-based simulator implementing the UTM concept of operations. Thus, the MCTS method can be seen as a scalable solution to the complex multi-route weighted package delivery problem and may possibly be extended to similar complex optimization problems.

Kenny Chour↗

NASA NTRS2002

Reducing False Positives in Runtime Analysis of Deadlocks

This paper presents an improvement of a standard algorithm for detecting dead-lock potentials in multi-threaded programs, in that it reduces the number of false positives. The standard algorithm works as follows. The multi-threaded program under observation is executed, while lock and unlock events are observed. A graph of locks is built, with edges between locks symbolizing locking orders. Any cycle in the graph signifies a potential for a deadlock. The typical standard example is the group of dining philosophers sharing forks. The algorithm is interesting because it can catch deadlock potentials even though no deadlocks occur in the examined trace, and at the same time it scales very well in contrast t o more formal approaches to deadlock detection. The algorithm, however, can yield false positives (as well as false negatives). The extension of the algorithm described in this paper reduces the amount of false positives for three particular cases: when a gate lock protects a cycle, when a single thread introduces a cycle, and when the code segments in different threads that cause the cycle can actually not execute in parallel. The paper formalizes a theory for dynamic deadlock detection and compares it to model checking and static analysis techniques. It furthermore describes an implementation for analyzing Java programs and its application to two case studies: a planetary rover and a space craft altitude control system.

Bensalem, Saddek↗

NASA NTRS1997

Wavelet Methods Developed to Detect and Control Compressor Stall

A "wavelet" is, by definition, an amplitude-varying, short waveform with a finite bandwidth (e.g., that shown in the first two graphs). Naturally, wavelets are more effective than the sinusoids of Fourier analysis for matching and reconstructing signal features. In wavelet transformation and inversion, all transient or periodic data features (as in compressor-inlet pressures) can be detected and reconstructed by stretching or contracting a single wavelet to generate the matching building blocks. Consequently, wavelet analysis provides many flexible and effective ways to reduce noise and extract signals which surpass classical techniques - making it very attractive for data analysis, modeling, and active control of stall and surge in high-speed turbojet compressors. Therefore, fast and practical wavelet methods are being developed in-house at the NASA Lewis Research Center to assist in these tasks. This includes establishing user-friendly links between some fundamental wavelet analysis ideas and the classical theories (or practices) of system identification, data analysis, and processing.

Le, Dzu K.↗

NASA NTRS1991

Stellar turbulent convection - A new model and applications

Improvements of the mixing-length theory (MLT) of turbulent convection in stellar atmospheres are developed theoretically. It is pointed out that inaccuracies are introduced into MLT by the approximating assumptions of a single large eddy (rather than many eddies of different sizes) and of incompressibility. In the proposed new model, the full spectrum of turbulent eddies is determined using more recent turbulence models (e.g., the eddy-damped quasi-normal Markovian model of Orszag, 1977), and a new formula for the convective flux is obtained which gives values up to 10 times greater than those of the MLT at high convective efficiencies. The problem of compressibility is addressed by adding one of two new expressions (one with no free parameters) for the mixing length. Numerical results from simulations of a solar-type star and a 0.8-solar-mass globular-cluster star are presented in tables and graphs and discussed in detail; the agreement with observations is found to be better than with the MLT.

Canuto, V. M.↗

NASA NTRS1975

Lattice model theory of the equation of state covering the gas, liquid, and solid phases

The three stable states of matter and the corresponding phase transitions were obtained with a single model. Patterned after Lennard-Jones and Devonshires's theory, a simple cubic lattice model containing two fcc sublattices (alpha and beta) is adopted. The interatomic potential is taken to be the Lennard-Jones (6-12) potential. Employing the cluster variation method, the Weiss and the pair approximations on the lattice gas failed to give the correct phase diagrams. Hybrid approximations were devised to describe the lattice term in the free energy. A lattice vibration term corresponding to a free volume correction is included semi-phenomenologically. The combinations of the lattice part and the free volume part yield the three states and the proper phase diagrams. To determine the coexistence regions, the equalities of the pressure and Gibbs free energy per molecule of the coexisting phases were utilized. The ordered branch of the free energy gives rise to the solid phase while the disordered branch yields the gas and liquid phases. It is observed that the triple point and the critical point quantities, the phase diagrams and the coexistence regions plotted are in good agreement with the experimental values and graphs for argon.

Bonavito, N. L.↗

NASA NTRS1947

Scale effect and optimum relations for sea surface planning

From the general dimensional and mechanical similarity theory it follows that a condition of steady motion of a given shape\bottom with constant speed on the surface of water is determined by four nondimensional parameters. By considering the various systems of independent parameters which are applied in theory and practice and special tests, there is determined their mutual relations and their suitability as planning characteristics. In studying the scale effect on the basis of the Prnndtl formula for the friction coefficient for a turbulent condition the order of magnitude is given of the error in applying the model data to full scale in the case of a single-step bottom For a bottom of complicated shape it is shown how from the test data of the hydrodynamic characteristics for one speed with various loads, or one load with various speeds, there may be obtained by simple computation with good approximation the hydrodynamic characteristics for a different speed or for a different load. (These considerations may be of use in solving certain problems on the stability of planning.) This permits extrapolating the curve of resistance against speed for large speeds inaccessible in the tank tests or for other loads which were not tested. The data obtained by computation are in good agreement with the test results. Problems regarding the optimum trim angle or the optimum width in the case of planning of a flat plate are considered from the point of view of the minimum resistance for a given load on the water and planning speeds. Formulas and graphs are given for the optimum value of the planning coefficient and the corresponding values of the trim angle and width of the flat plate.

Sedov, L.↗

NASA NTRS2007

Predicting Rocket or Jet Noise in Real Time

A semi-empirical theoretical model and a C++ computer program that implements the model have been developed for use in predicting the noise generated by a rocket or jet engine. The computer program, entitled the Realtime Rocket and Jet Engine Noise Analysis and Prediction Software, is one of two main subsystems of the Acoustic Prediction/Measurement Tool, which comprises software, acoustic instrumentation, and electronic hardware combined to afford integrated capabilities for real-time prediction and measurement of noise emitted by rocket and jet engines. [The other main subsystem, consisting largely of acoustic instrumentation and electronic hardware, is described in Wireless Acoustic Measurement System, which appears elsewhere in this section.] The theoretical model was derived from the fundamental laws of fluid mechanics, as first was done by M. J. Lighthill in his now famous theory of aerodynamically generated sound. The far-field approximation of the Lighthill theory is incorporated into this model. Many other contributions from various researchers have also been introduced into the model. The model accounts for two noise components: shear noise and self noise. The final result of the model is expressed in terms of a volume integral of the acoustic intensities attributable to these two components, subject to various directivity coefficients. The computer program was written to solve the volume integral. The inputs required by the program are two data files from a computational fluid dynamics (CFD) simulation of the flow of interest: the computational-grid file and the solution file. The CFD solution should be one that has been obtained for conditions that closely approximate those of an experimental test that is yet to be performed. In the current state of development of the model and software, it is recommended that the observation points lie along a radius at an angle >60 from the jet axis. The software provides, and is driven via, a graphical user interface, which facilitates its use. Optionally, the program accepts additional input in the form of data on the measured sound pressure level as a function of frequency at a given far-field location, preferably at an angle of 90 from the jet axis. The user is prompted to use default empirical constants or to choose constants based the measurement data. The user can view the results and compare them with other computational or experimental data. Once satisfied with the results, the user can save a graph of the results in a file that can be imported into documents.

Frendi, Kader↗