Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Compiler Validation”

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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2014

Testing-Based Compiler Validation for Synchronous Languages

In this paper we present a novel lightweight approach to validate compilers for synchronous languages. Instead of verifying a compiler for all input programs or providing a fixed suite of regression tests, we extend the compiler to generate a test-suite with high behavioral coverage and geared towards discovery of faults for every compiled artifact. We have implemented and evaluated our approach using a compiler from Lustre to C.

Compiler Validation↗
NASA NTRS1980

Compiler validates units and dimensions

Software added to compiler for automated test system for Space Shuttle decreases computer run errors by providing offline validation of engineering units used system command programs. Validation procedures are general, though originally written for GOAL, a free-form language that accepts "English-like" statements, and may be adapted to other programming languages.

Levine, F. E.↗
DOE OSTI2026

The Compilation and Validation of the Spectroscopic Redshift Catalogs for the DESI-COSMOS and DESI-XMM-LSS Fields

Over several dedicated programs that include targets beyond the main cosmological samples, the Dark Energy Spectroscopic Instrument collected spectra for 304,970 unique objects in two fields centered on the COSMOS and XMM-LSS fields. In this work, we develop spectroscopic redshift robustness criteria for those spectra, validate these criteria using visual inspection, and provide two custom value-added catalogs with our redshift characterizations. With these criteria, we reliably classify 212,935 galaxies below z < 1.6, 9713 quasars, and 35,222 stars. The resulting catalogs achieve a redshift purity exceeding 99.4% across all galaxy samples. As a critical element in characterizing the selection function, we provide the description of 70 different algorithms that were used to select these targets from imaging data. To facilitate joint imaging/spectroscopic analyses, we provide row-matched photometry from the Dark Energy Camera, Hyper-Suprime Cam, and public COSMOS2020 photometric catalogs. Finally, we demonstrate example applications of these large catalogs to photometric redshift estimation, cluster finding, and completeness studies.

