Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Program Transformation”

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
DOE OSTI2019

The human body at cellular resolution: the NIH Human Biomolecular Atlas Program

Transformative technologies are enabling the construction of three dimensional (3D) maps of tissues with unprecedented spatial and molecular resolution. Over the next seven years, the NIH Common Fund Human Biomolecular Atlas Program (HuBMAP) aims to develop a widely accessible framework for comprehensively mapping the human body at single-cell resolution by supporting technology development, data acquisition, and detailed spatial mapping. HuBMAP will integrate its efforts with other funding agencies, programs, and the biomedical research community at large towards the shared vision of a comprehensive, accessible 3D molecular and cellular atlas of the human body, in health and various disease settings.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2023

Universal Polarization Transformations: Spatial Programming of Polarization Scattering Matrices Using a Deep Learning‐Designed Diffractive Polarization Transformer

Abstract Controlled synthesis of optical fields having nonuniform polarization distributions presents a challenging task. Here, a universal polarization transformer is demonstrated that can synthesize a large set of arbitrarily‐selected, complex‐valued polarization scattering matrices between the polarization states at different positions within its input and output field‐of‐views (FOVs). This framework comprises 2D arrays of linear polarizers positioned between isotropic diffractive layers, each containing tens of thousands of diffractive features with optimizable transmission coefficients. After its deep learning‐based training, this diffractive polarization transformer can successfully implement N i N o = 10 000 different spatially‐encoded polarization scattering matrices with negligible error, where N i and N o represent the number of pixels in the input and output FOVs, respectively. This universal polarization transformation framework is experimentally validated in the terahertz spectrum by fabricating wire‐grid polarizers and integrating them with 3D‐printed diffractive layers to form a physical polarization transformer. Through this set‐up, an all‐optical polarization permutation operation of spatially‐varying polarization fields is demonstrated, and distinct spatially‐encoded polarization scattering matrices are simultaneously implemented between the input and output FOVs of a compact diffractive processor. This framework opens up new avenues for developing novel devices for universal polarization control and may find applications in, e.g., remote sensing, medical imaging, security, material inspection, and machine vision.

Optical neural networks↗
DOE OSTI2020

A Transformational Graduate Program: Mines and NREL Join Forces To Shape the Future of Energy

Developing secure, resilient, and adaptive energy infrastructure that fosters economic growth while reducing environmental impact is among the most pressing challenges—and greatest opportunities—of our time. It will require the next generation of thought leaders to capably and creatively guide this vital energy sector transition. Through a new interdisciplinary graduate program, Colorado School of Mines (Mines) and the National Renewable Energy Laboratory (NREL) are cultivating the rich opportunity landscape needed to develop these future innovators. The Mines/NREL Advanced Energy Systems (AES) degree program prepares researchers at the doctoral level and energy professionals at the master’s level to address the full complexity of tomorrow's infrastructure, economic, and environmental challenges. The combination of a thriving cleantech market in Colorado, world-class resources and researchers at NREL, and rigorous educational and technical programs at Mines create a truly one-of-a-kind opportunity for advancing fields related to energy systems. These links can uniquely equip top-caliber students to become the scientists and engineers at the forefront of our global energy economy transformation.

Advanced Energy Systems↗
DOE OSTI2019

Analytical Modeling of Cache Behavior for Affine Programs

Modern optimizing compiler design integrates program transformation strategies aimed at reducing data movement to/from main memory by exploiting the data cache hierarchy. But in reality, the effect of these transformations on the actual cache miss count is ignored in compilers due to the lack of precise compile-time models of misses for hierarchical caches. The current state of practice for cache miss analysis is based on accurate simulation. However, simulation requires time proportional to the dataset/problem size as well as the number of distinct cache configurations of interest to be evaluated. This paper takes a fundamentally different approach, made possible by focusing on polyhedral programs with static control flow: instead of relying on costly simulation, this paper develops the first closed-form solution for exact modeling of misses in a set-associative cache hierarchy. It enabling simulation-less selection of program transformations at compile-time to optimize cache misses. A push-button tool implementing the approach is developed and used for extensive validation of the complete framework.

