Search NASA⌕ Search

SEARCH · Search NASA

Results for “Capability Gaps”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,297 records · Page 72

Interface Problem Formulation Improvements with Application to Nuclear Fuel Performance Analysis

The U.S. Department of Energy’s Nuclear Energy Advanced Modeling and Simulation Program aims to develop predictive capabilities by applying computational methods to the analysis and design of advanced reactor and fuel cycle systems. This program has been providing engineering scale support for the development of BISON, a high-fidelity and high-resolution fuel performance tool. This report documents new developments and robustness improvements in mechanical and thermal (gap heat transfer) contact formulations. The improvements range from the migration of industrial level (“assessment”) nuclear fuel model setups to the usage of mortar formulations, the addition of frictional contact to one-dimensional layered representations of fuel and cladding components, and the addition of the Petrov-Galerkin approach to dual mortar, which improves performance on curved, relatively coarse meshes. In addition, the Lagrange-multiplier enforcement of mechanical mortar contact constraints has been extended to two additional types of enforcement: penalty and augmented Lagrange-Uzawa. We show that the latter approach yields the same interface results as dual mortar in the Multiphysics Object-Oriented Simulation Environment, with the advantage of not worsening the condition number of the system matrix—thereby enabling the use of some general implementations of iterative preconditioners, at the expense of additional system evaluations (i.e., augmentations).

42 ENGINEERING↗

The Essence of Cryptol: A Denotational Cryptol Interpreter in Coq for Foundational Assurances for Quantum Resistant Cryptosystems

Systems of the utmost consequence need a means to establish authenticity of software and data. Cryptosystems implement authentication, but can be vulnerable to cryptographic and implementation attacks. With the threat of quantum cryptographic attacks, “post-quantum” cryptosystems (PQCs) must be henceforth used in these systems. However, the new cryptography needs new ways to, rigorously and machine-checkably, prove systems free of vulnerabilities. We propose a retargetable capability to rapidly instantiate proven correct postquantum cryptosystems through novel proof-carrying synthesis and proof-automation technique, extending those proven successful on existing systems. This capability is crucial to meeting the cryptographic requirements for future high-consequence systems. Since specifications for high consequence cryptography are presently captured in a domain specific language known as Cryptol. While this can enable convenient fully automated reasoning about Cryptol specificaitons and implementations via the Software Analysis Workbench (SAW), Cryptol has expressivity gaps, so that cryptosystems with probabilistic programming features like Falcon cannot be fully expressed in the language. Moreover, SAW’s automation fails for programs and specificaitons with inductive and recursive structure, as in the Sphincs+ PQC. Finally, Cryptol and SAW together represent some 200,000 lines of unverified Haskell, so that the any guarantees about high consequence cryptography are presently contingent on a large, unverified, yet trusted computing base. The first step of the larger project of agile, assured crpytography is therefore to provide a formal, mechanized semantics for Cryptol, so that the specifications expressed by cryptographers in Cryptol can be reasoned about and compiled into performant implementations with a foundational, machine checkable certificate of correctness. This report describes our work on this first step, culminating in the design of a certified denotational interpreter, in Coq, for core Cryptol.

97 MATHEMATICS AND COMPUTING↗

Computations of unsteady multistage compressor flows in a workstation environment

High-end graphics workstations are becoming a necessary tool in the Computational Fluid Dynamics (CFD) environment. In addition to their graphics capabilities, the latest generation of workstations have powerful floating point operation capabilities. As workstations become common, they could provide valuable computing time for applications, such as turbomachinery flow calculations. This paper discusses the issues involved in implementing an unsteady, viscous multistage turbomachinery code (STAGE-2) on workstations. The workstation version of STAGE-2 has then been used to study the effects of axial-gap spacing on the time-averaged and unsteady flow within a 2 1/2-stage compressor. Results include force polar plots, time-averaged pressure contours, standard deviation of pressure contours, time-averaged surface pressures and pressure amplitudes.

Gundy-Burlet, Karen L.↗

Progress on the Plasmoid Thruster Experiment (PTX)

