Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Laboratory Instruction”

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 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
NASA NTRS1996

Laboratory Study of the Noticeability and Annoyance of Sounds of Low Signal-to-Noise Ratio

This report describes a study of the noticeability and annoyance of intruding noises to test participants who were engaged in a distracting foreground task. Ten test participants read material of their own choosing while seated individually in front of a loudspeaker in an anechoic chamber. One of three specially constructed masking noise environments with limited dynamic range was heard at all times. A laboratory computer produced sounds of aircraft and ground vehicles as heard at varying distances at unpredictable intervals and carefully controlled levels. Test participants were instructed to click a computer mouse at any time that a noise distinct from the background noise environment came to their attention, and then to indicate their degree of annoyance with the noise that they had noticed. The results confirmed that both the noticeability of noise intrusions and their annoyance were closely related to their audibility.

Sneddon, Matthew↗
NASA NTRS1995

The AAMP5/AAMP-FV project

This presentation describes a project, formal verification of the microcode in the AAMP5 microprocessor, conducted to explore how formal techniques for specification and verification could be introduced into an industrial process. Sponsored by the Systems Validation Branch of NASA Langley and by Collins Commercial Avionics, a division of Rockwell International, it was conducted by Collins and the SRI International Computer Science Laboratory. The project consisted of specifying in the PVS language developed by SRI a portion of a Rockwell proprietary microprocessor, the AAMP5, at both the instruction set and register-transfer levels and using the PVS theorem prover to prove the microcode correct for a representative subset of instructions. While this presentation includes a brief technical overview, its emphasis is on the lessons learned in using PVS for an example of this size and the implications for using formal methods in an industrial setting. The central result of this project was to demonstrate the feasibility of formally specifying a commercial microprocessor and the use of mechanical proofs of correctness to verify microcode. This is particularly significant since the AAMP5 was not designed for formal verification, but to provide a more than three fold performance improvement, by pipelining instruction execution, while remaining object code compatible with the earlier AAMP2. As a consequence, the AAMP5 is one of the most complex microprocessors to which formal methods have been applied. Another key result was the discovery of both actual and seeded errors. Two actual microcode errors were discovered and corrected during development of the formal specification, illustrating the value of simply creating a precise specification. Two seeded errors were systematically uncovered while doing correctness proofs. One of these was an actual error that had been discovered after first fabrication but left in the microcode provided to SRI. The other error was designed to be unlikely to be detected by walkthroughs, testing, or simulation. Several other results emerged during the project, including the ease with which practicing engineers became comfortable with PVS, the need for libraries of general purpose theories, the usefulness of formal specification in revealing errors, the natural fit between formal specification and inspections, the difficulty of selecting the best style of specification for a new problem domain, the high level of assurance provided by proofs of correctness, and the need to engineer proof strategies for reuse.

Miller, Steven P.↗
NASA NTRS1990

An innovative on-board processor for lightsats

The Applied Physics Laboratory (APL) has developed a flightworthy custom microprocessor that increases capability and reduces development costs of lightsat science instruments. This device, called the FRISC (FORTH Reduced Instruction Set Computer), directly executes the high-level language called FORTH, which is ideally suited to the multitasking control and data processing environment of a spaceborne instrument processor. The FRISC will be flown as the onboard processor in the Magnetic Field Experiment on the Freja satllite. APL has achieved a significant increase in onboard processing capability with no increase in cost when compared to the magnetometer instrument on Freja's predecessor, the Viking satellite.

Henshaw, R. M.↗
NASA NTRS1981

Diazo processing of LANDSAT imagery: A low-cost instructional technique

Diazo processing of LANDSAT imagery is a relatively simple and cost effective method of producing enhanced renditions of the visual LANDSAT products. This technique is capable of producing a variety of image enhancements which have value in a teaching laboratory environment. Additionally, with the appropriate equipment, applications research which relys on accurate and repeatable results is possible. Exposure and development equipment options, diazo materials, and enhancement routines are discussed.

Lusch, D. P.↗
NASA NTRS1974

Reliability of laboratory tests of VSTOL and other long duration noises

Paired-comparison and magnitude estimations of the subjective noisiness or unacceptability of noise from fixed wing jet aircraft and simulated noise of VSTOL aircraft were obtained from groups of subjects given different instructions. These results suggest that VSTOL noises can be evaluated in terms of their noisiness or unwantedness to people with reasonable accuracy by units of the physical measures designated as PNdBM, with or without tone corrections, and dBD sub 2. Also, that consideration should be given to the use of D sub 2 as an overall frequency weighting function for sound level meters instead of the presently available A weighting. Two new units of noise measurement, PLdB and dB(E), used for predicting subjective noisiness, were found to be less accurate than PNdBM or dBD sub 2 in this regard.

