Search NASA⌕ Search

SEARCH · Search NASA

Results for “agile,”

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 433 records · Page 24

Novel Modular Treatment System for Distributed Energy Recovery and Water Reclamation from Industrial Wastewaters

The overarching goal of this work was to accelerate the commercialization of a distributed, modular, agile treatment technology - the Modular Encapsulated Two-stage Anaerobic Biological (METAB) system - by advancing it to pilot-scale. Specifically, the METAB system was developed to treat high strength wastewater (5,000-35,000 mg/L chemical oxygen demand (COD)), produce hydrogen (H2) and methane (CH4), and achieve these outcomes without a membrane for retention of microorganisms.

42 ENGINEERING↗

Report of the 2025 Workshop on Next-Generation Ecosystems for Scientific Computing: Harnessing Community, Software, and AI for Cross-Disciplinary Team Science

This report summarizes insights from the 2025 Workshop on Next-Generation Ecosystems for Scientific Computing: Harnessing Community, Software, and AI for Cross-Disciplinary Team Science, which convened more than 40 experts from national laboratories, academia, industry, and community organizations to chart a path toward more powerful, sustainable, and collaborative scientific software ecosystems. To address urgent challenges at the intersection of high-performance computing (HPC), AI, and scientific software, participants envisioned agile, robust ecosystems built through socio-technical co-design—the intentional integration of social and technical components as interdependent parts of a unified strategy. This approach combines advances in AI, HPC, and software with new models for cross-disciplinary collaboration, training, and workforce development. Key recommendations include building modular, trustworthy AI-enabled scientific software systems; enabling scientific teams to integrate AI systems into their workflows while preserving human creativity, trust, and scientific rigor; and creating innovative training pipelines that keep pace with rapid technological change. Pilot projects were identified as near-term catalysts, with initial priorities focused on hybrid AI/HPC infrastructure, cross-disciplinary collaboration and pedagogy, responsible AI guidelines, and prototyping of public-private partnerships. This report presents a vision of next-generation ecosystems for scientific computing where AI, software, hardware, and human expertise are interwoven to drive discovery, expand access, strengthen the workforce, and accelerate scientific progress.

97 MATHEMATICS AND COMPUTING↗

Pump Development for Fusion-Based Neutron Generators

Tritium usage in fusion-based neutron generators is low for each pulse. This requires the deuterium/tritium mixture to be evacuated and recycled during downtime or to remove the helium buildup. Because of the pressure ranges and to minimize space, turbomolecular pumps are being considered for the tritium recirculation pumps. Two main types were initially considered: Agilent TwisTorr and Osaka TG-MR.

