SEARCH · Search NASA

Results for “propulsion”

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.

SourceResearch connectionFrom yearThrough year

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

At least 325 records · Page 18

All sources NASA NTRS DOE OSTI

DOE OSTI2021

Effects of 18 O Exchange on Neutron Emission Rates of Aging 238 PuO 2 LWRHUs

The Lightweight Radioisotope Heater Unit (LWRHU) provides about 1 Watt of thermal power to critical electrical and mechanical systems in the extreme temperatures of space, maintaining the operating temperature of the spacecraft’s scientific and general operating equipment. Los Alamos National Laboratory (LANL) designed and tested the LWRHU in the 1970s through early 1980s. The first production campaign at LANL was in the early 1980s in support of the Galileo mission in which over 100 LWRHUs were manufactured. In the mid-1990s, almost 200 LWRHUs were manufactured in support of the Cassini mission. After the primary Cassini manufacturing campaign, the Department of Energy (DOE) approved the fabrication of more than 10 additional LWRHUs as spares in 1998. The LWRHU assembly contains the following components: a fuel pellet, a vented capsule, a pyrolytic graphite insulator, and a fine-weave pierced fabric (FWPF) graphite aeroshell. The fuel pellet is a hot-pressed 238 PuO 2 cylindrical pellet that is sintered to create a ceramic pellet. The pellet is encapsulated in a platinum-rhodium encapsulation. The welded fueled clad is placed inside a pyrolytic graphite thermal insulation to protect the fuel from the heat produced in reentry events. The exterior layer of the LWRHU assembly is the FWPF aeroshell. Before sintering, PuO 2 granules are heated in a furnace at temperatures greater than or equal to 700°C under an enriched 16 O atmosphere in order to reduce trace quantities of 18 O. Because 18 O undergoes an (α,n) reaction, 18 O needs to be removed as much as possible to meet radiation emission requirements set by the Jet Propulsion Laboratory (JPL) and the National Aeronautics and Space Administration (NASA), as well as other agencies. The relative abundances of the oxygen isotopes are indicated by neutron emission rate (NER) measurements. LWRHUs are vented with a sintered platinum frit vent (George 1986). During extraterrestrial operation, the vent in the cladding allows helium from the decay of plutonium to escape and relieves pressure from the system while preventing the solids from escaping (Rinehart 1996, Tate 1982 & 1985). This vent is protected during manufacture by a platinum-30 rhodium cover. The capsule vent is activated by milling a 0.025-inch diameter hole through the protective cover to a nominal depth of 0.015 inches, generally immediately before the LWRHU is loaded into the aeroshell (George 1986). Prior to long-term storage, LWRHUs are vented and thus potentially allow infiltration of 18 O from the ambient atmosphere. Although NER decreases with age due to the reduction in emitted alpha particles, it might be expected that NER reduction is mitigated by the exchange of 18 O. However, this is not necessarily the case and no trend was observed relating NER to age other than the natural decay of 238 Pu (Mulford 2021). The most probable and dominant factor for determining specific NER was manufacturing discrepancies between individual units. It is important to understand the lack of observed 16 O- 18 O exchange and to compare LWRHU pellets as much as possible.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

DOE OSTI2021

PPPL Laboratory Directed Research and Development (Project Final Reports, FY2018 - FY2020)

The U.S. Department of Energy’s (DOE) Princeton Plasma Physics Laboratory (PPPL) is a collaborative national center for fusion energy science, basic sciences, and advanced technology. The Laboratory has three major missions: (1) to develop the scientific knowledge and advanced engineering to enable fusion to power the U.S. and the world; (2) to advance the science of nanoscale fabrication for technologies of tomorrow; and (3) to further the development of the scientific understanding of the plasma universe from laboratory to astrophysical scales. PPPL’s Laboratory Directed Research and Development (LDRD) program supports and encourages creativity and innovation and contributes to its long-term viability. New scientific and technical research areas emerge and are nurtured through the program. Furthermore, new capabilities are developed to enable the Laboratory to meet its and DOE’s missions. The program is used to systematically diversify the Laboratory’s programs and mission. In the last few years, the program has started projects in nanomaterial synthesis, microelectronics, advanced x-ray spectroscopy, high-energy-density physics, superconducting magnet technology, machine learning and artificial intelligence, 3D magnetic fields to optimize fusion plasmas, integration of permanent magnets with simple high-field magnets to reduce the cost of producing complex 3D magnetic fields, advanced computational methods for predictive understanding and control of fusion plasma, development of quantum computing algorithms for plasma physics, liquid metal plasma-facing components for fusion reactors, virtual engineering, and plasma-based space propulsion. The program is also the vehicle to recruit and train talented scientists and engineers with the new skills needed to perform the Laboratory’s mission. Many of the new hires through the program go on to become world-class scientists and engineers in their fields. This report provides descriptions and accomplishments of those LDRD projects that were completed during fiscal years 2018 through 2020.

