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 217 records · Page 12

Working model of the atmosphere and near planetary space of Jupiter

Basic physical characteristics of Jupiter, its gravitational field, atmosphere, electromagnetic radiation, magnetosphere, meteorite situation and satellites are presented in tables, graphs and figures. Means of observation of the atmosphere and three models of the atmosphere are presented and analyzed.

Moroz, V. I.↗

Mathematical modelling of a human external respiratory system

A closed system of algebraic and common differential equations solved by computer is investigated. It includes equations which describe the activity pattern of the respiratory center, the phrenic nerve, the thrust produced by the diaphragm as a function of the lung volume and discharge frequency of the phrenic nerve, as well as certain relations of the lung stretch receptors and chemoreceptors on various lung and blood characteristics, equations for lung biomechanics, pulmonary blood flow, alveolar gas exchange and capillary blood composition equations to determine various air and blood flow and gas exchange parameters, and various gas mixing and arterial and venous blood composition equations, to determine other blood, air and gas mixing characteristics. Data are presented by means of graphs and tables, and some advantages of this model over others are demonstrated by test results.

Source record↗

Nasa Genelab - Knowledge Graph Fabric Enables Deep Biomedical Analysis of Multi-Omics Datasets

The limited number of astronauts and human samples from long-duration space missions pose significant challenges for studying the health risks associated with spaceflight and developing new treatments. As a result, much of our understanding of the biological impact of space travel relies on samples from model organisms. NASA GeneLab, integrated into Open Science Data Repository (OSDR) is a centralized multi-omics resource containing almost 1000 datasets from over 500 space-related studies from human and model organism samples. Previous studies have demonstrated that human phenotypes and physiological changes caused by spaceflight can be identified by connecting gene expression data from model organisms flown in space to a biomedical knowledge graph (SPOKE). In this work, we present a data fabric connecting OSDR datasets to SPOKE that empowers biomedical analyses through the GeneLab visualization portal. This collaboration is funded by NSF’s Proto-OKN program.

data fabric↗

Ozone reference models for the middle atmosphere

Data on monthly latitudinal variations in middle-atmosphere vertical ozone profiles are presented, based on extensive Nimbus-7, AE-2, and SME satellite measurements from the period 1978-1982. The coverage of the data sets, the characteristics of the sensors, and the analysis techniques applied are described, and the results are compiled in tables and graphs. These ozone data are intended to supplement the models of the 1986 COSPAR International Reference Atmosphere.

Keating, G. M.↗

Improvement of Automated POST Case Success Rate Using Support Vector Machines

During early conceptual design of complex systems, concept down selection can have a large impact upon program life-cycle cost. Therefore, any concepts selected during early design will inherently commit program costs and affect the overall probability of program success. For this reason it is important to consider as large a design space as possible in order to better inform the down selection process. For conceptual design of launch vehicles, trajectory analysis and optimization often presents the largest obstacle to evaluating large trade spaces. This is due to the sensitivity of the trajectory discipline to changes in all other aspects of the vehicle design. Small deltas in the performance of other subsystems can result in relatively large fluctuations in the ascent trajectory because the solution space is non-linear and multi-modal [1]. In order to help capture large design spaces for new launch vehicles, the authors have performed previous work seeking to automate the execution of the industry standard tool, Program to Optimize Simulated Trajectories (POST). This work initially focused on implementation of analyst heuristics to enable closure of cases in an automated fashion, with the goal of applying the concepts of design of experiments (DOE) and surrogate modeling to enable near instantaneous throughput of vehicle cases [2]. Additional work was then completed to improve the DOE process by utilizing a graph theory based approach to connect similar design points [3]. The conclusion of the previous work illustrated the utility of the graph theory approach for completing a DOE through POST. However, this approach was still dependent upon the use of random repetitions to generate seed points for the graph. As noted in [3], only 8% of these random repetitions resulted in converged trajectories. This ultimately affects the ability of the random reps method to confidently approach the global optima for a given vehicle case in a reasonable amount of time. With only an 8% pass rate, tens or hundreds of thousands of reps may be needed to be confident that the best repetition is at least close to the global optima. However, typical design study time constraints require that fewer repetitions be attempted, sometimes resulting in seed points that have only a handful of successful completions. If a small number of successful repetitions are used to generate a seed point, the graph method may inherit some inaccuracies as it chains DOE cases from the non-global-optimal seed points. This creates inherent noise in the graph data, which can limit the accuracy of the resulting surrogate models. For this reason, the goal of this work is to improve the seed point generation method and ultimately the accuracy of the resulting POST surrogate model. The work focuses on increasing the case pass rate for seed point generation.

Zwack, Matthew R.↗

Kinetics of a gas adsorption compressor

