Search NASA⌕ Search

SEARCH · Search NASA

Results for “DEVELOP 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 37 records · Page 2
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 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 NTRS1989

A rapid prototyping/artificial intelligence approach to space station-era information management and access

Applications of rapid prototyping and Artificial Intelligence techniques to problems associated with Space Station-era information management systems are described. In particular, the work is centered on issues related to: (1) intelligent man-machine interfaces applied to scientific data user support, and (2) the requirement that intelligent information management systems (IIMS) be able to efficiently process metadata updates concerning types of data handled. The advanced IIMS represents functional capabilities driven almost entirely by the needs of potential users. Space Station-era scientific data projected to be generated is likely to be significantly greater than data currently processed and analyzed. Information about scientific data must be presented clearly, concisely, and with support features to allow users at all levels of expertise efficient and cost-effective data access. Additionally, mechanisms for allowing more efficient IIMS metadata update processes must be addressed. The work reported covers the following IIMS design aspects: IIMS data and metadata modeling, including the automatic updating of IIMS-contained metadata, IIMS user-system interface considerations, including significant problems associated with remote access, user profiles, and on-line tutorial capabilities, and development of an IIMS query and browse facility, including the capability to deal with spatial information. A working prototype has been developed and is being enhanced.

Carnahan, Richard S., Jr.↗
NASA NTRS2017

Access NASA Satellite Global Precipitation Data Visualization on YouTube