36 MATERIALS SCIENCE↗

DOE OSTI2021

Global Security & Strategic Partnerships Programs

Serving the Nation: Our Missions include Providing the Nuclear Deterrent for our Nation and Allies; Leading Nuclear Nonproliferation and Counterterrorism / Counterproliferation efforts to make the world a safer place; Supplying Enriched Uranium Material for Reactors – Naval Propulsion, Army, NASA, Universities, Isotope Production Reactors; Providing High Explosives for the Stockpile and Strategic Partners; Delivering Solutions – Solve emerging national security challenges

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

DOE OSTI2022

Transformational Challenge Reactor – On the Application of Design for Additive Manufacturing (DfAM) Techniques to the Conception of Nuclear Core

Additive manufacturing (AM) technologies are radically changing the way objects are designed and manufactured. They allow building by deposition and solidification of material layer by layer, enabling the possibility to create simple and complex features alike, almost seamlessly. Generally, the design optimization process requires to define objectives, design variables and constraints. Additive manufacturing does not challenge this process per se but does allow designers to completely redefine the constraints space as the ones originating from fabrication can be considerably relaxed compared to more “traditional” manufacturing. Thus, design optimization becomes naturally far more responsive to the actual physics being solved and considerably less influenced by fabrication limitations, leading to dramatically different designs. To take advantage of these new opportunities, so-called Designing for Additive Manufacturing (DfAM) techniques are emerging. Development of design techniques specifically tailored for additive manufacturing is warranted because, considering AM, the design space is typically considerably larger than with traditional manufacturing. The ability to explore the design space efficiently is of paramount importance for designers. This study proposes to investigate and apply some of these DfAM techniques to the conception of nuclear core. The goal being to assess if these new methods can be applied to core design and if core design could benefits from additive manufacturing technologies. After a brief investigation on the pertinence of some DfAM techniques for core design, algorithms are proposed and a workflow is established to carry neutronics and steady-state thermal-hydraulics analyses. To diminish the work load, the workflow has been automated using python modules. These modules allow the rapid creation of input files, post-treatment of output files and visualization. To test the pertinence of the proposed workflow, three test cases have been investigated: a research and test reactor, a micro-reactor and a space propulsion reactor. These test cases offered a variety of objectives, constraints and operating conditions. It is observed that the proposed workflow is capable of converging quickly and efficiently to valid design solutions. It is then concluded that DfAM techniques can be applied to core design.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

DOE OSTI2022

Rare Earth Permanent Magnets: Supply Chain Deep Dive Assessment

The report “America’s Strategy to Secure the Supply Chain for a Robust Clean Energy Transition” lays out the challenges and opportunities faced by the United States in the energy supply chain as well as the federal government plans to address these challenges and opportunities. It is accompanied by several issue-specific deep dive assessments, including this one, in response to Executive Order 14017 “America’s Supply Chains,” which directs the Secretary of Energy to submit a report on supply chains for the energy sector industrial base. The Executive Order is helping the federal government to build more secure and diverse U.S. supply chains, including energy supply chains. This report focuses on the supply chain for rare earth permanent magnets, specifically sintered neodymiumiron-boron (NdFeB) magnets, used in clean energy technologies. Sintered NdFeB magnets are the strongest magnets commercially available and provide a host of benefits to wide-ranging applications in consumer and industrial electronics, especially in advanced motor and drive systems. Within the Energy Sector Industrial Base, and clean energy in particular, NdFeB magnets are key intermediate components of permanent magnet synchronous (direct drive) generators in wind turbines (especially for offshore turbines) and electric synchronous traction motors for propulsion systems in battery and hybrid electric vehicles.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

DOE OSTI2022

Ultra High-Temperature Magnetic Bearing System for s-CO 2 Turbines/Expanders. Phase II Final Report