Kryter, K. D.↗
NASA NTRS2010

Thermal Insulation System Analysis Tool (TISTool) User's Manual. Version 1.0.0

The Thermal Insulation System Analysis Tool (TISTool) was developed starting in 2004 by Jonathan Demko and James Fesmire. The first edition was written in Excel and Visual BasIc as macros. It included the basic shapes such as a flat plate, cylinder, dished head, and sphere. The data was from several KSC tests that were already in the public literature realm as well as data from NIST and other highly respectable sources. More recently, the tool has been updated with more test data from the Cryogenics Test Laboratory and the tank shape was added. Additionally, the tool was converted to FORTRAN 95 to allow for easier distribution of the material and tool. This document reviews the user instructions for the operation of this system.

Johnson, Wesley↗
DOE OSTI2025

A cross-platform execution engine for the quantum intermediate representation

Hybrid languages like the quantum intermediate representation (QIR) are essential for programming systems that mix quantum and conventional computing models, while execution of these programs is often deferred to a system-specific implementation. Here, we develop the QIR Execution Engine (QIR-EE) for parsing, interpreting, and executing QIR across multiple hardware platforms. QIR-EE uses LLVM to execute hybrid instructions specifying quantum programs and, by design, presents extension points that support customized runtime and hardware environments. We demonstrate an implementation that uses the XACC quantum hardware-accelerator library to dispatch prototypical quantum programs on different commercial quantum platforms and numerical simulators, and we validate execution of QIR-EE on IonQ, Quantinuum, and IBM hardware. Our results highlight the efficiency of hybrid executable architectures for handling mixed instructions, managing mixed data, and integrating with quantum computing frameworks to realize cross-platform execution.

LLVM↗
DOE OSTI2025

Foundational Dataset for Developing Large-Sample Stream Temperature Models in the Conterminous United States

This dataset provides inputs, evaluation results, and trained weights from a large-sample Long Short-Term Memory (LSTM) model designed to predict daily stream temperatures across unregulated river reaches in the conterminous United States (CONUS). It includes dynamic meteorological and hydrologic forcings, static physiographic attributes, and model outputs from cross-validation experiments spanning 300 basins. It supports reproducible modeling, direct application for new basins, and provides data suitable for integration with reservoir and river simulations under current and future climates. It contains two .zip files described below · RQ-AI_runs.zip: Model outputs from 10-fold cross-validation experiments, including observed and predicted daily stream temperatures, along with test performance metrics for water years 2017–2019. Two versions are included: 1. Model trained and validated using subbasin-area weighted dynamic features. 2. Model trained and validated using whole-basin area weighted dynamic features. · RQ-AI_inputs.zip: Collection of all formatted dynamic and static predictor datasets (meteorological, hydrologic, and physiographic features) used in model training and analysis. Detailed instructions and data structure is held at the following GitLab repository: https://code.ornl.gov/tempwise/training.