Chan (1981) has suggested that a process based on gas adsorption could be used as a means to drive a Joule-Thomson (J-T) device. The resulting system has several advantages. It is heat powered, it has no sealing, there are no mechanical moving parts, and no active control is required. In the present investigation, a two-phase model is used to analyze the transients of a gas adsorption compressor. The modeling of the adsorption process is based on a consideration of complete thermal and mechanical equilibrium between the gaseous phase and the adsorbed gas phase. The experimental arrangement for two sets of kinetic tests is discussed, and data regarding the experimental results are presented in graphs. For a theoretical study, a two-phase model was developed to predict the transient behavior of the compressor. A computer code was written to solve the governing equations with the aid of a standard forward marching predictor-corrector method.

Chan, C. K.↗

Parallel computation of manipulator inverse dynamics

In this article, parallel computation of manipulator inverse dynamics is investigated. A hierarchical graph-based mapping approach is devised to analyze the inherent parallelism in the Newton-Euler formulation at several computational levels, and to derive the features of an abstract architecture for exploitation of parallelism. At each level, a parallel algorithm represents the application of a parallel model of computation that transforms the computation into a graph whose structure defines the features of an abstract architecture, i.e., number of processors, communication structure, etc. Data-flow analysis is employed to derive the time lower bound in the computation as well as the sequencing of the abstract architecture. The features of the target architecture are defined by optimization of the abstract architecture to exploit maximum parallelism while minimizing architectural complexity. An architecture is designed and implemented that is capable of efficient exploitation of parallelism at several computational levels. The computation time of the Newton-Euler formulation for a 6-degree-of-freedom (dof) general manipulator is measured as 187 microsec. The increase in computation time for each additional dof is 23 microsec, which leads to a computation time of less than 500 microsec, even for a 12-dof redundant arm.

Fijany, Amir↗

Formal Verification of Termination Criteria for First-Order Recursive Functions

This paper presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs. As a proof of concept, this paper illustrates how such an extension can be implemented using proof strategies based on computational reflection.

Formal Verification↗

Formal Verification of Termination Criteria for​ First-Order Recursive Functions

This talk presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs.

Termination↗

Human System Risk Communication: Directed Acyclic Graphs

- The Human System Risk Board (HSRB) is responsible for the management of a portfolio of 30 human system risks that NASA tracks and configuration manages to mitigate for future crewed exploration missions. - The HSRB has been exploring the concept of causal diagrams (in the form of Directed Acyclic Graphs or DAGs) as an approach to creating knowledge graphs for each risk to enable shared mental models of causal flow from spaceflight hazards to mission outcomes among HSRB Stakeholders. - These diagrams are intended to improve insight and communication of risk across the myriad subject matter experts and management interested in human system risk reduction. This includes program managers, systems engineers, and operators in addition to the Human Health and Performance Directorate. - The DAG project was intended to create the foundation for composition of the 30 baselined DAGs into a single risk network and software is being developed in parallel to enable this forward work.

directed acrylic graph↗

Directed Acyclic Graph Guidance Documentation

For over a decade, the National Aeronautics and Space Administration (NASA) has tracked and configuration-managed approximately 30 risks to astronaut health and performance that occur before, during and after spaceflight. The Human System Risk Board (HSRB), a Health and Medical Technical Authority (HMTA) Board at NASA Johnson Space Center, is the entity responsible for identifying, assessing, analyzing, and monitoring the official understanding of the risk or risk posture for each of the Human System Risks and determining – based on evaluation of the available evidence – when that risk posture changes. The ultimate purpose of tracking and researching these risks is to find ways to reduce the risk that astronaut crews face during spaceflight. Historically, research, development and operations relevant to one risk have been conducted in isolation from other risks; these individual risk ‘silos’ enabled initial characterization of each specific risk. In spaceflight however, the impact of exposure to risk for astronaut crews is cumulative, and not independent of exposures or other risks, as all the adverse effects of the spaceflight environment begin at launch, continue throughout the duration of the mission and in some cases across the lifetime of the crews. In January of 2020, the HSRB at NASA embarked on a pilot project designed to assess the potential value of causal diagramming as a tool to facilitate understanding these cumulative and interdependent effects as applied within Human System Risk management. This process uses directed acyclic graphs as a means of formalizing a shared mental model of the causal flow of risk among Risk Board stakeholders. Initially this model was to improve communication among those stakeholders, but the potential value exceeds communication alone. Formalization of the process for creating these causal diagrams will enable the creation of a composite risk network that is vetted by members of the NASA community and configuration managed. The causal diagrams are formulated as directed acyclic graphs (DAGs) to function as a type of knowledge graph for reference for the board and its stakeholders. This document outlines the pilot process, the standardized approaches, and guidance for risk custodian teams when creating and updating DAGs as a part of the NASA Human System Risk Management process.

