Results for “Abstracts” — Page 45

DOE OSTI2021

Integration of energy storage with diesel generation in remote communities

Highlights Battery energy storage may improve energy efficiency and reliability of hybrid energy systems composed by diesel and solar photovoltaic power generators serving isolated communities. In projects aiming update of power plants serving electrically isolated communities with redundant diesel generation, battery energy storage can improve overall economic performance of power supply system by reducing fuel usage, decreasing capital costs by replacing redundant diesel generation units, and increasing generator system life by shortening yearly runtime. Fast-acting battery energy storage systems with grid-forming inverters might have potential for improving drastically the reliability indices of isolated communities currently supplied by diesel generation. Abstract This paper will highlight unique challenges and opportunities with regard to energy storage utilization in remote, self-sustaining communities. The energy management of such areas has unique concerns. Diesel generation is often the go-to power source in these scenarios, but these systems are not devoid of issues. Without dedicated maintenance crews as in large, interconnected network areas, minor interruptions can be frequent and invasive not only for those who lose power, but also for those in the community that must then correct any faults. Although the immediate financial benefits are perhaps not readily apparent, energy storage could be used to address concerns related to reliability, automation, fuel supply concerns, generator degradation, solar utilization, and, yes, fuel costs to name a few. These ideas are shown through a case study of the Levelock Village of Alaska. Currently, the community is faced with high diesel prices and a difficult supply chain, which makes temporary loss of power very common and reductions in fuel consumption very impactful. This study will investigate the benefits that an energy storage system could bring to the overall system life, fuel costs, and reliability of the power supply. The variable efficiency of the generators, impact of startup/shutdown process, and low-load operation concerns are considered. The technological benefits of the combined system will be explored for various scenarios of future diesel prices and technology maintenance/replacement costs as well as for the avoidance of power interruptions that are so common in the community currently. Graphic abstract Discussion In several cases, energy storage can provide a means to promote energy equity by improving remote communities’ power supply reliability to levels closer to what the average urban consumer experiences at a reduced cost compared to transmission buildout. Furthermore, energy equity represents a hard-to-quantify benefit achieved by the integration of energy storage to isolated power systems of under-served communities, which suggests that the financial aspects of such projects should be questioned as the main performance criterion. To improve battery energy storage system valuation for diesel-based power systems, integration analysis must be holistic and go beyond fuel savings to capture every value stream possible.

25 ENERGY STORAGE↗

DOE OSTI2022

Driving Zn-MnO2 grid-scale batteries: A roadmap to cost-effective energy storage

Highlights Zn-MnO 2 batteries promise safe, reliable energy storage, and this roadmap outlines a combination of manufacturing strategies and technical innovations that could make this goal achievable. Approaches such as improved efficiency of manufacturing and increasing active material utilization will be important to getting costs as low as $100/kWh, but key materials innovations that facilitate the full 2-electron capacity utilization of MnO 2 , the use of high energy density 3D electrodes, and the promise of a separator-free battery with greater than 2V potential offer a route to batteries at $50/kWh or less. Abstract Large-scale energy storage is certain to play a significant, enabling role in the evolution of the emerging electrical grid. Battery-based storage, while not a dominant form of storage today, has opportunity to expand its utility through safe, reliable, and cost-effective technologies. Here, secondary Zn–MnO 2 batteries are highlighted as a promising extension of ubiquitous primary alkaline batteries, offering a safe, environmentally friendly chemistry in a scalable and practical energy dense technology. Importantly, there is a very realistic pathway to also making such batteries cost-effective at price points of $50/kWh or lower. By examining manufacturing examples at the Zn–MnO 2 battery manufacturer Urban Electric Power, a roadmap has been created to realize such low-cost systems. By focusing on manufacturing optimization through reduced materials waste, scalable manufacturing, and effective materials selection, costs can be significantly reduced. Ultimately, though, coupling these approaches with emerging research and development advances to enable full capacity active materials utilization and battery voltages greater than 2V are likely needed to drive costs below a target of $50/kWh. Reaching this commercially important goal, especially with a chemistry that is safe, well-known, and reliably effective stands to inject Zn–MnO 2 batteries in the storage landscape at a critical time in energy storage development and deployment. Graphical abstract

Spoerke, Erik D. (ORCID:0000000322862560)↗

DOE OSTI2024

