Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Compiler techniques”

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 325 records · Page 18
All sourcesNASA NTRSDOE OSTI
DOE OSTI2022

Automatic inspection of program state in an uncooperative environment

Abstract The program state is formed by the values that the program manipulates. These values are stored in the stack, in the heap, or in static memory. The ability to inspect the program state is useful as a debugging or as a verification aid. Yet, there exists no general technique to insert inspection points in type‐unsafe languages such as C or C++. The difficulty comes from the need to traverse the memory graph in a so‐called uncooperative environment. In this article, we propose an automatic technique to deal with this problem. We introduce a static code transformation approach that inserts in a program the instrumentation necessary to report its internal state. Our technique has been implemented in LLVM. It is possible to adjust the granularity of inspection points trading precision for performance. In this article, we demonstrate how to use inspection points to debug compiler optimizations; to augment benchmarks with verification code; and to visualize data structures.

Magalhães, José Wesley de Souza↗
DOE OSTI2023

Developing Ultrahigh-Resolution E3SM Land Model for GPU Systems

Designing and refactoring complex scientific code, such as the E3SM land model (ELM), for new computing architectures is challenging. This paper presents design strategies and technical approaches to develop a data-oriented, GPU-ready ELM model using compiler directives (OpenACC/OpenMP). We first analyze the datatypes and processes in the original ELM code. Then we present design considerations for ultrahigh-resolution ELM (uELM) development for massive GPU systems. These techniques include the global data-oriented simulation workflow, domain partition, code porting and data copy, memory reduction, parallel loop restructure and flattening, and race condition detection. We implemented the first version of uELM using OpenACC targeting the NVidia GPUs in the Summit supercomputer at Oak Ridge National Laboratory. During the implementation, we developed a software tool (named SPEL) to facilitate code generation, verification, and performance tuning using these techniques. The first uELM implementation for Nvidia GPUs on Summit delivered promising results: 1) over 98% of the ELM code was automatically generated and tuned by scripts. Most ELM modules had better computational performances than the original ELM code for CPUs. The GPU-ready uELM is more scalable than the CPU code on fully-loaded Summit nodes. Example profiling results from several modules are also presented to illustrate the performance improvements and race condition detection. The lessons learned and toolkit developed in the study are also suitable for further uELM deployment using OpenMP on the first US exascale computer, Frontier, equipped with AMD CPUs and GPUs.

Schwartz, Peter↗
DOE OSTI2023

Sample-efficient verification of continuously-parameterized quantum gates for small quantum processors

Most near-term quantum information processing devices will not be capable of implementing quantum error correction and the associated logical quantum gate set. Instead, quantum circuits will be implemented directly using the physical native gate set of the device. These native gates often have a parameterization (e.g., rotation angles) which provide the ability to perform a continuous range of operations. Verification of the correct operation of these gates across the allowable range of parameters is important for gaining confidence in the reliability of these devices. In this work, we demonstrate a procedure for sample-efficient verification of continuously-parameterized quantum gates for small quantum processors of up to approximately 10 qubits. This procedure involves generating random sequences of randomly-parameterized layers of gates chosen from the native gate set of the device, and then stochastically compiling an approximate inverse to this sequence such that executing the full sequence on the device should leave the system near its initial state. We show that fidelity estimates made via this technique have a lower variance than fidelity estimates made via cross-entropy benchmarking. This provides an experimentally-relevant advantage in sample efficiency when estimating the fidelity loss to some desired precision. We describe the experimental realization of this technique using continuously-parameterized quantum gate sets on a trapped-ion quantum processor from Sandia QSCOUT and a superconducting quantum processor from IBM Q, and we demonstrate the sample efficiency advantage of this technique both numerically and experimentally.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS1984

Space shuttle flying qualities criteria assessment, phase 3

The crucial flight data measurement and reduction techniques required for the experimental approach are explored. An overview of available flight data is presented, identification of the effective augmented vehicle and pilot models determined, a summary of flight data problems compiled, and further recommendations for the Orbiter Flying Qualities (OFQ) experiment provided.

Myers, T. T.↗
NASA NTRS1985

Nineteenth International Cosmic Ray Conference. HE Sessions, Volume 8

Papers submitted for presentation at the 19th International Cosmic Ray Conference are compiled. The present volume contains papers addressing high energy interactions and related phenomena. Specific topic areas include muons, neutrinos, magnetic monopoles, nucleon decay, searches for new particles, and acoustic and thermoluminescence detection techniques.

Jones, F. C.↗
DOE OSTI2020

Correlation of SWIR imaging with LPBF 304L stainless steel part properties