Risk↗

Observations of Cygnus X-2 with IUE - Ultraviolet results from a multiwavelength campaign

IUE observations of Cyg X-2 obtained during June and October 1988 are reported and analyzed, with reference to data from simultaneous X-ray and radio observations and the predictions of theoretical models. The results are presented in extensive tables and graphs and characterized in detail. The UV flux is shown to increase monotonically as the X-ray emission moves along the Z-shaped trajectory from the horizontal to the flaring branch and the estimated mass accretion rate increases from about 6 x 10 to the -9th to 1.6 x 10 to the -8th solar mass/yr. Model calculations indicate that X-ray illumination of the accretion disk accounts for at least 80 percent of the observed UV emission, with 20 percent or less from the X-ray-heated surface of the companion star and less than 1 percent from the cool surface.

Vrtilek, S. D.↗

Data Analysis with Graphical Models: Software Tools

Probabilistic graphical models (directed and undirected Markov fields, and combined in chain graphs) are used widely in expert systems, image processing and other areas as a framework for representing and reasoning with probabilities. They come with corresponding algorithms for performing probabilistic inference. This paper discusses an extension to these models by Spiegelhalter and Gilks, plates, used to graphically model the notion of a sample. This offers a graphical specification language for representing data analysis problems. When combined with general methods for statistical inference, this also offers a unifying framework for prototyping and/or generating data analysis algorithms from graphical specifications. This paper outlines the framework and then presents some basic tools for the task: a graphical version of the Pitman-Koopman Theorem for the exponential family, problem decomposition, and the calculation of exact Bayes factors. Other tools already developed, such as automatic differentiation, Gibbs sampling, and use of the EM algorithm, make this a broad basis for the generation of data analysis software.

Buntine, Wray L.↗

Jovimagnetic secular variation

The history of Jupiter's planetary magnetic field is of great interest, in particular, because it represents the first opportunity to observe secular variations of a planetary dynamo other than the earth's. Indirect observations of the Jovian magnetic field began with the discovery of nonthermal radio emissions by Burke and Franklin (1955). In situ observations of the Jovian planetary magnetic field are limited to the Pioneer 10 and 11 flybys at epochs 1973.9 and 1974.9 and the Voyager 1 and 2 flyby encounters at epochs 1979.2 and 1979.5. Jovian magnetic field models are presented in a table, and a graph is provided in which the secular decrease of the earth's main dipole term is compared with estimates of Jupiter's main dipole term. The in situ magnetic field observations are consistent with no secular variation of the jovimagnetic dipole field from 1974.9 to 1979.2.

Connerney, J. E. P.↗

Measurements of mantle wave velocities and inversion for lateral heterogeneity and anisotropy. I - Analysis of great circle phase velocities

The global lateral heterogeneity of the upper mantle is investigated using the classical Fourier-transform method of Sato(1958) and IDA/GDSN data from 25 1980 earthquakes. The great-circle phase velocities of 200 Love and 250 Rayleigh 100-330-sec-period fundamental-mode wave paths are determined and interpreted in terms of regional phase-velocity variation, using additional data on surface tectonics to extrapolate odd-harmonic information from the even-harmonic data. The results are presented in extensive tables, maps, and graphs. Regionalized inversion using the seven-region model of Okal (1977) is found to give maximum variance reductions of 65 percent for Love waves and 85 percent for Rayleigh waves, compared to 60 and 90 percent for l(max) = 2 inversion. Significant interregion differences are found in the regionalized Love-wave phase velocities.

Nakanishi, I.↗

C2 photolytic processes in cometary comae

The C2 column densities toward comets Tuttle (1980h) and Meier (1980q) are determined on the basis of 1.15-nm-resolution 340-620-nm observations obtained with the IDS spectrograph on the 2.7-m telescope at McDonald Observatory in December 1980, and February 1981 (1980q only). The data are presented in graphs and fit with the nonequilibrium-chemistry model of Cochran (1982), and the rates of the photolytic creation and destruction of C2 are calculated as 5 x 10 to the -4th/sec and 4 x 10 to the -6th/sec, respectively.

Cochran, A. L.↗

Evidence of magnetic merging from low-altitude spacecraft and ground-based experiments

Magnetic-reconstruction models of magnetospheric phenomena and the airborne and ground-based measurement data supporting such models are reviewed and illustrated with diagrams and graphs. The primary emphasis is on the correlation of east-west flows on the dayside with the y component of the interplanetary magnetic field (IMF), and consideration is given to z-component IMF effects, magnetospheric convection for a northward IMF, and evidence based on particle distributions.

Reiff, P. H.↗