A plasmoid, also called a compact toroid, is a compact plasma structure with an integral magnetic field, that may be categorized according to the relative strength of the poloidal and toroidal magnetic field (Bp and Bt, respectively). An object with Bp/Bt much greater than 1 is called a Field Reverse Configuration (FRC); if Bp = Bt, it is called a Spheromak. The plasmoid thruster is a pulsed inductive device which operates by repetitively producing plasmoids that are accelerated and ejected at high velocity. As the process is inductive, this thruster avoids the problem of electrode erosion. Also, the magnetic structure of the plasmoid should suppress thermal and mass losses to the wall, and improve detachment of the plasma exhaust from the thruster. This concept should be capable of producing an Isp of 5,000 seconds and greater, with thrust densities of order 10(exp 5) N/sq m. The plasmoid thruster consists chiefly of a conical theta-pinch coil. Propellant is introduced onto a bias magnetic field, produced by an auxiliary coil, and is then pre-ionized, freezing in the magnetic field. The theta-pinch coil is then energized producing a field aligned anti- parallel to the bias field. The reversed field reconnects with the bias field to form the plasmoid. The magnetic pressure of the reversed field accelerates the plasmoid out of the thruster . A series of experiments have been conducted on the PTX device, which consisted of a single turn conical theta-pinch coil, driven by a 560 nF, 35 kV capacitor bank, which rang at a frequency of 500 kHz, and served all three functions required for formation: pre-ionization, bias field loading, and field reversal. Initial ionization was found to occur in an annular region at the exit plane of the coil, and was found to be reproducible with a variety of gases, including H2, D2, Ar, and an H2/N2 mixture (75% / 25%). A fast gas valve for injecting propellant has been tested, as well as a ringing pre-ionization circuit (operating at 5 Mhz) to better control the plasmoid formation. Velocities as high as 20 km/s have been measured for a plasmoid propagating into a static back-fill of neutral gas. Magnetic field and density measurements indicate that the plasmoid retains its structure well into the down-stream exhaust region, and that it is capable of pushing a dense cloud of neutral gas in front of it. Further experiments will focus on the effects of coil geometry and bias-field strength on the performance of the device. A high-power solid-state switching system is being developed in order to replace the spark-gap switch.

Martin, Adam↗

The Case for Probe-Class NASA Astrophysics Missions

Astrophysics spans an enormous range of questions on scales from individual planets to the entire cosmos. To address the richness of 21st century astrophysics requires a corresponding richness of telescopes spanning all bands and all messengers. Much scientific benefit comes from having the multi-wavelength capability available at the same time. Most of these bands, or measurement sensitivities, require space-based missions. Historically, NASA has addressed this need for breadth with a small number of flagship-class missions and a larger number of Explorer missions. While the Explorer program continues to flourish, there is a large gap between Explorers and strategic missions.

Elvis, Martin↗

Resilient, Rural, and Revolutionary: Salisbury Square's Direct-Current Affordable Microgrid Community: Preprint

The technology to interconnect buildings with a dedicated direct-current (DC) power distribution network is in place today; what is missing is a turnkey approach to designing a DC microgrid - and the business models allowing such systems to be deployed, owned, and operated at scale. To close this gap, the Salisbury Square Development Team, comprising clean-energy experts, has engineered a resilient community DC microgrid for an affordable housing community in Randolph, Vermont. Ten single-family, occupant-owned residences and 12 multifamily rental units will share locally generated and stored solar energy via a DC power distribution bus capable of operating during extended grid outages. With a DC power distribution network in place, each home will be equipped with high-efficiency DC lighting and appliances, operating alongside alternating current (AC) appliances, even during an islanded mode of operation. To obtain a comprehensive understanding of what is possible and achievable, the Team collaborated with the local utility, regulatory agencies, a national laboratory, energy-as-service providers, and vendors. The collaborators evaluated microgrid typologies, business models, and energy modeling, and analyzed electrification and resilience. Further, the Team applied the URBANoptTM (Urban Renewable Building and Neighborhood optimization, NREL 2022) software development kit (SDK) to Salisbury Square's single-family and multifamily buildings to validate workflows and identify needs for advanced capability. This paper addresses the barriers to entry, scalability, and impact on residents and system ownership. It also examines the analysis that informed the design and engineering of the DC microgrid and the opportunities to streamline the process.