The goal of this project is to design and construct of a prototype of ultra-high temperature permanent magnet (UHT–PM), which provides the force to pull the spinning shaft towards the target position in the magnetic bearing (MB) clearance circle. This project will develop a PM biased MB system, that is actively cooled to the 550°C maximum operating temperature limit of PMs. The MB test environment will include 700°C, 40krpm and 4,000 psi requirements to advance the supercritical carbon dioxide (sCO 2 ) and other types of Brayton power cycle systems. The proposed novel MBs combine PMs for supplying the bias field and electromagnets for supplying the control field, both in UHT conditions. The choice of material is the UHT Sm-Co PMs (US patent 6,451,132) due to their significantly better thermal stability. The 6-pole homopolar design permits uninterrupted force delivery via a redundant control capability (US patent 7,429,811) even if 3 poles were to fail. The Phase I efforts was to focus on development and demonstration of component technologies and detailed design of full scale components and a demonstrator test rig for use in Phase II. UHT–PMs were produced and used in the MB actuator. The operating environment of the EEC-T550 Sm-Co magnet material could be extended by implementing active cooling. Electromagnetic coils imbedded in the MB provide forces to stabilize the shaft position at the target via sensing and control stages. Shaft position sensors enable to identify the present position of the spinning shaft relative to its desired target position in the MB clearance circle (air gap). Auxiliary bearings will be installed to provide a backup support system in the event that power to the MB fails or there is a fault in a device providing current to the MB coils. For control, reliability and safety reasons the sensors and auxiliary bearings are typically located as close as possible to the MBs, which exposes them to the same environmental conditions. Development of only the actuator for the UHT environment is an inadequate approach to complete integration of the MB system in the turbine/expander. Therefore the UHT sensor and auxiliary bearing were designed and developed along with the actively cooled, UHT-PM actuator development. Although shaft position sensors are commercially available (Kaman) they may cost up to $10k per channel, and a full 5 axis magnetic suspension is best implemented with up to 20 sensors. Once successfully completed, this project will significantly extend the operating environment capability for turbomachinery applications such as nuclear power, concentrated solar thermal, fossil fuel, geothermal, and shipboard propulsion. The further advancement of UHT-PM-MB will also strengthen the US position in PM technology, which is presently heavily dominated by China. The UHT Sm-Co magnet material that will be utilized in the proposed work has been developed exclusively by the project proposer. Many actuators, motors, generators and other MB applications will greatly benefit from the proposed work.

24 POWER TRANSMISSION AND DISTRIBUTION↗

DOE OSTI2022

SunLine Transit Agency Fuel Cell Electric Bus Progress Report - Data Period Focus: Jan. 2020 through Dec. 2021 [Slides]

This report presents early results from a deployment of fuel cell electric buses (FCEBs) operated by SunLine Transit Agency in the Coachella Valley area of California. The five FCEBs, produced by New Flyer, feature an electric drive propulsion system powered by a Ballard fuel cell system. The project team is collaborating with the U.S. Department of Energy (DOE) and DOE's National Renewable Energy Laboratory (NREL) to evaluate the buses in revenue service. The goal of this evaluation is to compare the FCEB performance to that of conventional technology and to track progress over time toward meeting the technical targets set by DOE and the Department of Transportation (DOT). The FCEBs were delivered beginning in mid-2019. The data period covers January 2020 through December 2021. NREL collects data on five 2019 model year compressed natural gas (CNG) buses as a baseline comparison at SunLine. These new CNG buses were phased into service beginning in April 2020.

08 HYDROGEN↗

DOE OSTI2022

Thermal-Epithermal eXperiments – Hafnium Experiment Performed at the DOE’s National Criticality Experiments Research Center (NCERC)

The Thermal-Epithermal eXperiments (TEX) – Hafnium (TEX-Hf) experiments were completed in October 2022 at the DOE National Criticality Experiments Research Center (NCERC) at the Nevada National Security Site (NNSS). This measurement campaign provides seven unique configurations that can be used to validate the neutron absorption and scattering cross sections of hafnium in a highly enriched uranium (HEU) system. Hafnium is a strong neutron absorber important for marine propulsion systems. Mike Zerkle of the Naval Nuclear Laboratory (NNL) states, “The experiments were requested by Naval Reactors to provide a suite of unclassified, clean, and well-characterized benchmarks to drive improvements to hafnium nuclear data.” The experiments were a collaboration between Los Alamos National Laboratory (LANL), Lawrence Livermore National Laboratory (LLNL), and NNL, funded by the Nuclear Criticality Safety Program (NCSP). The Hf was procured directly by NNL and provided for the experiment.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