In the Laser Powder Bed Fusion (LPBF) process, the local thermal history can vary significantly over a part as the heat transfer characteristics and the laser scan path are geometry dependent. The variations introduce the potential for defects that lead to part failure, some of which are difficult to identify non-destructively with common ex-situ evaluation techniques. These defects include significant microstructural and mechanical property differences in the part interiors. In this paper, thermal features are extracted from in-situ Short-Wave Infrared (SWIR) imaging measurements to compile voxel based part representations and understand how the complexities in the thermal history affect part performance. The deviations in thermal features due to different laser processing parameters and complex scan pathing are explored. Empirical correlations are developed to map thermal features with the engineering properties (bulk yield strength, area percentage porosity, and local state) of 304L stainless steel parts manufactured by LPBF. Processing modes (insufficient melting and keyholing) are determined by mapping part property measurements with multiple thermal features. Generating the relationships between thermographic measurements and resulting SLM part properties lays the foundation for in-situ part qualification.

36 MATERIALS SCIENCE↗
DOE OSTI2021

The Cost of Decarbonization and Energy Upgrade Retrofits for US Homes

Cost is a major barrier when upgrading homes to reduce carbon emissions required to meet DOE’s climate-related goals. This report summarizes a nationwide effort to gather home energy upgrade project cost data along with household energy performance data. The goal was to develop cost benchmarks and to guide future R&D efforts aimed at cost compression and scaling of the residential upgrade market. The cost data were compiled for both total project costs and costs of individual measures. The majority of energy savings were modeled, with some models using measured site data for calibration. The database was analyzed using clustering techniques to find common energy and CO2 reduction approaches. The individual measures were combined into archetypal solutions to determine least-cost approaches to maximizing energy and carbon savings. Several financial analyses were preformed to examine other cost metrics beyond first cost. Project data was obtained for 1,739 projects, from 15 states and 12 energy programs, with a total of 10,512 individual measures. The database includes a wide-array of projects, ranging from single-measure HVAC upgrades to net-zero energy whole home remodels. Projects were predominantly single-family detached dwellings with wood frame construction. Most of the data was obtained from energy programs because they had recorded the necessary information and were willing to share with this study. This sample of convenience can provide broad guidance and national cost benchmarks, but lacks sufficient detail to draw more disaggregated conclusions, such as geographical trends. The majority of data contributions were obtained without compensation from sources where the required data was already in some sort of structured format. We compensated sources to enter data from individual projects into a structured data format for about 500 projects, with an average cost of about $40 per project. The database was highly skewed to lower cost, lower impact projects due to the nature of the sample of convenience. Less than 10% of projects had savings greater than 50%. The cost data for individual measures in the database are being used in other DOE efforts on residential energy use/decarbonization. This data collection effort should continue in order to provide the best-informed guidance for DOE and industry R&D, as well as deployment efforts (including policy and program planning).

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
NASA NTRS1973

A new approach to telemetry data processing

An approach for a preprocessing system for telemetry data processing was developed. The philosophy of the approach is the development of a preprocessing system to interface with the main processor and relieve it of the burden of stripping information from a telemetry data stream. To accomplish this task, a telemetry preprocessing language was developed. Also, a hardware device for implementing the operation of this language was designed using a cellular logic module concept. In the development of the hardware device and the cellular logic module, a distributed form of control was implemented. This is accomplished by a technique of one-to-one intermodule communications and a set of privileged communication operations. By transferring this control state from module to module, the control function is dispersed through the system. A compiler for translating the preprocessing language statements into an operations table for the hardware device was also developed. Finally, to complete the system design and verify it, a simulator for the collular logic module was written using the APL/360 system.

Broglio, C. J.↗
NASA NTRS1983

Passive remote sensing of ocean optical propagation parameters

A method is described for producing a global data of ocean optical properties through the exploitation of optical remote sensing techniques. The diffuse attenuation, K, and the radiance reflectance factor R sub L, of the ocean surface waters can be derived from the radiance data provided by the Coastal Zone Color Scanner and compiled into a computer based atlas of these properties. While these remotely sensed values can only be directly related to the water properties in the first or upper attenuation length, extensive in water measurements have demonstrated that a useful correlation exists between the K that applies to the upper attenuation length, for example, and the mean K over the upper 100 or 200 meters of the ocean. Such an empirical finding greatly enhances the usefulness of this remotely sensed propagation parameter. Examples of the type of information being produced and archived for the atlas are presented.

Austin, R. W.↗
NASA NTRS1986

A geologic atlas of TIMS data