DER↗

NASA Advanced Explorations Systems: Advancements in Life Support Systems

The NASA Advanced Exploration Systems (AES) Life Support Systems (LSS) project strives to develop reliable, energy-efficient, and low-mass spacecraft systems to provide environmental control and life support systems (ECLSS) critical to enabling long duration human missions beyond low Earth orbit (LEO). Highly reliable, closed-loop life support systems are among the capabilities required for the longer duration human space exploration missions assessed by NASA's Habitability Architecture Team (HAT). The LSS project is focused on four areas: architecture and systems engineering for life support systems, environmental monitoring, air revitalization, and wastewater processing and water management. Starting with the international space station (ISS) LSS systems as a point of departure (where applicable), the mission of the LSS project is three-fold: 1. Address discrete LSS technology gaps 2. Improve the reliability of LSS systems 3. Advance LSS systems towards integrated testing on the ISS. This paper summarized the work being done in the four areas listed above to meet these objectives. Details will be given on the following focus areas: Systems Engineering and Architecture- With so many complex systems comprising life support in space, it is important to understand the overall system requirements to define life support system architectures for different space mission classes, ensure that all the components integrate well together and verify that testing is as representative of destination environments as possible. Environmental Monitoring- In an enclosed spacecraft that is constantly operating complex machinery for its own basic functionality as well as science experiments and technology demonstrations, it's possible for the environment to become compromised. While current environmental monitors aboard the ISS will alert crew members and mission control if there is an emergency, long-duration environmental monitoring cannot be done in-orbit as current methodologies rely largely on sending environmental samples back to Earth. The LSS project is developing onboard analysis capabilities that will replace the need to return air and water samples from space for ground analysis. Air Revitalization- The air revitalization task is comprised of work in carbon dioxide removal, oxygen generation and recovery and trace contamination and particulate control. The CO2 Removal and associated air drying development efforts under the LSS project are focused both on improving the current SOA technology on the ISS and assessing and examining the viability of other sorbents and technologies available in academia and industry. The Oxygen Generation and Recovery technology development area encompasses several sub-tasks in an effort to supply O2 to the crew at the required conditions, to recover O2 from metabolic CO2, and to recycle recovered O2 back to the cabin environment. Current state-of-the-art oxygen generation systems aboard space station are capable of generating or recovering approximately 40% of required oxygen; for exploration missions this percentage needs to be greatly increased. A spacecraft cabin trace contaminant and particulate control system serves to keep the environment below the spacecraft maximum allowable concentration (SMAC) for chemicals and particulates. Both passive (filters) and active (scrubbers) methods contribute to the overall TC & PC design. Work in the area of trace contamination and particulate control under the LSS project is focused on making improvements to the SOA TC & PC systems on ISS to improve performance and reduce consumables. Wastewater Processing and Water Management- A major goal of the LSS project is the development of water recovery systems to support long duration human exploration beyond LEO. Current space station wastewater processing and water management systems distill urine and wastewater to recover water from urine and humidity condensate in the spacecraft at a approximately 74% recovery rate. For longer, farther missions into deep space, that recovery rate must be greatly increased so that astronauts can journey for months without resupply cargo ships from Earth.

Shull, Sarah A.↗

Thermal-hydraulic performance of the TREAT Multi-SERTTA for reactivity initiated accident experiments

