Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “compiler optimization”

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 217 records · Page 12

Towards Automatic and Agile AI/ML Accelerator Design with End-to-End Synthesis

Domain-specific designs offer greater energy efficiency and performance gain than general-purpose processors. For this reason, modern system-on-chips have a significant portion of their silicon area with custom accelerators. However, designing hardware by hand is laborious and time-consuming, given the large design space and the performance, power, and area constraints that are not realized in the software. Moreover, domain-specific algorithms (e.g., machine learning models) are evolving quickly, challenging the accelerator design further. To address these issues, this paper presents SODA Synthesizer, an automated open-source high-level ML framework to Verilog modular compiler targeting AI/ML Application-Specific Integrated Circuits (ASICs) accelerators. SODA tightly couples the Multi- Level Intermediate Representation (MLIR) compiler infrastructure [24] and open-source HLS approaches. Thus, SODA can support various ML frameworks and algorithms and can perform optimizations that combine specialized architecture templates and conventional HLS to generate the hardware modules. In addition, SODA’s closed-loop design space exploration (DSE) engine allows developers to perform end-to-end design space explorations on different metrics and technology nodes.

Zhang, Jeff↗

JuTrack: A Julia package for auto-differentiable accelerator modeling and particle tracking

Efficient accelerator modeling and particle tracking are key for the design and configuration of modern particle accelerators. In this work, we present JuTrack, a nested accelerator modeling package developed in the Julia programming language and enhanced with compiler-level automatic differentiation (AD). With the aid of AD, JuTrack enables rapid derivative calculations in accelerator modeling, facilitating sensitivity analyses and optimization tasks. Here we demonstrate the effectiveness of AD-derived derivatives through several practical applications, including sensitivity analysis of space-charge-induced emittance growth, nonlinear beam dynamics analysis for a synchrotron light source, and lattice parameter tuning of the future Electron-Ion Collider (EIC). Through the incorporation of automatic differentiation, this package opens up new possibilities for accelerator physicists in beam physics studies and accelerator design optimization.

43 PARTICLE ACCELERATORS↗

Optical emissivity dataset of multi-material heterogeneous designs generated with automated figure extraction

Optical device design is typically an iterative optimization process based on a good initial guess from prior reports. Optical properties databases are useful in this process but difficult to compile because their parsing requires finding relevant papers and manually converting graphical emissivity curves to data tables. Here, we present two contributions: one is a dataset of thermal emissivity records with design-related parameters, and the other is a software tool for automated colored curve data extraction from scientific plots. We manually collected 64 papers with 176 figures reporting thermal emissivity and automatically retrieved 153 colored curve data records. The automated figure analysis software pipeline uses Faster R-CNN for axes and legend object detection, EasyOCR for axes numbering recognition, and k-means clustering for colored curve retrieval. Additionally, we manually extracted geometry, materials, and method information from the text to add necessary metadata to each emissivity curve. Finally, we analyzed the dataset to determine the dominant classes of emissivity curves and determine the underlying design parameters leading to a type of emissivity profile.

47 OTHER INSTRUMENTATION↗

Mixing effects on spectroscopy and partonic observables of heavy mesons with logarithmic confining potential in a light-front quark model

