Search NASASearch

SEARCH · Search NASA

Results for “model tutorial”

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 145 records · Page 8

Hot Chips and Hot Interconnects for High End Computing Systems

I will discuss several processors: 1. The Cray proprietary processor used in the Cray X1; 2. The IBM Power 3 and Power 4 used in an IBM SP 3 and IBM SP 4 systems; 3. The Intel Itanium and Xeon, used in the SGI Altix systems and clusters respectively; 4. IBM System-on-a-Chip used in IBM BlueGene/L; 5. HP Alpha EV68 processor used in DOE ASCI Q cluster; 6. SPARC64 V processor, which is used in the Fujitsu PRIMEPOWER HPC2500; 7. An NEC proprietary processor, which is used in NEC SX-6/7; 8. Power 4+ processor, which is used in Hitachi SR11000; 9. NEC proprietary processor, which is used in Earth Simulator. The IBM POWER5 and Red Storm Computing Systems will also be discussed. The architectures of these processors will first be presented, followed by interconnection networks and a description of high-end computer systems based on these processors and networks. The performance of various hardware/programming model combinations will then be compared, based on latest NAS Parallel Benchmark results (MPI, OpenMP/HPF and hybrid (MPI + OpenMP). The tutorial will conclude with a discussion of general trends in the field of high performance computing, (quantum computing, DNA computing, cellular engineering, and neural networks).

Saini, Subhash

An Ontology-Based Virtual Orrery

Tutorials in this technical memorandum explain how to use the Protégé ontology editor to import data from Excel and export data from Protégé in the JavaScript Object Notation Linked Data (JSON-LD) format then how to transform the JSON-LD file into variables for web apps. These tutorials apply JavaScript and R programming languages and 3D graphics libraries. Ontologies enable standardization, data sharing, and semantic interoperability. An ontology models a domain of knowledge as taxonomies of annotated classes, data properties, relational object properties, and inference rules. This technical memorandum includes a data dictionary for a subset of the Space Situational Awareness Ontology (SSAO).

Ontologies

Progress toward an explicit mechanistic model for the light-driven pump, bacteriorhodopsin

Recent crystallographic information about the structure of bacteriorhodopsin and some of its photointermediates, together with a large amount of spectroscopic and mutational data, suggest a mechanistic model for how this protein couples light energy to the translocation of protons across the membrane. Now nearing completion, this detailed molecular model will describe the nature of the steric and electrostatic conflicts at the photoisomerized retinal, as well as the means by which it induces proton transfers in the two half-channels leading to the two membrane surfaces, thereby causing unidirectional, uphill transport.

Review, Tutorial

Automated Modeling and Simulation Using the Bond Graph Method for the Aerospace Industry

Bond graph modeling was originally developed in the late 1950s by the late Prof. Henry M. Paynter of M.I.T. Prof. Paynter acted well before his time as the main advantage of his creation, other than the modeling insight that it provides and the ability of effectively dealing with Mechatronics, came into fruition only with the recent advent of modern computer technology and the tools derived as a result of it, including symbolic manipulation, MATLAB, and SIMULINK and the Computer Aided Modeling Program (CAMPG). Thus, only recently have these tools been available allowing one to fully utilize the advantages that the bond graph method has to offer. The purpose of this paper is to help fill the knowledge void concerning its use of bond graphs in the aerospace industry. The paper first presents simple examples to serve as a tutorial on bond graphs for those not familiar with the technique. The reader is given the basic understanding needed to appreciate the applications that follow. After that, several aerospace applications are developed such as modeling of an arresting system for aircraft carrier landings, suspension models used for landing gears and multibody dynamics. The paper presents also an update on NASA's progress in modeling the International Space Station (ISS) using bond graph techniques, and an advanced actuation system utilizing shape memory alloys. The later covers the Mechatronics advantages of the bond graph method, applications that simultaneously involves mechanical, hydraulic, thermal, and electrical subsystem modeling.

Granda, Jose J.

Tracks to therapy

Studies of the structure of particle tracks have led to models of track effects based on radial dose and radiobiological target theory that have been very successful in describing and predicting track effects in physical, chemical, and biological systems. For describing mammalian cellular inactivation two inactivation modes are required, called gamma-kill and ion-kill, the first due to synergistic effects of delta rays from adjacent ion paths thus resembling the effects from gamma rays, and the second to the effects of single ion transits through a cell nucleus. The ion-kill effect is more severe, where the fraction of cells experiencing ion kill is responsible for a decrease in the oxygen enhancement ratio, and an increase in relative biological effectiveness, but these are accompanied by loss of repair, hence to a reduction in the efficiency of fractionation in high LET therapy, as shown by our calculations for radiobiological effects in the "spread out Bragg Peak".

Review, Tutorial

An algebra of discrete event processes

This report deals with an algebraic framework for modeling and control of discrete event processes. The report consists of two parts. The first part is introductory, and consists of a tutorial survey of the theory of concurrency in the spirit of Hoare's CSP, and an examination of the suitability of such an algebraic framework for dealing with various aspects of discrete event control. To this end a new concurrency operator is introduced and it is shown how the resulting framework can be applied. It is further shown that a suitable theory that deals with the new concurrency operator must be developed. In the second part of the report the formal algebra of discrete event control is developed. At the present time the second part of the report is still an incomplete and occasionally tentative working paper.

Heymann, Michael

An elementary tutorial on formal specification and verification using PVS

A tutorial on the development of a formal specification and its verification using the Prototype Verification System (PVS) is presented. The tutorial presents the formal specification and verification techniques by way of specific example - an airline reservation system. The airline reservation system is modeled as a simple state machine with two basic operations. These operations are shown to preserve a state invariant using the theorem proving capabilities of PVS. The technique of validating a specification via 'putative theorem proving' is also discussed and illustrated in detail. This paper is intended for the novice and assumes only some of the basic concepts of logic. A complete description of user inputs and the PVS output is provided and thus it can be effectively used while one is sitting at a computer terminal.

Butler, Ricky W.

Tensegrity II. How structural networks influence cellular information processing networks

The major challenge in biology today is biocomplexity: the need to explain how cell and tissue behaviors emerge from collective interactions within complex molecular networks. Part I of this two-part article, described a mechanical model of cell structure based on tensegrity architecture that explains how the mechanical behavior of the cell emerges from physical interactions among the different molecular filament systems that form the cytoskeleton. Recent work shows that the cytoskeleton also orients much of the cell's metabolic and signal transduction machinery and that mechanical distortion of cells and the cytoskeleton through cell surface integrin receptors can profoundly affect cell behavior. In particular, gradual variations in this single physical control parameter (cell shape distortion) can switch cells between distinct gene programs (e.g. growth, differentiation and apoptosis), and this process can be viewed as a biological phase transition. Part II of this article covers how combined use of tensegrity and solid-state mechanochemistry by cells may mediate mechanotransduction and facilitate integration of chemical and physical signals that are responsible for control of cell behavior. In addition, it examines how cell structural networks affect gene and protein signaling networks to produce characteristic phenotypes and cell fate transitions during tissue development.

Review

On the origin of metabolic pathways

The heterotrophic theory of the origin of life is the only proposal available with experimental support. This comes from the ease of prebiotic synthesis under strongly reducing conditions. The prebiotic synthesis of organic compounds by reduction of CO(2) to monomers used by the first organisms would also be considered an heterotrophic origin. Autotrophy means that the first organisms biosynthesized their cell constituents as well as assembling them. Prebiotic synthetic pathways are all different from the biosynthetic pathways of the last common ancestor (LCA). The steps leading to the origin of the metabolic pathways are closer to prebiotic chemistry than to those in the LCA. There may have been different biosynthetic routes between the prebiotic and the LCAs that played an early role in metabolism but have disappeared from extant organisms. The semienzymatic theory of the origin of metabolism proposed here is similar to the Horowitz hypothesis but includes the use of compounds leaking from preexisting pathways as well as prebiotic compounds from the environment.

NASA Discipline Exobiology

The molecular basis of ethylene signalling in Arabidopsis

The simple gas ethylene profoundly influences plants at nearly every stage of growth and development. In the past ten years, the use of a genetic approach, based on the triple response phenotype, has been a powerful tool for investigating the molecular events that underlie these effects. Several fundamental elements of the pathway have been described: a receptor with homology to bacterial two-component histidine kinases (ETR1), elements of a MAP kinase cascade (CTR1) and a putative transcription factor (EIN3). Taken together, these elements can be assembled into a simple, linear model for ethylene signalling that accounts for most of the well-characterized ethylene mediated responses.

Non-NASA Center

ROCKE-3D 2.0: An Updated General Circulation Model for Simulating the Climates of Rocky Planets

We present the second generation of ROCKE-3D (Resolving Orbital and Climate Keys of Earth and Extraterrestrial Environments with Dynamics), the generalized 3-dimensional General Circulation Model (GCM) for use in Solar System and exoplanetary simulations of rocky planet climates. ROCKE-3D version 2.0 is a descendant of GISS ModelE2.1, the flagship GCM of the NASA Goddard Institute for Space Studies (GISS) used in the most recent Intergovernmental Panel for Climate Change (IPCC) assessment. ROCKE-3D is a continuous effort to expand the capabilities of GISS ModelE to handle a broader range of atmospheric conditions, including different atmospheric planet sizes, gravities, pressures, rotation rates, more diverse chemistries and atmospheric compositions, diverse ocean and land distributions and topographies, and potential basic biosphere functions. We present in this release many more supported configurations which can serve as starting points to simulate terrestrial planets of interest. Two different radiation schemes are supported, the GISS radiation, valid for Earth-like planets, and SOCRATES, which is more generalized but requires more CPU resources. In addition, three different atmospheric compositions are supported, three ocean configurations (prescribed, q-flux, and dynamic), and two resolutions: the medium resolution (4 x 5 degrees in latitude x longitude) used in ROCKE-3D 1.0, and the fine resolution, which has double the resolution in the atmosphere and 4 times the resolution in the ocean. We quantify how the different component choices affect model results, and discuss strengths and limitations of using each component, together with how one can select which component to use. ROCKE-3D is publicly available and tutorial sessions are available for the community, greatly facilitating its use by any interested group.

ROCKE-3D

Circadian rhythms of performance: new trends

This brief review is concerned with how human performance efficiency changes as a function of time of day. It presents an overview of some of the research paradigms and conceptual models that have been used to investigate circadian performance rhythms. The influence of homeostatic and circadian processes on performance regulation is discussed. The review also briefly presents recent mathematical models of alertness that have been used to predict cognitive performance. Related topics such as interindividual differences and the postlunch dip are presented.

Review, Tutorial

Visualizing Infrared (IR) Spectroscopy with Computer Animation

IR Tutor, an interactive, animated infrared (IR) spectroscopy tutorial has been developed for Macintosh and IBM-compatible computers. Using unique color animation, complicated vibrational modes can be introduced to beginning students. Rules governing the appearance of IR absorption bands become obvious because the vibrational modes can be visualized. Each peak in the IR spectrum is highlighted, and the animation of the corresponding normal mode can be shown. Students can study each spectrum stepwise, or click on any individual peak to see its assignment. Important regions of each spectrum can be expanded and spectra can be overlaid for comparison. An introduction to the theory of IR spectroscopy is included, making the program a complete instructional package. Our own success in using this software for teaching and research in both academic and industrial environments will be described. IR Tutor consists of three sections: (1) The 'Introduction' is a review of basic principles of spectroscopy. (2) 'Theory' begins with the classical model of a simple diatomic molecule and is expanded to include larger molecules by introducing normal modes and group frequencies. (3) 'Interpretation' is the heart of the tutorial. Thirteen IR spectra are analyzed in detail, covering the most important functional groups. This section features color animation of each normal mode, full interactivity, overlay of related spectra, and expansion of important regions. This section can also be used as a reference.

Charles B. Abrams

Alterations in protein metabolism during space flight and inactivity

Space flight and the accompanying diminished muscular activity lead to a loss of body nitrogen and muscle function. These losses may affect crew capabilities and health in long-duration missions. Space flight alters protein metabolism such that the body is unable to maintain protein synthetic rates. A concomitant hypocaloric intake and altered anabolic/catabolic hormonal profiles may contribute to or exacerbate this problem. The inactivity associated with bedrest also reduces muscle and whole-body protein synthesis. For this reason, bedrest provides a good model for the investigation of potential exercise and nutritional countermeasures to restore muscle protein synthesis. We have demonstrated that minimal resistance exercise preserves muscle protein synthesis throughout bedrest. In addition, ongoing work indicates that an essential amino acid and carbohydrate supplement may ameliorate the loss of lean body mass and muscle strength associated with 28 d of bedrest. The investigation of inactivity-induced alterations in protein metabolism, during space flight or prolonged bedrest, is applicable to clinical populations and, in a more general sense, to the problems associated with the decreased activity that occur with aging.

Non-NASA Center

BoBa

BoBa is a C++ software library for working with large matrices, tensors, and tensor decompositions. The library provides tools for dense matrix and tensor operations, tensor decompositions, and tensor decomposition methods that support modern CPU and GPU architectures. It includes portable abstractions for linear algebra, tensor algebra, and multidimensional computation. BoBa is intended for scientific computing applications that involve large multidimensional data sets or high dimensional mathematical models. Its capabilities support tasks such as data compression, linear algebra, efficient numerical computation, and the development of scalable algorithms for heterogeneous hardware. Tutorials, tests, and example applications are included to help users learn and apply the library.

Yao, Jin [Lawrence Livermore National Laboratory (

Clinical models of cardiovascular regulation after weightlessness

After several days in microgravity, return to earth is attended by alterations in cardiovascular function. The mechanisms underlying these effects are inadequately understood. Three clinical disorders of autonomic function represent possible models of this abnormal cardiovascular function after spaceflight. They are pure autonomic failure, baroreflex failure, and orthostatic intolerance. In pure autonomic failure, virtually complete loss of sympathetic and parasympathetic function occurs along with profound and immediate orthostatic hypotension. In baroreflex failure, various degrees of debuffering of blood pressure occur. In acute and complete baroreflex failure, there is usually severe hypertension and tachycardia, while with less complete and more chronic baroreflex impairment, orthostatic abnormalities may be more apparent. In orthostatic intolerance, blood pressure fall is minor, but orthostatic symptoms are prominent and tachycardia frequently occurs. Only careful autonomic studies of human subjects in the microgravity environment will permit us to determine which of these models most closely reflects the pathophysiology brought on by a period of time in the microgravity environment.

Review, Tutorial