SEARCH · Search NASA
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.
The Geophysical Monitoring Program Core Seismic Libraries contain a broad array of seismic and waveform analysis libraries useful for a wide range of seismic analysis processes. These include signal processing, travel time calculation, waveform correlation, array processing, geometry and geodesy, and plotting libraries.
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.
This document serves as a comprehensive resource for Federal agencies in developing their own program resources that promote the efficient and effective use of electric vehicles (EVs) for home-to-work travel while ensuring compliance with Federal regulations and sustainability objectives. One mission of the U.S. Department of Energy's Federal Energy Management Program (FEMP) Fleet program is to help federal fleet managers meet or exceed statutory requirements related to energy and environmental performance while improving overall fleet efficiency, reducing costs, and meeting mission requirements. To further this mission, FEMP provides resources to support Federal agencies with increasing alternative fuel vehicle (AFV) acquisitions and reducing petroleum use. EVs are AFVs and help agencies meet federal fleet requirements. Federal fleets include government-owned EVs used for home-to-work travel. The purpose of this document is to serve as a guide for Federal agencies in developing their own internal program documents to manage government-owned EVs used for home-to-work travel. Federal agencies should consult their counsel and consider their own policies and authorities in the implementation of any policies or best practices regarding government-owned EVs used for home-to-work travel. The guide provides key considerations for agencies, including launching a pilot program to fine-tune best practices, conducting a cost-benefit analysis to compare home versus public charging, and exploring cost-effective solutions, such as installing standard outlets instead of dedicated charging stations. The guide underscores the importance of legal and financial considerations, such as verifying agency authority to install home charging infrastructure at an employee's home, ensuring the availability and appropriateness of using agency funds for home charging infrastructure, and understanding the tax implications of reimbursements.
ExaFEL is an HPC-capable X-ray Free Electron Laser (XFEL) data analysis software suite for both Serial Femtosecond Crystallography (SFX) and Single Particle Imaging (SPI) developed in collaboration with the Linac Coherent Lightsource (LCLS), Lawrence Berkeley National Laboratory (LBNL) and Los Alamos National Laboratory. ExaFEL supports real-time data analysis via a cross-facility workflow spanning LCLS and HPC centers such as NERSC and OLCF. Our work therefore constitutes initial path-finding for the US Department of Energy's (DOE) Integrated Research Infrastructure (IRI) program. We present the ExaFEL team's 7 years of experience in developing real-time XFEL data analysis software for the DOE's exascale supercomputers. We present our experiences and lessons learned with the Perlmutter and Frontier supercomputers. Furthermore we outline essential data center services (and the implications for institutional policy) required for real-time data analysis. Finally we summarize our software and performance engineering approaches and our experiences with NERSC's Perlmutter and OLCF's Frontier systems. This work is intended to be a practical blueprint for similar efforts in integrating exascale compute resources into other cross-facility workflows.
The U.S. Magnet Development Program (US-MDP) explores high-field accelerator magnets compatible with operational conditions beyond the limits of Nb$_3$Sn technology. The ongoing R&D High-Temperature Superconductors (HTS) suggests using Bi$_2$Sr$_2$CaCu$_2$O$_{8-x}$ (Bi-2212) as superconducting element. Bi-2212 Rutherford cables maintain a high critical current (I$_C$) when exposed to a large external magnetic field. However, Bi-2212 exhibits an oversensitive stress-strain response when subject to large Lorentz forces. This paper reports on the magnetic and mechanical analysis of the Bi-2212 cosine-theta insert being developed at Fermilab for a hybrid magnet composed of two external layers of Nb$_3$Sn and two internal layers of Bi-2212. We performed a FEM analysis of the insert to estimate the HTS stress state in the coil's strands under magnetic and mechanical loads.
ABSTRACT In this second paper on the DECam deep-drilling field (DDF) program, we release 2020 optical $gri$-band light curves for transients and variables in the extragalactic COSMOS and ELAIS fields based on time series observations with a 3-d cadence from semester 2021A through 2023A. In order to demonstrate the wide variety of time domain events detected by the program and encourage others to use the data set, we characterize the sample by presenting a brief analysis of the light-curve parameters such as time span, amplitude, and peak brightness. We also present preliminary light-curve categorizations, and identify potential stellar variables, active galactic nuclei, tidal disruption events, supernovae (SNe) (such as Type Ia, Type IIP, superluminous, and gravitationally lensed SNe), and fast transients. Where relevant, the number of identified transients is compared to the predictions of the original proposal. We also discuss the challenges of analyzing DDF data in the context of the upcoming Vera C. Rubin Observatory and its Legacy Survey of Space and Time, which will include DDFs. Images from the Dark Energy Camera DDF program are available without proprietary period and the light curves presented in this work are publicly available for analysis.
This milestone highlights the successful upgrade and deployment of the Radiochemical Analysis of Gaseous Samples (RAGS) system, which delivers high-quality measurements (<20% uncertainty) of activated gaseous species from NIF implosions. These measurements are critical for supporting Stockpile Stewardship Program (SSP) relevant platforms, including LANL’s Double Shell and LLNL’s Pushered Single Shell campaigns. The RAGS diagnostic technique enables analysis of short-range mixing in implosions using high-Z shells, which are otherwise inaccessible to conventional x-ray diagnostic methods. By facilitating the investigation of high-Z material mixing into fusion burn, this system provides essential data for quantifying and interpreting results in high-energy density (HED) experiments. This report details the physics motivation, diagnostic fundamentals, planned and enacted upgrade work, and the quantification of uncertainty for the upgraded system.
Savannah River National Laboratory (SRNL) analyzed samples from Tank 38H, Tank 43H and Tank 22H to support the Enrichment Control Program (ECP) and Corrosion Control Program (CCP). The results indicate the concentrations of most soluble species in the Tank 38H surface sample are ~ 76% of the concentrations in the previous Tank 38H surface sample. The current Tank 38H subsurface sample is a clear solution with soluble species that are ~ 70% of the concentrations in the previous Tank 38H subsurface. Significant differences in the concentrations of major components between the current Tank 38H surface and subsurface samples indicate stratification of solution species between these two locations within Tank 38H.
The search for new fundamental particles is one of the defining goals of the Large Hadron Collider (LHC). The discovery of the Higgs Boson by the ATLAS and CMS collaborations provided the capstone of the Standard Model of particle physics, but outstanding questions remain. Why does the Higgs boson have a mass of 125 GeV when its natural mass would be many orders of magnitude larger? Is there a universal symmetry which unites all three forces described by the Standard Model? Can that symmetry be extended to include gravity? Is dark matter, evidenced by astronomical observations, made of a particle that interacts via Standard Model forces with the rest of matter? Together, these motivations provide compelling arguments that new physical processes await discovery. This project addressed some outstanding questions about the fundamental particles and their interactions with the ATLAS experiment at the Large Hadron Collider. In particular, the project improved the discovery potential for new, long- lived particles produced via electroweak processes in proton-proton collisions and set world-leading limits on their existence for certain values of their potential mass and lifetime. To achieve this, the project developed new data analysis methods, developed new triggers to select events with new long-lived particles during data-taking of the ATLAS experiment, and analyzed the largest proton–proton collision dataset ever produced. The project also supported significant development of the data acquisition software for the upgrade to the ATLAS inner detector, the Inner TracKer (ITk). The upgrade of the ATLAS inner detector is essential to the success of the entire Phase II physics program on ATLAS. Personnel supported by the project provided support for integration, assembly, and testing of the inner two layers of the ITk pixel system during its prototype and pre-production phase. Four PhD students and two post-doctoral scholars were supported by the grant and received invaluable scientific training as part of the research endeavor. The students and postdocs gained essential professional skills in the areas of advanced data analysis techniques, statistical analysis of data and simulation, programming in C++ and Python, hardware and instrumentation development, and presentation and collaboration skills. Additionally, approximately ten undergraduate students supported through other funding sources participated in research activities synergistic with the goals of this project, receiving essential mentorship from the personnel supported by this project.
A nuclear criticality results in the emission of both neutron and gamma radiation and can produce doses to personnel near the event that exceed 0.1 Gy (10 rad). The primary purpose of nuclear accident dosimetry is to rapidly identify affected personnel in need of prompt medical treatment and to reassure personnel who have been only minimally exposed. While accurate dosimetry is desired, it must be recognized that dose determinations made from whole-body dosimeters or simple triage methods are very rough estimates and contain significant uncertainties. Even when accounting for factors like varying neutron energy spectra, mean photon energies, body orientation within the radiation field, and transient effects on dosimeter response, etc., the end value is a dosimetric quantity defined for very specific radiological conditions and determined within a simple phantom usually at a single depth. Of more importance is the biological response to the radiation, which will vary by person and can be affected by the individual’s radiation sensitivity, age, gender, mass, and underlying health conditions. The overall biological, person-specific response to a given dose cannot be precisely determined except by patient symptom observation and individual biological dosimetry (e.g. chromosome analysis, lymphocyte ratios, etc.). This work describes and discusses the criticality accident dosimetry program at the Y-12 National Security Complex, a United States Department of Energy National Nuclear Security Administration facility. In conclusion, the primary goals of the Y-12 accident dosimetry program are, among others, the rapid identification of significantly exposed persons, prompt routing of exposed workers for medical evaluation and treatment, and the ultimate processing of dosimeters to assign doses to personnel.
Secondary metabolites are small molecules produced by all corners of life, often with specialized bioactive functions with clinical and environmental relevance. Secondary metabolite biosynthetic gene clusters (BGCs) can often be identified within DNA sequences by various sequence similarity tools, but determining the exact functions of genes in the pathway and predicting their chemical products can often only be done by careful, manual comparative analysis. To facilitate this, we report the first release of the secondary metabolism collaboratory (SMC), which aims to provide a comprehensive, tool-agnostic repository of BGC sequence data drawn from all publicly available and user-submitted bacterial and archaeal genome and contig sources. On the website, users are provided a searchable catalog of putative BGCs identified from each source, along with visualizations of gene and domain annotations derived from multiple sequence analysis tools. SMC’s data is also available through publicly-accessible application programming interface (API) endpoints to facilitate programmatic access. Users are encouraged to share their findings (and search for others’) through comment posts on BGC and source pages. At the time of writing, SMC is the largest repository of BGC information, holding 13.1M BGC regions from 1.3M source sequences and growing, and can be found at https://smc.jgi.doe.gov.
The chiral magnetic effect (CME) refers to generation of the electric current along a magnetic field in a chirally imbalanced system of quarks. The latter is predicted by quantum chromodynamics to arise from quark interaction with nontrivial topological fluctuations of the vacuum gluonic field. The CME has been actively searched for in relativistic heavy-ion collisions, where such gluonic field fluctuations and a strong magnetic field are believed to be present. The CME-sensitive observables are unfortunately subject to a possibly large non-CME background, and firm conclusions on a CME observation have not yet been reached. In this perspective, we review the experimental status and progress in the CME search, from the initial measurements more than a decade ago to the dedicated program of isobar collisions in 2018 and the release of the isobar blind analysis result in 2022 to intriguing hints of a possible CME signal in Au + Au collisions, and discuss future prospects of a potential CME discovery in the anticipated high-statistic Au + Au collision data at the Relativistic Heavy-Ion Collider by 2025. We hope such a perspective will help sharpening our focus on the fundamental physics of the CME and steer its experimental search.
In 2024 the US Department of Energy (DOE) Office of Nuclear Energy (NE) Integrated Energy System (IES) program continued to develop the Framework for Optimization of Resources and Economics (FORCE) analysis ecosystem into a more traditional toolset with simplified software installation, automated workflows, and interactive results visualization. The DOE-NE Nuclear Energy Advanced Modeling and Simulation (NEAMS) Workbench continued to be leveraged for user input, application workflow and runtime environment, and interactive results visualization capabilities. This report documents the demonstration of a FORCE User Interface (UI) prototype and the results of a survey of analysts’ using the Holistic Energy Resource Optimization Network (HERON) tool in FORCE with the prototype UI.
Global carbon dioxide emissions are rising and the use of fossil fuels in several sectors are the leading causes. As global population and economies continue to grow significantly, the most practical method of lowering such emissions is to capture CO2. Although other technologies are more developed, adsorption is very promising and has attracted much attention. To ensure this technology’s success, it is essential to have suitable CO2 adsorbent materials. In this work, several new hydrotalcites (HTs) with different initial concentrations of ion precursors were prepared for the first time by the co-precipitation method—it was possible to verify that the ion concentrations influence the characteristics of the materials. The prepared HTs were characterized by thermogravimetric analysis (TG), X-Ray diffraction (XRD), surface area measurements and temperature-programmed desorption of CO2 (TPD-CO2) to relate their CO2 capture capacity to their physicochemical properties; the CO2 adsorption equilibrium isotherms were determined at 35 and 300 °C for the prepared samples, as well as for some commercial materials: magnesium oxide, calcium oxide, aluminium oxide and Zeolite 13X. After determining which materials present the best CO2 adsorption capacity, these were submitted to adsorption-desorption cycles to study their stability. The main objective of the work was to prepare and study different CO2 adsorbents for processes that are carried out at low and intermediate temperatures. From the experimental results, it was possible to conclude that the Zeolite 13X showed the best capacity at 35 °C, 3.38 mmol·g−1 (@ pCO2 = 1 bar), and a prepared calcined HT (c-HT2) was the best at 300 °C, 0.97 mmol·g−1 (@ pCO2 = 1 bar). Moreover, it seems there is an optimum initial concentration of the ions’ solutions for the tested HTs, which depends on the final application—c-HT1 showed a better capacity at 35 °C and c-HT2 at 300 °C. From the adsorption-desorption cycles—performed at 35 and 300 °C with the best materials using a magnetic suspension microbalance at 1 bar of CO2 partial pressure —, a working cyclic capacity of 2.69 mmol∙g−1 was achieved by the Zeolite at 35 °C; in turn, c-HT2 showed a working cyclic capacity of 0.79 mmol∙g−1 at 300 °C.
Since 1983 the Italian groups collaborating with Fermilab (US) have been running a 2-month summer training program for Master students. While in the first year the program involved only 4 physics students, in the following years it was extended to engineering students. Many students have extended their collaboration with Fermilab with their Master Thesis and PhD. The program has involved more than 600 Italian students from more than 20 Italian universities. Each intern is supervised by a Fermilab Mentor responsible for the training program. Training programs spanned from Tevatron, CMS, Muon (g-2), Mu2e and SBN (MicroBooNE, Icarus, and SBND) and DUNE design and data analysis, development of particle detectors, design of electronic and accelerator components, development of infrastructures and software for tera-data handling, quantum computing and research on superconductive elements and accelerating cavities. In 2015 the University of Pisa included the program within its own educational programs. Summer Students are enrolled at the University of Pisa for the duration of the internship and at the end of the internship they write summary reports on their achievements. After positive evaluation by a University of Pisa Examining Board, interns are acknowledged 6 ECTS credits for their Diploma Supplement. The program was paused in 2020 and 2021 due to the COVID-19 pandemic, but it resumed in 2022. From 2022 to 2024, a total of 60 students participated in the nine-week training at Fermilab. We are currently organizing the 2025 program. This paper provides an overview of the program, which can serve as a model for other interested laboratories.
The community of North Birmingham, Alabama, participated in the Communities LEAP pilot program. As part of this technical assistance pilot, residential buildings, energy efficiency, and electrification were analyzed. This factsheet has a summary of the results.
Various short baseline neutrino experiments observe anomalies that challenge the three-flavor neutrino oscillation model, consistent with a hypothetical “sterile” neutrino that does not interact via the weak force. This poster presents a near detector event selection at the Short-Baseline Near Detector (SBND), developed for the first search for neutral current (NC) disappearance at short-baseline experiments. NC disappearance provides ``smoking gun” insight into the sterile neutrino question because NC interactions are equally sensitive to all three active neutrinos, meaning any change in the NC interaction rate between near and far detectors cannot be explained by oscillations among known flavor states. This analysis focuses on the NC1p topology, the most common NC interaction type at the Short-Baseline Neutrino (SBN) Program. NC topologies are inherently challenging due to their low light yield and the absence of an outgoing charged lepton, which complicates identification and leads to poor energy reconstruction as the outgoing neutrino carries away a large portion of the neutrino’s initial energy. This work presents an NC1p event selection at the near detector, highlighting SBND’s impressive detector capabilities, including trigger efficiency studies. Combined with a novel kinematic energy reconstruction technique leveraging the detector’s outstanding hadronic detail, this analysis establishes a robust near detector foundation to target an NC disappearance measurement consistent with the 3$+$1 sterile neutrino model. This SBND selection will soon be combined with the far detector to conduct an NC disappearance search, providing unique insight and complementary information to traditional charged current searches and advancing the SBN Program’s goal to resolve the sterile neutrino question, including 3$+$1 searches and beyond.
Industry equipment reliability and asset management programs are essential elements that help ensure the safe and economical operation of nuclear power plants. The effectiveness of these programs is addressed in several industry developed and regulatory programs. However, these programs have proven to be labor intensive and expensive. There is an opportunity to significantly enhance the collection, analysis, and use of this information to provide more cost-effective plant operation. Additionally, there is an acute industry need to leverage advanced technology to reduce costs and improve operational effectiveness. The goal of this paper is to provide effective and efficient analytical methods and tools to support risk-informed decisions for the equipment reliability and asset management programs at nuclear power plants. This is accomplished by creating a direct bridge between component health/lifecycle data and decision making (e.g., maintenance scheduling and project prioritization). Here we are supporting typical system engineer decisions regarding maintenance activity scheduling and component ageing management. This is performed in a risk-informed context where herein the term “risk” is broadly constructed to include both plant reliability and economics. This framework combines data analytics tools to analyze equipment reliability data with risk-informed methods designed to support system engineer decisions (e.g., maintenance and replacement schedules, optimal maintenance posture) in a customizable workflow. A challenge is that the structure of this workflow strongly depends on the decision that needs to be made, the type of data available, and the constraints that need to be considered. Current methods are designed to provide specific answers to specific problems; however, these methods might prove to be inadequate even when problem settings slightly change (e.g., different types of requirements, additional dependencies between system reliability and economics). We tackled this challenge by designing framework in a flexible and modular fashion such that the user can assemble and customize his/her own workflow that integrates SSC economic lifecycle models (e.g., maintenance and replacement costs), system reliability models, and optimization methods.