Experimental testing in the Multi-Static Environment Rodlet Transient Test Apparatus (SERTTA) will lead the rebirth of transient fuel testing in the United States as part of the Accident Tolerant Fuels (ATF) program. The Multi-SERTTA is comprised of 4 isolated pressurized environments capable of a wide variety of working fluids and thermal conditions. Ultimately, the TREAT reactor as well as the Multi-SERTTA test vehicle serve the purpose of providing desired thermal-hydraulic boundary conditions to the test specimen. The initial ATF testing in TREAT will focus on reactivity insertion accident (RIA) events using both gas and water environments including typical PWR operating pressures and temperatures. The heat transfer conditions during the high energy power pulses of RIA events remains a subject of large uncertainty and great importance for fuel performance predictions. To support transient experiments, the Multi-SERTTA vehicle has been modeled using RELAP5 with a baseline test specimen composed of fresh UO{sub 2} fuel in zircaloy cladding. The results show that for energy depositions less than 1380 J/g-UO{sub 2}, the vessel environment remains sub-supercritical. Two extremes of gap conductance show significant effect on event timing and peak cladding temperature but little effect on end state conditions. Inclusion of oxidation has increasing impact for increasing energy depositions. The effect of oxidation is non-negligible for planned TREAT experiments in the range of explored energy depositions. Pulse width has little impact on thermal hydraulic conditions under the assumptions used in this analysis. The model used in this work has been coupled to the fuel performance code, BISON, to accomplish best estimate predictive capability for Multi-SERTTA experiments. The results show the great flexibility and capacity of the TREAT Multi-SERTTA test vehicle to provide testing under a wide range of prototypic thermal-hydraulic conditions as never done before.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Assessment of Pre-Irradiation SiC CMC Joint Performance in Representative Cladding Geometries

Silicon carbide fiber reinforced, silicon carbide matrix composites (SiC-SiC) offer strength at high temperatures, corrosion resistance, and stability during irradiation, and are being developed by General Atomics as cladding for accident tolerant fuel (ATF) applications and advanced reactor concepts. Advanced joining techniques capable of withstanding harsh reactor environments are key to enable GA’s SiGAtm SiC-SiC composite. The objective of this work is to obtain joint-specific material properties for assemblies in representative planar and cladding geometries that will allow for the generation of a material properties database and more accurate simulation of SiC joint behavior across arange of temperatures and irradiation conditions. To support this, three different joint formulations are being assessed for mechanical and thermal performance pre and post irradiation in the High Flux Isotope Reactor (HIFR) at ORNL. GA has previously identified its hybrid SiC (HSiC) joint as the most promising and best suited joining approach for cladding applications [1]. Additionally, oxide and transeutectic phase (TEP) joints are being investigated to make the material property database more comprehensive as these joints have previously shown strength resilience under irradiation in planar geometries [2]. The thermal and mechanical data obtained in this work will address vital knowledge gaps, enabling more accurate modeling of joints in SiC-based components for accelerated material qualification.The scope of work presented here focuses on the mechanical and thermal performance of the joint material prior to irradiation in HFIR. Endplug push-out (EPPO) testing to determine joint strength in tube geometries, and shear strength testing for planar geometries have provided a benchmark for pre-irradiation mechanical performance. These results show that all three selected joint methodologies result in cladding joints capable of withstanding the expected joint stresses in a LWR reactor environment [3]. This has been accompanied by He leak testing of the joint regions on tube specimens to assess the suitability of each joint methodology for cladding applications. Here, only the HSiC formulation consistently met critical leak rate requirements suggesting that other joining strategies require additional development. Finally, pre-irradiation thermal testing has been completed to establish a baseline for comparison after irradiation. Subsequent irradiation of these joints types in HFIR will provide further detail on joint material properties and their appropriateness for nuclear applications.

Gonderman, Sean↗

CO 2 capture properties of lithium silicates with different ratios of Li 2 O/SiO 2 : an ab initio thermodynamic and experimental approach

