Search NASA⌕ Search

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

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.↗
NASA NTRS2003

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↗
NASA NTRS1999

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↗
NASA NTRS1998

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↗
NASA NTRSDate not supplied

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↗
NASA NTRS2000

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↗
NASA NTRS1996

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↗
NASA NTRS2002

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↗
NASA NTRS1996

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↗
NASA NTRS2003

Regulatory coding of lymphoid lineage choice by hematopoietic transcription factors

During lymphopoiesis, precursor cells negotiate a complex regulatory space, defined by the levels of several competing and cross-regulating transcription factors, before arriving at stable states of commitment to the B-, T- and NK-specific developmental programs. Recent perturbation experiments provide evidence that this space has three major axes, corresponding to the PU.1 versus GATA-1 balance, the intensity of Notch signaling through the CSL pathway, and the ratio of E-box transcription factors to their Id protein antagonists.

Non-NASA Center↗
NASA NTRS1992

Is receptor oligomerization causally linked to activation of the EGF receptor kinase?

Transduction of a signal from an extracellular peptide hormone to produce an intracellular response is often mediated by a cell surface receptor, which is usually a glycoprotein. The secondary intracellular signal(s) generated after hormone binding to the receptor have been intensively studied. The nature of the primary signal generated by ligand binding to the receptor is understood less well in most cases. The particular case of the epidermal growth factor (EGF) receptor is analyzed, and evidence for or against two dissimilar models of primary signal transduction is reviewed. Evidence for the most widely accepted current model is found to be unconvincing. Evidence for the other model is substantial but indirect; a direct test of this model remains to be done.

Non-NASA Center↗
NASA NTRS1992

Commentary 2 to Cox and Little: radiation-induced oncogenic transformation: the interplay between dose, dose protraction, and radiation quality

There is now a substantial body of evidence for end points such as oncogenic transformation in vitro, and carcinogenesis and life shortening in vivo, suggesting that dose protraction leads to an increase in effectiveness relative to a single, acute exposure--at least for radiations of medium linear energy transfer (LET) such as neutrons. Table I contains a summary of the pertinent data from studies in which the effect is seen. [table: see text] This phenomenon has come to be known as the "inverse dose rate effect," because it is in marked contrast to the situation at low LET, where protraction in delivery of a dose of radiation, either by fractionation or low dose rate, results in a decreased biological effect; additionally, at medium and high LET, for radiobiological end points such as clonogenic survival, the biological effectiveness is independent of protraction. The quantity and quality of the published reports on the "inverse dose rate effect" leaves little doubt that the effect is real, but the available evidence indicates that the magnitude of the effect is due to a complex interplay between dose, dose rate, and radiation quality. Here, we first summarize the available data on the inverse dose rate effect and suggest that it follows a consistent pattern in regard to dose, dose rate, and radiation quality; second, we describe a model that predicts these features; and, finally, we describe the significance of the effect for radiation protection.

Review, Tutorial↗
NASA NTRS1990

PLOT3D user's manual

PLOT3D is a computer graphics program designed to visualize the grids and solutions of computational fluid dynamics. Seventy-four functions are available. Versions are available for many systems. PLOT3D can handle multiple grids with a million or more grid points, and can produce varieties of model renderings, such as wireframe or flat shaded. Output from PLOT3D can be used in animation programs. The first part of this manual is a tutorial that takes the reader, keystroke by keystroke, through a PLOT3D session. The second part of the manual contains reference chapters, including the helpfile, data file formats, advice on changing PLOT3D, and sample command files.

Walatka, Pamela P.↗
NASA NTRS2004

Magnetic microspheres and tissue model studies for therapeutic applications

The use of magnetic fluids and magnetic particles in combinatorial hyperthermia therapy for cancer treatment is reviewed. The investigation approach adopted for producing thermoregulating particles and tissue model studies for studying particle retention and heating characteristics is discussed.

Review↗
NASA NTRS2000

The chimeric eukaryote: origin of the nucleus from the karyomastigont in amitochondriate protists

We present a testable model for the origin of the nucleus, the membrane-bounded organelle that defines eukaryotes. A chimeric cell evolved via symbiogenesis by syntrophic merger between an archaebacterium and a eubacterium. The archaebacterium, a thermoacidophil resembling extant Thermoplasma, generated hydrogen sulfide to protect the eubacterium, a heterotrophic swimmer comparable to Spirochaeta or Hollandina that oxidized sulfide to sulfur. Selection pressure for speed swimming and oxygen avoidance led to an ancient analogue of the extant cosmopolitan bacterial consortium "Thiodendron latens." By eubacterial-archaebacterial genetic integration, the chimera, an amitochondriate heterotroph, evolved. This "earliest branching protist" that formed by permanent DNA recombination generated the nucleus as a component of the karyomastigont, an intracellular complex that assured genetic continuity of the former symbionts. The karyomastigont organellar system, common in extant amitochondriate protists as well as in presumed mitochondriate ancestors, minimally consists of a single nucleus, a single kinetosome and their protein connector. As predecessor of standard mitosis, the karyomastigont preceded free (unattached) nuclei. The nucleus evolved in karyomastigont ancestors by detachment at least five times (archamoebae, calonymphids, chlorophyte green algae, ciliates, foraminifera). This specific model of syntrophic chimeric fusion can be proved by sequence comparison of functional domains of motility proteins isolated from candidate taxa.

Review, Tutorial↗
NASA NTRS1993

Overview of spaceflight immunology studies

The effects of spaceflight and analogues of spaceflight are discussed here and in nine accompanying articles. In this summary we present spaceflight studies with human subjects, animal subjects, and cell cultures and we review ground-based systems used to model the observed effects of spaceflight on the immune system. Human paradigms include bed rest, academic or psychological stress, physical stress, hypobaric or high altitude stress, and confinement. Animal models include antiorthostatic and orthostatic suspension, hypobarism, and confinement. The ten manuscripts in this collection were selected to provide a summary that should give the reader an overview of the various activities of spaceflight immunology researchers throughout the history of space travel. This manuscript identifies the major contributors to the study of spaceflight immunology, explains what types of studies have been conducted, and how they have changed over the years. Also presented is a discussion of the unusual limitations associated with spaceflight research and the efforts to develop appropriate ground-based surrogate model systems. Specific details, data, and mechanistic speculations will be held to a minimum, because they will be discussed in depth in the other articles in the collection.

NASA Discipline Number 18-10↗