DOE OSTI2022

Simultaneous flow of zero-carbon and conventional fuel liquids through Trans-Alaska Pipeline System (Abstract)

The purpose of this CRADA is to address key technical challenges specific to the transport of ammonia, a promising carbon-free fuel and hydrogen-carrier, through crude oil pipelines. Specifically, the project seeks to develop novel technologies for preparing liquid ammonia/ hydrocarbon mixtures for the dual purpose of (i) pipeline transport, and (ii) developing advanced marine fuel blends. By demonstrating compatibility with the Trans-Alaskan Pipeline System (TAPS) ammonia/oil blends may improve access to stranded natural gas and help overcome low-flow issues associated with declining oil productivity. In Alaska, this technology enhances the capabilities of TAPS allowing it to function as a statewide “Hydrogen Highway” for exporting green or blue ammonia. This is strategically important for Alaska which lacks statewide electrical transmission infrastructure but contains vast renewable and fossil resources located in remote regions with few local markets. Nationally, Alaska-sourced green (hydropower) or blue ammonia has the potential to improve reliability of a Pacific Northwest hydrogen storage hub as a hydrogen-carrier by helping to overcome seasonality of green hydrogen produced from solar or wind energy. Globally, this technology project has significant potential to improve the safety and efficacy of ammonia-rich fuel compositions for use in maritime propulsion and other mid-sized engines.

10 SYNTHETIC FUELS↗

DOE OSTI2023

The National Nuclear Security Administration

The mission of NNSA, as designated by Congress, is to maintain a safe, secure, and effective nuclear deterrent; to provide naval nuclear propulsion; and to prevent, counter, and respond to threats of nuclear proliferation and terrorism worldwide.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

DOE OSTI2024

Anomalous Retrograde Drifts in Obstructed Magnetron Microdischarges: a Consequence of a Field Reversal in the Anode Sheath?

The goal of this project was to carry out experiments at the Plasma Collaborative Research Facility (Princeton Plasma Physics Laboratory) aimed at confirming or refuting the hypothesis that an electric field reversal occurs in the near-anode region of a strongly obstructed planar magnetron microdischarges. Magnetron discharges are magnetized plasmas with E x B field topologies, and variants of such discharges are widely used in materials processing. The topologies are also similar to that of Hall thrusters used in space propulsion. Understanding the structure of these discharges will aid in developing reliable simulations that are intended to facilitate the further development of such technologies, as the field reversals, presumed to be due to strong axial-driven electron transport, provides further insight into transport properties. The possible existence of such a field reversal is hinted at because of the retrograde-propagating (i.e., negative E x B) spokes or gradient-driven drift instabilities seen in the high speed videos and segmented anode probing of the plasma. The presence of this field reversal should be reflected in the ion dynamics, particularly, in an ion drift towards the anode. The proposed experiments to be conducted at the PCRF are to characterize this anode-directed ion drift using state-of-the-art laser-induced fluorescence velocimetry. In particular, we seek to see if the near-anode ion velocity reverses direction when the external circuit is varied to alter the electron current demand imposed at the anode. Such an ion velocity reversal would confirm the mechanism, which is that the highly obstructed (small gapped) discharge produces strong axial gradients in plasma density, driving more electrons towards the anode then that demanded by the external circuit.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

DOE OSTI2024

Simultaneous flow of zero-carbon and conventional fuel liquids through Trans-Alaska Pipeline System [Abstract]

08 HYDROGEN↗

DOE OSTI2024

A Generalized Nuclear Code of Accounts for Cost Estimation Standardization