Using the variational principle, we systematically investigate the mass spectra and wave functions of both 1⁢𝑆 and 2⁢𝑆 state heavy pseudoscalar (𝑃) and vector (𝑉) mesons within the light-front quark model. This approach incorporates a Coulomb plus logarithmic confinement potential to accurately describe the constituent quark and antiquark dynamics. Additionally, spin hyperfine interactions are introduced perturbatively to compute the masses of pseudoscalar and vector mesons. The present analyses of the 1⁢𝑆 and 2⁢𝑆 states require the consideration of mixing between them to account for empirical constraints. These constraints include the mass gap Δ⁢𝑀 𝑃 >Δ⁢𝑀 𝑉 , where Δ⁢𝑀 𝑃⁡(𝑉) =𝑀$^{2⁢𝑆}_{𝑃⁡(𝑉)}$−𝑀$^{1⁢𝑆}_{𝑃⁡(𝑉)}$ and the hierarchy of the decay constants 𝑓 1⁢𝑆 >𝑓 2⁢𝑆 . We find the optimal value of the mixing angle to be 𝜃 =1⁢8°, significantly enhancing the consistency between our spectroscopic predictions and the experimental data compiled by the Particle Data Group. Furthermore, based on the predicted mass, the newly observed resonance 𝐵 𝐽⁡ (5840) could be assigned as a 2 1⁢ 𝑆 0 state in the 𝐵 meson family. The study also reports various pertinent observables, including twist-two distribution amplitudes, electromagnetic form factors, charge radii, 𝜉 moments, and transition form factors that are found to be consistent with both available lattice simulations and experimental data. In addition, our predicted branching ratios for the channels of 𝐵 + →𝜏 + ⁢𝜈 𝜏 as well as rare decays of 𝐵 0 and 𝐵$^0_𝑠$ appear in accordance with experimental data.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Quantum Software Engineering (Dagstuhl Seminar 24512)

The Dagstuhl Seminar 24512 on "Quantum Software Engineering" was held from December 15 to 20, 2024. It brought together 26 participants from industry and academia from 13 different countries, including senior and junior researchers as well as practitioners in the field of Quantum Software Engineering. The aim of the seminar was to advance software engineering methods and tools for the engineering of hybrid quantum systems by promoting personal interaction and open discussion among researchers who are already working in this emerging area of knowledge. The first day of the seminar was devoted to the topic "When software engineering meets quantum mechanics", while the second day focused on "Quantum software engineering and its challenges." During both days, 16 invited presentations were given. The rest of the seminar was organized into three working groups to address the topics "Quantum Software Design, Modelling and Architecturing", "Adaptive Hybrid Quantum Systems", and "Quantum Software Quality Assurance". The seminar was a very fruitful experience for all participants both in terms of scientific outcomes and in terms of the personal relationships that were generated to jointly address future experiences.

97 MATHEMATICS AND COMPUTING↗

Aspects of the interstellar medium in starburst galaxies

Researchers are engaged in a multifaceted program to investigate the stellar content and star formation history of actively star-forming galaxies. A large body of stellar spectra have been examined to identify spectral features characteristic of specific stellar types. These spectral diagnostics are then calibrated in terms of temperature (spectral type), gravity (luminosity class) and metallicity. The spectral data is compiled into a stellar library whose members represent specific locations in the HR diagram. Through the use of population synthesis techniques, both optimizing and evolutionary approaches, the stellar luminosity function in composite populations can be determined by analysis of their integrated light. Researchers have concentrated on the ultraviolet wavelength region (lambda lambda 1200 to 3200), utilizing the International Ultraviolet Explorer (IUE) archives supplemented by additional observations. In the optical, virtually all stars will contribute to the integrated light. In the ultraviolet however, cool stars will produce negligible flux due to their steep ultraviolet-to-visual continua, greatly simplifying the investigation of the hot component in a composite population. The researchers' initial stellar library has been applied to several blue compact galaxies, (BCGs), a class of starburst galaxy which is UV luminous. BCGs possess a complex interstellar medium which affects the emergent stellar continuum in several ways. This presents a challenge to the stellar analysis but affords insight into the properties of the gas and dust from which the massive OB stars have formed. The optimizing synthesis method solves for the stellar luminosity function and extinction simultaneously. This therefore provides an independent measure of the extinction affecting the hot population component. Despite the rise of the reddening law towards the ultraviolet, BCGs are found to be brighter in the ultraviolet than expected.

Fanelli, Michael N.↗

Deconvolution methods and systems for the mapping of acoustic sources from phased microphone arrays

A method and system for mapping acoustic sources determined from a phased microphone array. A plurality of microphones are arranged in an optimized grid pattern including a plurality of grid locations thereof. A linear configuration of N equations and N unknowns can be formed by accounting for a reciprocal influence of one or more beamforming characteristics thereof at varying grid locations among the plurality of grid locations. A full-rank equation derived from the linear configuration of N equations and N unknowns can then be iteratively determined. A full-rank can be attained by the solution requirement of the positivity constraint equivalent to the physical assumption of statically independent noise sources at each N location. An optimized noise source distribution is then generated over an identified aeroacoustic source region associated with the phased microphone array in order to compile an output presentation thereof, thereby removing the beamforming characteristics from the resulting output presentation.