Materials scarcity during the clean energy transition: Myths, challenges, and opportunities

Abstract Efforts to reach net zero targets by the second half of the century will have profound materials supply implications. The anticipated scale and speed of the energy transition in both transportation and energy storage raises the question of whether we risk running out of the essential critical materials needed to enable this transition. Early projections suggest that disruptions are likely to occur in the short term for select critical materials, but at the same time these shortages provide a powerful incentive for the market to respond in a variety of ways before supply-level stress becomes dire. In April 2023, the MRS Focus on Sustainability subcommittee sponsored a panel discussion on the role of innovation in materials science and engineering in supporting supply chains for clean energy technologies. Drawing on examples from the panel discussion, this perspective examines the myth of materials scarcity, explains the compelling need for innovation in materials in helping supply chains dynamically adapt over time, and illustrates how the Materials Research Society is facilitating engagement with industry to support materials innovation, now and in the future. Graphical Abstract Highlights In this commentary, we examine the myth of materials scarcity, explain the compelling need for innovation in materials in helping supply chains dynamically adapt over time, and show how the materials research community can effectively engage with industry, policymakers, and funding agencies to drive the needed innovation in critical areas. Discussion Demand for certain materials used in clean energy technologies is forecasted to increase by multiples of current production over the next decades. This has drawn attention to supply chain risks and has created a myth that we will “run out” out of certain materials during the energy transition. The reality is that markets have multiple mechanisms to adapt over the long-term, and near-term shortages or expectations of shortages provide a powerful incentive for action. In this commentary, we highlight different ways materials innovation can help solve these issues in the near term and long term, and how the materials research community can effectively engage with industry and policymakers.

Ku, Anthony Y. (ORCID:0000000337622914)↗

DOE OSTI2024

Multiscale approaches for optimizing the impact of strain on Na-ion battery cycle life

Abstract The high costs and geopolitical challenges inherent to the lithium-ion (Li-ion) battery supply chain have driven a rising interest in the development of sodium-ion (Na-ion) batteries as a potential alternative. Unfortunately, the larger ionic radius of Na limits the reversibility of cycling because of the extensive atomic rearrangements that accompany Na-ion insertion, which in turn limit diffusion and charging speed, and lead to rapid degradation of the electrodes. The Center for Strain Optimization for Renewable Energy (STORE) was established to address these challenges and develop new electrode materials for Na-ion cells. This article discusses the current state-of-the-art materials used in Na-ion cells and several directions that STORE believes are critical to understand and control the structural and volumetric changes during the reversible (de)insertion of large cations. Graphical abstract Highlights Understanding the fundamental way materials respond to localized strains at the atomic length-scale is a critical first step in the development of highly reversible, long cycle life, Na-ion insertion hosts. This perspective explores a variety of methods that can be employed to mitigate the detrimental effects of large strain. The insights gained from these investigations should help lay the foundation for the creation of more economical and sustainable batteries that could have immediate impact on global energy infrastructure. Discussion Although there is near universal agreement that electrochemical energy storage must be an integral part of a green-energy future, there is less agreement about how to reduce the cost of energy storage. Replacing high-cost lithium-ion cells with lower-cost sodium-ion batteries is one option frequently considered in future energy models, but the details of what can be achieve with optimized sodium cell performance remains unclear. Here we posit that developing methods to mitigating strain on the electrode particle length scale is a key factor for achieving long-cycle-life sodium-ion batteries. Mitigating strain on the atomic scale suppress electrode-level volume change. Allowing for fast cycling in materials without the problems of electrode cracking or delamination. We further posit that understanding volume change in sodium-ion electrodes at a fundamental level will lead to the designing new sodium-ion electrode materials that will allow for efficient, stable, lower-cost energy storage.

Brady, Michael J.↗

DOE OSTI2022

Multiphysics Simulation of Palladium Hydride Isotope Exchange in Non-Uniform Particle Beds.

Abstract not provided.

Gharagozloo, Patricia E.↗

DOE OSTI2021

Temperature dependence of viscoelastic Poisson’s ratio of cement mortar