Gomez-Velez, Jesus [Oak Ridge National Laboratory ↗
DOE OSTI2021

HQ-Tracer

HQ-Tracer is a software plugin related to the open-source project Ghidra. It is used for taking an emulation instruction trace from open source platforms and displaying inside of Ghidra. It allows for software debugging, reverse engineering, and enables interactive forward and backward stepping and searching through the execution traces. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525. SAND2021-4552 O

Wright, ChristopherM.↗
NASA NTRS2011

ISSLive!

The ISSLive! project is a JSC innovation award- winning, combined MOD/Education project to publish export control and PAO-approved ISS telemetry, and simplified and scrubbed crew timelines. The publication of this data will be real-time or near real time and will include links to the crew's social media feeds and existing streaming public video/audio feeds, via public-friendly website, mobile devices and tablet applications. Additionally, the project will offer interactive virtual 3D views of an ISS model based on real-time telemetry and a 3D virtual mission control center based on existing Front Room console positions in made for public displays. The ISSLive! project is MOD-managed and includes collaborations with subject-matter expertise from the ISS flight controllers regarding daily operations and planning, education program specialists from the JSC Office of Education, instructional designers, human computer interface experts, and software/hardware experts from MOD facility organization, and senior web designers. In support of the Agency s Strategic Goal #6 with respect to using the ISS National Laboratory for education activities, ISSLive! uses the Station itself as STEM education subject matter and provides data for STEM-based lessons plans using national standards. Specifically, ISSLive! supports and enables the National Laboratory Education (NLE) project to address the Agency s Strategic Goal #6. This goal mandates, sharing NASA with the public, educators, and students to provide opportunities to participate in our Mission, foster innovation .. ISSLive! satisfies the Agency s outcomes of Strategic Goal; that is, engages the public in NASA's missions by providing new pathways for participation (Outcome 6.3) and it informs, engages, and inspires the public by sharing NASA s missions, challenges, and results (Outcome 6.4). Additionally, ISSLive! enables MOD s support of JSC Outreach and NASA's Open Data and Open Government Initiatives. The audience for the ISSLive! website and its application(s) are: teachers, students, citizen scientists, and the general public who will be given new and interactive insights on how the ISS Operates.

Price, Jennifer B.↗
NASA NTRS1977

Disseminating technological information on remote sensing to potential users

The Laboratory for Applications of Remote Sensing developed materials and programs which range from short tutorial brochures to post-doctoral research programs which may span several years. To organize both the content and the instructional techniques, a matrix of instructional materials was conceptualized. Each row in the matrix represents a subject area in remote sensing and each column in the matrix represents a different type media or instructional strategy.

Russell, J. D.↗
NASA NTRS1977

Disseminating technological information on remote sensing to potential users

The Laboratory for Applications of Remote Sensing developed materials and programs which range from short tutorial brochures to post-doctoral research programs which may span several years. To organize both the content and the instructional techniques, a matrix of instructional materials was conceptualized. Each row in the matrix represents a subject area in remote sensing and each column in the matrix represents a different type media or instructional strategy.

Russell, J. D.↗
NASA NTRSDate not supplied

GL4U: Using Space Omics Data to Provide Bioinformatics Training for Students and Educators

NASA’s GeneLab project provides researchers open access to space-relevant experiment multi-omics data that can be mined to understand the effects of spaceflight on biological systems. To maximize the number of scientists who understand and utilize GeneLab data and data processing pipelines, GeneLab has created GeneLab for Colleges and Universities (GL4U). GL4U provides space biology-relevant training in bioinformatics to the next generation of scientists through direct and indirect approaches. The GeneLab team plans to host two annual data processing bootcamps, one for college-level students (direct) and one for college educators (indirect – training of trainers), in which participants learn to analyze GeneLab’s space-relevant omics data. The GL4U direct training pilot program was conducted in June 2021. During the pilot, students participated in a week-long bootcamp consisting of space biology-specific lectures and hands-on instruction using Jupyter Notebooks to analyze RNA sequence data. This pilot demonstrated the capacity of GL4U for training young scientists and encouraging data re-use. In June 2022, GL4U partnered with Jet Propulsion Laboratory’s (JPL) Planetary Protection Center of Excellence to conduct the indirect training pilot program by training educators at historically black colleges and universities (HBCUs) and minority serving institutions (MSIs). During the educator pilot, participants received materials, training, and will be provided the necessary compute resources to enable them to run the bootcamp at their home institutions or alternatively to adapt the content to implement within existing courses, thereby extending the reach of this initiative. The GL4U training program provides undergraduate students from underrepresented groups the opportunity to learn about NASA and Space Biology, and to enhance their career prospects by gaining hands-on experience analyzing omics data, a skillset that is highly applicable and marketable in the life sciences. Pre- and post-bootcamp surveys were completed by all participants and show the overwhelming success of the bootcamps.

Amanda M. Saravia-Butler↗
DOE OSTI2024

RectifHydPlus Data Pipeline

The RectifHydPlus Data Pipeline is an open source and fully reproducible data processing pipeline for creating RectifHydPlus—a dataset of historical monthly net electricity generation for all US hydropower plants (>10MW). The pipeline is coded in R, applying tidyverse libraries and code principles, and using the targets data pipeline framework. All data inputs to the RectifHydPlus Data Pipeline are available from public sources. References to all data inputs, as well as instructions for running the RectifHydPlus Data Pipeline, are available on the GitLab code repository: https://code.ornl.gov/turnersw/rectifhydplus

Turner, SeanWilliam Donald [Oak Ridge National Lab↗
DOE OSTI2025

RectifHydPlus Data Pipeline v1.1.0

The RectifHydPlus Data Pipeline is an open source and fully reproducible data processing pipeline for creating RectifHydPlus—a dataset of historical monthly net electricity generation for all US hydropower plants (>10MW). The pipeline is coded in R, applying tidyverse libraries and code principles, and using the targets data pipeline framework. All data inputs to the RectifHydPlus Data Pipeline are available from public sources. References to all data inputs, as well as instructions for running the RectifHydPlus Data Pipeline, are available on the GitLab code repository: https://code.ornl.gov/turnersw/rectifhydplus

Turner, SeanWilliam Donald [Oak Ridge National Lab↗