Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Compilers”

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 1,477 records · Page 82
All sourcesNASA NTRSDOE OSTI
NASA NTRS2023

Acoustics Technical Working Group and UAM Noise Working Group Proceedings

The NASA Acoustics Technical Working Group Meeting originally started as a program planning meeting in 1992 and has grown through the years. The purpose of these biannual meetings is to foster communication and collaboration among NASA researchers and their university, industry, and government colleagues on activities and work of current and future mutual interest. The NASA-led Urban Air Mobility (UAM) Noise Working Group (UNWG) Meeting began in 2018 as a one-day meeting immediately following the Acoustics Technical Working Group Meeting. The UNWG utilizes four subgroups that conduct regular meetings throughout the year to focus on challenges facing UAM vehicles for community noise and acceptance. The four subgroups coordinate research for development of noise prediction tools/noise reduction technologies, ground and flight test methods, human response and metrics, and regulations and policy (led by the FAA). This work is a compilation of the presentations given at ATWG/UNWG Fall 2022 held in person and via Teams at NASA Glenn Research Center. All NASA content was previously submitted through STRIVES for public presentation. This is merely a compilation. Non-NASA content has permission to distribute. Slide 208 video is included in the Available Downloads as Medial.MOV.

Advanced Air Mobility↗
NASA NTRS2023

Framework for Extensible, Asynchronous Task Scheduling (FEATS) in Fortran

Most parallel scientific programs contain compiler directives (pragmas) such as those from OpenMP, explicit calls to runtime library procedures such as those implementing the Message Passing Interface (MPI), or compiler-specific language extensions such as those provided by CUDA. By contrast, the recent Fortran standards empower developers to express parallel algorithms without directly referencing lower-level parallel programming models. Fortran’s parallel features place the language within the Partitioned Global Address Space (PGAS) class of programming models. When writing programs that exploit data-parallelism, application developers often find it straightforward to develop custom parallel algorithms. Problems involving complex, heterogeneous, staged calculations, however, pose much greater challenges. Such applications require careful coordination of tasks in a manner that respects dependencies prescribed by a directed acyclic graph. When rolling one’s own solution proves difficult, extending a customizable framework becomes attractive. The paper presents the design, implementation, and use of the Framework for Extensible Asynchronous Task Scheduling (FEATS), which we believe to be the first task-scheduling tool written in modern Fortran. We describe the benefits and compromises associated with choosing Fortran as the implementation language, and we propose ways in which future Fortran standards can best support the use case in this paper.

Modern Fortran↗
NASA NTRSDate not supplied

Critical Heat Flux of Liquid Hydrogen, Liquid Methane, and Liquid Oxygen: A Review of Available Data and Predictive Tools

Available experimental data dealing with critical heat flux (CHF) of liquid hydrogen (LH 2 ), liquid methane (LCH 4 ), and liquid oxygen (LO 2 ) in pool and flow boiling are compiled. The compiled data are compared with widely used correlations. Experimental pool boiling CHF data for the aforementioned cryogens are scarce. Based on only 25 data points found in five independent sources, the correlation of Sun and Lienhard (1970) is recommended for predicting the pool CHF of LH 2 . Only two experiments with useful CHF data for the pool boiling of LCH 4 could be found. Four different correlations including the correlation of Lurie and Noyes (1964) can predict the pool boiling CHF of LCH 4 within a factor of two for more than 70% of the data. Furthermore, based on the 19 data points taken from only two available sources, the correlation of Sun and Lienhard (1970) is recommended for the prediction of pool CHF of LO 2 . Flow boiling CHF data for LH 2 could be found in seven experimental studies, five of them from the same source. Based on the 91 data points, it is suggested that the correlation of Katto and Ohno (1984) be used to predict the flow CHF of LH 2 . No useful data could be found for flow boiling CHF of LCH 4 or LO 2 . The available databases for flow boiling of LCH 4 and LO 2 are generally deficient in all boiling regimes. This deficiency is particularly serious with respect to flow boiling.

Multi-Phase Flow↗
NASA NTRS2023

Critical Heat Flux of Liquid Hydrogen, Liquid Methane, and Liquid Oxygen: A Review of Available Data and Predictive Tools