Brooks, Thomas F.↗

Modeling Evolvable Water Recovery Systems for Short and Long-Duration Missions in Partial Gravity

Water recovery technologies on the International Space Station (ISS) are designed and optimized for microgravity environments, thus creating a need for innovative systems optimized for mission operations in the presence of gravity. Alternative water recovery technologies under research by the Life Support Systems division were compiled into a series of Partial Gravity Water Recovery System (PGWRS) architectures. Individual unit processes were modeled via fundamental physical-chemical process equations to simulate their method of treatment, including chemical or biological oxidation, flash evaporation, filtration, or a combination of adsorption and ion exchange processes. Dimension and sizing data were then utilized to scale each architecture. Modeling was completed on an assortment of architectures assuming three scenarios in which treatment methods could take advantage of partial gravity: a short-duration mission with a temporary surface habitat, a longer duration mission with a more permanent habitat, and a long duration mission without resupply. Total system mass was estimated to quantitatively compare architectures within scenarios, but qualitative observations were also made regarding system robustness, flexibility, and capacity to meet more stringent demands. Technologies that traded most favorably between the scenarios were those that included a pre-oxidation stage to minimize mass loading to downstream absorption and ion exchange beds, exploited gravity in liquid-vapor separation processes, and reconstituted wastewater components into recyclable material streams.

Avery Carlson↗

Modeling Evolvable Water Recovery Systems for Short and Long-Duration Missions in Partial Gravity

Water recovery technologies on the International Space Station (ISS) are designed and optimized for microgravity environments, thus creating a need for innovative systems optimized for mission operations in the presence of gravity. Alternative water recovery technologies under research by the Life Support Systems division were compiled into a series of Partial Gravity Water Recovery System (PGWRS) architectures. Individual unit processes were modeled via fundamental physical-chemical process equations to simulate their method of treatment, including chemical or biological oxidation, flash evaporation, filtration, or a combination of adsorption and ion exchange processes. Dimension and sizing data were then utilized to scale each architecture. Modeling was completed on an assortment of architectures assuming three scenarios in which treatment methods could take advantage of partial gravity: a short-duration mission with a temporary surface habitat, a longer duration mission with a more permanent habitat, and a long duration mission without resupply. Total system mass was estimated to quantitatively compare architectures within scenarios, but qualitative observations were also made regarding system robustness, flexibility, and capacity to meet more stringent demands. Technologies that traded most favorably between the scenarios were those that included a pre-oxidation stage to minimize mass loading to downstream absorption and ion exchange beds, exploited gravity in liquid-vapor separation processes, and reconstituted wastewater components into recyclable material streams.

Avery L. Carlson↗

Modeling Evolvable Water Recovery Systems for Short and Long-Duration Missions in Partial Gravity

Water recovery technologies on the International Space Station (ISS) are designed and optimized for microgravity environments, thus creating a need for innovative systems optimized for mission operations in the presence of gravity. Alternative water recovery technologies under research by the Life Support Systems division were compiled into a series of Partial Gravity Water Recovery System (PGWRS) architectures. Individual unit processes were modeled via fundamental physical-chemical process equations to simulate their method of treatment, including chemical or biological oxidation, flash evaporation, filtration, or adsorption and ion exchange. Dimension and sizing data were then utilized to scale each architecture. Modeling was completed on an assortment of architectures assuming three scenarios in which treatment methods could take advantage of partial gravity: a short-duration mission with a temporary surface habitat, a longer duration mission with a more permanent habitat, and a long duration mission with minimal resupply. Total system mass was estimated to quantitatively compare architectures within scenarios, but qualitative observations were also made regarding system robustness, flexibility, and capacity to meet more stringent demands. Technologies that traded most favorably between the scenarios were those that included a pre-oxidation stage to minimize mass loading to downstream absorption and ion exchange beds, exploited gravity in liquid-vapor separation processes, and reconstituted wastewater components into recyclable material streams.

