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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Model checking for linear temporal logic: An efficient implementation

This report provides evidence to support the claim that model checking for linear temporal logic (LTL) is practically efficient. Two implementations of a linear temporal logic model checker is described. One is based on transforming the model checking problem into a satisfiability problem; the other checks an LTL formula for a finite model by computing the cross-product of the finite state transition graph of the program with a structure containing all possible models for the property. An experiment was done with a set of mutual exclusion algorithms and tested safety and liveness under fairness for these algorithms.

Sherman, Rivi↗
NASA NTRS1993

Simulator for heterogeneous dataflow architectures

A new simulator is developed to simulate the execution of an algorithm graph in accordance with the Algorithm to Architecture Mapping Model (ATAMM) rules. ATAMM is a Petri Net model which describes the periodic execution of large-grained, data-independent dataflow graphs and which provides predictable steady state time-optimized performance. This simulator extends the ATAMM simulation capability from a heterogenous set of resources, or functional units, to a more general heterogenous architecture. Simulation test cases show that the simulator accurately executes the ATAMM rules for both a heterogenous architecture and a homogenous architecture, which is the special case for only one processor type. The simulator forms one tool in an ATAMM Integrated Environment which contains other tools for graph entry, graph modification for performance optimization, and playback of simulations for analysis.

Malekpour, Mahyar R.↗
NASA NTRS2005

A Comparison of Geographic Information Systems, Complex Networks, and Other Models for Analyzing Transportation Network Topologies

This report reviews six classes of models that are used for studying transportation network topologies. The report is motivated by two main questions. First, what can the "new science" of complex networks (scale-free, small-world networks) contribute to our understanding of transport network structure, compared to more traditional methods? Second, how can geographic information systems (GIS) contribute to studying transport networks? The report defines terms that can be used to classify different kinds of models by their function, composition, mechanism, spatial and temporal dimensions, certainty, linearity, and resolution. Six broad classes of models for analyzing transport network topologies are then explored: GIS; static graph theory; complex networks; mathematical programming; simulation; and agent-based modeling. Each class of models is defined and classified according to the attributes introduced earlier. The paper identifies some typical types of research questions about network structure that have been addressed by each class of model in the literature.

Alexandrov, Natalia↗
NASA NTRS2004

Distribution of Inclusion-Initiated Fatigue Cracking in Powder Metallurgy Udimet 720 Characterized

In the absence of extrinsic surface damage, the fatigue life of metals is often dictated by the distribution of intrinsic defects. In powder metallurgy (PM) alloys, relatively large defects occur rarely enough that a typical characterization with a limited number of small volume fatigue test specimens will not adequately sample inclusion-initiated damage. Counterintuitively, inclusion-initiated failure has a greater impact on the distribution in PM alloy fatigue lives because they tend to have fewer defects than their cast and wrought counterparts. Although the relative paucity of defects in PM alloys leads to higher mean fatigue lives, the distribution in observed lives tends to be broader. In order to study this important failure initiation mechanism without expending an inordinate number of specimens, a study was undertaken at the NASA Glenn Research Center where known populations of artificial inclusions (seeds) were introduced to production powder. Fatigue specimens were machined from forgings produced from the seeded powder. Considerable effort has been expended in characterizing the crack growth rate from inclusion-initiated cracks in seeded PM alloys. A rotating and translating positioning system, with associated software, was devised to map the surface inclusions in low-cycle fatigue (LCF) test bars and to monitor the crack growth from these inclusions. The preceding graph illustrates the measured extension in fatigue cracks from inclusions on a seeded LCF test bar subjected to cyclic loading at a strain range of 0.8 percent and a strain ratio (max/min) of zero. Notice that the observed inclusions fall into three categories: some do not propagate at all (arrest), some propagate with a decreasing crack growth rate, and a few propagate at increasing rates that can be modeled by fracture mechanics. The following graph shows the measured inclusion-initiated crack growth rates from 10 interrupted LCF tests plotted against stress intensities calculated for semi-elliptical cracks with the observed surface lengths. The expected scatter in the crack growth rates for stress intensity ranges near threshold is observed. These data will be used to help determine the distribution in growth rates of cracks emanating from inclusions as well as the proportion of cracks that arrest under various loading conditions.

Bonacuse, Peter J.↗
NASA NTRS2012

Model-Based Fault Diagnosis: Performing Root Cause and Impact Analyses in Real Time

Generic, object-oriented fault models, built according to causal-directed graph theory, have been integrated into an overall software architecture dedicated to monitoring and predicting the health of mission- critical systems. Processing over the generic fault models is triggered by event detection logic that is defined according to the specific functional requirements of the system and its components. Once triggered, the fault models provide an automated way for performing both upstream root cause analysis (RCA), and for predicting downstream effects or impact analysis. The methodology has been applied to integrated system health management (ISHM) implementations at NASA SSC's Rocket Engine Test Stands (RETS).