Abstract Concrete creep research has focused primarily on uniaxial response. However, biaxially prestressed concrete structures are common, resulting in a multiaxial stress state that can complicate the behavior of a viscoelastic material like concrete. Significant creep strains may be induced in directions transverse to each principle stress due to Poisson’s effect. Past research is unclear regarding the viscoelastic or viscoplastic properties of concrete outside of uniaxial response. It has been reported in separate studies that concrete viscoelastic/viscoplastic Poisson’s ratio (VPR) is an increasing, decreasing and constant function with time, with all reported measurements performed at room temperature. In this paper, the 3D basic creep response of mature cement mortar is examined using a confined compression experiment that allows direct determination of the full stress and infinitesimal strain tensors in a single test, which enables the determination of VPR under a multiaxial stress state. For this purpose, a unique, miniature version of the standardized concrete creep frame is designed that is amenable to placing in climate chambers and temperature ovens. The experimental results indicate that the VPR of sealed, mature cement mortar is nearly constant and equal to the elastic at room temperature, while the VPR gradually increases with time when measured at 60 °C.

Construction & Building Technology↗

DOE OSTI2020

Parsimonious Inference Information-Theoretic Foundations for a Complete Theory of Machine Learning (CIS-LDRD Project 218313 Final Technical Report)

This work examines how we may cast machine learning within a complete Bayesian framework to quantify and suppress explanatory complexity from first principles. Our investigation into both the philosophy and mathematics of rational belief leads us to emphasize the critical role of Bayesian inference in learning well-justified predictions within a rigorous and complete extended logic. The Bayesian framework allows us to coherently account for evidence in the learned plausibility of potential explanations. As an extended logic, the Bayesian paradigm regards probability as a notion of degrees of truth. In order to satisfy critical properties of probability as a coherent measure, as well as maintain consistency with binary propositional logic, we arrive at Bayes' Theorem as the only justifiable mechanism to update our beliefs to account for empiracle evidence. Yet, in the machine learning paradigm, where explanations are unconstrained algorithmic abstractions, we arrive at a critical challenge: Bayesian inference requires prior belief. Conventional approaches fail to yield a consistent framework in which we could compare prior plausibility among the infinities of potential choices in learning architectures. The difficulty of articulating well-justified prior belief over abstract models is the provinence of memorization in traditional machine learning training practices. This becomes exceptionally problematic in the context of limited datasets, when we wish to learn justifiable predictions from only a small amount of data.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2021

PAO 1.0: A Python Library for Adversarial Optimization

PAO is a Python-based package for Adversarial Optimization. The goal of this package is to provide a general modeling and analysis capability for bilevel, trilevel and other multilevel optimization forms that express adversarial dynamics. PAO integrates two different modeling abstractions: 1. Algebraic models extend the modeling concepts in the Pyomo algebraic modeling language to express problems with an intuitive algebraic syntax. Thus, we expect that this modeling abstraction will commonly be used by PAO end-users. 2. Compact models express objective and constraints in a manner that is typically used to express the mathematical form of these problems (e.g. using vector and matrix data types). PAO denes custom Multilevel Problem Representations (MPRs) that simplify the implementation of solvers for bilevel, trilevel and other multilevel optimization problems.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2021

Design and Performance of Kokkos Staging Space toward Scalable Resilient Application Couplings

With the growing number of applications designed for heterogeneous HPC devices, application programmers and users are finding it challenging to compose scalable workflows as ensembles of these applications, that are portable, performant and resilient. The Kokkos C++ library has been designed to simplify this cumbersome procedure by providing an intra-application uniform programming model and portable performance. However, assembling multiple Kokkos-enabled applications into a complex workflow is still a challenge. Although Kokkos enables a uniform programming model, the inter-application data exchange still remains a challenge from both performance and software development cost perspectives. In order to address this issue, we propose Kokkos data staging memory space, an extension of Kokkos' data abstraction (memory space) for heterogeneous computing systems. This new abstraction allows to express data on a virtual shared-space for multiple Kokkos applications, thus extending Kokkos to support inter-application data exchange to build an efficient application workflow. Additionally, we study the effectiveness of asynchronous data layout conversions for applications requiring different memory access patterns for the shared data. Our preliminary evaluation with a synthetic benchmark indicate the effectiveness of this conversion adapted to three different scenarios representing access frequency and use patterns of the shared data.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2021

VTK-m User's' Guide (V.1.7)