Available experimental data dealing with critical heat flux (CHF) of liquid hydrogen (LH2), liquid methane (LCH4), and liquid oxygen (LO2) in pool and flow boiling are compiled. The compiled data are compared with widely used correlations. Experimental pool boiling CHF data for the aforementioned cryogens are scarce. Based on only 25 data points found in five independent sources, the correlation of Sun and Lienhard (1970) is recommended for predicting the pool CHF of LH2. Only two experiments with useful CHF data for the pool boiling of LCH4 could be found. Four different correlations including the correlation of Lurie and Noyes (1964) can predict the pool boiling CHF of LCH4 within a factor of two for more than 70% of the data. Furthermore, based on the 19 data points taken from only two available sources, the correlation of Sun and Lienhard (1970) is recommended for the prediction of pool CHF of LO2. Flow boiling CHF data for LH2 could be found in seven experimental studies, five of them from the same source. Based on the 91 data points, it is suggested that the correlation of Katto and Ohno (1984) be used to predict the flow CHF of LH2. No useful data could be found for flow boiling CHF of LCH4 or LO2. The available databases for flow boiling of LCH4 and LO2 are generally deficient in all boiling regimes. This deficiency is particularly serious with respect to flow boiling.

Multi-Phase Flow↗
NASA NTRSDate not supplied

Runtime Verification with Ogma

Ultra-critical systems require high-level assurance, which cannot always be guaranteed in compile time. The use of runtime verification (RV) enable monitoring these systems in runtime, to detect property violations early and limit their potential consequences. However, the introduction of monitors in ultra-critical systems poses a challenge, as failures and delays in the RV subsystem could affect other subsystems and threaten the mission as a whole. In this talk we discuss two systems: NASA's Ogma, a tool to transform high-level specifications into monitoring code, and Copilot, a runtime verification framework for real-time embedded systems. The toolchain can be used to translate structured natural language requirements into C code with static memory requirements, which can be compiled to run on embedded hardware.

Ogma↗
NASA NTRS2023

Emission Factors for Crop Residue and Prescribed Fires in the Eastern US during FIREX-AQ

Agricultural and prescribed burning activities emit large amounts of trace gases and aerosols on regional to global scales. We present a compilation of emission factors (EFs) and emission ratios (ERs) from the eastern portion of the Fire Influence on Regional to Global Environments and Air Quality (FIREX-AQ) campaign in 2019 in the United States, which sampled burning of crop residues and other prescribed fire fuels. FIREX-AQ provided comprehensive chemical characterization of 53 crop residue and 22 prescribed fires. Crop residues burned at different modified combustion efficiencies (MCE), with corn residue burning at higher MCE than other fuel types. Prescribed fires burned at lower MCE (<0.90) which is typical, while grasslands burned at lower MCE (0.90) than normally observed due to moist, green, growing season fuels. Most non-methane volatile organic compounds (NMVOCs) were significantly anticorrelated with MCE except for ethanol and NMVOCs that were measured with less certainty. We identified 23 species where crop residue fires differed by more than 50% from prescribed fires at the same MCE. Crop residue EFs were greater for species related to agricultural chemical use and fuel composition as well as oxygenated NMVOCs possibly due to the presence of metals such as potassium. Prescribed EFs were greater for monoterpenes (5×). FIREX-AQ crop residue average EFs generally agreed with the previous agricultural fire study in the US but had large disagreements with global compilations. FIREX-AQ observations show the importance of regionally-specific and fuel-specific EFs as first steps to reduce uncertainty in modeling the air quality impacts of fire emissions.

air quality↗
DOE OSTI1994

Nuclear Safety [Vol. 35, No. 1, January-June 1994]