In the three years since the first data were taken, it was well demonstrated that the Thermal Infrared Multispectral Scanner (TIMS), properly used, can be a most valuable tool for the geologist. Compilation of the TIMS data into a geological atlas was felt to be useful. Several data sets were extensively studied to establish TIMS as a geologic tool and to explore the optimum enhancement techniques. It was found that a decorrelation stretch of bands 1, 3, and 5 enhance the data to a form that is very useful and this enhancement will be used in the geologic atlas along with an accompanying geologic map and description. Many data sets are well published and familiar to TIMS users, but there are some sets that, for lack of time and funds, were not thoroughly studied or published. A short description of these least studied sets of data is presented. The images presented along with the many previously studied and published TIMS images constitute an enormously useful set of information for the geologist in the 8 to 10 micron range.

Abbott, Elsa↗
NASA NTRS1995

High Performance Parallel Computational Nanotechnology

At a recent press conference, NASA Administrator Dan Goldin encouraged NASA Ames Research Center to take a lead role in promoting research and development of advanced, high-performance computer technology, including nanotechnology. Manufacturers of leading-edge microprocessors currently perform large-scale simulations in the design and verification of semiconductor devices and microprocessors. Recently, the need for this intensive simulation and modeling analysis has greatly increased, due in part to the ever-increasing complexity of these devices, as well as the lessons of experiences such as the Pentium fiasco. Simulation, modeling, testing, and validation will be even more important for designing molecular computers because of the complex specification of millions of atoms, thousands of assembly steps, as well as the simulation and modeling needed to ensure reliable, robust and efficient fabrication of the molecular devices. The software for this capacity does not exist today, but it can be extrapolated from the software currently used in molecular modeling for other applications: semi-empirical methods, ab initio methods, self-consistent field methods, Hartree-Fock methods, molecular mechanics; and simulation methods for diamondoid structures. In as much as it seems clear that the application of such methods in nanotechnology will require powerful, highly powerful systems, this talk will discuss techniques and issues for performing these types of computations on parallel systems. We will describe system design issues (memory, I/O, mass storage, operating system requirements, special user interface issues, interconnects, bandwidths, and programming languages) involved in parallel methods for scalable classical, semiclassical, quantum, molecular mechanics, and continuum models; molecular nanotechnology computer-aided designs (NanoCAD) techniques; visualization using virtual reality techniques of structural models and assembly sequences; software required to control mini robotic manipulators for positional control; scalable numerical algorithms for reliability, verifications and testability. There appears no fundamental obstacle to simulating molecular compilers and molecular computers on high performance parallel computers, just as the Boeing 777 was simulated on a computer before manufacturing it.

Saini, Subhash↗
NASA NTRS2001

ZBLAN Viscosity Instrumentation

The past year's contribution from Dr. Kaukler's experimental effort consists of these 5 parts: a) Construction and proof-of-concept testing of a novel shearing plate viscometer designed to produce small shear rates and operate at elevated temperatures; b) Preparing nonlinear polymeric materials to serve as standards of nonlinear Theological behavior; c) Measurements and evaluation of above materials for nonlinear rheometric behavior at room temperature using commercial spinning cone and plate viscometers available in the lab; d) Preparing specimens from various forms of pitch for quantitative comparative testing in a Dynamic Mechanical Analyzer, Thermal Mechanical Analyzer; and Archeological Analyzer; e) Arranging to have sets of pitch specimens tested using the various instruments listed above, from different manufacturers, to form a baseline of the viscosity variation with temperature using the different test modes offered by these instruments by compiling the data collected from the various test results. Our focus in this project is the shear thinning behavior of ZBLAN glass over a wide range of temperature. Experimentally, there are no standard techniques to perform such measurements on glasses, particularly at elevated temperatures. Literature reviews to date have shown that shear thinning in certain glasses appears to occur, but no data is available for ZBLAN glass. The best techniques to find shear thinning behavior require the application of very low rates of shear. In addition, because the onset of the thinning behavior occurs at an unknown elevated temperature, the instruments used in this study must provide controlled low rates of shear and do so for temperatures approaching 600 C. In this regard, a novel shearing parallel plate viscometer was designed and a prototype built and tested.

Kaukler, William↗
NASA NTRS1974

Mariner Mars 1971 television picture catalog. Volume 1: Experiment design and picture data

A compilation of Mariner 9 television data is presented for the study of the planet Mars and of its two satellites, Phobos and Deimos. The concept of the basic mission, camera characteristics, and various processing techniques of the raw television data recovered from the spacecraft are discussed. Data are arranged into the following disciplines; (1) mapping and geology, (2) polar studies, (3) geodesy, (4) variable surface features, (5) atmospheric phenomena, and (6) satellites. Reproduction and arrangements of approximately 3000 individual pictures and photomosaics are provided.