The lithium silicates have attracted scientific interest due to their potential use as high-temperature sorbents for CO 2 capture. The electronic properties and thermodynamic stabilities of lithium silicates with different Li 2 O/SiO 2 ratios (Li 2 O, i 8 SiO 6 , Li 4 SiO 4 , Li 6 Si 2 O 7 , Li 2 SiO 3 , Li 2 Si 2 O 5 , Li 2 Si 3 O 7 , and a-SiO 2 ) have been investigated by combining first-principles density functional theory with lattice phonon dynamics. All these lithium silicates examined are insulators with band-gaps larger than 4.5 eV. By decreasing the Li 2 O/SiO 2 ratio, the first valence bandwidth of the corresponding lithium silicate increases. Additionally, by decreasing the Li 2 O/SiO 2 ratio, the vibrational frequencies of the corresponding lithium silicates shift to higher frequencies. Based on the calculated energetic information, their CO 2 absorption capabilities were extensively analyzed through thermodynamic investigations on these absorption reactions. We found that by increasing the Li 2 O/SiO 2 ratio when going from Li 2 Si 3 O 7 to Li 8 SiO 6 , the corresponding lithium silicates have higher CO 2 capture capacity, higher turnover temperatures and heats of reaction, and require higher energy inputs for regeneration. Based on our experimentally measured isotherms of the CO 2 chemisorption by lithium silicates, we found that the CO 2 capture reactions are two-stage processes: (1) a superficial reaction to form the external shell composed of Li 2 CO 3 and a metal oxide or lithium silicate secondary phase and (2) lithium diffusion from bulk to the surface with a simultaneous diffusion of CO 2 into the shell to continue the CO 2 chemisorption process. The second stage is the rate determining step for the capture process. By changing the mixing ratio of Li 2 O and SiO 2 , we can obtain different lithium silicate solids which exhibit different thermodynamic behaviors. Based on our results, three mixing scenarios are discussed to provide general guidelines for designing new CO2 sorbents to fit practical needs.

54 ENVIRONMENTAL SCIENCES↗

Scaling Effects of Cr(VI) Reduction Kinetics. The Role of Geochemical Heterogeneity

The natural subsurface is highly heterogeneous with minerals distributed in different spatial patterns. Fundamental understanding of how mineral spatial distribution patterns regulate sorption process is important for predicting the transport and fate of chemicals. Existing studies about the sorption was carried out in well-mixed batch reactors or uniformly packed columns, with few data available on the effects of spatial heterogeneities. As a result, there is a lack of data and understanding on how spatial heterogeneities control sorption processes. In this project, we aim to understand and develop modeling capabilities to predict the sorption of Cr(VI), an omnipresent contaminant in natural systems due to its natural occurrence and industrial utilization. We systematically examine the role of spatial patterns of illite, a common clay, in determining the extent of transport limitation and scaling effects associated with Cr(VI) sorption capacity and kinetics using column experiments and reactive transport modeling. Our results showed that the sorbed mass and rates can differ by an order of magnitude due to of the illite spatial heterogeneities and transport limitation. With constraints from data, we also developed the capabilities of modeling Cr(VI) in heterogeneous media. The developed model is then utilized to understand the general principles that govern the relationship between sorption and connectivity, a key measure of the spatial pattern characteristics. This correlation can be used to estimate Cr(VI) sorption characteristics in heterogeneous porous media. Insights gained here bridge gaps between laboratory and field application in hydrogeology and geochemical field, and advance predictive understanding of reactive transport processes in the natural heterogeneous subsurface. We believe that these findings will be of interest to a large number of environmental geochemists and engineers, hydrogeologists, and those interested in contaminant fate and transport, water quality and water composition, and natural attenuation processes in natural systems.

58 GEOSCIENCES↗

Diagnosing Field Strengths and Plasma Conditions in Magnetically Insulated Transmission Lines Using Active Dopant Spectroscopy

Experimental validation data is needed to inform simulations of large pulsed power devices which are in development to understand and improve existing accelerators and inform future pulsed power capabilities. Using current spectroscopic techniques on the Z-machine, we have been unable to reliably diagnose plasma conditions and electric and magnetic fields within power flow regions. Laser ablation of a material produces a low density plasma, resulting in narrow spectroscopic line widths. By introducing a laser ablated plasma to the anode cathode gap of the Mykonos accelerator, we can monitor how the line shapes change due the current pulse by comparing these line shapes to spectral measurements taken without power flow. In this report we show several examples of measurements conducted on Mykonos on various dopant materials. We also show a negligible effect on power flow due to the presence of the ablation plasma for a range of parameters.

43 PARTICLE ACCELERATORS↗

Checkpoint/Restart Vision and Strategies for NERSC’s Production Workloads