Angelette, Lucas M. [Savannah River National Labor↗

Realizing the Materials-Designed-To-Environments Promise of Additive Manufacturing Through a Fundamentally Different Approach to Optimization of Nonlinear Solid Mechanics Structures

Additive Manufacturing (AM) is expected to play a large role in the labs-wide goals of accelerating innovation and leading in modern engineering. More specifically, AM is seen as a key enabling technology for increasing the agility of nuclear deterrence and other national security applications involving complex coupled environments. However, the impact of AM on these initiatives has not been as wide-ranging as hoped because – despite its unique qualities – the focus has mostly been on detailed qualification to force AM components into pre-existing performance envelopes. This paradigm fundamentally precludes the novel possibilities afforded by the geometric and material flexibility of AM. In particular, the engineering of small-scale features to undergo buckling and contact can cause large geometric and symmetry changes which provide responsiveness to different environments. Despite almost a decade of observing such behavior, there exists no way to systematically design for AM to exploit it. Our goal for this project was to connect material design to multi-environment component performance by reconceptualizing how to design for AM to exploit the buckling and contact of small-scale features.

36 MATERIALS SCIENCE↗

A Cloud-Tracking Data Set for the CSAPR2 Adaptive Scanning during TRACER

The U.S. Department of Energy (DOE) Atmospheric Radiation Measurement (ARM) User Facility (Mather and Voyles 2013) deployed the first ARM Mobile Facility (AMF1; Miller et al. 2016) near LaPorte, Texas to support the Tracking Aerosol Convection Interactions Experiment (TRACER) (Jensen et al. 2025) near Houston, Texas. From October 2021 to September 2022, AMF1 was deployed to 29.67° N, 95.06° W near LaPorte, Texas and the 2nd Generation C-band Scanning ARM Precipitation Radar (CSAPR2) was deployed to a supplementary site at 29.53° N, 95.28° W (Figure 1). During an intensive operational period (IOP) from 1 June to 30 September 2022, the CSAPR2 sampled precipitation echoes in an adaptive scanning mode following the Multisensor Agile Adaptive Scanning (MAAS) framework (Kollias et al. 2020). MAAS helped optimize the CSAPR2 scan strategy to perform frequent plan position indicator (PPI) and range height indicator (RHI) scans (Lamer et al. 2023). Details of the CSAPR2 scanning, data processing, and calibration procedures used by the principal investigator (PI), and the PI data files are described by Oue et al. (2023). Details of the CSAPR2 operational performance, ARM data processing and correction procedures, and data quality masks are described by Feng et al. (2024a).

54 ENVIRONMENTAL SCIENCES↗

Convergent Manufacturing of Large-Scale Components for Nuclear Applications, via Additive Manufacturing and Powder Metallurgy Hot Isostatic Pressing

Powder metallurgy (PM)–hot isostatic pressing (PM-HIP) has long been recognized as a powerful route for producing fully dense, near net shape metallic components. By consolidating powders under high temperature and pressure, HIP provides isotropic properties, uniform microstructures, and scalability to complex geometries that are vital for sectors such as aerospace, energy, and nuclear power. Yet despite these advantages, the technology has remained constrained by costly trial and error canister fabrication, limitations of conventional forging, and incomplete knowledge about how the canister design influences final part properties. Additive manufacturing (AM), by contrast, thrives on design freedom and geometric flexibility but struggles with speed, scalability, and cost when applied to very large structures. The research presented in this report investigated how a convergent manufacturing approach, combining AM with PM-HIP, can merge the strengths of both technologies, leveraging AM’s flexibility for canister design and HIP’s consolidation capability to deliver reliable, large, and complex parts. The work progressed through three case studies that built on one another in scale and complexity. Small cylindrical canisters fabricated by conventional methods, laser powder bed fusion, and directed energy deposition were filled with stainless steel powders and subjected to HIP. The resulting parts demonstrated near-full density and mechanical properties on par with wrought stainless steel, showing for the first time that AM canisters can be a direct substitute for conventional ones without sacrificing quality. The next step involved a medium-scale, noncentrosymmetric T-valve, which is an enclosed, multibranch geometry that tested the limits of AM + PM-HIP integration. The T-valve achieved predictable shrinkage and uniform densification, confirming feasibility for enclosed designs. However, this study also revealed oxide inclusions and interfacial challenges at the AM + HIP boundary, underscoring the critical importance of controlling interface chemistry and employing robust, in situ strategies, such as melt pool monitoring and thermal monitoring, coupled with nondestructive evaluation techniques such as x-ray computed tomography. Finally, the effort culminated in fabricating a large-scale impeller weighing nearly 2000 lb and spanning 5 ft in diameter. Produced via multirobot wire arc AM and hot isostatic pressed to near-full density, the impeller validated industrial-scale feasibility. Predictive models closely matched experimental shrinkage, tensile properties were spatially uniform across the component, and the AM + PM-HIP interface proved mechanically sound despite the presence of oxide-decorated prior particle boundaries. This large-scale demonstration is a major milestone, showing that hybrid AM + PM‑HIP can reliably deliver components at reactor-relevant scales. Collectively, these studies charted a logical pathway: small-scale work built scientific confidence, medium-scale work highlighted opportunities and challenges, and large-scale work proved industrial impact. The overarching conclusion of this report is that AM + PM-HIP should not be seen as a replacement for forging but as a complementary pathway that provides the US with flexibility, resilience, and new options for manufacturing nuclear-grade components. Looking ahead, several directions emerge as critical to sustaining progress. Predictive modeling must become faster, more accessible, and more accurate, with digital twins and machine learning reducing reliance on trial and error. Powders and alloys must be optimized for HIP, with improved cleanliness, reduced oxides, and tailored chemistries that enhance creep, fatigue, and irradiation resistance. Interfaces between AM and HIP regions must be better engineered through coatings, machining strategies, and surface treatments to mitigate oxide formation and ensure reliable bonding to explore opportunities for HIP of targeted compositional parts, as well as multimaterial HIP cladding applications. Monitoring and nondestructive evaluation need to expand, incorporating multimodal sensors, x-ray computed tomography, and real-time data integration through platforms such as Pelican. At the same time, the pathway to industrial adoption requires techno-economic analysis, machinability studies, and qualification frameworks aligned with industry and regulatory standards. Finally, workforce and academic engagement must be strengthened. Programs that train technicians and engineers for US Navy and US Department of Energy manufacturing challenges should be paired with academic partnerships to support fundamental research, with open sharing of non-export-controlled data to accelerate innovation and build the next generation of experts. In conclusion, this report demonstrates that hybrid AM + PM-HIP is scientifically viable and strategically important. By combining the design agility of AM with the consolidation strength of HIP and embedding modeling, monitoring, and workforce development, this approach provided a transformative new capability for US manufacturing. The path forward is clear: hybrid AM + PM-HIP is not just a promising research direction but is also potentially an industrially relevant pathway that can reshape how nuclear-grade components are designed, qualified, and deployed.

36 MATERIALS SCIENCE↗

Postdoctoral insights on mentoring excellence: a framework for best practices at Sandia National labs

The Sandia National Laboratories Strategic Plan FY24-FY27, updated for FY25, outlines Sandia’s two Big Labs-wide Goals, Accelerate Innovation and Lead in Modern Engineering. The goal of Accelerate Innovation is that “by FY27, Sandia will be a leader in scientific, engineering and operational innovation and an employer of choice for highly innovative and creative talent.” Sandia’s postdocs are leaders in innovation, well-versed in emerging techniques and cutting-edge methods, and capable of acting as a highly agile technical force across domains at the lab. As a federally funded research and development center (FFRDC), Sandia National Laboratories attracts top doctoral talent by offering a unique opportunity for postdoctoral researchers to develop at the crossroads of government, academia, and industry, working in multi-disciplinary teams and performing cutting-edge, mission-specific research that responds to immediate needs of national interest. However, this creates unique opportunities and demands of both postdoctoral appointees and the Sandia staff who act as their mentors, making mentorship key to attract talent. Since 2007 the Sandia Postdoctoral Development (SPD) Board, originally Postdoc To Professional (PD2P), a networking group at Sandia composed of a voluntary board of current postdocs and two staff liaisons, has advocated for postdoctoral development within Sandia National Labs. In this white paper, SPD board members and the Sandia Postdoctoral Development Office, organized in 2019, have come together to develop a comprehensive overview of the postdoctoral mentoring landscape at Sandia National Labs as we currently know it. By scouring various forms of data from efforts since 2018, we’ve compiled a community-derived perspective on what makes postdoctoral mentorship at Sandia unique. First, we analyze working sessions held between mentors and mentees to develop a comprehensive map of who is involved in postdoctoral mentorship at the lab and how the responsibilities are divided amongst mentors and mentees. We then combine multiple forms of data, including exit surveys, annual surveys, and community workshops, to identify the specific challenges that mentors and mentees encounter at the national lab. Finally, we use text mining and sentiment analysis to analyze mentoring award data to develop an idea of what postdocs are self-identifying as excellent mentorship within the lab. It is our goal that this white paper act as an ongoing resource to the postdoc and postdoc mentoring communities and provide a firm foundation for further conversations on the future of postdoctoral mentorship at Sandia National Labs.

99 GENERAL AND MISCELLANEOUS↗

Evaluation of Neutron Detection Technology and Analysis Techniques to Support Fukushima Daiichi Decommissioning [Poster]

Decommissioning efforts and associated fuel debris retrieval from the damaged Units 1-3 require robust methods to monitor and assure subcriticality. These include adequate detection technologies capable to withstand high gamma radiation conditions within the units; as well as analysis methods capable to provide robust signatures to assure agile criticality monitoring in situation where material distribution is changing. This poster presents overview of experimental and analytical efforts focused on evaluation of neutronbased technologies and development of real-time analysis using state-of-the art capabilities available within the 1F Fuel Retrieval and Monitoring Experiments (1FRAME) project.

1FRAME↗

2020 Budget Request for the DOE Computational Science Graduate Fellowship (CSGF) Grant

The Department of Energy Computational Science Graduate Fellowship (DOE CSGF) is essential for addressing the increasingly complex national workforce demands stemming from the growth of computational science and engineering challenges. Computational science and engineering (CSE) takes a multidisciplinary approach that utilizes scientific computing to tackle practical problems and provide technical tools across the spectrum of scientific discovery. The DOE CSGF specifically highlights high-performance computing (HPC) as a critical enabling technology in CSE, driving advancements in science and engineering that are vital to both the DOE and the broader economy. Over the past half-century, HPC has been an essential tool for DOE’s success. During this period, important missions, such as nuclear stockpile stewardship, have turned to HPC as an essential technology. Entire science disciplines have been transformed through the augmentation of scientific observation via HPC. At government laboratories, academic institutions, and in industry, DOE CSGF alumni are helping push traditional HPC boundaries while contributing to discoveries in high-energy physics, quantum information systems, fusion-reactor design, machine learning, additive manufacturing, nano materials for next-generation batteries and transistors, and advanced nuclear reactor modeling. In addition, HPC is used to address national health needs that will eventually point to cures both by helping cancer researchers manage and analyze huge troves of data, by simulating biological mechanisms, and by accelerating drug development. A 2023 report from the ASCAC Subcommittee on American Competitiveness and Innovation to the ASCR office, “Can the United States Maintain Its Leadership in High-Performance Computing?” says of the Program, “The CSGF program provides a barometer for disciplines that will be of interest to future DOE computing. Computational biology, machine learning, and quantum computing are among the subjects that began to swell in the ranks of CSGF applicants before the labs were hiring as high a percentage of employees in these categories.” The explosion of scientific and technological data has heightened the demand for advanced high-performance computing (HPC) to transform these data into meaningful scientific insights. As access to vast amounts of data increases, the fields of Machine Learning and Artificial Intelligence are experiencing a resurgence, enhancing the established practices of computational modeling and simulation. In its September 2020 subcommittee report on "AI/ML, Data Intensive Science, and High-Performance Computing," the DOE Advanced Scientific Computing Advisory Committee (ASCAC) specifically called for a fellowship program to train computational and data scientists to address exascale and data-intensive computing challenges. This integration of empirical and theoretical modeling will increasingly guide federal policymakers in making decisions that impact American society and future generations. It demands a workforce of highly skilled and intellectually agile computational scientists capable of navigating the rapid advancements in scientific computing within the DOE National Laboratory research environment. The DOE CSGF program has consistently addressed this critical need.

97 MATHEMATICS AND COMPUTING↗

STARFIRE – Science and Technology Accelerated Research for Fusion Innovation and Reactor Engineering progress report

The STARFIRE hub leverages foundational science and technology (S&T) research and integrated plant modeling tools to advance Inertial Fusion Energy (IFE). S&T breakthroughs achieved in each thrust are incorporated into an integrated modeling tool to assess and prioritize remaining gaps to bridge for IFE to become viable. Scientific highlights span high-gain target design, diode-pumped solid-state lasers, and innovative target manufacturing. Key highlights include the investigation of shock propagation through various foam structures among other limiting factors of compression of IFE target, exploration of novel 3D printing techniques such as light-sheet additive manufacturing for 2-photon polymerization foams, and diode-pumped solid-state laser architectures required for several IFE approaches. In addition, the STARFIRE team has established two public-private working groups to address laser diode supply chain issues and test advanced laser diode configurations. Finally, a lite version of the integrated modeling tool has been developed to facilitate outreach and engage with private companies. STARFIRE’s management structure has been designed to ensure agile resource allocation, robust performance assessment, and alignment with the broader fusion energy mission. STARFIRE’s breakthroughs are disseminated to the community via reports, presentations, and publications, while agreements with private companies are set in place to protect proprietary information.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Next-Generation Electric Motors and Electromagnetic Devices (CRADA Final Report)

As part of the Cyclotron Road program, the Foli Research team investigated electric motors and other electromagnetic devices additively manufactured by depositing fine conducting wire onto a substrate. By leveraging modern motion control and efficient upstream manufacturing processes, the team explored using geometric control and turnkey production comparable to printed circuit board manufacturing, aiming at ten-fold improvements in signal density, while eliminating the material use, cost, and complexity overheads of subtractive processes at large scales. Owing to the achievable density and additive scaling, disparate components became monolithic, and disparate processes were combined with the aim of reducing development costs, uncertainties, and timelines. When applied to electric motors, this technology may enable agile manufacturing of next-generation designs, with dramatic increases in achievable power density and material utilization. Electric motors represent the single largest user of electricity in the U.S. and a critical component of decarbonized infrastructure. Despite this significance, the manufacturing of motors and other electromagnetic devices remains capital-intensive, labor-intensive, and performance-limiting. Advanced manufacturing processes were required to produce high-performance, low-cost, application-specific electric motors and electromagnetic devices to support an electrified future.

42 ENGINEERING↗

Understanding spectral dependance of laser-induced damage precursors in dielectric materials (Abbreviated report_23-ERD-006)

High peak and average power laser systems are typically limited by the handling fluence of the optical components. In particular, the multilayer dielectric coatings are known to be much lower operational fluence than the more ideal bulk materials. In this project we proposed and succeeded in probing different established classes of damage prone precursors at different wavelengths to understand their fundamental laser damage response as a function of wavelength. This study helped to shed light on the fundamental physics of the non-linear precursors that govern laser damage phenomena for ns-regime pulsed laser damage. In this study, we utilized the onsite coating capabilities (VPL, IBS coating lab) to purposefully generate laser damage-prone precursors in hafnia-based coatings (both single and multi-layer coatings). Specifically, we engineered coatings with craze lines initiated by nodules, generated coatings with our xenon-based coating process to suppress nanobubble formation and generated hafnia coatings under controlled oxygen flow conditions to study hafnia sub-oxides and oxygen flow dependance. In these studies we found that craze lines are rife with precursors that are sensitive to ultra-violet light but not to infrared light; we found that the removal of nanobubbles helps with all wavelengths tested, but is most impactful for ultra-violet light; we also found that ultra-violet laser damage performance of hafnia is closely matched to oxygen flow rate, while the infrared performance may be slightly better at lower flow rates. During this LDRD we also successfully stood up a new laser damage testing capability, namely a wavelength agile damage test station to study the spectral response of known laser-induced damage precursors. This is a unique and important capability for Lawrence Livermore National Lab, allowing us to understand the spectral response of materials under high intensity irradiation and damage. This is a vital tool to understand non-linear optical response at wavelengths that we have previously been unable to test at.

36 MATERIALS SCIENCE↗

Powder metallurgy hot isostatic pressing - workshop report

The findings of the powder metallurgy (PM) hot isostatic pressing (HIP) workshop confirmed that the accelerated adoption of this technology requires the following action items: 1. By 2035, the HIP infrastructure must be scaled to sizes larger than 4 .0 meters for manufacturing components relevant to energy and defense industries at large. 2. The community must develop cost-effective and agile standards, qualifications, and certification pathways for these HIP parts. 3. At the same time, domestic powder production should be expanded to a wide range of metallic alloys, including Cr-Mo steels, stainless steels, and titanium- and nickel-based superalloys, as well as to emerging alloy classes in the refractory space. 4. The above initiatives can be enhanced by implementing digital modeling and controls, including AI-driven simulations, in situ monitoring, and digital twins.

36 MATERIALS SCIENCE↗

PFLOTRAN Development FY2021

The Spent Fuel & Waste Science and Technology (SFWST) Campaign of the U.S. Department of Energy (DOE) Office of Nuclear Energy (NE), Office of Spent Fuel & Waste Disposition (SFWD) is conducting research and development (R&D) on geologic disposal of spent nuclear fuel (SNF) and high-level nuclear waste (HLW). A high priority for SFWST disposal R&D is to develop a disposal system modeling and analysis capability for valuating disposal system performance for nuclear waste in geologic media. This report describes fiscal year (FY) 2021 advances of the PFLOTRAN Development group of the SFWST Campaign. The mission of this group is to develop a geologic disposal system modeling capability for nuclear waste that can be used to probabilistically assess the performance of generic disposal concepts. In FY 2021, development proceeded along three main thrusts: software infrastructure, code performance, and process model advancement. Software infrastructure improvements included implementing an Agile software development framework and making improvements to the QA Test Suite. Code performance improvements included development of advanced linear and nonlinear solvers as well as design of flexible smoothing algorithms for capillary pressure functions. Process modeling advancements included the addition of flexible thermal conductivity function definitions and refinement of multi-continuum reactive transport to support Sandia’s participation in DECOVALEX. This report fulfills the GDSA PFLOTRAN Development Work Package Level 3 Milestone – PFLOTRAN Development, FY2021, M3SF-21SN010304072.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

In Search of Strategic Advantage: Understanding the Landscape of Technology Competition

In an era of seemingly ever-increasing global tensions, technology competition is often mentioned as a pathway for U.S. and allied success. The opening arguments are often very simple. “This is the most important struggle of the 21st century.” “We cannot afford to lose this competition.” “The United States must not fall behind in this race.” “We must be faster, more agile, more committed, more thoughtful than our competitors.” Competition around a particular technology is described as a once in a generational struggle with immense stakes. “This is a Sputnik moment” is a common analogy. The solutions proposed are fairly straightforward – more of everything. We should spend more money. We should build more widgets or more factories. We should innovate more. We should focus more. We should attract more talent. We should file more patents. We should produce more PhDs. If we do more of everything, we will have more technology than our opponents, they will see our technological advantage, they will not challenge us, and therefore we will win. If we fail to do these things, we will lose. To paraphrase Homer Simpson, in national security policy discussions technology competition has become the cause of, and solution to, all of life’s problems. And yet, beyond doing more across the board technology competition is not at all simple. First, it is a concept increasingly muddled together with other big issues such as innovation policy, national defense strategy, great power competition, allied cooperation, public-private partnerships, and a host of other issues. Certain policies, systems, coalitions, and so on may be excellent for tackling one challenge, but far less optional for others. Second, it is inherently dynamic, an action-reaction cycle between multiple players. A brilliant opening move can be squandered or successfully countered in subsequent moves. Third, there are limits to what you can do - limited time, limited financial resources, limited human capital, and limited knowledge of what lies ahead. One is forced to choose.

99 GENERAL AND MISCELLANEOUS↗

Preliminary modeling of triply periodic minimal surface (TPMS) structures using RELAP5-3D

With the United States Department of Energy (DOE)’s goal of quadrupling the nation’s nuclear energy supply by 2050, and with the Advanced Fuels Campaign pushing for new types of advanced reactor fuels and geometries, the need has arisen for new nuclear fuel designs. One such design is to swap out current nuclear fuel geometries in exchange for another type of geometry, called a Triply Periodic Minimal Surface (TPMS). TPMSs are self-supporting, infinitely repeating lattices—attributes that lend themselves well to additive manufacturing. These surfaces also possess enhanced heat transfer properties thanks to their internal area changes and large surface-area-to-volume ratios. Their drawback, however, is an increased pressure drop. Given the small amount of correlations and data (Reynolds numbers in the 2,000–8,000 range), and the minimal amount of experience so far obtained by modeling TPMS structures using 1D systems codes such as the Reactor Excursion and Leak Analysis Program (RELAP5-3D), further research into this topic was needed. Using data from the University of Wisconsin - Madison (UW), curve fits were created for both a Heat Transfer Coefficient (HTC) correlation and a Darcy friction factor empirical coefficient correlation. The curves’ coefficients and multipliers were then output and utilized in RELAP5-3D models of two upcoming experiments—Flow Loop for INFLUX Pressure drop (FLIP) and Microreactor Agile Non-nuclear Experimental Test (MAGNET)—aimed at increasing the available data for Reynolds numbers to the 16,000–36,000 range for TPMS structures. The models were run under the conditions utilized by a Computational Fluid Dynamics (CFD) analysis performed by another group at Idaho National Laboratory. Only CFD pressure drop values were obtained from the FLIP test, and those values showed that the RELAP5-3D models had a lower rate of pressure increase in comparison to the CFD values. In addition, there seemed to be a vertical shift upward in the pressure drop for both models whenever the TPMS porosity decreased, and the RELAP5-3D models showed a higher vertical shift in comparison to the CFD values. The MAGNET results did not correspond to any CFD or experimental results against which they could be compared, so they were instead compared against the proposed CFD input conditions. These values were then compared with each other to make sure the model seemed to be performing as expected, paving the way for future tests that can be run for the purpose of further analyses and comparisons. The pressure drop increased with temperature and mass flow rate independently. The temperature change would decrease with increasing mass flow rate and temperature, which was just as we expected based on the fact that the lower viscosity and decreased density would result in higher friction and churning losses. The last metric that was assessed was the enthalpy flow change, which increased with increasing mass flow rate and decreasing temperature.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Verifiable Security Templates for Hardware

High-level synthesis (HLS) research generally focuses on transferring "software engineering virtues" (e.g., modularity, abstraction, extensibility, etc.) to hardware development with the ultimate goal of making hardware development as agile as software development. And recent HLS research has focused on transferring ideas and techniques from high assurance software formal methods to hardware development. Just as it has introduced software engineering virtues, we believe HLS can also become a vector for adapting software formal methods to the challenge of high assurance security in hardware. This paper introduces the Device Calculus and its mechanization in the Agda proof checking system. The Device Calculus is a starting point for exploring the formal methods and security of high-level synthesis flows. We illustrate the Device Calculus with a number of examples of formally verifiable security templates-i.e., functions in the Device Calculus that express common security structures at a high-level of abstraction.

Harrison, Bill↗

MCPC Characterization Round 1

Characterization data for the MCPC LDRD Agile investment is collected in multiple rounds. Contained herein is data from Round 1 in which eleven distinct samples and one control sample are characterized by five modalities: EBSD, HARDNESS, OPTICAL, SEM, and ULTRASONIC. Data is organized in subdirectories for the five modalities and each one modality containing subdirectories for the datasets and other information.

36 MATERIALS SCIENCE↗