This is a joint INL-EPRI study. Link to corresponding page at the Electric Power Research Institute (EPRI): https://www.epri.com/research/products/000000003002028937 Recent Advanced Reactor (AR) designs typically offer features and attributes that depart from traditional water-cooled reactors in terms of fuel forms, coolants, structural materials, size, safety margins, and other important design and operational aspects. These departures, relative to the industry experience, will likely present a challenge for potential owner-operators when evaluating one or more AR designs for commercial deployment on a like-for-like basis. This is further exacerbated with new classes of reactors gaining prominence (e.g., microreactors) and new emerging applications (e.g., floating barge reactors or space propulsion reactors). The differences in design-specific technologies are compounded by the differences in approach to cost estimation. The lack of consistency in build up toward cost estimates creates a challenge when comparing competing concepts and evaluating their associated cost drivers. The outcome of a 2019 Scoping Study conducted by the Electric Power Research Institute (EPRI) indicated the need for a cost modeling guide (CMG), which would be underpinned by a technology-neutral and inclusive Generalized Nuclear Code of Accounts (GN-COA). A code of accounts (COA) is a tool by which costs are identified in even more specific categories, providing clarity on what specific costs are included in an estimate. A parallel independent effort was meanwhile taking place at Idaho National Laboratory via funding by the Systems Analysis Integration (SA&I) campaign of the Office of Nuclear Energy under the U.S. Department of Energy (U.S. DOE-NE) to also update the COA structure to enable more flexibility and encompass a wider variety of reactor technologies. After being made aware of these synergistic efforts, the two parties decided to combine efforts and develop a joint new standard format for nuclear cost estimation that builds on previous structures. This document describes the development of this joint GN-COA and provides guidance on the implementation of the tool, which is provided as the associated GN-COA Excel document. The main attributes of this novel COA format are that all items are functionally defined (in order to be technology and application agnostic) and grouped into logical arrangements that facilitate the tabulation of costs for reactor constructions under consideration. The intent is for the GN-COA to form a standard that is endorsed by future vendors and customers.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2023

Environmental Protection Coating System for Refractory Metal Alloys (EPCS for RMAs)

As part of ARPA-E’s Ultra High Temperature Impervious Materials Advancing Turbine Efficiency (UITIMATE) program, this project aims to develop an environmental protection coating system (EPCS) for refractory metal alloys (RMAs) – which will provide radical improvement in long term protection for ultra-high temperature refractory metal components in harsh gas-turbine environments. The drive for higher fuel efficiency and higher core power of gas turbines used in electric power generation and in aircraft propulsion requires higher peak operation temperatures. The temperature capability of state-of-the-art materials cannot meet the new requirements. Refractory metal alloys have desirable capabilities for achieving the required peak temperatures, but most of them are subject to oxidation in the gas turbine environment. Thus, there is a strong need to develop novel environmental protective coatings that enable the refractory metals to operate in an ultra-high temperature engine environment. This project is composed of four major technical innovations that can provide a potentially transformational solution in providing environmental protection for refractory metal alloys over a wide range of temperature. 1) Multi-layer self-healing environmental barrier coating (EBC) that provides protection against combustion gas environment. 2) Oxidation resistant diffusion barrier (DB) on the alloy surface to enhance coating stability. 3) Synergistic integration of the multi-layer self-healing EBC with the diffusion barrier to extend coating life. 4) Guidance of physics-based modeling to accelerate coating development and optimization. Our team has successfully developed a multi-layer self-healing environmental protection coating system (EPCS) that can provide oxidation protection for commercially available molybdenum based refractory metal alloys over a wide temperature range of up to 1600 °C for fuel-efficient gas turbine applications. The team also developed a multi-layer high temperature coating design tool to accelerate coating development and optimization based on physics-based modeling. The team also engaged RTX business unite, notable Pratt and Whitney, for future commercialization of this technology. The successful completion of this Phase I effort led to the selection of performing Phase II of the program. In Phase II, the team plans to apply the EPCS in the protection of a newly discovered molybdenum-based metal alloy which has the potential of superior high temperature properties to the commercial products. Th coating will be evaluated under test conditions and environment that mimic gas turbine operation.

36 MATERIALS SCIENCE↗

DOE OSTI2024

Field Emission Current Transfer for Homopolar Machines

With the increasing electrification of transportation, the need for high power density electric machines is higher than ever. The required specific power for the more demanding applications, such as airplane propulsion, is over 20 kW/kg for multi-megawatt range power levels. Fully superconducting synchronous machines could reach the required performance, but significant challenges remain to be addressed such as AC losses management and rotating cryogenics implementation. Homopolar machines constitute the simplest electro-mechanical conversion systems possible, however the difficulty of establishing reliable and efficient low voltage, high DC current transfer from a stationary to a rotating system has prevented homopolar machines from competing with AC electrical machines. While sliding contacts or liquid metal contacts are feasible, they lead to high losses, high maintenance requirements and the use of environmentally unfriendly materials. We investigated field emission current transfer as an alternative to sliding contacts. We have demonstrated field emission current transfer in vacuum between a copper electrode and carbon nanotubes and diamond pyramids to evaluate the feasibility of contact-free current transfer for homopolar machines. The initial field emission testing was successfully demonstrated with current densities in the 10 mA/cm 2 range. The initial experiments validated the concept and supported the development of a roadmap for the development of contactless current transfer for homopolar machines, helped understand the limitations of the current test system and identify the key parameters that will lead to better performance.