Nuclear Safety is a review journal that covers significant developments in the field of nuclear safety. Its scope includes the analysis and control of hazards associated with nuclear energy, operations involving fissionable materials, and the products of nuclear fission and their effects on the environment. Primary emphasis is on safety in reactor design, construction, and operation; however, the safety aspects of the entire fuel cycle, including fuel fabrication, spent-fuel processing, nuclear waste disposal, handling of radioisotopes, and environmental effects of these operations, are also treated. Table of Contents for this issue follows. THE CHERNOBYL ACCIDENT: 1 Chernobyl Accident Management Actions, A. R Sich; GENERAL SAFETY CONSIDERATIONS: 25 The IAEA-ASSET Approach to Avoiding Accidents is to Recognize the Precursors to Prevent Incidents, F. Reisch; ACCIDENT ANALYSIS: 36 A Review of the Available Information on the Triggering Stage of a Steam Explosion, D. F. Fletcher; 58 Analysis and Modeling of Flow-Blockage-Induced Steam Explosion Events in the High-Flux Isotope Reactor, R. P. Taleyarkhan, V. Georgevich, C. W. Nestor, U. Gat, B. L. Lepard, D. H. Cook, J. Freels, S. J. Chang, C. Luttrell, R. C. Gwaltney, and J. Kirkpatrick; 74 An Analysis of Disassembling the Radial Reflector of a Thermionic Space Nuclear Reactor Power System, M. S. El-Genk and D. V. Paramonov; CONTROL AND INSTRUMENTATION: 86 Standards for High-Integrity Software, D. R. Wallace, D. R. Kuhn, L M. Ippolito, and L. Beltracchi; DESIGN FEATURES: 98 Adoption of New Design Features for the Next Generation Nuclear Power Reactors, L. S. Tong; 114 Review of Nuclear Piping Seismic Design Requirements, G. C. Slagis and S. E. Moore; ENVIRONMENTAL EFFECTS: 128 PC-Based Probabilistic Safety Assessment Study for a Geological Waste Repository Placed in a Bedded Salt Formation, S. A. Khan; OPERATING EXPERIENCES: 142 Managing Aging in Nuclear Power Plants: Insights from NRC’s Maintenance Team Inspection Reports, A. Fresco and M. Subudhi; 150 Reactor Shutdown Experience, Compiled by J. W. Cletcher; 153 Selected Safety-Related Events, Compiled by G. A. Murphy; RECENT DEVELOPMENTS: 158 Reports, Standards, and Safety Guides, D. S. Queener; 168 Proposed Rule Changes as of Dec. 31, 1993; ANNOUNCEMENTS: 177 Symposium on Radioactive and Mixed Waste—Risk as a Basis for Waste Classification; 177 1995 Incineration Conference 178 Ninth Power Plant Dynamics Control and Testing Symposium; 174 The Authors

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2011

Runtime Detection of C-Style Errors in UPC Code

Unified Parallel C (UPC) extends the C programming language (ISO C 99) with explicit parallel programming support for the partitioned global address space (PGAS), which provides a global memory space with localized partitions to each thread. Like its ancestor C, UPC is a low-level language that emphasizes code efficiency over safety. The absence of dynamic (and static) safety checks allows programmer oversights and software flaws that can be hard to spot. In this paper, we present an extension of a dynamic analysis tool, ROSE-Code Instrumentation and Runtime Monitor (ROSECIRM), for UPC to help programmers find C-style errors involving the global address space. Built on top of the ROSE source-to-source compiler infrastructure, the tool instruments source files with code that monitors operations and keeps track of changes to the system state. The resulting code is linked to a runtime monitor that observes the program execution and finds software defects. We describe the extensions to ROSE-CIRM that were necessary to support UPC. We discuss complications that arise from parallel code and our solutions. We test ROSE-CIRM against a runtime error detection test suite, and present performance results obtained from running error-free codes. ROSE-CIRM is released as part of the ROSE compiler under a BSD-style open source license.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2013

Environmental effects of marine energy development around the world. Annex IV Final Report

Annex IV is an international collaborative project to examine the environmental effects of marine energy devices among countries through the International Energy Agency’s Ocean Energy Systems Initiative (OES). The U.S. Department of Energy (DOE) serves as the Operating Agent for the Annex, in partnership with the Bureau of Ocean Energy Management (BOEM; formerly the Minerals Management Service), the Federal Energy Regulatory Commission (FERC), and National Oceanographic and Atmospheric Administration (NOAA). Numerous ocean energy technologies and devices are being developed around the world, and the few data that exist about the environmental effects of these technologies are dispersed among countries and developers. The purpose of Annex IV is to facilitate efficient government oversight of the development of ocean energy systems by compiling and disseminating information about the potential environmental effects of marine energy technologies and to identify methods of monitoring for these effects. Beginning in 2010, this three-year effort produced a publicly available searchable online database of environmental effects information (Tethys). It houses scientific literature pertaining to the environmental effects of marine energy systems, as well as metadata on international ocean energy projects and research studies. Two experts’ workshops were held in Dublin, Ireland (September 2010 and October 2012) to engage with international researchers, developers, and regulators on the scope and outcomes of the Annex IV project. Metadata and information stored in the Tethys database and feedback obtained from the two experts’ workshops were used as resources in the development of this report. This Annex IV final report contains three case studies of specific interactions of marine energy devices with the marine environment that survey, compile, and analyze the best available information in one coherent location. These case studies address 1) the physical interactions between animals and tidal turbines; 2) the acoustic impact of marine energy devices on marine animals; and 3) the effects of energy removal on physical systems. Each case study contains a description of environmental monitoring efforts and research studies, lessons learned, and analysis of remaining information gaps. The information collected through the Annex IV effort and referenced in this report, can be accessed on the Tethys database at http://mhk.pnnl.gov/wiki/index.php/Tethys_ Home.