Since the satellite era began, NASA has collected a large volume of Earth science observations for research and applications around the world. The collected and archived satellite data at 12 NASA data centers can also be used for STEM education and activities such as disaster events, climate change, etc. However, accessing satellite data can be a daunting task for non-professional users such as teachers and students because of unfamiliarity of terminology, disciplines, data formats, data structures, computing resources, processing software, programming languages, etc. Over the years, many efforts including tools, training classes, and tutorials have been developed to improve satellite data access for users, but barriers still exist for non-professionals. In this presentation, we will present our latest activity that uses a very popular online video sharing Web site, YouTube (https://www.youtube.com/), for accessing visualizations of our global precipitation datasets at the NASA Goddard Earth Sciences (GES) Data and Information Services Center (DISC). With YouTube, users can access and visualize a large volume of satellite data without the necessity to learn new software or download data. The dataset in this activity is a one-month animation for the GPM (Global Precipitation Measurement) Integrated Multi-satellite Retrievals for GPM (IMERG). IMERG provides precipitation on a near-global (60 deg. N-S) coverage at half-hourly time interval, providing more details on precipitation processes and development compared to the 3-hourly TRMM (Tropical Rainfall Measuring Mission) Multisatellite Precipitation Analysis (TMPA, 3B42) product. When the retro-processing of IMERG during the TRMM era is finished in 2018, the entire video will contain more than 330,000 files and will last ~3.6 hours. Future plans include development of flyover videos for orbital data for an entire satellite mission or project. All videos, including the one-month animation, will be uploaded and available at the GES DISC site on YouTube (https://www.youtube.com/user/NASAGESDISC).

precipitation↗
NASA NTRS2017

Autonomous Diagnostic Imaging Performed by Untrained Operators using Augmented Reality as a Form of "Just-in-Time" Training

We will address the Human Factors and Performance Team, "Risk of performance errors due to training deficiencies" by improving the JIT training materials for ultrasound and OCT imaging by providing advanced guidance in a detailed, timely, and user-friendly manner. Specifically, we will (1) develop an audio-visual tutorial using AR that guides non-experts through an abdominal trauma ultrasound protocol; (2) develop an audio-visual tutorial using AR to guide an untrained operator through the acquisition of OCT images; (3) evaluate the quality of abdominal ultrasound and OCT images acquired by untrained operators using AR guidance compared to images acquired using traditional JIT techniques (laptop-based training conducted before image acquisition); and (4) compare the time required to complete imaging studies using AR tutorials with images acquired using current JIT practices to identify areas for time efficiency improvements. Two groups of subjects will be recruited to participate in this study. Operator-subjects, without previous experience in ultrasound or OCT, will be asked to perform both procedures using either the JIT training with AR technology or the traditional JIT training via laptop. Images acquired by inexperienced operator-subjects will be scored by experts in that imaging modality for diagnostic and research quality; experts will be blinded to the form of JIT used to acquire the images. Operator-subjects also will be asked to submit feedback to improve the training modules used during the scans to improve future training modules. Scanned-subjects will be a small group individuals from whom all images will be acquired.

Martin, D. S.↗
NASA NTRS2017

Autonomous Diagnostic Imaging Performed by Untrained Operator Using Augmented Reality as a Form of "Just-in-Time" Training

We will address the Human Factors and Performance Team, "Risk of performance errors due to training deficiencies" by improving the JIT training materials for ultrasound and OCT imaging by providing advanced guidance in a detailed, timely, and user-friendly manner. Specifically, we will (1) develop an audio-visual tutorial using AR that guides non-experts through an abdominal trauma ultrasound protocol; (2) develop an audio-visual tutorial using AR to guide an untrained operator through the acquisition of OCT images; (3) evaluate the quality of abdominal ultrasound and OCT images acquired by untrained operators using AR guidance compared to images acquired using traditional JIT techniques (laptop-based training conducted before image acquisition); and (4) compare the time required to complete imaging studies using AR tutorials with images acquired using current JIT practices to identify areas for time efficiency improvements. Two groups of subjects will be recruited to participate in this study. Operator-subjects, without previous experience in ultrasound or OCT, will be asked to perform both procedures using either the JIT training with AR technology or the traditional JIT training via laptop. Images acquired by inexperienced operator-subjects will be scored by experts in that imaging modality for diagnostic and research quality; experts will be blinded to the form of JIT used to acquire the images. Operator-subjects also will be asked to submit feedback to improve the training modules used during the scans to improve future training modules. Scanned-subjects will be a small group individuals from whom all images will be acquired.

Martin, David S.↗
NASA NTRS1995

Human Factors in Virtual Reality Development

This half-day tutorial will provide an overview of basic perceptual functioning as it relates to the design of virtual environment systems. The tutorial consists of three parts. First, basic issues in visual perception will be presented, including discussions of the visual sensations of brightness and color, and the visual perception of depth relationships in three-dimensional space (with a special emphasis on motion -specified depth). The second section will discuss the importance of conducting human-factors user studies and evaluations. Examples and suggestions on how best to get help with user studies will be provided. Finally, we will discuss how, by drawing on their complementary competencies, perceptual psychologists and computer engineers can work as a team to develop optimal VR systems, technologies, and techniques.

Kaiser, Mary K.↗
NASA NTRS1996

Tutorial: Clock and Clock Systems Performance Measures

This tutorial contains basic material - familiar to many. This will be used as a foundation upon which we will build - bringing forth some new material and equations that have been developed especially for this tutorial. These will provide increased understanding toward parameter estimation of clock and clock system's performance. There is a very important International Telecommunications Union (ITU) handbook being prepared at this time which goes much further than this tutorial has time to do. I highly recommend it as an excellent resource document. The final draft is just now being completed, and it should be ready late in 1996. It is an outstanding handbook; Dr. Sydnor proposed to the ITU-R several years ago, and is the editor with my assistance. We have some of the best contributors in the community from around the world who have written the ten chapters in this handbook. The title of the handbook is 'Selection and use of Precise Frequency and Time Systems'. It will be available from the ITU secretariat in Geneva, Switzerland, but NAVTEC Seminars also plans to be a distributor.

Allan, David W.↗
NASA NTRS2014

pFUnit 3.0 Tutorial Advanced

This tutorial will introduce Fortran developers to unit-testing and test-driven development (TDD) using pFUnit. As with other unit-testing frameworks, pFUnit, simplifies the process of writing, collecting, and executing tests while providing clear diagnostic messages for failing tests. pFUnit specifically targets the development of scientific-technical software written in Fortran and includes customized features such as: assertions for multi-dimensional arrays, distributed (MPI) and thread-based (OpenMP) parallellism, and flexible parameterized tests.These sessions will include numerous examples and hands-on exercises that gradually build in complexity. Attendees are expected to have working knowledge of F90, but familiarity with object-oriented syntax in F2003 and MPI will be of benefit for the more advanced examples. By the end of the tutorial the audience should feel comfortable in applying pFUnit within their own development environment.

Test Driven using pFUnit↗
NASA NTRS2000

Bone Quest - A Space-Based Science and Health Education Unit

This proposal addresses the need for effective and innovative science and health education materials that focus on space bone biology and its implications for bone health on Earth. The focus of these materials, bone biology and health, will increase science knowledge as well as health awareness. Current investigations of the bone loss observed after long-duration space missions provide a link between studies of bone health in space, and studies of osteoporosis, a disease characterized by bone loss and progressive skeletal weakness. The overall goal of this project is to design and develop web-based and print-based materials for high school science students, that will address the following: a) knowledge of normal bone biology and bone biology in a microgravity environment; b) knowledge of osteoporosis; c) knowledge of treatment modalities for space- and Earth-based bone loss; and d} bone-related nutrition knowledge and behavior. To this end, we propose to design and develop a Bone Biology Tutorial which will instruct students about normal bone biology, bone biology in a microgravity environment, osteoporosis - its definition, detection, risk factors, and prevention, treatment modalities for space- and Earth-based bone loss, and the importance of nutrition in bone health. Particular emphasis will be placed on current trends in . adolescent nutrition, and their relationships to bone health. Additionally, we propose to design and develop two interactive nutrition/health ' education activities that will allow students to apply the information provided in the Bone Biology Tutorial. In the first, students will apply constructs provided in the Bone Biology Tutorial to design "Bone Health Plans" for space travelers.

Smith, Scott M.↗
NASA NTRS2001

Evolution and development of the vertebrate ear