99 GENERAL AND MISCELLANEOUS↗

DOE OSTI2024

High Performance Metal-Supported SOFC System for Range Extension of Commercial Aviation

The DOE ARPA-E REEACH program [1] has enabled this Phase 1 study that conceptualizes a commercial 154 passenger electric aircraft using renewable aviation fuel for range extension while meeting similar mission performance levels as current commercial aircraft. Commercial aviation accounts for about 2.5% of global CO2 emissions, and close to 5% of overall anthropogenic climate change due to the added accounting of contrail’s effects [2]. The sector has adopted a goal of carbon neutrality by 2050 [3]. 110 nations, and recently the new US administration, have embarked on work to address this important challenge. The US DOE has released a roadmap to enable the further development of sustainable aviation fuel (SAF) in the hopes that it could meet all of aviation’s fuel needs by 2050 [4]. However, SAF fuel price and sufficient future feedstock availability remains a concern [5]. Considering the first commercial biofuel flight demonstration 14 years ago [6] and that SAF still only comprises less than 0.1% of jet fuel use, the question arises as how it can ramp up to 100% use in the next 27 years. One option that has the potential to substantially reduce the need for SAF is to implement light-weight Solid Oxide Fuel Cells (SOFCs) that can efficiently utilize SAF or other sulfur-free hydrocarbon fuels. As opposed to lower temperature PEM (Proton Exchange Membrane) fuel cells that can use high-purity hydrogen, SOFC’s fuels are very flexible, ranging from low cost liquefied natural gas (LNG), renewable liquefied natural gas (RLNG), to SAF, to generate clean electrical power for use in aviation propulsion and auxiliary power units [7] [8]. Research progress is needed to enable SOFCs to achieve 3.0 kW/kg power density, making them viable for aviation [9]. The DOE’s Advanced Research Projects Agency – Energy (ARPA-E) has therefore initiated an aviation SOFC R&D program that is anticipated to dramatically reduce aircraft fuel use though the implementation of “Range Extenders for Electric Aviation with low Carbon and High efficiency” (REEACH) [1] for medium range commercial aircraft. This report summarizes the progress during phase 1 of the REEACH program.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

DOE OSTI2024

The First Tri-Lab Workshop on Formal Verification: Capabilities, Challenges, Research Opportunities, and Exemplars

The First Tri-Lab Workshop on Formal Verification was held in Santa Fe, New Mexico, on December 5th, 2023. This workshop gathered staff from Sandia, Los Alamos, and Lawrence Livermore National Laboratories and NASA’s Jet Propulsion Laboratory. This report summarizes and expands on the presentations given and discussion had at this workshop. In this report, we describe the current capabilities and research needs related to formal methods at the NNSA labs. In particular, we identify medium-term and long-term research gaps in programming languages, formalization efforts of complex systems, embedded systems verification, hardware verification, cybersecurity, formal methods usability, workflows, numerical methods, the use of formal methods for artificial intelligence (and its converse, artificial intelligence for formal methods), and collaboration opportunities and considerations on these topics. We conclude with a small number of exemplar research problems related to these topics.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2024

Drop Tower Statement of Work

This document details the needs and requirements for a propulsion-assisted drop tower system (further referenced simply as Drop Tower) to perform hardware testing at Lawrence Livermore National Laboratory (LLNL). LLNL is managed and operated by Lawrence Livermore National Security, LLC (LLNS) for the Department of Energy (DOE). LLNL requires a robust testing platform that will allow for the characterization of interactions between objects of interest. The initial siting of the equipment will be located in an existing test facility (B191). When another test facility becomes online, the objective will be to move the test capability to the new facility as a final location (B132N). The Drop Tower will be a cornerstone capability for testing and model validation for LLNL interested programs.

42 ENGINEERING↗