This document details the findings from the FY25 RAD-Tech LDRD titled “Radiation Effects on NoC (Network on Chips).” We utilized the Versal FPGA from AMD as an exemplar platform for NoC. We conducted two radiation tests, one at Texas A&M University (TAMU) in June 2025 and another at Lawrence Berkeley National Laboratory (LBNL) in August 2025. These experiments showed that radiation could upset the NoC and that it experiences a variety of failures, that we could detect those upsets,
Nanoguide optical waveguides are thermally processed materials based on polymers that have different refractive indices. Scintillating versions of these materials have been under development since 2019 and feature PMMA as the low refractive index constituent and Organic Glass Scintillator-polymer blends as the high index component. Characterization efforts to date have focused on the functional characteristics of nanoguide pertaining to its envisioned use in high-resolution transmission radiogra
High-fidelity large-eddy simulations (LES) and wall-modeled large-eddy simulations (WMLES) are performed on the interaction of a Mach 9 turbulent boundary layer with a 34-degree compression ramp. Our primary interest is the sensitivity of mean and unsteady wall quantities to grid density. Additionally within the context of WMLES, we seek to explore solution sensitivity to the wall-model exchange location.
The trusted inertial terrain-aided navigation (TITAN) algorithm leverages an airborne vertical synthetic aperture radar to measure the range to the closest ground points along several prescribed iso-Doppler contours. These TITAN minimum-range, prescribed-Doppler measurements are the result of a constrained nonlinear optimization problem whose optimization function and constraints both depend on the radar position and velocity. Owing to the complexity of this measurement definition, analysis of the TITAN algorithm is lacking in prior work. This publication offers such an analysis, making the following three contributions: (1) an analytical solution to the TITAN constrained optimization measurement problem, (2) a derivation of the TITAN measurement function Jacobian, and (3) a derivation of the Cramér–Rao lower bound on the estimated position and velocity error covariance. These three contributions are verified via Monte Carlo simulations over synthetic terrain, which further reveal two remarkable properties of the TITAN algorithm: (1) the along-track positioning errors tend to be smaller than the cross-track positioning errors, and (2) the cross-track positioning errors are independent of the terrain roughness.
Presented in this document is a portion of the tests that exist in the Sierra Thermal/Fluids verification test suite. Each of these tests is run nightly with the Sierra/TF code suite and the results of the test checked under mesh refinement against the correct analytic result. For each of the tests presented in this document the test setup, derivation of the analytic solution, and comparison of the code results to the analytic solution is provided.
The National Nuclear Security Administration (NNSA) seeks to assist and support all partners in the fields of radiobiology, health physics, radiation physics, and related areas to transition from cesium-137 chloride-based technologies that can potentially be used in an act of terrorism to X-ray technologies. The absence of information on experimental procedures, equipment, and irradiation parameters directly and negatively impacts the reproducibility and translatability of a sizable portion of radiation biology studies. It also discourages researchers from adopting new tools that eliminate the risks of a radiological dispersal device.
The report covers the RS105 Wire Array Pulser testbed. The setup of the wire array at Reapplication, building 996, is laid out. Setup instructions are provided. Details of the commissioning test are given. Measurement data from the commissioning test shows the field output of the array exceeds 50 kV/m and that tuning the pulser output with a peaking switch can provide a rise time of ~2.3 ns and a pulse width of ~23 ns. The field levels and timeframes shown are within the tolerance conditions of
Fireballs (bolides) are high-energy luminous phenomena produced when meteoroids and small asteroids enter Earth’s atmosphere at hypersonic speeds, often resulting in fragmentation or complete disintegration accompanied by significant energy release. The resulting bolide light curves capture temporal brightness variations as these objects traverse increasingly dense atmospheric layers, providing essential information on meteoroid entry dynamics, fragmentation behavior, and atmospheric energy deposition processes. The Center for Near-Earth Object Studies’ (CNEOS) continuously expanding fireball database offers a globally comprehensive archive of bolide events, including light curves and associated metadata. Events associated with infrasound detections allow direct correlations between acoustic signatures and light curve features, therefore enabling detailed analyses of fragmentation dynamics and energy deposition. Here, we introduce Bolide Light-curve Analysis and Discrimination Explorer (BLADE), a robust and high-fidelity framework specifically designed to analyze bolide light curves for objects detected from space. BLADE incorporates a processing pipeline integrating Savitzky-Golay filtering, prominence-based peak detection, and gradient analysis, enabling systematic identification and classification of fragmentation events and their associated energy release characteristics. Preliminary results demonstrate that BLADE reliably distinguishes distinct bolide behaviors, providing an objective, scalable methodology for characterization and analysis of large bolide light curve data sets. This foundational work establishes a novel pathway for advanced bolide research, with promising applications in planetary defense and global atmospheric monitoring. Future research should adopt an integrative approach combining CNEOS optical data with complementary infrasound measurements, further clarifying relationships between bolide energy deposition and acoustic signatures, thus refining our understanding of meteoroid and asteroid atmospheric entry processes.
This project extends the state of the art in formal verification modeling with modules and automatically checkable data-sharing patterns such that component modules can retain their assurance case when composed within a larger system. For users, smaller models make reasoning easier and help to ensure they accurately reflect text specifications. For automated methods, smaller models give exponential benefits for verification algorithm execution time.