This review outlines major aspects of development and evolution of the ear, specifically addressing issues of cell fate commitment and the emerging molecular governance of these decisions. Available data support the notion of homology of subsets of mechanosensors across phyla (proprioreceptive mechanosensory neurons in insects, hair cells in vertebrates). It is argued that this conservation is primarily related to the specific transducing environment needed to achieve mechanosensation. Achieving this requires highly conserved transcription factors that regulate the expression of the relevant structural genes for mechanosensory transduction. While conserved at the level of some cell fate assignment genes (atonal and its mammalian homologue), the ear has also radically reorganized its development by implementing genes used for cell fate assignment in other parts of the developing nervous systems (e.g., neurogenin 1) and by evolving novel sets of genes specifically associated with the novel formation of sensory neurons that contact hair cells (neurotrophins and their receptors). Numerous genes have been identified that regulate morphogenesis, but there is only one common feature that emerges at the moment: the ear appears to have co-opted genes from a large variety of other parts of the developing body (forebrain, limbs, kidneys) and establishes, in combination with existing transcription factors, an environment in which those genes govern novel, ear-related morphogenetic aspects. The ear thus represents a unique mix of highly conserved developmental elements combined with co-opted and newly evolved developmental elements.

Review↗
NASA NTRS2000

Genetic dissection of cardiac growth control pathways

Cardiac muscle cells exhibit two related but distinct modes of growth that are highly regulated during development and disease. Cardiac myocytes rapidly proliferate during fetal life but exit the cell cycle irreversibly soon after birth, following which the predominant form of growth shifts from hyperplastic to hypertrophic. Much research has focused on identifying the candidate mitogens, hypertrophic agonists, and signaling pathways that mediate these processes in isolated cells. What drives the proliferative growth of embryonic myocardium in vivo and the mechanisms by which adult cardiac myocytes hypertrophy in vivo are less clear. Efforts to answer these questions have benefited from rapid progress made in techniques to manipulate the murine genome. Complementary technologies for gain- and loss-of-function now permit a mutational analysis of these growth control pathways in vivo in the intact heart. These studies have confirmed the importance of suspected pathways, have implicated unexpected pathways as well, and have led to new paradigms for the control of cardiac growth.

NASA Program Biomedical Research and Countermeasur↗
DOE OSTI2024

PDV Inspection and Analysis Demonstration: 2024 PDV Workshop

This document walks a user through a demonstration of working with PDV digitizer data using python. This demonstration and included suggested exercises will be used at the 2024 PDV workshop hands-on session as an example and skill-development training session. The tutorial allows the user to generate synthetic but realistic PDV waveform data and visualize/inspect the results using spectrograms and waveform viewing tools.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1988

Using hypermedia to develop an intelligent tutorial/diagnostic system for the Space Shuttle Main Engine Controller Lab

This is a tutorial/diagnostic system for training personnel in the use of the Space Shuttle Main Engine Controller (SSMEC) Simulation Lab. It also provides a diagnostic capable of isolating lab failures at least to the major lab component. The system was implemented using Hypercard, which is an program of hypermedia running on Apple Macintosh computers. Hypercard proved to be a viable platform for the development and use of sophisticated tutorial systems and moderately capable diagnostic systems. This tutorial/diagnostic system uses the basic Hypercard tools to provide the tutorial. The diagnostic part of the system uses a simple interpreter written in the Hypercard language (Hypertalk) to implement the backward chaining rule based logic commonly found in diagnostic systems using Prolog. Some of the advantages of Hypercard in developing this type of system include sophisticated graphics, animation, sound and voice capabilities, its ability as a hypermedia tool, and its ability to include digitized pictures. The major disadvantage is the slow execution time for evaluation of rules (due to the interpretive processing of the language). Other disadvantages include the limitation on the size of the cards, that color is not supported, that it does not support grey scale graphics, and its lack of selectable fonts for text fields.

Oreilly, Daniel↗
NASA NTRS1992

Highlights of NASA's Special ETO Program Planning Workshop on rocket-based combined-cycle propulsion system technologies

A NASA workshop on rocket-based combined-cycle propulsion technologies is described emphasizing the development of a starting point for earth-to-orbit (ETO) rocket technologies. The tutorial is designed with attention given to the combined development of aeronautical airbreathing propulsion and space rocket propulsion. The format, agenda, and group deliberations for the tutorial are described, and group deliberations include: (1) mission and space transportation infrastructure; (2) vehicle-integrated propulsion systems; (3) development operations, facilities, and human resource needs; and (4) spaceflight fleet applications and operations. Although incomplete the workshop elevates the subject of combined-cycle hypersonic propulsion and develops a common set of priniciples regarding the development of these technologies.

Escher, W. J. D.↗
NASA NTRS1976

Standardized development of computer software. Part 1: Methods

This work is a two-volume set on standards for modern software engineering methodology. This volume presents a tutorial and practical guide to the efficient development of reliable computer software, a unified and coordinated discipline for design, coding, testing, documentation, and project organization and management. The aim of the monograph is to provide formal disciplines for increasing the probability of securing software that is characterized by high degrees of initial correctness, readability, and maintainability, and to promote practices which aid in the consistent and orderly development of a total software system within schedule and budgetary constraints. These disciplines are set forth as a set of rules to be applied during software development to drastically reduce the time traditionally spent in debugging, to increase documentation quality, to foster understandability among those who must come in contact with it, and to facilitate operations and alterations of the program as requirements on the program environment change.

Tausworthe, R. C.↗