Figueroa, Jorge F.↗
NASA NTRS1989

Modeling and analysis of multiprocessor architectures

Some technologies developed for system level modeling and analysis of algorithms/architectures using an architecture design and development system are reviewed. Modeling and analysis is described with attention given to modeling constraints and analysis using constrained software graphs. An example is presented of an ADAS graph and its associated attributes, such as firing delay, token consume rate, token produce rate, firing threshold, firing condition, arc queue lengths, associated C or Ada functional model, and stochastic behavior.

Yalamanchili, S.↗
NASA NTRS1989

Evaluation of a procedure for the analysis of nonstationary vibroacoustic data

Numerical techniques for the spectral analysis of vibration data from space-vehicle launches are described and demonstrated. A nonstationary product model described by Bendat and Piersol (1986) and its locally stationary version (Silverman, 1957) are applied to Space Shuttle flight data, and the results are presented in extensive graphs. It is shown that the nonstationary model can analyze data from longer sampling periods and thus significantly reduce random error; this in turn leads to vibration spectra lower than those obtained with short-duration models.

Himelblau, Harry↗
NASA NTRS1994

CONFIG: Integrated engineering of systems and their operation

This article discusses CONFIG 3, a prototype software tool that supports integrated conceptual design evaluation from early in the product life cycle, by supporting isolated or integrated modeling, simulation, and analysis of the function, structure, behavior, failures and operations of system designs. Integration and reuse of models is supported in an object-oriented environment providing capabilities for graph analysis and discrete event simulation. CONFIG supports integration among diverse modeling approaches (component view, configuration or flow path view, and procedure view) and diverse simulation and analysis approaches. CONFIG is designed to support integrated engineering in diverse design domains, including mechanical and electro-mechanical systems, distributed computer systems, and chemical processing and transport systems.

Malin, Jane T.↗
NASA NTRS1994

Computer-aided operations engineering with integrated models of systems and operations

CONFIG 3 is a prototype software tool that supports integrated conceptual design evaluation from early in the product life cycle, by supporting isolated or integrated modeling, simulation, and analysis of the function, structure, behavior, failures and operation of system designs. Integration and reuse of models is supported in an object-oriented environment providing capabilities for graph analysis and discrete event simulation. Integration is supported among diverse modeling approaches (component view, configuration or flow path view, and procedure view) and diverse simulation and analysis approaches. Support is provided for integrated engineering in diverse design domains, including mechanical and electro-mechanical systems, distributed computer systems, and chemical processing and transport systems. CONFIG supports abstracted qualitative and symbolic modeling, for early conceptual design. System models are component structure models with operating modes, with embedded time-related behavior models. CONFIG supports failure modeling and modeling of state or configuration changes that result in dynamic changes in dependencies among components. Operations and procedure models are activity structure models that interact with system models. CONFIG is designed to support evaluation of system operability, diagnosability and fault tolerance, and analysis of the development of system effects of problems over time, including faults, failures, and procedural or environmental difficulties.

Malin, Jane T.↗
NASA NTRS2002

A Quantitative Software Risk Assessment Model

This slide presentation reviews a risk assessment model as applied to software development. the presentation uses graphs to demonstrate basic concepts of software reliability. It also discusses the application to the risk model to the software development life cycle.

Lee, Alice↗
NASA NTRS1979

A thermal vacuum test optimization procedure

An analytical model was developed that can be used to establish certain parameters of a thermal vacuum environmental test program based on an optimization of program costs. This model is in the form of a computer program that interacts with a user insofar as the input of certain parameters. The program provides the user a list of pertinent information regarding an optimized test program and graphs of some of the parameters. The model is a first attempt in this area and includes numerous simplifications. The model appears useful as a general guide and provides a way for extrapolating past performance to future missions.

Kruger, R.↗
NASA NTRS1983

HEAO A-2 soft X-ray source catalog

The HEAO A-2 low energy X-ray detectors have surveyed over 95% of the sky in the spectral bands 0.18-0.44 and 0.44-2.8 keV, down to a typical limiting sensitivity of 1 x 10 to the -11th and 3 x 10 to the -11th ergs per sq cm per sec in each band, respectively. Using a significance criterion of 6 sigma for existence, 114 sources are cataloged, of which 54 were previously undiscovered and 32 remain unidentified. The catalog contains a listing of all counterpart identifications and a cross-reference to all HEAO 1 A-2 low energy detector team publications on the catalog sources complete through the end of 1981. Supplementary material allows the estimation of spectral parameters for the spectral models from the observed intensities. Simple graphs allow the extraction of energy fluxes at the earth, both with and without the effects of interstellar absorption. The angular distribution of the cataloged sources in the 0.44-2.8 keV band is concentrated toward the galactic plane and resembles that seen at higher energy. The distribution in the 0.18-0.44 keV band is more uniform and contains many more newly discovered and unidentified sources.