Avery L. Carlson↗

Modeling Evolvable Water Recovery Systems for Short and Long-Duration Missions in Partial Gravity

Water recovery technologies on the International Space Station (ISS) are designed and optimized for microgravity environments, thus creating a need for innovative systems optimized for mission operations in the presence of gravity. Alternative water recovery technologies under research by the Life Support Systems division were compiled into a series of Partial Gravity Water Recovery System (PGWRS) architectures. Individual unit processes were modeled via fundamental physical-chemical process equations to simulate their method of treatment, including chemical or biological oxidation, flash evaporation, filtration, or adsorption and ion exchange. Dimension and sizing data were then utilized to scale each architecture. Modeling was completed on an assortment of architectures assuming three scenarios in which treatment methods could take advantage of partial gravity: a short-duration mission with a temporary surface habitat, a longer duration mission with a more permanent habitat, and a long duration mission with minimal resupply. Total system mass was estimated to quantitatively compare architectures within scenarios, but qualitative observations were also made regarding system robustness, flexibility, and capacity to meet more stringent demands. Technologies that traded most favorably between the scenarios were those that included a pre-oxidation stage to minimize mass loading to downstream absorption and ion exchange beds, exploited gravity in liquid-vapor separation processes, and reconstituted wastewater components into recyclable material streams.

Avery Carlson↗

Aerodynamic Shape Optimization Using A Combined Distributed/Shared Memory Paradigm

Current parallel computational approaches involve distributed and shared memory paradigms. In the distributed memory paradigm, each processor has its own independent memory. Message passing typically uses a function library such as MPI or PVM. In the shared memory paradigm, such as that used on the SGI Origin 2000 machine, compiler directives are used to instruct the compiler to schedule multiple threads to perform calculations. In this paradigm, it must be assured that processors (threads) do not simultaneously access regions of memory in such away that errors would occur. This paper utilizes the latest version of the SGI MPI function library to combine the two parallelization paradigms to perform aerodynamic shape optimization of a generic wing/body.

Cheung, Samson↗

Automatic Code Generation for High-Performance Graph Algorithms

Graph problems are common across fields of scientific computing and social sciences. However, despite their importance, implementing graph algorithms effectively on modern computing systems is a challenging task that requires significant programming effort and generally results in customized implementations. Current computing and memory hierarchies are not architected for irregular computations resulting in challenges for graph algorithms to achieve high performance on those architectures. In this paper, we present GraphX, a novel compiler framework and DSL designed to simplify the development of efficient graph algorithms and achieve high performance on modern computing systems. GraphX consists of a DSL for efficient implementation of graph algorithms, various optimizations, such as support for sparse linear algebra and workspace transformations, optimized graph primitives, including semiring and masking, and a high-performance code generation engine. Using GraphX, users can implement graph algorithms using a semantically-rich language with graph-oriented operators. GraphX uses these semantics to automatically generate efficient code for target architectures, increasing performance and portability across architectures. The composable nature of GraphX makes it possible to extend the set of optimizations and architectures without modifying the source code. We demonstrate GraphX outperforms state-of-the-art graph libraries, such as LAGraph, up to $3.7 speedup in semiring operations, $2.19 speedup in an important sparse computational kernel, and $9.05 speedup in graph processing algorithms.

compiler, graph algorithms, semiring, masking, wor↗

Optimizing Deep Learning Models for Climate-Related Natural Disaster Detection from UAV Images and Remote Sensing Data