Ratajczak, J. [Univ. of Utah, Salt Lake City, UT (↗
NASA NTRS1986

Run-time implementation issues for real-time embedded Ada

A motivating factor in the development of Ada as the department of defense standard language was the high cost of embedded system software development. It was with embedded system requirements in mind that many of the features of the language were incorporated. Yet it is the designers of embedded systems that seem to comprise the majority of the Ada community dissatisfied with the language. There are a variety of reasons for this dissatisfaction, but many seem to be related in some way to the Ada run-time support system. Some of the areas in which the inconsistencies were found to have the greatest impact on performance from the standpoint of real-time systems are presented. In particular, a large part of the duties of the tasking supervisor are subject to the design decisions of the implementer. These include scheduling, rendezvous, delay processing, and task activation and termination. Some of the more general issues presented include time and space efficiencies, generic expansions, memory management, pragmas, and tracing features. As validated compilers become available for bare computer targets, it is important for a designer to be aware that, at least for many real-time issues, all validated Ada compilers are not created equal.

Maule, Ruth A.↗
DOE OSTI2026

arco (Assembled Resource-Constrained Optimization) [SWR-26-030]

Arco (Assembled Resource-Constrained Optimization) is a memory-smart optimization DSL and solver for LP and MIP problems on constrained hardware. The software is an optimization framework built around a KDL-based domain-specific language and a CLI compiler/solver. You write optimization models in .kdl files, and the arco CLI compiles, validates, inspects, and solves them. Language bindings (Python today, more planned) provide programmatic access to the same engine. Built for harder optimization problems on constrained resources, Arco is intentional about every allocation, careful with stack and heap behavior, and relentless about minimizing memory usage so more systems can run real workloads. Arco is built primarily for internal use within our organization. You are welcome to try it, but we make no guarantees about API stability or robustness at this stage

Sanchez Perez, Pedro Andres [National Laboratory o↗
DOE OSTI2016

Experimental Data Sets for CFD Calculations of Flow and Heat Transfer in Deformed Fuel Assemblies

Liquid-metal fast-breeder reactors (LMFBRs) have traditionally used fuel assemblies consisting of a hexagonal array of pins enclosed in a hexagonally shaped duct. Each fuel pin is surrounded by a wire that is wrapped in a helical configuration, which is used to separate the pins sufficiently to allow sodium coolant to flow through the assembly. The helical wire wrap also promotes mixing of the coolant. Experience with these assemblies has shown that they begin to deform with time during normal operation leading to significant changes in core thermal-hydraulics. For example, deformations of assemblies in the Experimental Breeder Reactor-2 and the Fast Flux Test Facility led to pin overheating resulting from pin-to-duct and pin-to-pin contact. This problem is well known and was investigated extensively in the 1970's and early 1980's. This was a period, however, before the development of modern Computational Fluid Dynamics (CFD) computer codes. Therefore, the experiments performed at the time did not record their results in sufficient detail to be useful for compiling validation datasets for CFD codes. Most of the experiments focused only on bulk measurements, such as the pressure drop across the bundle. When the effects of deformation of the fuel assembly were investigated, the studies performed to quantify these effects considered only bare pins without the wire wrap. With the resurgence of interest in LMFBRs in recent years, particularly in designs that leverage long-life performance of the fuel, the need has arisen for data that are suitable for the validation and benchmarking of CFD codes to predict the thermal-hydraulic behavior of flow in wire-wrapped fuel bundles. Such data must include high-resolution, transient, full-field measurements of the fluid velocity and temperature and an accurate record of the test conditions, including a precise description of the geometry. This paper describes a project to produce a validation-quality set of data that can be used to benchmark CFD codes for modeling flow and thermal performance in wire-wrapped fuel assemblies of the kind used by LMFBR designs. In addition, this effort investigates the changes to the flow and other phenomena that occur in the deformed geometries that can form later in a fuel assembly's life. This work is a joint effort of four organizations. The experimental work is being performed by AREVA and Texas A and M University. The computational work, both to support the experiments and to perform blind benchmark calculations, is being done by TerraPower, LLC, and Argonne National Laboratory (ANL). The experiments use a geometry that consists of a complete assembly of 61 wire-wrapped pins, which is surrounded by a hexagonal duct. This configuration is considered the minimum size necessary to adequately capture the important results of interest, such as the thermal gradients across the assembly and the velocity field effects in the assembly resulting from the surrounding duct. These types of effects cannot be captured by a geometry consisting of only a small group of fuel pins. (authors)

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2022

Analysis of Validating and Verifying OpenACC Compilers 3.0 and Above

OpenACC is a high-level directive-based parallel programming model that can manage the sophistication of heterogeneity in architectures and abstract it from the users. The portability of the model across CPUs and accelerators has gained the model a wide variety of users. This means it is also crucial to analyze the reliability of the compilers’ implementations. To address this challenge, the OpenACC Validation and Verification team has proposed a validation testsuite to verify the OpenACC implementations across various compilers with an infrastructure for a more streamlined execution. This paper will cover the following aspects: (a) the new developments since the last publication on the testsuite, (b) outline the use of the infrastructure, (c) discuss tests that highlight our workflow process, (d) analyze the results from executing the testsuite on various systems, and (e) outline future developments.

Jarmusch, Aaron↗
DOE OSTI2022

Comprehensive compilations of computation results and validations for neutronics start-up tests at China Experimental Fast Reactor

This paper compiles and analyzes refined results of the coordinated research project (CRP) on Neutronics Benchmark of China Experimental Fast Reactor (CEFR) Start-Up Tests conducted by the International Atomic Energy Agency (IAEA) since 2018. Twenty-eight research organizations participated with various code systems. The China Institute of Atomic Energy (CIAE) provided the benchmark specifications and participants conducted the benchmark through blind and refined phases. This paper presents the benchmark results on six experimental measurements, criticality, control rod worth, temperature reactivity coefficients, sodium void worth, assembly swap reactivities, and foil activations. Except for a few outlier results, the simulation results show good agreement with the measured data within 1-σ experiment uncertainties. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2022

COMPILE: a GWAS computational pipeline for gene discovery in complex genomes

Abstract Background Genome-Wide Association Studies (GWAS) are used to identify genes and alleles that contribute to quantitative traits in large and genetically diverse populations. However, traits with complex genetic architectures create an enormous computational load for discovery of candidate genes with acceptable statistical certainty. We developed a streamlined computational pipeline for GWAS (COMPILE) to accelerate identification and annotation of candidate maize genes associated with a quantitative trait, and then matches maize genes to their closest rice and Arabidopsis homologs by sequence similarity. Results COMPILE executed GWAS using a Mixed Linear Model that incorporated, without compression, recent advancements in population structure control, then linked significant Quantitative Trait Loci (QTL) to candidate genes and RNA regulatory elements contained in any genome. COMPILE was validated using published data to identify QTL associated with the traits of α-tocopherol biosynthesis and flowering time, and identified published candidate genes as well as additional genes and non-coding RNAs. We then applied COMPILE to 274 genotypes of the maize Goodman Association Panel to identify candidate loci contributing to resistance of maize stems to penetration by larvae of the European Corn Borer ( Ostrinia nubilalis ). Candidate genes included those that encode a gene of unknown function, WRKY and MYB-like transcriptional factors, receptor-kinase signaling, riboflavin synthesis, nucleotide-sugar interconversion, and prolyl hydroxylation. Expression of the gene of unknown function has been associated with pathogen stress in maize and in rice homologs closest in sequence identity. Conclusions The relative speed of data analysis using COMPILE allowed comparison of population size and compression. Limitations in population size and diversity are major constraints for a trait and are not overcome by increasing marker density. COMPILE is customizable and is readily adaptable for application to species with robust genomic and proteome databases.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS1986

Rehosting and retargeting an Ada compiler: A design study

The goal of this study was to develop a plan for rehosting and retargeting the Air Force Armaments Lab. Ada cross compiler. This compiler was validated in Sept. 1985 using ACVC 1.6, is written in Pascal, is hosted on a CDC Cyber 170, and is targeted to an embedded Zilog Z8002. The study was performed to determine the feasibility, cost, time, and tasks required to retarget the compiler to a DEC VAX 11/78x and rehost it to an embedded U.S. Navy AN/UYK-44 computer. Major tasks identified were rehosting the compiler front end, rewriting the back end (code generator), translating the run time environment from Z8002 assembly language to AN/UYK-44 assembly language, and developing a library manager.

Robinson, Ray↗
DOE OSTI2022

On the inconsistency of [C/Fe] abundances and the fractions of carbon-enhanced metal-poor stars among various stellar surveys

Carbon-enhanced metal-poor (CEMP) stars are a unique resource for Galactic archaeology because they probe the properties of the First Stars, early chemical evolution, and binary interactions at very low metallicity. Comparing the fractions and properties of CEMP stars in different Galactic environments can provide us with unique insights into the formation and evolution of the Milky Way halo and its building blocks. In this work, we investigate whether directly comparing fractions of CEMP stars from different literature samples of very metal-poor [Fe/H] < -2.0 stars is valid. We compiled published CEMP fractions and samples of Galactic halo stars from the past 25 years, and find that they are not all consistent with each other. Focusing on giant stars, we find significant differences between various surveys when comparing their trends of [Fe/H] versus [C/Fe] and their distributions of CEMP stars. To test the role of the analysis pipelines for low-resolution spectroscopic samples, we re-analysed giant stars from various surveys with the sspp and ferre pipelines. We found systematic differences in [C/Fe] of ~0.1-0.4 dex, partly independent of degeneracies with the stellar atmospheric parameters. These systematics are likely due to the different pipeline approaches, different assumptions in the employed synthetic grids, and/or the comparison of different evolutionary phases. We conclude that current biases in (the analysis of) very metal-poor samples limit the conclusions one can draw from comparing different surveys. We provide some recommendations and suggestions that will hopefully aid the community to unlock the full potential of CEMP stars for Galactic archaeology.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS1986

Using Ada (R) on a workstation for large projects

Alsys has implemented validated Ada compilers that are hosted and targeted on a variety of microprocessor-based workstations, including the IBM PC/AT. The availability of Ada compilers for these kinds of inexpensive, widely available machines considerably enhances the development options for large efforts such as the NASA Space Station, and this is addressed from both an implementation and a user perspective. First, the issue of large program development on a workstation is discussed: how the compiler must handle this, and how an inherently decentralized approach can be managed. Next, the focus is on code efficiency and the compiler and run-time design decisions that help meet this goal are described. It is concluded with a presentation of benchmarks that are quite encouraging with respect to the run-time efficiency of Ada code compared with other languages.

Avakian, Arra S.↗
NASA NTRS1992

Benchmark Lisp And Ada Programs

Suite of nonparallel benchmark programs, ELAPSE, designed for three tests: comparing efficiency of computer processing via Lisp vs. Ada; comparing efficiencies of several computers processing via Lisp; or comparing several computers processing via Ada. Tests efficiency which computer executes routines in each language. Available for computer equipped with validated Ada compiler and/or Common Lisp system.

Davis, Gloria↗
DOE OSTI2016

Prioritizing and Managing Technology Needs to Meet River Protection Project Mission Objectives - 16462

Over 56 million gallons of radioactive waste are stored in 177 large underground tanks at the Hanford Site, located in southeastern Washington State. This nuclear waste resulted from plutonium production for the nation's nuclear defense program. The River Protection Project (RPP) mission is to: - Safeguard and safely manage waste stored in the Hanford tanks, - Treat the waste using the Waste Treatment and Immobilization Plant (WTP), - Ensure safe disposition of the waste to protect the Columbia River and the environment. Each aspect of the mission requires some application of technology in order to meet the mission objectives. The RPP Technology Roadmap document presents a comprehensive, integrated assessment of the technology-related advances needed to ensure successful completion of the Hanford tank waste cleanup mission. This paper describes the development of the RPP Technology Roadmap, summarizes its content, describes integration and collaboration with the Department of Energy's national laboratories to support the work identified, and defines how priorities were identified to ensure near-term RPP mission commitments can be accomplished while preserving the longer term technology development elements necessary for mission completion. The Challenge - Managing a wide variety of technology needs that involve multiple organizations, contractors, and national laboratories presents additional challenges when funding constraints are factored in. A process was needed to ensure the technology needs supporting near term mission priorities were appropriately identified, prioritized, and supported through the fiscal year planning process. Additionally, the national laboratory resources necessary to support many of the technologies require coordination to ensure the most appropriate resources are applied at the appropriate level without duplication or contradiction of effort. The Solution - The RPP Technology Roadmap was developed with the primary purposes to: - Identify technology related items needed to support or enhance the River Protection Project (RPP) mission, - Prioritize technology needs to support fiscal year planning processes, - Organize National laboratory support of the RPP mission and communicate needs to the participating contractors. The Technology Roadmap is consistent with Department of Energy (DOE) Hanford mission priorities and is also in alignment with other Hanford Site technical initiatives and policy and planning documents. The Technology Roadmap highlights the current estimated technology needs and identifies where planning shortfalls exist and where national laboratory participation is needed to support mission success. This information assists fiscal year planning and national laboratory contracting processes to ensure that technology needs are supported. In addition to supporting the RPP baseline mission, the Technology Roadmap provides a basis for strategic planning by identifying opportunities to use technology solutions to enhance mission efficiency. This waste management paper describes the innovative and collaborative processes used to develop, validate, and communicate the results so the project owners and the national laboratories can most effectively plan work scope and resources. A discussion of the following processes is included: - Technology needs and task owner identification, - Functional area grouping and area lead identification, - Needs prioritization, - High priority needs ranking (including validation), - Results compilation and planning gap identification, - Results presentation by project and functional area, - National laboratory coordination and collaboration. Application - The process used to develop the RPP technology roadmap is applicable to any site where multiple national laboratories and contractors are involved in identifying and implementing technology based solutions. This process is also applicable to the DOE HQ role to provide prioritization and coordination of the nationwide technology development activities. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2022

ECP SOLLVE: Validation and Verification Testsuite Status Update and Compiler Insight for OpenMP

The OpenMP language continues to evolve with every new specification release, as does the need to validate and verify the new features that have been implemented by the different vendors. With the release of OpenMP 5.0 and OpenMP 5.1, new target offload and host-based features have been introduced to the programming model. While OpenMP continues to grow in maturity, there is an observable growth in the number of compiler and hardware vendors that support OpenMP. In this manuscript, the main focus is on evaluating the conformity and OpenMP implementation progress of various compiler vendors such as Cray, IBM, GNU, Clang/LLVM, NVIDIA, and Intel. More specifically, the 4.5, 5.0, and 5.1 versions of the OpenMP specification are analyzed. For our experimental setup, the Crusher and Summit computing systems hosted by Oak Ridge National Lab’s Computing Facilities are utilized. The effort of vendor agnostic analysis of these implementations is especially valuable for application developers who are using new OpenMP features to accelerate their scientific codes. Insights are presented into the current implementation status of various vendors, the progression of specific compiler’s support for OpenMP overtime, the subset of OpenMP 4.5, 5.0, and 5.1 that is supported by all compilers, and examples of how our test suite has influenced discussion regarding the correct interpretation of the OpenMP specification. By evaluating OpenMP conformity of pre-Exascale computing systems, the aim is to detail progress and status of AMD + Cray ecosystem before the system and their OpenMP implementation is used for mission critical applications when the first Exascale Computer Frontier is made available to applications.

Huber, Thomas↗
NASA NTRS2016

A Compilation of Global Bio-Optical in Situ Data for Ocean-Colour Satellite Applications

A compiled set of in situ data is important to evaluate the quality of ocean-colour satellite-data records. Here we describe the data compiled for the validation of the ocean-colour products from the ESA Ocean Colour Climate Change Initiative (OC-CCI). The data were acquired from several sources (MOBY, BOUSSOLE, AERONET-OC, SeaBASS, NOMAD, MERMAID, AMT, ICES, HOT, GePCO), span between 1997 and 2012, and have a global distribution. Observations of the following variables were compiled: spectral remote-sensing reflectances, concentrations of chlorophyll a, spectral inherent optical properties and spectral diffuse attenuation coefficients. The data were from multi-project archives acquired via the open internet services or from individual projects, acquired directly from data providers. Methodologies were implemented for homogenisation, quality control and merging of all data. No changes were made to the original data, other than averaging of observations that were close in time and space, elimination of some points after quality control and conversion to a standard format. The final result is a merged table designed for validation of satellite-derived ocean-colour products and available in text format. Metadata of each in situ measurement (original source, cruise or experiment, principal investigator) were preserved throughout the work and made available in the final table. Using all the data in a validation exercise increases the number of matchups and enhances the representativeness of different marine regimes. By making available the metadata, it is also possible to analyse each set of data separately. The compiled data are available at doi:10.1594PANGAEA.854832 (Valente et al., 2015).

Valente, Andre↗
NASA NTRS2019

A Compilation of Global Bio-Optical in Situ Data for Ocean-Colour Satellite Applications – Version Two

A global compilation of in situ data is useful to evaluate the quality of ocean-colour satellite data records. Here we describe the data compiled for the validation of the ocean-colour products from the ESA Ocean Colour Climate Change Initiative (OC-CCI). The data were acquired from several sources (including, inter alia, MOBY, BOUSSOLE, AERONETOC, SeaBASS, NOMAD, MERMAID, AMT, ICES, HOT, GeP&CO) and span the period from 1997 to 2018. Observations of the following variables were compiled: spectral remote-sensing reflectances, concentrations of chlorophyll-a, spectral inherent optical properties, spectral diffuse attenuation coefficients and total suspended matter. The data were from multi-project archives acquired via open internet services or from individual projects, acquired directly from data providers. Methodologies were implemented for homogenisation, quality control and merging of all data. No changes were made to the original data, other than averaging of observations that were close in time and space, elimination of some points after quality control and conversion to a standard format. The final result is a merged table designed for validation of satellite-derived ocean-colour products and available in text format. Metadata of each in situ measurement (original source, cruise or experiment, principal investigator) were propagated throughout the work and made available in the final table. By making the metadata available, provenance is better documented, and it is also possible to analyse each set of data separately. This paper also describes the changes that were made to the compilation in relation to the previous version (Valente et al., 2016). The compiled data are available at https://doi.org/10.1594/PANGAEA.898188.

Andre Valente↗
DOE OSTI2015

Variable C : N : P stoichiometry of dissolved organic matter cycling in the Community Earth System Model

Dissolved organic matter (DOM) plays an important role in the ocean's biological carbon pump by providing an advective/mixing pathway for ~ 20% of export production. DOM is known to have a stoichiometry depleted in nitrogen (N) and phosphorus (P) compared to the particulate organic matter pool, a fact that is often omitted from biogeochemical ocean general circulation models. However the variable C : N : P stoichiometry of DOM becomes important when quantifying carbon export from the upper ocean and linking the nutrient cycles of N and P with that of carbon. Here we utilize recent advances in DOM observational data coverage and offline tracer-modeling techniques to objectively constrain the variable production and remineralization rates of the DOM C : N : P pools in a simple biogeochemical-ocean model of DOM cycling. The optimized DOM cycling parameters are then incorporated within the Biogeochemical Elemental Cycling (BEC) component of the Community Earth System Model (CESM) and validated against the compilation of marine DOM observations. The optimized BEC simulation including variable DOM C : N : P cycling was found to better reproduce the observed DOM spatial gradients than simulations that used the canonical Redfield ratio. Global annual average export of dissolved organic C, N, and P below 100 m was found to be 2.28 Pg C yr -1 (143 Tmol C yr -1 , 16.4 Tmol N yr -1 , and 1 Tmol P yr -1 , respectively, with an average export C : N : P stoichiometry of 225 : 19 : 1 for the semilabile (degradable) DOM pool. Dissolved organic carbon (DOC) export contributed ~ 25% of the combined organic C export to depths greater than 100 m.

Letscher, R. T.↗