High-performance computing relies on ever finer threading. Advances in processor technology include ever greater numbers of cores, hyperthreading, accelerators with integrated blocks of cores, and special vectorized instructions, all of which require more software parallelism to achieve peak performance. Traditional visualization solutions cannot support this extreme level of concurrency. Extreme scale systems require a new programming model and a fundamental change in how we design algorithms. To address these issues we created VTK-m: the visualization toolkit for multi-/many-core architectures. VTK-m supports a number of algorithms and the ability to design further algorithms through a top-down design with an emphasis on extreme parallelism. VTK-m also provides support for finding and building links across topologies, making it possible to perform operations that determine manifold surfaces, interpolate generated values, and find adjacencies. Although VTK-m provides a simplified high-level interface for programming, its template-based code removes the overhead of abstraction. VTK-m simplifies the development of parallel scientific visualization algorithms by providing a framework of supporting functionality that allows developers to focus on visualization operations. Consider the listings in Figure 1.1 that compares the size of the implementation for the Marching Cubes algorithm in VTK-m with the equivalent reference implementation in the CUDA software development kit. Because VTK-m internally manages the parallel distribution of work and data, the VTK-m implementation is shorter and easier to maintain. Additionally, VTK-m provides data abstractions not provided by other libraries that make code written in VTK-m more versatile.This book includes contributions from the VTK-m community including the VTK-m development team and the user community.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2022

Collaborative Computing Support for Analysis Facilities Exploiting Software as Infrastructure Techniques

Prior to the public release of Kubernetes it was difficult to conduct joint development of elaborate analysis facilities due to the highly non-homogeneous nature of hardware and network topology across compute facilities. However, since the advent of systems like Kubernetes and OpenShift, which provide declarative interfaces for building fault-tolerant and self-healing deployments of networked software, it is possible for multiple institutes to collaborate more effectively since resource details are abstracted away through various forms of hardware and software virtualization. In this whitepaper we will outline the development of two analysis facilities: "Coffea-casa" at University of Nebraska Lincoln and the "Elastic Analysis Facility" at Fermilab, and how utilizing platform abstraction has improved the development of common software for each of these facilities, and future development plans made possible by this methodology.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2022

VTK-m User's Guide (V.1.8)

Extreme scale systems require a new programming model and a fundamental change in how we design algorithms. To address these issues we created VTK-m: the visualization toolkit for multi-/many-core architectures. VTK-m supports a number of algorithms and the ability to design further algorithms through a top-down design with an emphasis on extreme parallelism. VTK-m also provides support for finding and building links across topologies, making it possible to perform operations that determine manifold surfaces, interpolate generated values, and find adjacencies. Although VTK-m provides a simplified high-level interface for programming, its template-based code removes the overhead of abstraction. VTK-m simplifies the development of parallel scientific visualization algorithms by providing a framework of supporting functionality that allows developers to focus on visualization operations. Additionally, VTK-m provides data abstractions not provided by other libraries that make code written in VTK-m more versatile.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2022

The VTK-m Users' Guide (V.1.9)

High-performance computing relies on ever finer threading. Advances in processor technology include ever greater numbers of cores, hyperthreading, accelerators with integrated blocks of cores, and special vectorized instructions, all of which require more software parallelism to achieve peak performance. Traditional visualization solutions cannot support this extreme level of concurrency. Extreme scale systems require a new programming model and a fundamental change in how we design algorithms. To address these issues we created VTK-m: the visualization toolkit for multi-/many-core architectures. VTK-m supports a number of algorithms and the ability to design further algorithms through a top-down design with an emphasis on extreme parallelism. VTK-m also provides support for finding and building links across topologies, making it possible to perform operations that determine manifold surfaces, interpolate generated values, and find adjacencies. Although VTK-m provides a simplified high-level interface for programming, its template-based code removes the overhead of abstraction. VTK-m simplifies the development of parallel scientific visualization algorithms by providing a framework of supporting functionality that allows developers to focus on visualization operations. Consider the listings in Figure 1.1 that compares the size of the implementation for the Marching Cubes algorithm in VTK-m with the equivalent reference implementation in the CUDA software development kit. Because VTK-m internally manages the parallel distribution of work and data, the VTK-m implementation is shorter and easier to maintain. Additionally, VTK-m provides data abstractions not provided by other libraries that make code written in VTK-m more versatile.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2023

The VTK-m Users' Guide (V.2.0)