16 TIDAL AND WAVE POWER↗
DOE OSTI2013

A Database and Meta-Analysis of Ecological Responses to Flow in the South Atlantic Region

Generalized and quantitative relationships between flow and ecology are pivotal to developing environmental flow standards based on socially acceptable ecological conditions. Informing management at regional scales requires compiling sufficient hydrologic and ecological sources of information, identifying information gaps, and creating a framework for hypothesis development and testing. We compiled studies of empirical and theoretical relationships between flow and ecology in the South Atlantic region (SAR) of the United States to evaluate their utility for the development of environmental flow standards. Using database searches, internet searches, and agency contacts, we gathered 186 sources of information that provided a qualitative or quantitative relationship between flow and ecology within states encompassing the SAR. A total of 109 of the 186 sources had sufficient information to support quantitative analyses. Ecological responses to natural changes in flow magnitude, frequency, and duration were highly variable regardless of the direction and magnitude of changes in flow. In contrast, the majority of ecological responses to anthropogenic-induced flow alterations were negative. Fish consistently showed negative responses to anthropogenic flow alterations whereas other ecological groups showed somewhat variable responses (e.g. macroinvertebrates and riparian vegetation) and even positive responses (e.g. algae). Fish and organic matter had sufficient sample sizes to stratify natural flow-ecology relationships by specific flow categories (e.g. high flow, baseflows) or by region (e.g. coastal plain, uplands). After stratifying relationships, we found that significant correlations existed between changes in natural flow and ecological responses. In addition, a regression tree explained 57% of the variation in fish responses to anthropogenic and natural changes in flow. Because of some ambiguity in interpreting the directionality in ecological responses, we utilized ecological gains or losses, where each represents a benefit or reduction to ecosystem services, respectively. Variables explained 49% of the variation in ecological gains and losses for all ecological groups combined. Altogether, our results suggested that the source of flow change and the ecological group of interest played primary roles in determining the direction and magnitude of ecological responses. Furthermore, our results suggest that developing broadly generalized relationships between ecology and changes in flow at a regional scale is unlikely unless relationships are placed within meaningful contexts, such as environmental flow components or by geomorphic setting.

Environmental flow↗
DOE OSTI2013

Insertion of operation-and-indicate instructions for optimized SIMD code

Mechanisms are provided for inserting indicated instructions for tracking and indicating exceptions in the execution of vectorized code. A portion of first code is received for compilation. The portion of first code is analyzed to identify non-speculative instructions performing designated non-speculative operations in the first code that are candidates for replacement by replacement operation-and-indicate instructions that perform the designated non-speculative operations and further perform an indication operation for indicating any exception conditions corresponding to special exception values present in vector register inputs to the replacement operation-and-indicate instructions. The replacement is performed and second code is generated based on the replacement of the at least one non-speculative instruction. The data processing system executing the compiled code is configured to store special exception values in vector output registers, in response to a speculative instruction generating an exception condition, without initiating exception handling.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2013

Mining Software Usage with the Automatic Library Tracking Database (ALTD)

Tracking software usage is important for HPC centers, computer vendors, code developers and funding agencies to provide more efficient and targeted software support, and to forecast needs and guide HPC software effort towards the Exascale era. However, accurately tracking software usage on HPC systems has been a challenging task. In this paper, we present a tool called Automatic Library Tracking Database (ALTD) that has been developed and put in production on several Cray systems. The ALTD infrastructure prototype automatically and transparently stores information about libraries linked into an application at compilation time and also the executables launched in a batch job. We will illustrate the usage of libraries, compilers and third party software applications on a system managed by the National Institute for Computational Sciences.

Hadri, Bilel↗
DOE OSTI2014

Medium Duty ARRA Data Reporting and Analysis (Presentation)