As a primary approach to fault-tolerant computing, Checkpoint/Restart (C/R) improves scientific productivity for users, provides scheduling flexibility for computing centers, and protects against system failures. While both applicationspecific (or application-level) and transparent C/R are used in practice, we are interested in transparent checkpointing, which is vital for system-level checkpointing. Developing and maintaining transparent C/R tools for HPC applications, however, is labor intensive and highly complex due to ever-changing HPC systems and diverse production workloads. Existing C/R tools are often research-oriented, so there is a gap to close before they can be used reliably with production workloads, especially on cutting edge HPC systems. In this position paper, we present our journey to prepare a production-ready MPI-Agnostic Network-Agnostic (MANA) transparent checkpointing tool for NERSC, and share our vision and strategies to bring transparent C/R capabilities to NERSC’s production workloads on current and future systems.

42 ENGINEERING↗

Space-Borne Infrared Astronomy

The objective of this grant is to develop the Far IR Photometer (FIRP), one of four focal plane instruments on the IR Telescope in Space (IRTS). The IRTS was successfully launched in March 18, 1995 aboard the Japanese SFU platform. It surveyed the IR sky for approximately 40 days, and was eventually retrieved by NASA's STS. The FIRP succeeded in surveying approximately 5% of the sky in four bands centered at 150, 250, 400 and 700 microns. Several new technologies were developed using the funds from this grant, including: (1) a high performance gas-gap heat-switch, (2) a He-3 sorption refrigerator that is, to date, the only refrigerator to achieve sub-Kelvin temperatures in orbit, (3) high-sensitivity bolometric detectors with NEP less than 10-16 W(Hz(exp l/2)exp 1/2) when operated from a 300 mK heat sink, (4) readout electronics capable of providing DC stability for the bolometric detectors. Excess noise of unknown origin significantly reduced the sensitivity of the FIRP on orbit. Nevertheless, scientifically significant observations of the spectrum and temperature of the interstellar dust were made, and have been reported.

Lange, Andrew E.↗

Using Docker Containers to Extend Reproducibility Architecture for the NASA Earth Exchange (NEX)

NASA Earth Exchange (NEX) is a data, supercomputing and knowledge collaboratory that houses NASA satellite, climate and ancillary data where a focused community can come together to address large-scale challenges in Earth sciences. As NEX has been growing into a petabyte-size platform for analysis, experiments and data production, it has been increasingly important to enable users to easily retrace their steps, identify what datasets were produced by which process chains, and give them ability to readily reproduce their results. This can be a tedious and difficult task even for a small project, but is almost impossible on large processing pipelines. We have developed an initial reproducibility and knowledge capture solution for the NEX, however, if users want to move the code to another system, whether it is their home institution cluster, laptop or the cloud, they have to find, build and install all the required dependencies that would run their code. This can be a very tedious and tricky process and is a big impediment to moving code to data and reproducibility outside the original system. The NEX team has tried to assist users who wanted to move their code into OpenNEX on Amazon cloud by creating custom virtual machines with all the software and dependencies installed, but this, while solving some of the issues, creates a new bottleneck that requires the NEX team to be involved with any new request, updates to virtual machines and general maintenance support. In this presentation, we will describe a solution that integrates NEX and Docker to bridge the gap in code-to-data migration. The core of the solution is saemi-automatic conversion of science codes, tools and services that are already tracked and described in the NEX provenance system, to Docker - an open-source Linux container software. Docker is available on most computer platforms, easy to install and capable of seamlessly creating and/or executing any application packaged in the appropriate format. We believe this is an important step towards seamless process deployment in heterogeneous environments that will enhance community access to NASA data and tools in a scalable way, promote software reuse, and improve reproducibility of scientific results.

earth exchange↗

Rapid Response Landslide Detection Using ICEYE

Satellite synthetic aperture radar (SAR) data provides the best opportunity to quickly detect landslides for hazard response because SAR can image the ground regardless of weather or daylight conditions. The recent failure of the Sentinel-1B satellite has significantly reduced our ability to generate landslide maps in a timely manner across certain parts of the world leaving a gap in rapid response support. The ICEYE constellation may fill this gap because it can acquire repeat imagery over the same area every 24 hours and can be tasked to acquire data in specific areas. In addition, ICEYE acquires data with a higher spatial resolution, which is better suited for detecting smaller landslides. The high revisit time and high resolution of ICEYE significantly increases the capability to rapidly detect landslides and can provide key information to first responders. The main goal of this work was to test applicability/suitability of SAR imagery from ICEYE to generate rapid response landslide products.