affine programs, cache modeling, set associativity↗
DOE OSTI2026

ROSE

Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89 to C23), C++ (C++98 to C++23), UPC, Fortran (Fortran4, 66, 77, 95, 2003), OpenMP, Java, Python, and Binary applications. ROSE users range from experienced compiler researchers to library and tool developers who may have minimal compiler experience. ROSE is particularly well suited for building custom tools for static analysis, program optimization, arbitrary program transformation, domain-specific optimizations, complex loop optimizations, performance analysis, and cyber-security. ROSE is: A library (and set of associated tools) to quickly and easily apply compiler techniques to one's code in order to improve application performance and developer productivity. A research and development compiler infrastructure for for writing custom source-to-source translators to perform source code transformations, analysis, and optimizations. Is

Pinnow, NathanT [Lawrence Livermore National Labor↗
DOE OSTI2024

Cross-Feature Transfer Learning for Efficient Tensor Program Generation

Tuning tensor program generation involves navigating a vast search space to find optimal program transformations and measurements for a program on the target hardware. The complexity of this process is further amplified by the exponential combinations of transformations, especially in heterogeneous environments. This research addresses these challenges by introducing a novel approach that learns the joint neural network and hardware features space, facilitating knowledge transfer to new, unseen target hardware. A comprehensive analysis is conducted on the existing state-of-the-art dataset, TenSet, including a thorough examination of test split strategies and the proposal of methodologies for dataset pruning. Leveraging an attention-inspired technique, we tailor the tuning of tensor programs to embed both neural network and hardware-specific features. Notably, our approach substantially reduces the dataset size by up to 53% compared to the baseline without compromising Pairwise Comparison Accuracy (PCA). Furthermore, our proposed methodology demonstrates competitive or improved mean inference times with only 25–40% of the baseline tuning time across various networks and target hardware. The attention-based tuner can effectively utilize schedules learned from previous hardware program measurements to optimize tensor program tuning on previously unseen hardware, achieving a top-5 accuracy exceeding 90%. This research introduces a significant advancement in autotuning tensor program generation, addressing the complexities associated with heterogeneous environments and showcasing promising results regarding efficiency and accuracy.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2020

A Framework for the Analysis of Compiler Optimizations

Compilers transform program source code to machine executable code. During this transformation, they perform a number of compiler optimizations to improve the performance of the generated executable code. Importantly, applying those optimizations depends on the source code structure, such as the parallel programming model used to parallelize an algorithm. Often, implementations of the same algorithm with different programming models have vastly different performance because the compiler optimized them differently. We create FAROS, a framework to structure and automate the analysis of compiler optimizations on programs. FAROS automates the building process, execution profiling, and analysis of compiler optimization of programs, through a configuration interface. It outputs compiler optimization reports to show which optimizations applied to which line of source code, leveraging compilation remarks output by the compiler. Also, FAROS supports benchmarking performance of different program versions by collecting execution time results. In this first release of FAROS, we provide a configuration file to analyze compiler optimization differences for sequential vs OpenMP compilation, including 38 programs consisting of HPC proxy/mini/large applications, and NAS and Rodina kernels for analysis.

Georgakoudis, Giorgis↗
DOE OSTI2026

AstraAI v1

AstraAI is an open-source, structure-aware AI coding agent designed for large scientific and DOE-HPC codebases such as AMReX-based applications. Unlike general-purpose coding assistants, AstraAI combines retrieval-augmented generation (RAG) with compiler-level Abstract Syntax Tree (AST) analysis to perform precise, scope-constrained code modifications. It identifies exact function spans, enforces locality of edits, and maintains cross-file invariants, enabling deterministic and build-safe transformations in complex C++/GPU environments. AstraAI is intended for developers working on large, evolving HPC frameworks where correctness, reproducibility, and structural integrity are critical. Typical use cases include modifying physics kernels, updating GPU device lambdas, and performing multi-file refactors without breaking compilation or runtime semantics. Compared to conventional LLM-based coding agents - even those with repository access - AstraAI provides structural guarantees rather than free-form text patches. It minimizes unintended diffs, prevents scope drift, preserves formatting and build stability, and reduces structural hallucinations. By integrating compiler tooling directly into the generation loop, AstraAI transforms AI-assisted coding from probabilistic text editing into deterministic, structure-preserving program transformation suitable for mission-critical scientific software.

Natarajan, Mahesh [Lawrence Berkeley National Labo↗
DOE OSTI2019

Challenges and Recommended Policies for Simultaneous Global Implementation of Low-GWP Refrigerants and High Efficiency in Room Air Conditioners

Increasing incomes, electrification, and urbanization—as well as a warming world—are driving up the global stock of air conditioners (ACs), particularly in emerging economies with hot climates. AC energy consumption is expected to increase substantially as the global stock of room ACs rises to 1.5 billion in 2030 and 2.5 billion in 2050. Hence, improving AC energy efficiency will be critical to reducing AC energy, cost (consumer lifecycle cost, electricity generation cost, etc.), peak load, and emissions impacts. The 2016 Kigali Amendment to the Montreal Protocol offers an opportunity to improve AC energy efficiency in tandem with the phasedown of high global warming potential (GWP) hydrofluorocarbon (HFC) refrigerants. Based on the most recent information, a literature review, and interviews with manufacturers and industry experts, we find the main barriers to deploying high-efficiency ACs include concerns about market demand and cost, which could be mitigated by appropriately improved design of market-transformation programs such as standards and labeling, incentive, and procurement programs. The main barriers to the low-GWP refrigerant transition include the need for timely revision of safety standards and associated costs for capacity-building activities allowing safe use of low-GWP refrigerants in ACs. Policy action and the market transformation can be accelerated by advancing the refrigerant transition and efficiency improvements in parallel.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2021

Trends in best-in-class energy-efficient technologies for room air conditioners

Improving the efficiency of room air conditioners (RACs) could provide significant energy and associated emissions savings, particularly in emerging economies with hot climates where the cooling demand is expected to increase dramatically. To help accelerate efficiency improvements, this study identifies “best-in-class” high-efficiency RAC components and products. The findings show that manufacturers tend to minimize manufacturing costs by using RAC designs that are readily available or standardized to their production, and they share components across various models. High-efficiency RAC models use advanced compressor technologies optimized at a low frequency, large heat exchangers with thermodynamically effective materials and designs, highly efficient direct current fan motors, advanced metering devices, and smart sensors for temperature and humidity control. Recently RAC manufacturers have been improving seasonal efficiency – better reflecting part-load operation – especially via variable-speed (inverter) drives for compressor motors. Recent highest-efficiency RAC models use low global warming potential (GWP) refrigerants, having transitioned from conventional high-GWP refrigerants, in regions where RACs that use these low-GWP refrigerants are commercially available. Recently demonstrated innovative technologies show trends toward smart hybrid designs, evaporative cooling, and solid-state materials beyond the conventional vapor-compression technology. This information could help policymakers improve their RAC market-transformation programs to align with the most-efficient global technology.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2018

Modular Controllable Transformers (MCT)

Large Power Transformers (LPTs) are at the heart of the electricity infrastructure and are critical pieces in today’s grid. Aging assets, long turn-around times, transportation delays and dependence on foreign manufacturing for these components have created conditions for points of failure across the system. Moreover, there is no available dynamic control on these passive sections of the grid. For all the automation embedded on the low voltage side of the low voltage side of the system there is absolutely no flexibility on the high voltage side. Changes in power flow patterns are brought about by altering dispatch patterns for generators which requires a coordinated effort and is often time consuming. Traditional FACTS based approaches such as UPFC or HVDC light involve massive modifications to the existing infrastructure. Recent instances of physical attacks on LPTs and the slow recovery process associated with fixing or replacing these damaged units has created an increased awareness for this issue. LPT designs are highly customized owing to specific field requirements. Long lead times coupled with transportation delays make procuring and installing LPTs a lengthy process. In an attempt to minimize the recovery time following an LPT failure, transformer manufacturers have developed mobile transformer units. These units typically consist of either a single-phase or three-phase transformer mounted on a truck and characterized by compact form factors. By reducing the assembly time and transport time these units offer a fast and temporary solution to LPT failures. Several efforts led by DOE, Edison Electric Company (EEI) and North American Electric Reliability Corporation (NERC) have led to the RecX program. RecX transformers consist of single phase transformers transported on specialized assemblies to enable fast restoration and minimal installation time. NERC and EEI have instituted transformer sharing programs like Spare Equipment Database (SED) as well as Spare Transformer Equipment Database (STEP) which encourage utilities to maintain and share a fleet of LPTs. Mobile transformers are typically limited to less than 100 MVA to enable transportation on a trailer. Also, the efficiency of mobile transformer units and RecX transformers is lower since they are temporary solutions. The ideal replacement solution would be one that could utilize a set of standardized transformers while incorporating flexibility to influence metrics like power flow, apparent impedance and voltage profiles. In view of these issues the team at Georgia Tech proposed a concept called Modular Controllable Transformers (MCTs). This project was commissioned as a part of DOE’s Transformer Resiliency and Advance Component (TRAC) program. The approach consists of splitting one large unit rated upwards of 100 MVA with smaller modular, standardized units. Each of these smaller units are augmented with a converter to add power flow, voltage and impedance control. Splitting the power level into multiple units has two important implications. By making smaller units, the transportation times can be reduced drastically. Moreover, even though these units have very specific impedance and other parameters, the augmented converters can make it emulate the unit being replaced. Thus, faster replacement times and added controls are achieved making this an extremely resilient approach. In the event of one modular units failure, the other two controllable units can operate in the most resilient fashion keeping the net system overloads to a minimum. Moreover, for the same probability of failure only a fraction of the system capacity is lost. The converter is augmented on to the tertiary winding of the transformer making it retrofittable in the field without massive modifications to the system. The material proposed in this report highlights design considerations to minimize recovery time as well as results displaying overall improvement in resiliency. The cost analysis of this approach shows significant savings compared to UPFC and HVDC lite based approaches. Extensive analysis was conducted on numerous aspects of this project over the course of this project. Simulation studies were conducted to prove the 5MVA converter design. Challenging BIL constraints and transient issues were addressed over the course of this project. Simulations on EMTP platform presented in consequent sections were used to finely tune the control for the same. A final design for a back-to-back 5MVA neutral-point-clamped (NPC) converter was completed in this project. Furthermore, switching components like high power IGBTs from IXYS Westcode Press-Pack series and ABB Stackpack series were identified for this application. These devices exhibit a blocking voltage of 6.5 kV and a nominal collector current of 900 A. Potential housing options as well as existing commercial option were identified for this converter design. A 56 MVA modular transformer unit was designed with Delta Star Inc. with consultation and inputs from all project members. The transformer cooling systems were chosen to be Oil Natural Air Forced (ONAF) to optimize ease of transport. A full Product Requirement Document (PRD) for the converter and the transformer was generated. The team also investigated key aspects of resiliency and how to quantify the same. A metric was developed to analyze resiliency and numerous simulation cases were presented. Increased (N-1) resiliency and outage resistance was showcased through simulation on the Texas Large scale power system. Dynamic control capabilities were also showcased on numerous system level simulations. An IEEE 30 bus system was used to show the ability of the MCT approach to reduce line congestion. Power flow control; a part of the MCTs abilities, showcased a 29% reduction in transformer loading on the same system. Full control over tie line flows was demonstrated on a modified IEEE 13 bus system. Dynamic LTC capabilities were shown through simulation and were compared to traditional LTCs. Furthermore, the ability of the MCTs to alter apparent transformer impedance was simulated to promote standardization of modular transformer units while retaining the ability to emulate a varied range of impedance characteristics. Thus granular control over power flow, voltages, impedances and was presented. Regulatory analysis conducted by Oak Ridge National Laboratory (ORNL) further bolstered the efficacy of the MCT approach and verified the added resiliency achieved due to this approach. As a conclusion, it was proved that the resilience improvement obtained from using the MCT approach is justified by just one failure in a 30-year period. This means that the benefits obtained from using the MCT approach far outweigh the cost of setting this approach up. As a part of the future efforts, the team is proposing building a (12.47-24) kV/400 kVA scaled down unit to control 5MVA of power flows. Emphasis would be laid on using commercial components to speed up the build of these units. Further the actual transport of the modular transformer unit would be a part of this operation and would provide insight into transportation issues. The approach shows much promise and adds key dynamic control on passive sub transmission and transmission sectors.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2021

Defect-Enabled Phase Programming of Transition Metal Dichalcogenide Monolayers

The ability to tune the local electronic transport properties of group VI transition metal dichalcogenide (TMD) monolayers by strain-induced structural phase transformations (“phase programming”) has stimulated much interest in the potential applications of such layers as ultrathin programmable and dynamically switchable nanoelectronics components. In this manuscript, we propose a new approach toward controlling TMD monolayer phases by employing macroscopic in-plane strains to amplify heterogeneous strains arising from tailored, spatially extended defects within the monolayer. Furthermore, the efficacy of our proposed approach is demonstrated via numerical simulations of emerging domains localized around arrays of holes, grain boundaries, and compositional heterointerfaces. Quantitative relations between the macroscopic strains required, spatial resolution of domain patterns, and defect configurations are developed. In particular, the introduction of arrays of holes is identified as the most feasible phase programming route.

2D materials↗
DOE OSTI2024

A Formalization of Core Why3 in Coq

Intermediate verification languages like Why3 and Boogie have made it much easier to build program verifiers, transforming the process into a logic compilation problem rather than a proof automation one. Why3 in particular implements a rich logic for program specification with polymorphism, algebraic data types, recursive functions and predicates, and inductive predicates; it translates this logic to over a dozen solvers and proof assistants. Accordingly, it serves as a backend for many tools, including Frama-C, EasyCrypt, and GNATProve for Ada SPARK. But how can we be sure that these tools are correct? The alternate foundational approach, taken by tools like VST and CakeML, provides strong guarantees by implementing the entire toolchain in a proof assistant, but these tools are harder to build and cannot directly take advantage of SMT solver automation. As a first step toward enabling automated tools with similar foundational guarantees, we give a formal semantics in Coq for the logic fragment of Why3. We show that our semantics are useful by giving a correct-by-construction natural deduction proof system for this logic, using this proof system to verify parts of Why3's standard library, and proving sound two of Why3's transformations used to convert terms and formulas into the simpler logics supported by the backend solvers.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2018

Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation

The reversible execution of C/C++ code has been a target of research and engineering for more than a decade as reversible computation has become a central notion in large-scale parallel discrete event simulation (PDES). The simulation models that are implemented for PDES are of increasing complexity and size and require various language features to support abstraction, encapsulation, and composition when building a simulation model. In this paper, we focus on parallel simulation models that are written with user-defined C++ abstractions and abstractions of the C++ Standard Library. We present an approach based on incremental state saving for establishing reversibility of C++ and an evaluation for a kinetic Monte-Carlo simulation implemented in C++. Although a significant runtime overhead is introduced with our technique, it is an enormous win that it allows using the entire C++ language, and has that code automatically transformed into reversible code to enable parallel execution with the Rensselaer’s optimistic simulation system (ROSS).

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2026

Alignment switching in 3D-printed smectic liquid crystal elastomers

Extrusion-based additive manufacturing has emerged as a powerful platform for designing shape-morphing materials through controlled orientation. However, existing approaches primarily rely on a single mode of flow-induced alignment, limiting orientation programmability. Herein, we present a direct-ink-writing approach for smectic liquid crystal elastics that exploits two distinct alignment modes within a single ink. The smectic ink exhibits shear- and temperature-dependent orientation switching, enabling molecular alignment either perpendicular or parallel to the print direction. Combined rheological, X-ray, and molecular dynamics analyses reveal that this alignment inversion arises from the preservation or collapse of smectic layers under flow. This reversible switching encodes both contractile and elongational actuation within individual filaments, greatly expanding the design freedom of printed liquid crystal elastomers. We demonstrate 2D and 3D structures with diverse programmed shape transformations, highlighting the potential of this platform for adaptive soft actuators and architected functional materials.

Lee, Jin Hyeong [Pusan National University, Busan,↗