High-performance computing relies on ever finer threading. Advances in processor technology include ever greater numbers of cores, hyperthreading, accelerators with integrated blocks of cores, and special vectorized instructions, all of which require more software parallelism to achieve peak performance. Traditional visualization solutions cannot support this extreme level of concurrency. Extreme scale systems require a new programming model and a fundamental change in how we design algorithms. To address these issues we created VTK-m: the visualization toolkit for multi-/many-core architectures. VTK-m supports a number of algorithms and the ability to design further algorithms through a top-down design with an emphasis on extreme parallelism. VTK-m also provides support for finding and building links across topologies, making it possible to perform operations that determine manifold surfaces, interpolate generated values, and find adjacencies. Although VTK-m provides a simplified high-level interface for programming, its template-based code removes the overhead of abstraction. VTK-m simplifies the development of parallel scientific visualization algorithms by providing a framework of supporting functionality that allows developers to focus on visualization operations. Consider the listings in Figure 1.1 that compares the size of the implementation for the Marching Cubes algorithm in VTK-m with the equivalent reference implementation in the CUDA software development kit. Because VTK-m internally manages the parallel distribution of work and data, the VTK-m implementation is shorter and easier to maintain. Additionally, VTK-m provides data abstractions not provided by other libraries that make code written in VTK-m more versatile.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2023

Reinforcement Learning Approach to Cybersecurity in Space (RELACSS)

Securing satellite groundstations against cyber-attacks is vital to national security missions. However, these cyber threats are constantly evolving. As vulnerabilities are discovered and patched, new vulnerabilities are discovered and exploited. In order to automate the process of discovering existing vulnerabilities and the means to exploit them, a reinforcement learning framework is presented in this report. We demonstrate that this framework can learn to successfully navigate an unknown network and detect nodes of interest despite the presence of a moving target defense. The agent then exfiltrates a file of interest from the node as quickly as possible. This framework also incorporates a defensive software agent that learns to impede the attacking agents progress. This setup allows for the agents to work against each other and improve their abilities. We anticipate that this capability will help uncover unforeseen vulnerabilities and the means to mitigate them. The modular nature of the framework enables users to swap out learning algorithms and modify the reward functions in order to adapt the learning tasks to various use cases and environments. Several algorithms, viz., tabular Q learning, deep Q networks, proximal policy optimization, advantage actor-critic, generative adversarial imitation learning, are explored for the agents and the results highlighted. The agent learns to solve the tasks in a light-weight abstract environment. Once the agent learns to perform sufficiently well, it can be deployed in a minimega virtual machine environment (or a real network) with wrappers that map abstract actions to software commands. The agent also uses a local representation of the actions called a ‘slot-mechanism’. This allows the agent to learn in a certain network and generalize it to different networks. The defensive agent learns to predict the actions taken by an offensive agent and uses that information to anticipate the threat. This information can then either be used to raise an alarm or to take actions to thwart the attack. We believe that with the appropriate reward design, a representative environment, and action set, this framework can be generalized to tackle other cybersecurity tasks. By sufficiently training these agents, we can anticipate vulnerabilities leading to robust future designs. We can also deploy automated defensive agents that can help secure satellite groundstation and their vital national security missions.

45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEF↗

DOE OSTI2024

TrustDER: Trusted, Private and Scalable Coordination of Distributed Energy Resources