This research study utilized artificial intelligence (AI) to detect natural disasters from aerial images. Flooding and desertification were two natural disasters taken into consideration. The Climate Change Dataset was created by compiling various open-access data sources. This dataset contains 6334 aerial images from UAV (unmanned aerial vehicles) images and satellite images. The Climate Change Dataset was then used to train Deep Learning (DL) models to identify natural disasters. Four different Machine Learning (ML) models were used: convolutional neural network (CNN), DenseNet201, VGG16, and ResNet50. These ML models were trained on our Climate Change Dataset so that their performance could be compared. DenseNet201 was chosen for optimization. All four ML models performed well. DenseNet201 and ResNet50 achieved the highest testing accuracies of 99.37% and 99.21%, respectively. This research project demonstrates the potential of AI to address environmental challenges, such as climate change-related natural disasters. This study’s approach is novel by creating a new dataset, optimizing an ML model, cross-validating, and presenting desertification as one of our natural disasters for DL detection. Three categories were used (Flooded, Desert, Neither). Our study relates to AI for Climate Change and Environmental Sustainability. Drone emergency response would be a practical application for our research project.

AI↗

Orbital Trade Study for the PREFIRE Mission

The Polar Radiant Energy in the Far-Infrared Experiment (PREFIRE) is a low-cost cubesat-based Earth Science mission selected for rapid implementation through NASAs Earth Ventures-Instrument program. Two cubesats carrying thermal infrared spectrometers (TIRS) in polar orbits will test long-held assumptions regarding radiative balance at long wavelengths where the cold-dry Arctic and Antarctic surfaces expel significant amounts of the earth's radiant energy. Thermal radiometry with better than one micron sampling at wavelengths beyond 15 microns will provide critical observational bounds for inputs into glacier melt and climate change models through improvements in surface emissivities, longwave greenhouse effect parameterizations, and cloud presence/types. Additional information on potential far-infrared surface/atmosphere feedbacks during rapid melt processes may be captured with sub-diurnal revisits of targeted areas. A baseline mission with two cubesats in different orbits provides a means for optimization of sub-diurnal sampling for science purposes. In this presentation we provide details of orbit studies that inform expected sampling metrics. Candidate orbits are modeled in SGP and then TIRS sampling is projected into surface footprints with appropriate geo-location. Matching algorithms then compile statistics for time-delayed revisits between and within the two orbits. Binning of results by latitude allows for abstraction of precession issues as well as for correlations with surface types as defined by radiometric classification schemes. Multiple acceptable pairs of science-driven orbits were found that optimize sampling in areas known to experience rapid melt events. The final choice of PREFIRE orbital parameters includes the systems trade-space, particularly the power budget, as well as the availability of launch opportunities.

"L'Ecuyer, Tristan"↗

SPEL: Software tool for Porting E3SM Land Model with OpenACC in a Function Unit Test Framework

Most high-end computers adopt hybrid architecture, porting a large-scale scientific code onto accelerators is necessary. The paper presents a generic method for porting large-scale scientific code onto accelerators using compiler directives within a modularized function unit test platform. We have implemented the method and designed a software tool (SPEL) to port the E3SM Land Model (ELM) onto the GPUs in the Summit computer. SPEL automatically generates GPU-ready test modules for all ELM functions, such as CanopyFlux, SoilTemperature, and EcosystemDynamics. SPEL breaks the ELM into a collection of standalone unit test programs for easy code verification and further performance improvement. We further optimize several ELM test modules with advanced techniques, including memory reduction, reconstructed parallel loops, and asynchronous GPU kernel launch. We hope our study will inspire new toolkit developments that expedite large-scale scientific code porting with compiler directives.

Schwartz, Peter↗

MUPPET: An automated OpenMP mutation testing framework for performance optimization

MUPPET is a tool for OpenMP programs that identifies program modifications, called mutations, aimed at improving program performance. Existing performance optimization techniques, including profiling-based and auto-tuning techniques, fail to indicate program modifications at the source level thus preventing their portability across compilers. MUPPET aims to help HPC developers reason about performance defects and missed opportunities to improve performance at the source code level.

Parasyris, Konstantinos↗

QAOA Tutorial Outline

In this tutorial we discuss the quantum alternating operator ansatz (QAOA), which is a variational algorithm that can be used for approximate optimization of combinatorial problems with soft and hard constraints.We go through the design of the quantum circuit and its actual implementation in real hardware, discussing compilation issues such as gate synthesis and scheduling of all the required gates and qubit-swapping overhead.

Venturelli, Davide↗