Cutts, J. A.↗
NASA NTRS1982

Rotorcraft noise

This report is a compilation of papers presented at the NASA/U.S. Helicopter Industry Workshop on Aerodynamic Noise Prediction/Noise Reduction held at Langley Research Center, March 29-31, 1982. Included in the topics presented are papers on noise reduction techniques, scaling laws, empirical noise prediction, and methods for developing and validating noise prediction methods. The results of the working sessions are presented as findings, conclusions, and recommendations.

Helicopters↗
DOE OSTI2025

The joys and jitters of high‐temperature calorimetry

Abstract High‐temperature calorimetry (HTC) originated in the 20th century as a niche method to enable measurements not easily accomplished with acid solution calorimetry, combustion calorimetry, vapor pressure, or EMF methods. Over time, HTC has evolved into a versatile approach to accurately quantify formation, phase transition, surface and interfacial enthalpies of a wide range of materials including minerals and refractory inorganic compounds. This evolution has been the result of numerous adjustments to experimental setups and procedures, followed by rigorous testing. The commercial availability and the scientific success of this technique have led to an increase in the number of laboratories applying HTC. However, the knowledge acquired by researchers over the past 70 years is scattered throughout the literature or only available as laboratory internal documentation and personal experience. This publication is a collaborative effort among several leading HTC laboratories to summarize and unify current state‐of‐the‐art HTC techniques and procedures. The text starts by summarizing various HT techniques that are commonly used for readers with an interest in HTC in general. It is then directed toward HTC users and includes a brief section on data evaluation procedures as well as a comprehensive compilation of reference data utilizing molten sodium molybdate and lead borate solvents. Finally, for experienced HTC users, an in‐depth discussion of some common difficulties and a discussion of uncertainties are presented.

Scharrer, Manuel [Navrotsky Eyring Center for Mate↗
NASA NTRSDate not supplied

Reanalysis of Rat Data from Spacelab Life Sciences 2 (SLS-2) to Reveal Research Gaps in Spaceflight Data

Using and analyzing the legacy data obtained in space life sciences missions has the potential to provide researchers a complete picture of the molecular changes associated with space without further experimentation. This project’s objective is to extract, filter, organize, and analyze all Rattus norvegicus data and metadata obtained from Columbia’s Spacelab Life Sciences 2 (SLS-2, STS-58) mission to explore the ways that we can compile information from model organisms, in our case rats, to create a reliable model to understand biological mechanisms in response to these space flight changes. By reusing rare space legacy data coupled with data analysis techniques, we can combine individual preexisting datasets with current ones to gain new, comprehensive insights about the effects of spaceflight on our bodies. Our methods can also lead to the creation of a standardized pipeline that could be applied to other space life science datasets for analysis. In this review, every biological experiment conducted on rats in the SLS-2 Mission was studied with our pipeline to create a new biological library and model that could be used by scientists from around the world to make novel discoveries and develop new hypotheses from this priceless information without the limitation of the costs of spaceflight experimentation.

rats↗
DOE OSTI2020

Overcoming small minirhizotron datasets using transfer learning

Minirhizotron technology is widely used to study root growth and development. Yet, standard approaches for tracing roots in minirhiztron imagery is extremely tedious and time consuming. Machine learning approaches can help to automate this task. However, lack of enough annotated training data is a major limitation for the application of machine learning methods. Transfer learning is a useful technique to help with training when available datasets are limited. In this paper, we investigated the effect of pre-trained features from the massives-cale, irrelevant ImageNet dataset and a relatively moderate-scale, but relevant peanut root dataset on switchgrass root imagery segmentation applications. We compiled two minirhizotron image datasets to accomplish this study: one with 17,550 peanut root images and another with 28 switchgrass root images. Both datasets were paired with manually labeled ground truth masks. Deep neural networks based on the U-net architecture were used with different pre-trained features as initialization for automated, precise pixel-wise root segmentation in minirhizotron imagery. We observed that features pre-trained on a closely related but relatively moderate size dataset like our peanut dataset were more effective than features pre-trained on the large but unrelated ImageNet dataset. Here, we achieved high quality segmentation on peanut root dataset with 99.04% accuracy at the pixel-level and overcame errors in human-labeled ground truth masks. By applying transfer learning technique on limited switchgrass dataset with features pre-trained on peanut dataset, we obtained 99% segmentation accuracy in switchgrass imagery using only 21 images for training (fine tuning). Furthermore, the peanut pre-trained features can help the model converge faster and have much more stable performance.

59 BASIC BIOLOGICAL SCIENCES↗