In this project, the Stanford and SLAC Teams have developed a Trusted, Private and Scalable platform for coordinating Coordination of Distributed Energy Resources (TrustDER). This is a layered system that ensures private, trusted and scalable coordination and monitoring of DERs. It accommodates a variety of resources, such as solar generation, gensets and loads, with a particular focus on battery systems-based resources, as they are a transformational technology experiencing fast growth in adoption by large critical facilities. The platform can be used as standalone or added to existing aggregation systems to enable trust, privacy and resilience. TrustDER consists of layers that address each of the shortcomings of the existing state of the art. Each layer in the platform can operate independently but provides information to the layers above it to enable a novel form of overall coordination architecture. The project consists of several tasks, with each task dedicated to the design of each layer. Task 2 Resource Virtualization defined a software abstraction layer for distributed energy resources (DERs). The goal of this abstraction was to simplify the implementation of algorithms utilizing cooperation of DERs resources in a variety of use cases. Task 3 is on Secure ID for Asset Authentication. Identity Management Systems (IDMS) are a foundational infrastructure for interactions between entities (organizations, users, devices, and services). Secure ID is blockchain-based a distributed identity management system allowing (1) identity provisioning, (2) authentication, (3) authorization, and (4) identity data sharing for IoT-enabled assets on the electricity grid. In this project, the SLAC team focused on designing and testing Keymaker, a protocol for authenticating device identity managed by Secure ID. Task 5 Private and Safe Integration is focused on the design and evaluation of a DER cooperation scheme which allows for the aggregation of DERs without impacting network reliability. The approach is designed based on realistic assumptions regarding data availability, communication infrastructure limitations, and privacy. Task 6 Scalable Distributed Privacy for Information explored how virtualized batteries could be managed privately. Specifically, it examined the case in which a principal provides a partitioned battery to multiple clients. Task 7 Use Cases was to ensure that this technology was applied in relevant situations and scenarios. Primarily, this means that virtualization needed to be employed in a manner that either improved flexibility, bolstered security or privacy, or decreased costs.

25 ENERGY STORAGE↗

DOE OSTI2024

Fusion Materials Research at Oak Ridge National Laboratory in Fiscal Year 2023

The materials science challenge of providing a suite of suitable materials to satisfy the technology to achieve fusion energy is addressed in this ORNL program. The inability of currently available materials and components to withstand the harsh fusion nuclear environment requires development of new materials, and an understanding of their response to the fusion environment. The overarching goal of the ORNL Fusion Materials program is to provide the applied materials science support and materials understanding to underpin the ongoing DOE Office of Science—Fusion Energy Sciences program, in parallel with developing the materials for fusion power systems. In this effort the program continues to be integrated both with the larger U.S. and international fusion materials communities and with the U.S. and international fusion design and technology communities. The excitement of this program comes from the priorities given to this subject in the two recent fusion reviews, by the FESAC and NAS committees. An important element of those recommendations is the support for pivoting the national R&D emphasis to the Fusion Materials and Technologies (FM&T), the long-advocated Fusion Prototypic Neutron Source, and for the Fusion Pilot Plant study that will help focus program direction and efforts. Furthermore, the surge of venture capital investment into the private fusion industry start-ups over the last few years is anticipated to help accelerate all aspects of the fusion energy development. This twelfth annual report of the ORNL (Oak Ridge National Laboratory) Fusion Reactor Materials Program summarizes the accomplishments in Fiscal Year 2023 (FY2023). The year was the first to return to full post-COVID-restriction operations, with students and international assignees no longer impacted by COVID restrictions, as in FY20-21-22. Following the pattern of planning used in this program, work for the year FY2023 focused on having the data and productivity to support a strong presence at the International Conference on Fusion Reactor Materials (ICFRM) 21, organized by Spain and occurred in October 2023. Twenty-nine ORNL-led abstracts were submitted, with all accepted. Four were invited presentations, nine contributed oral, fourteen posters, and two withdrawn due to unforeseen circumstances. Additionally, nine external abstracts with ORNL contributing authors were presented. These will be reported in the FY24 report next year.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

DOE OSTI2026

Towards a Verifiable Domain-Specific Language for Hardware-Accelerated Stencils

Defining a domain-specific language (DSL) that supports vector-calculus abstractions eases the porting of partial differential equation (PDE) solvers to specialized architectures. Sufficiently high-level abstractions empower users to express universal laws with sufficient generality that the laws must always hold true within their domain of validity. A broad class of PDE solvers employs stencil-based algorithms, the target domain of Berkeley Lab's stencil accelerator chip co-design project. First released as open-source in January 2026, the Formal software framework lays a foundation for defining an embedded DSL based on composable operators that implement mimetic numerical methods -- stencil algorithms that guarantee satisfaction of discrete versions of important vector calculus theorems. The Formal DSL will be the frontend to a new class of stencil-PDE accelerators developed jointly by LBNL, UHCL, and UC Berkeley through the DOE Competitive Portfolios for Computer Science Project. This offers the potential of an order of magnitude acceleration for this important category of computational methods to serve the DOE mission. Future work on the Formal DSL will facilitate software verification via type-safe templates that enable problem-specific correctness proofs relying upon generic function theory and carefully crafted unit tests.

Rouson, Damian↗