Pukar Amatya↗

Nature-GL: A Revolutionary Learning Paradigm Unleashing Nature’s Power in Real-World Spatial-Temporal Graph Learning

Spatial-Temporal Graph Learning (ST-GL) is a prominent research area due to its unique capability to effectively learn real-world graphs. Applications of ST-GL pose stringent and various demands on not only real-time inference with low energy cost and high ac- curacy but also fast training. Unfortunately, as Moore’s Law approaches its limits and ST-GL model complexity drastically grows, the gap between digital hardware’s computational power and ST- GL application demands is widening. In response, this paper introduces Nature-GL, a nature-powered graph learning paradigm that exploits the principle of entropy increase to advance graph learning. In particular, Nature-GL transforms both the training and inference of real-valued ST-GL into electron-speed natural anneal- ing processes of a parameterized dynamical system that represents the target graphs. Experimental results across four real-world ap- plications with six datasets demonstrate that Nature-GL achieves orders-of-magnitude speedups in both training and inference, delivering higher accuracy compared to Graph Neural Networks.

Liu, Chuan [University of Rochester]↗

Even Higher-Level Synthesis: An Exploration of AI Hardware Accelerators using HLS4ML

With the rise of artificial intelligence, the popularization of deep learning, and a constantly evolving industry, the demand for flexible and efficient tools has never been greater. As algorithms grow more complex, their runtime and energy consumption increase exponentially. Customized hardware accelerators, long used for specific mathematical operations, remain essential for managing modern applications' computational and power demands. Hardware accelerators can speed up complex computations by orders of magnitude, but their manual design and verification processes are often challenging and time-consuming. High-Level Synthesis (HLS) provides a solution by transforming high-level algorithm descriptions, typically written in C++ or SystemC, into synthesizable RTL suitable for hardware implementation. This approach reduces development time for RTL engineers while offering flexibility beyond what traditional handwritten RTL can provide. We extended this capability to the machine-learning domain with the open-source framework hls4ml, which allows neural networks trained in Python frameworks like Tensorflow or PyTorch to be synthesized into efficient hardware representations for the traditional FPGA and ASIC flows. This breakthrough addresses the growing need for reduced design turnaround and easy verification of ML hardware accelerators with low latency and power efficiency constraints. During this tutorial, we will demonstrate how Python complements HLS by simplifying the ML design process, bridging the gap between software and hardware development. Attendees will explore how we translate neural networks modeled in Python into fixed-point C++ models suitable for HLS workflows. We will dive into strategies like Value-Range Analysis and Quantization-Aware Training, which optimize these designs for deployment and evaluate their accuracy, power consumption, and energy efficiency. To exemplify these concepts, experts from Fermilab will share their experiences applying this technology to high-energy physics experiments, where real-time, low-latency processing is critical. Over the years, Fermilab engineers have demonstrated how deep neural networks, optimized for hardware using hls4ml, can meet the stringent requirements of trigger systems at the CERN Large Hadron Collider. These systems rely on rapid decision-making to process immense data volumes while retaining only the most relevant events for further analysis. The application of hls4ml has also been extended to innovative technologies like smart pixel arrays. These smart pixels integrate ML inference capabilities directly into sensor devices, enabling localized data processing at the pixel level. This approach drastically reduces the need to transmit raw data to external processing units, significantly decreasing power consumption and latency. By embedding neural networks within the pixel architecture, the smart pixels can identify and prioritize relevant data in real time, providing a highly efficient solution for edge computing in scenarios such as particle detectors and imaging systems. Fermilab's work highlights the potential of hardware-accelerated ML in scenarios where both speed and power efficiency are mission-critical. Through this tutorial, attendees will gain valuable insights into the challenges and solutions of deploying ML in hardware. Understanding how HLS and hls4ml streamline the development of neural network-based hardware accelerators is fundamental for the industry's future. Participants will learn how these technologies are shaping the future of AI and scientific computing.

Di Guglielmo, Giuseppe [Fermilab]↗