This project compiles medium-duty (MD) aggregated deployment data and provides the compiled detailed analyses to industry. The U.S. Department of Energy's (DOE's) American Recovery and Reinvestment Act (ARRA) deployment and demonstration projects are helping to commercialize technologies for all-electric vehicles, electrified accessories, and electric charging infrastructure. Over 3.2 million miles of in-service all-electric MD truck data from 560 different vehicles have been collected since 2011, and usage data from over 1,000 truck electrification sites have been collected since 2013. Through the DOE's Vehicle Technologies Office, NREL is working to analyze real-time data from these deployment and demonstration projects to quantify the benefits: results and summary statistics are made available through the NREL website as quarterly and annual reports; 23 aggregated reports have been published on the performance and operation of these vehicles; and detailed data are being extracted to help further understand battery use and performance.

2014 AMR↗
DOE OSTI2014

QDP-JIT/PTX: A QDP++ Implementation for CUDA-Enabled GPUs

These proceedings describe briefly the QDP-JIT/PTX framework for lattice field theory calcula- tions on the CUDA architecture. The framework generates compute kernels in the PTX assembler language which can be compiled to efficient GPU machine code by the NVIDIA JIT compiler. A comprehensive memory management was added to the framework so that applications, e.g. Chroma, can run unaltered on GPU clusters and supercomputers.

Winter, Frank T.↗
DOE OSTI2014

spammpack, Version 2013-06-18

This library is an implementation of the Sparse Approximate Matrix Multiplication (SpAMM) algorithm introduced. It provides a matrix data type, and an approximate matrix product, which exhibits linear scaling computational complexity for matrices with decay. The product error and the performance of the multiply can be tuned by choosing an appropriate tolerance. The library can be compiled for serial execution or parallel execution on shared memory systems with an OpenMP capable compiler

Source record↗
DOE OSTI2015

FITL: Extending LLVM for the Translation of Fault-Injection Directives

The frequency of hardware errors in HPC systems continues to grow as system designs evolve toward exascale. Tolerating these errors efficiently and effectively will require software-based resilience solutions. With this requirement in mind, recent research has increasingly employed LLVM-based tools to simulate transient hardware faults in order to study the resilience characteristics of specific applications. However, such tools require researchers to configure their experiments at the level of the LLVM intermediate representation (LLVM IR) rather than at the source level of the applications under study. In this paper, we present FITL (Fault-Injection Toolkit for LLVM), a set of LLVM extensions to which it is straightforward to translate source-level pragmas that specify fault injection. While we have designed FITL not to be tied to any particular compiler front end or high-level language, we also describe how we have extended our OpenARC compiler to translate a novel set of fault-injection pragmas for C to FITL. Finally, we present several resilience studies we have conducted using FITL, including a comparison with a source-level fault injector we have built as part of OpenARC.

Lee, Seyong↗
DOE OSTI2015

Data-dependence Profiling to Enable Safe Thread Level Speculation

Data-dependence profling is a technique that enables a com- piler to judiciously decide when the execution of a loop | which the compiler could not prove to be dependence free | should be speculated through the use of Thread Level Spec- ulation (TLS). The data collected by a data-dependence pro- fler can be used to predict if may dependencies reported by a compiler static analysis are likely to materialize at runtime. A cost analysis can then be used to decide that some loops with a lower probability of dependence should be specula- tively parallelized. This paper addresses the question as to whether a loops' dependence behaviour changes when the in- put to the program changes | a study of 57 different bench- marks indicates that it usually does not change. Then the paper describes SpecEval, an automatic speculative paral- lelization framework that uses single-input data-dependence profles to find speculation candidates in the SPEC2006 and PolyBench/C benchmarks. This paper also presents a per- formance evaluation of TLS implementation in IBM's Blue- Gene/Q supercomputer and shows that the performance of TLS is affected by several factors, including the number of speculated loops, the execution-time coverage of speculated loops, the miss-speculation overhead, the L1 cache miss rate and the effect on dynamic instruction path length.

Bhattacharyya, Arnamoy↗
DOE OSTI2018

Data Gap Assessment Subtask 4.1 Topical Report

Data sets were compiled and assessed for the Cambro-Ordovician Storage Complex across the CarbonSAFE Illinois East Sub-Basin study area to assess the data needs to support drilling a stratigraphic borehole at the East Sub-Basin case study site located at the Wabash Integrated Gasification Combined Cycle (IGCC) plant north of Terre Haute, Indiana. Available data for the Mt. Simon Sandstone, within a 50 mile range in the East Sub-Basin study area, was assembled and cataloged. A summary of regional data documenting seal penetrations in the Cambrian Eau Claire and Ordovician Maquoketa was compiled, but a lack of deep well control over the project area illustrates the need for test boring and data acquisition at the East Sub-Basin case study site.

01 COAL, LIGNITE, AND PEAT↗