Nugent, J. J.↗
NASA NTRS1984

Calculations of turbulent mass transport in a bluff-body diffusion-flame combustor

Experimental measurements of turbulent mass transit in a bluff-body diffusion-flame combustor (using CO2 instead of fuel) are analyzed to evaluate the accuracy of physical models used in flow computations. The data of Lightman and Magill (1981), Lightman et al. (1983), and Roquemore et al. (1983) are used to calculate apparent turbulent Schmidt numbers (TSN) for a series of flow conditions by a modified TEACH viscous-flow code. The modeling principles, calculation grid, and boundary conditions are discussed, and the results are presented in graphs comparing calculated and measured values. It is shown that models such as the two-equation (K - epsilon) model which use a single value of the TSN are inappropriate for conditions typical of gas-turbine combustors: local TSN variations due to turbulence behavior must be taken into account in improved models.

Sturgess, G. J.↗
NASA NTRS1984

Venus - Ishtar gravity anomaly

The gravity anomaly associated with Ishtar Terra on Venus is characterized, comparing line-of-sight acceleration profiles derived by differentiating Pioneer Venus Orbiter Doppler residual profiles with an Airy-compensated topographic model. The results are presented in graphs and maps, confirming the preliminary findings of Phillips et al. (1979). The isostatic compensation depth is found to be 150 + or - 30 km.

Sjogren, W. L.↗
NASA NTRS1990

Bounding the states of systems with unknown-but-bounded disturbances

Control systems with hard constraints on certain variables are characterized, in an analytical review of recent investigations based on an unknown-but-bounded description of magnitude uncertainties. Hard-constraint problems typically arise in the design of controllers for potentially hazardous systems such as nuclear power plants. Consideration is given to norm bounds based on matrix measures, extensions of Schweppe's (1968) ellipsoid bounds, and set-theoretic regulator design. The performance of these approaches is evaluated by means of numerical simulations involving a third-order nonlinear steam-boiler model; the results are presented in graphs, and it is found that ellipsoid bounds are tightest in the general case, but that box bounds are even tighter for linear systems with Metzler system matrices.

Tsai, Wei K.↗
NASA NTRS1992

A novel visual hardware behavioral language

Most hardware behavioral languages just use texts to describe the behavior of the desired hardware design. This is inconvenient for VLSI designers who enjoy using the schematic approach. The proposed visual hardware behavioral language has the ability to graphically express design information using visual parallel models (blocks), visual sequential models (processes) and visual data flow graphs (which consist of primitive operational icons, control icons, and Data and Synchro links). Thus, the proposed visual hardware behavioral language can not only specify hardware concurrent and sequential functionality, but can also visually expose parallelism, sequentiality, and disjointness (mutually exclusive operations) for the hardware designers. That would make the hardware designers capture the design ideas easily and explicitly using this visual hardware behavioral language.

Li, Xueqin↗
NASA NTRS1961

Flight Performance Handbook for Orbital Operations: Orbital Mechanics and Astrodynamics Formulae, Theorems, Techniques, and Applications

This handbook provides parametric data useful both to the space vehicle designer and mission analyst. It provides numerical and analytical relationships between missions and gross vehicle characteristics as a function of performance parameters. The effects of missile constraints and gross guidance limitations plus operational constraints such as launch site location, tracking net location, orbit visibility and mission on trajectory and orbit design parameters are exhibited. The influence of state-of- the-art applications of solar power as compared to future applications of nuclear power on orbit design parameters, such as eclipse time, are among the parameters included in the study. The principal aim, however, is in providing the analyst with useful parametric design information to cover the general area of earth satellite missions in the region of near-earth to cislunar space and beyond and from injection to atmospheric entry and controlled descent. The chapters are organized around the central idea of orbital operations in the 1961-1969 era with emphasis on parametric flight mechanics studies for ascent phase and parking orbits, transfer maneuvers, rendezvous maneuver, operational orbit considerations, and operational orbit control. The results are based almost entirely on the principles of flight and celestial mechanics. Numerous practical examples have been worked out in detail. This is especially important where it has been difficult or impossible to represent all possible variations of the parameters. The handbook contains analytical formulae and sufficient textual material to permit their proper use. The analytic methods consist of both exact and rapid, approximate methods. Scores of tables, working graphs and illustrations amplify the mathematical models which, together with important facts and data, cover the engineering and scientific applications of orbital mechanics. Each of the five major chapters are arranged to provide a rapid review of an entire astrodynamic subject. By the use of compact graphical and tabular presentation the full scope of the material is made available in an easy-to-use style. Throughout the volume the analyst is shown, by means of suitable introductions, notes, authoritative examples, and cross-references the vital interrelation of the various orbital mechanics topics in the general field of earth satellites and satellite rendezvous. The handbook is designed to give the analyst rapid, reliable access to the mathematics of orbital mechanics needed for virtually any working requirements.

Ambrosio, Alphonso↗