Binary Code Similarity Analysis (BCSA) has a wide spectrum of applications, including plagiarism detection, vulnerability discovery, and malware analysis, thus drawing significant attention from the security community. However, conventional techniques often face challenges in balancing both accuracy and scalability simultaneously. To overcome these existing problems, a surge of deep learning-based work has been recently proposed. Unfortunately, many researchers still find it extremely difficult to conduct relevant studies or extend existing approaches. First, prior work typically relies on proprietary benchmark without making the entire dataset publicly accessible. Consequently, a large-scale, well-labeled dataset for binary code similarity analysis remains precious and scarce. Moreover, previous work has primarily focused on comparing at the function level, rather than exploring other finer granularities. Therefore, we argue that the lack of a fine-grained dataset for BCSA leaves a critical gap in current research. To address these challenges, we construct a benchmark dataset for fine-grained binary code similarity analysis called BinSimDB, which contains equivalent pairs of smaller binary code snippets, such as basic blocks. Specifically, we propose BMerge and BPair algorithms to bridge the discrepancies between two binary code snippets caused by different optimization levels or platforms. Furthermore, we empirically study the properties of our dataset and evaluate its effectiveness for the BCSA research. The experimental results demonstrate that BinSimDB significantly improves the performance of binary code similarity comparison.
We consider estimating the discretization error in a nonlinear functional J(u) in the setting of an abstract variational problem: find u∈V such that B(u,φ)=L(φ)∀φ∈V, as approximated by a Galerkin finite element method. Here, V is a Hilbert space, B(⋅,⋅) is a bilinear form, and L(⋅) is a linear functional. We consider well-known error estimates η of the form J(u)−J(uh)≈η=L(z)−B(uh,z), where uh denotes a finite element approximation to u, and z denotes the solution to an auxiliary adjoint variational problem. We show that there exist nonlinear functionals for which error estimates of this form are not reliable, even in the presence of an exact adjoint solution z. An estimate η is said to be reliable if there exists a constant C∈R>0 independent of uh such that |J(u)−J(uh)|≤C|η|. We present several example pairs of bilinear forms and nonlinear functionals where reliability of η is not achieved.
Magnetic anisotropy is essential for many applications of ferromagnetic/ferrimagnetic materials, including permanent magnets and magnetic recording media. Attempts have been made recently to build up 3-D nanoparticle and quantum dot assemblies, however, it is not understood yet if a nanoparticle assembly can possess high magnetic anisotropy with low anisotropic materials. In this article, we report our discovery of high magnetic anisotropy resulted from Fe3O4 nanoparticle chains. We started with closely-packed nanoparticle assemblies of spherical Fe3O4 nanoparticles that exhibit low magnetocrystalline anisotropy and shape anisotropy, and corresponding negligible coercivity. When the nanoparticle assemblies are compressed under pressure, they form bundles or arrays that consist of Fe3O4 chains with a length scale of several hundred nanometers. Magnetic measurements show that these Fe3O4 chain arrays possess a high uniaxial magnetic anisotropy (Keff ~ 2.9×105J/m³) and significant magnetic coercivity. Our simulations reveal that interparticle magnetic dipolar interactions contribute to this type of superstructure magnetic anisotropy. This study demonstrates the feasibility and approaches to create “patterned” high magnetic anisotropy in nanoparticle superstructures/assemblies.
Viral hemorrhagic Lassa fever (LF), caused by Lassa virus (LASV), is a significant public health concern endemic in West Africa with high morbidity and mortality rates, limited treatment options, and potential for international spread. Despite advances in interrogating its epidemiology and clinical manifestations, the molecular mechanisms driving pathogenesis of LASV and other arenaviruses remain incompletely understood. This review synthesizes current knowledge regarding the role of LASV host-virus interactions in mediating the pathogenesis of LF, with emphasis on interactions between viral and host proteins. Through investigation of these critical protein–protein interactions, we identify potential therapeutic targets and discuss their implications for development of medical countermeasures including antiviral drugs. This review provides an update in recent literature of significant LASV host-virus interactions important in informing the development of targeted therapies and improving clinical outcomes for LF patients. Knowledge gaps are highlighted as opportunities for future research efforts that would advance the field of LASV and arenavirus pathogenesis.
Recent trends within computational and data sciences show an increasing recognition and adoption of computational workflows as tools for productivity and reproducibility that also democratize access to platforms and processing know-how. As digital objects to be shared, discovered, and reused, computational workflows benefit from the FAIR principles, which stand for Findable, Accessible, Interoperable, and Reusable. The Workflows Community Initiative’s FAIR Workflows Working Group (WCI-FW), a global and open community of researchers and developers working with computational workflows across disciplines and domains, has systematically addressed the application of both FAIR data and software principles to computational workflows. We present recommendations with commentary that reflects our discussions and justifies our choices and adaptations. These are offered to workflow users and authors, workflow management system developers, and providers of workflow services as guidelines for adoption and fodder for discussion. The FAIR recommendations for workflows that we propose in this paper will maximize their value as research assets and facilitate their adoption by the wider community.
Although synthetic biology can produce valuable chemicals in a renewable manner, its progress is still hindered by a lack of predictive capabilities. Media optimization is a critical, and often overlooked, process which is essential to obtain the titers, rates and yields needed for commercial viability. Here, we present a molecule- and host-agnostic active learning process for media optimization that is enabled by a fast and highly repeatable semi-automated pipeline. Its application yielded 60% and 70% increases in titer, and 350% increase in process yield in three different campaigns for flaviolin production in Pseudomonas putida KT2440. Explainable Artificial Intelligence techniques pinpointed that, surprisingly, common salt (NaCl) is the most important component influencing production. The optimal salt concentration is very high, comparable to seawater and close to the limits that P. putida can tolerate. The availability of fast Design-Build-Test-Learn (DBTL) cycles allowed us to show that performance improvements for active learning are rarely monotonous. This work illustrates how machine learning and automation can change the paradigm of current synthetic biology research to make it more effective and informative, and suggests a cost-effective and underexploited strategy to facilitate the high titers, rates and yields essential for commercial viability.
Ship tracks, long thin artificial cloud features formed from the pollutants in ship exhaust, are satellite-observable examples of aerosol-cloud interactions (ACI) that can lead to increased cloud albedo and thus increased solar reflectivity, phenomena of interest in solar radiation management. In addition to ship tracks being of interest to meteorologists and policy makers, their observed cloud perturbations provide benchmark evidence of ACI that remain poorly captured by climate models. To broadly analyze the effects of ship tracks, high-resolution satellite imagery data highlighting their presence are required. To support this, we provide a hand labelled dataset to serve as a benchmark for a variety of subsequent analyses. Established from a previous dataset that identified ship track presence using NASA’s MODIS Aqua satellite imager, our first-of-its-kind dataset is comprised of image masks: capturing full ship track regions, including their contours, emission points and dispersive patterns. In total, 300 images, or around 2,500 masked ship tracks, observed under varying conditions are provided, and may facilitate training of machine learning algorithms to automate extraction.
A simple co-design example in a reduced parameter space is presented for an oscillating flap device. Initially, the WEC geometry and mass properties are considered along with drivetrain gear ratio, inertia, motor constant and stiffness under both PI and optimal control. This parameter space is reduced to those to which performance is most sensitive for a fixed geometry. The gear ratio, drivetrain stiffness, and flap mass are found to be the most impactful design criteria as they can create orders of magnitude variations in power performance. The performance of the optimized system is compared with several sub-optimal variants in terms of electrical and mechanical power capture, transmission coefficients, and transducer power gain. Notably, though substantial power capture improvements are demonstrated when an optimal controller is employed, this power capture remains sensitive to appropriate selections of drivetrain and flap design parameters, implying that control co-design procedures remain necessary for high-performing WECs. A number of practical caveats and extensions to the presented co-design methodology are suggested, including the characterization of system static friction, especially in the presence of high gear ratios.
Nano-hydrides have been predicted to precipitate at the core of edge dislocations in the Ni-H system, a mechanism that may promote hydrogen embrittlement. However, nano-hydride nucleation, growth, and effects on dislocation behavior have seldom been explored. This work combines molecular dynamics grand canonical Monte Carlo (MD-GCMC) simulations and continuum modeling to uncover a wide range of phenomena linked to dislocation nano-hydrides. Simulations reveal that nano-hydrides can be stabilized at dislocation cores with all character angles, including screw segments, due to the hydrostatic stresses around the cores of the Shockley partials. Nano-hydride nucleation takes place in these regions, and growth is dictated by the character angle θ of the perfect dislocation. The equilibrium stacking fault width deq varies dynamically to increase the local hydrostatic stress field and facilitate the formation of the nano-hydride, forming a constriction-like feature and leading to three distinct behaviors: deq decreases for θ>30°, deq remains unchanged for θ=30°, and deq increases for θ<30°. Remote hydrostatic and Escaig stresses are also shown to influence the nucleation stage, implying stress concentrations such as those ahead of crack tips may facilitate nano-hydride precipitation. Moreover, we identify a new hydrogen-induced 60° dislocation reaction that emits a Shockley partial on a conjugate plane, with potential implications for twin nucleation. Testable predictions from this study are then used to reinterpret previous results from the literature. These findings provide a comprehensive framework to assess nano-hydride formation and evolution at dislocations in nickel and other face-centered cubic metals, with important implications to hydrogen embrittlement.
Material design and accessible manufacturing are often at odds with each other, calling for creative solutions to adapt high-performance materials to available processes. This challenge is represented well by in-mold electronics, an innovative approach to the manufacture of 3D circuitry and electronic components that offers game-changing advantages. In-mold electronics relies on vacuum forming processes, which are historically limited to thermoplastics. Extending these methods to include thermosets would enable manufacturing of robust components with desirable properties. Here, we provide a solution to make thermoset materials amenable to vacuum forming. Specifically, an ambient polymerization is used to transition a liquid monomeric solution to an elastomeric gel. These free-standing gels can then be vacuum formed, and the reaction can be completed via frontal polymerization. Thermoset materials produced with this method have properties that provide benefits over traditionally employed thermoplastic substrates and enable 3D device integration into environmentally demanding architectural, automotive, and extraterrestrial structures.
Low-velocity impact of hybrid metal-composite structures was investigated experimentally and computationally. Composite laminates consisting of 2D woven glass fiber reinforced polymer (GFRP) and carbon fiber reinforced polymer (CFRP) were joined with a 6061-T6 aluminum plate using an epoxy adhesive. Two variations of the structure were studied; one consisting of all plies oriented at 0° and one consisting of all plies oriented at 45°. A drop tower was used to impact structures at a range of energies, including energies above and below the threshold at which the aluminum layer was perforated. Numerical simulations were implemented using Sierra/SM, an in-house transient dynamics finite element code developed at Sandia National Laboratories. A Hosford plasticity model was used to describe the response of the aluminum layer. A newly implemented orthotropic continuum damage mechanics (CDM) constitutive model was used to represent the composite laminate. This 3D-CDM model was compared to a cohesive zone model (2D-CDM/CZM) to investigate efficacy of aluminum perforation energy prediction, delamination prediction, and computational cost. Accuracy of each model was evaluated using the experimental results. Each showed good agreement with the tests for both the force and velocity histories, as well as the observed damage mechanisms. The 2D-CDM/CZM model was marginally more accurate in capturing both the composite and aluminum behavior — this model averaged error percentages of −11.2% and 10.8% for residual velocity and peak force, respectively. Meanwhile, the 3D-CDM model predictions yielded average error percentages of −35.5% (velocity) and 22.6% (force). However, the 3D-CDM model generally resulted in a decreased computational cost; the average run time was 14% shorter than the 2D-CDM/CZM model and 3x as many timesteps per hour were computed using the same computational resources. New experimental data on the impact and perforation resistance of metal-composite laminates is presented in addition to numerical predictions of the impact behavior.
The demand for low-cost, low-energy, and highly selective gas capture and separations is an ongoing driver of porous material development. Porous liquids have been identified as a promising gas separation material by creating permanent porosity in inorganic solvents through inclusion of nanoporous materials that sterically exclude solvent from their internal porosity. Among the nanoporous materials that can be used to form porous liquids, porous-organic cages (POCs) have been one of the most popular due to the inherent tunability of POCs. “Scrambled” POCs with varying functionalities on the POC vertices have been developed and incorporated into porous liquid compositions, increasing their gas adsorption capacity. An unexplored avenue to tailor the properties of porous liquids is through scrambling the functionality of the core of the POC. Therefore, we have synthesized a new POC, a CC3-OH derivative with scrambled hydroxides on the core and evaluated the impact on the CO2 uptake capacity in silicon oil-based porous liquids. Core scrambling of the POC resulted in a twofold increase CO2 adsorption capacity in the porous liquid, an emergent property that is a dramatic increase beyond a linear combination of the gas adsorption capacity of the neat solvent and the POC. Density functional theory modeling of the CC3 POC and its hydroxide-based derivatives identified that free rotation of the linker hydroxide allowed for forced interaction between the CO2 molecule and the hydroxide in the pore window. Solvation of the POC may release scrambled core hydroxides from intramolecular bonding with a neighboring imine, allowing for increased gas uptake in the porous liquid over the neat POC. These results identify a key structural relationship of POCs that enables emergent properties in porous liquids and can guide future development of liquid phase gas capture and separation materials for environmental and industrial applications.
This paper introduces the topics that need consideration to allow an effective feasibility analysis of electron beams and/or X-rays technologies prior to potential investment and implementation of these technologies for industrial applications. It also highlights considerations for planning, developing and construction of an electron beam or X-ray facility The focus of this paper is on business topics and it provides details of where additional technical information can be found. The paper also describes current applications for electron beam and X-ray technologies to demonstrate their potential.
Menon, Karthik; Zanoni, Andrea; Khan, M.O.; Geraci, Gianluca; Nieman, Koen; Schiavazzi, Daniele E.; Marsden, Alison L.
Background: Non-invasive simulations of coronary hemodynamics have improved clinical risk stratification and treatment outcomes for coronary artery disease, compared to relying on anatomical imaging alone. However, simulations typically use empirical approaches to distribute total coronary flow amongst the arteries in the coronary tree, which ignores patient variability, the presence of disease, and other clinical factors. Further, uncertainty in the clinical data often remains unaccounted for in the modeling pipeline. Objective: We present an end-to-end uncertainty-aware pipeline to (1) personalize coronary flow simulations by incorporating vessel-specific coronary flows as well as cardiac function; and (2) predict clinical and biomechanical quantities of interest with improved precision, while accounting for uncertainty in the clinical data. Methods: We assimilate patient-specific measurements of myocardial blood flow from clinical CT myocardial perfusion imaging to estimate branch-specific coronary artery flows. Simulated noise in the clinical data is used to estimate the joint posterior distributions of the model parameters using adaptive Markov Chain Monte Carlo sampling. Additionally, the posterior predictive distribution for the relevant quantities of interest is determined using a new approach combining multi-fidelity Monte Carlo estimation with non-linear, data-driven dimensionality reduction. This leads to improved correlations between high- and low-fidelity model outputs. Results: Our framework accurately recapitulates clinically measured cardiac function as well as branch-specific coronary flows under measurement noise uncertainty. We observe substantial reductions in confidence intervals for estimated quantities of interest compared to single-fidelity Monte Carlo estimation and state-of-the-art multi-fidelity Monte Carlo methods. This holds especially true for quantities of interest that showed limited correlation between the low- and high-fidelity model predictions. In addition, the proposed multi-fidelity Monte Carlo estimators are significantly cheaper to compute than traditional estimators, under a specified confidence level or variance. Conclusions: The proposed pipeline for personalized and uncertainty-aware predictions of coronary hemodynamics is based on routine clinical measurements and recently developed techniques for CT myocardial perfusion imaging. The proposed pipeline offers significant improvements in precision and reduction in computational cost.
A predictive analytical model is presented for the electrical conductivity of multi-principal-element alloys (MPEAs), including those containing aluminum, transition metals, and refractory metals. Given that the lattice parameter of the Wigner-Seitz cell of an MPEA is similarly variable to a bulk metallic glass, it is postulated that electron scattering can be approximated by a series of two-level systems. The resulting reduced-order model enabled an accurate determination of electrical resistivity and electron thermal conductivity based on the scattering of electrons in a two-level system across a Bloch-potential-based virtual crystal approximation. Model results are compared to experimental four-point probe electrical resistivity measurements between 300 K and 700 K for Al0.3CoCrCuFeNi, CoCrFeMnNi, (CoCrFeMnNi)0.98W0.02, (CoCrFeMnNi)0.95W0.05, and Nb4Ta4V3Ti, for model validation.
Distributed acoustic sensing (DAS) systems, which use existing telecommunication fibers, offer high-resolution capabilities ideal for recording anthropogenic sources. However, the complexity of urban environments and the large amount of data recorded by DAS require automated methods to efficiently detect and categorize anthropogenic sources. We evaluate how well three machine learning models (k-nearest neighbor [k-NN], convolutional neural networks, and recurrent-convolutional neural networks) can identify various anthropogenic sources recorded by DAS. Our findings reveal that both k-NN and neural network methods perform well in high signal-to-noise ratio (SNR) settings. However, their accuracy decreases at SNRs < 4. We also use Kalman filtering, a form of Bayesian inference, on backprojected locations of these sources to recover locations that generally fall within standard smartphone Global Positioning System errors. By combining machine learning and Kalman filter results, we calculate a multidimensional model of moving anthropogenic sources. These results demonstrate the potential of DAS data in urban seismology for accurately identifying and locating such sources. Depending on the research objectives, these sources can be further studied or filtered out to improve the quality of seismic data for earthquake studies. Such methods provide a valuable tool for urban seismology and seismic hazard analysis.
Remote coastal communities, which could be early adopters of wave energy projects, have concerns over costs, conflicts, and potential risks of development. Designers and developers are challenged to address these community concerns as they continue to develop wave energy technologies. One potential means of reducing costs, conflicts, and risks, especially for demonstration and pilot-scale projects, could be planning a deployment that operates for only a portion of the year—a seasonal deployment. In this paper we examine the impacts of a seasonal deployment in terms of cost, electricity production, operations and maintenance, environmental impacts, and community benefits. We take a holistic, comparative approach to feasibility that can be replicated for other comparative studies. We estimate electricity production using a point absorber WEC modeled near Sitka, AK, USA and optimized for the given sea conditions. We determine that, for remote community sized projects, seasonal deployments could result in small cost savings (less than 10 %), but larger decreases in annual energy production (around 30 % for our case study area). Seasonal deployments could be preferable in places with seasonal energy needs, if failures and device access become a major hindrance to wave energy technology development, or as a cautionary approach to introducing new technology to the oceans. We also determine that a highly seasonal wave resource is not necessarily a requirement for seasonal deployments to be considered. Seasonal deployments are an alternative to year-round deployments that can be considered in places where marine spatial conflict is a seasonal concern.
Progress in Photovoltaics: Research and Applications
Hartley, James Y.; Miller, David C.; Ulicna, Sona; Bosco, Nick; Hacke, Peter
Low-temperature soldered wire interconnection (LTSWI) is a technology utilizing many interconnect wires carried on a polymer foil to form electrical connections against cell gridlines without a separate soldering process. In this work, LTSWI module samples were characterized for material properties and assembly dimensions and subjected to accelerated aging experiments to induce degradation. A finite element analysis model was developed based on characterization results, to analyze internal stressors during environmental exposures. The polymer foil contains polyethylene terephthalate and low-density polyethylene layers, and solder composition was tin bismuth, which notably was not metallurgically bonded to cell gridlines. High temperature accelerated exposures created power loss up to 9% in minimodule samples, with fill factor losses implicating contact degradation. Posttest characterization identified solder-gridline cracking and wire-cell separation as contributing mechanisms. Finite element modeling demonstrated that wire-to-cell contact is maintained by polymer contraction post lamination but is reversible, resulting in contact loss and wire separation during high temperature exposure. Simulations also detected in-plane wire-to-cell displacements, driven by surrounding polymer motion in response to high temperatures and mechanical load. We hypothesize that the propensity for wire movement during environmental exposure damages the not-metallurgically bonded wire-gridline interface and contributes to LTSWI contact degradation. Because distinct from thermal expansion mismatches which damage traditionally soldered modules, current test protocols are likely not applying the intended acceleration factors to LTSWI modules. This work highlights how construction-specific accelerated testing may be needed for nontraditional module designs and provides a starting point for accurate LTSWI life assessment.
Current methods for modeling non-adiabatic molecular dynamics face fundamental limitations when treating geometric phase effects, quantum mechanical phenomena where nuclear wavepackets acquire phase shifts when encircling conical intersections. Existing approaches either neglect these effects entirely or rely on potential energy surfaces arising from the Born-Oppenheimer approximation, which introduce artificial singularities and can overestimate geometric phase contributions. This project deve
Additive manufacturing (AM) processes, like 3D printing, help to facilitate complex and customizable battery geometries which can provide design freedom and enhance volumetric energy density within electronic devices. AM materials must have the thermal and mechanical properties that enable printability, and when used in batteries, AM materials must also be chemically and electrochemically compatible with the battery chemistry. The compatibility between AM materials and the battery is of particular importance for the cell packaging materials which must be inert and are often overlooked. This study systematically studies AM-compatible polymeric materials for use as gaskets in lithium-ion cells. The materials investigated include three thermoplastics suitable for material extrusion printing: polylactic acid (PLA), polycarbonate, and polypropylene/polyethylene copolymer (PPPEC); and two photoresins suitable for vat photopolymerization (VPP) printing: an acrylate-based photoresin and a polyethylene glycol diacrylate photoresin. The AM gasket materials were tested in comparison to a conventional commercial polypropylene gasket. Mechanical testing (swell measurements and material stiffness) and electrochemical testing (linear sweep voltammetry and galvanostatic cycling of full cells) demonstrated that PLA and the VPP polymers were the least compatible with the lithium-ion battery chemistry, despite their prevalent use in studies of AM batteries, and that PPPEC was the most compatible.
Lost circulation material (LCM) selection is critical to effectively and efficiently treating wellbore fluid losses in geothermal drilling where costs of treatment can be as much as 30% of the total drilling cost. We conducted several uniaxial compaction experiments on 10 different materials and several material mixtures to identify critical mechanical parameters of each. Materials degraded at 200°C were also investigated to understand how elevated temperatures in geothermal wells would degrade their compaction behavior. Granular materials tended to have lower compressibility and higher compression resistance, while more elongated and softer materials had less mechanical stiffness. Mixing materials tended to moderate the mechanical behaviors while heating universally increased the compaction of materials. Microscopy showed that particle strength tended to correlate positively with roundness and circularity and negatively with elongation of a material. Convexity of the degraded and undegraded materials showed heating may have increased the convexity or roughness of the individual particles. We concluded that granular materials are likely to provide the best seals in wells but that a mixture of size distribution, mechanical rigidity, and elongation is more likely to form a better seal for geothermal wells.
Fluid-fluid interfacial instability and subsequent fluid mixing are ubiquitous in nature and engineering. The hydrodynamic instability of fluid interfaces has long centered on the pressure gradient-driven long-wavelength Rayleigh-Taylor instability and the resonance-induced short-wavelength Faraday instability. However, neither instability alone can explain the dynamics when both mechanisms are present. We identify a previously unseen multi-modal instability emerging from their coexistence. When the denser fluid is polydimethylsiloxane, the mixed region at a high density contrast (Atwood number = 0.9) spans a vibration amplitude range approximately twice the gravitational acceleration. Using Floquet stability analysis, we show how vibrations govern transitions between the RT and Faraday instabilities, leading to contention between these instabilities rather than resonant enhancement. The initial transient growth is represented by the exponential modal growth of the most unstable Floquet exponent, along with its accompanying periodic behavior. Direct numerical simulations validate these findings and track interface breakup into the multiscale and nonlinear regimes. Specifically, we show that growing RT modes nonlinearly suppresses Faraday responses even when the initial growth rate of the Faraday instability is 3.63 times that of RT, so a bidirectional competition hinders their sustained coexistence.
While first-principles density functional theory modeling has become a vital tool to investigate defect properties in semiconductors, the lack of crystalline periodicity in pseudobinary random composition alloys, such as In1−xGaxAs, complicates such analyses. We present a simulation strategy to systematically take into account the variability in the local defect environment in order to predict statistical properties of neutral intrinsic defects in In1−xGaxAs. We use a comprehensive sampling from a modest-sized 64-atom special quasirandom structure (SQS) to define a statistically representative set of defects, and use a 512-atom hypercell, a 2×2×2 supercell of SQS supercells, to achieve cell-size convergence. We articulate an equivalent site principle and describe how it constrains atomic chemical reference energies in computation of defect formation energies in pseudobinary alloys. A simple protocol for estimating reference energies for the Ga and In atoms sharing the III site succeeds in obtaining the equivalence of defects at Ga-sites and In sites in the SQS supercell, (<30 meV differences in average formation energies). For III-site defects, such as the As antisite AsIII, the statistical variability in formation energies is modest, ≈0.1–0.2 eV. The variability in formation energy at As-site defects, such as the As vacancy vAs, can be much larger, >1 eV. The As antisite is shown to be a low-energy defect and the most likely to be present in as-grown materials, just as in GaAs. All other defects are higher-energy defects unlikely to be important in native material, but potentially important in radiation-damaged material. With a strong variability in defect energies, especially on the As-site, explicit consideration of statistical variability due to compositional randomness will be imperative for meaningful and quantitative comparisons to experiment.
Makarem, Sara; Gowda, Shivashree; Mohan, Ramya; Zare, Saman; Sadat, Nazmun S.; Brummel, Ian A.; Ma, Chung T.; Bin Hoque, Md S.; Hirt, Daniel; Islam, Md R.; Poon, Joseph; Ihlefeld, Jon F.; Esteves, Giovanni; Scott, Ethan A.; Hopkins, Patrick E.
The Wiedemann-Franz (WF) law correlates heat and charge transport in metals. However, the validity of this correlation remains an open-ended question, especially in the context of inelastic scattering at room temperature. To address this gap in knowledge, we perform independent measurements of the in-plane thermal and electrical conductivities across four AlCu (0.5% Cu) films [thickness ( h ) ≈ 174, 98, 53, and 24 nm] using optical pump-probe metrologies and four-point probe techniques, respectively. For in-plane thermal conductivity measurements, we utilize time-domain thermoreflectance, in both concentric and beam-offset configurations, and the time-resolved magneto-optic Kerr effect. Our results show that the WF law overpredicts the thermal conductivity by at least ∼10% in all films, thus demonstrating modest deviations in predicted thermal conductivity when applying the WF law to dilute AlCu films. Using infrared variable angle spectroscopic ellipsometry, we demonstrate increased electron scattering rates in the thinnest film ( h ≈ 24 nm), indicating electron-boundary scattering drives the reduction in in-plane thermal conductivity. This is generally an elastic scattering process, which is supported by our thermal conductivity measurements and analysis.
This paper studies Tikhonov regularization (ridge regression) parameter selection for problems in vibrations and acoustics. The selection method is based on a popular Bayesian method, but it incorporates measurements of sensor noise. The regularization parameter is closely related to the ratio of system input energy to noise energy, so noise measurements inform the inference procedure and improve parameter identification. In cases where standard Bayesian regularization identifies zero as the optimal regularization parameter, noise measurements guarantee a unique nonzero optimum. Sufficient theoretical criteria are developed for this guarantee. The method is verified in even-determined and under-determined configurations in an acoustic source localization simulation and a vibration load identification experiment. It is shown to yield significant improvements over existing empirical Bayesian regularization. Improvements are larger in the even-determined case and smaller in the under-determined case, wherein the inverse solution is less sensitive to the regularization parameter.
The SIERRA Low Mach Module: Fuego, henceforth referred to as Fuego, is the key element of the ASC fire environment simulation project. The fire environment simulation project is directed at characterizing both open large-scale pool fires and building enclosure fires. Fuego represents the turbulent, buoyantly-driven incompressible flow, heat transfer, mass transfer, combustion, soot, and absorption coefficient model portion of the simulation software.
We present a curated, openly accessible dataset of 71 regional meteor events simultaneously recorded by optical and infrasound instrumentation between 2006 and 2011. These events were captured during an observational campaign using the all-sky cameras of the Southern Ontario Meteor Network and the co-located Elginfield Infrasound Array. Each entry provides optical trajectory measurements, infrasound waveforms, and atmospheric specification profiles. The integration of optical and acoustic data enables robust linkage between observed acoustic signals and specific points along meteor trajectories, offering new opportunities to examine shock wave generation, propagation, and energy deposition processes. This release fills a critical observational gap by providing the first validated, openly accessible archive of simultaneous optical–infrasound meteor observations that supports trajectory reconstruction, acoustic propagation modeling, and energy deposition analyses. By making these data openly available in a structured format, this work establishes a durable reference resource that advances reproducibility, fosters cross-disciplinary research, and underpins future developments in meteor physics, atmospheric acoustics, and planetary defense. Dataset: https://doi.org/10.5281/zenodo.15868512. Dataset License: CC-BY-NC
In previous years, SGTech funded enhancements to the isotopics routine in the software called Gamma Detector Response and Analysis Software-Detector Response Function (GADRAS-DRF), including the addition of peak fit customization capabilities [1][4][3]. A project was also funded that focused on implementing a peak-based model fitting routine, allowing model fitting to be performed without dependence on export-controlled cross-sections. In FY25 significant improvements were made to the custom pea
A series of experiments where deuterium was released in trace amounts into a room with a fire were performed at Sandia. This report describes the corresponding effort to model the test series using SIERRA/FUEGO. The objective of this modeling effort was to produce a simulation test matrix that can be utilized to help interpret the corresponding experiments and be used to assess the credibility of using the SIERRA/FUEGO simulations as a surrogate for real tritium reaction data.
Accurate identification of material parameters is crucial for predictive modeling in computational mechanics. The two primary approaches in the experimental mechanics community for calibration from full-field digital image correlation data are known as finite element model updating (FEMU) and the virtual fields method (VFM). In VFM, the objective function is a squared mismatch between internal and external virtual work or power. In FEMU, the objective function quantifies the weighted mismatch between model predictions and corresponding experimentally measured quantities of interest. It is minimized by iteratively updating the parameters of an FE model. While FEMU is seen as more flexible, VFM is commonly used instead of FEMU due to its considerably greater computational expense. However, comparisons between the two methods usually involve approximations of gradients or sensitivities with finite difference schemes, thereby making direct assessments difficult. Hence, in this study, we compare VFM and FEMU in the context of numerically-exact sensitivities obtained through local sensitivity analyses and the application of automatic differentiation software. To this end, we conduct a series of test cases to assess both methods under practical challenges using a finite strain elastoplasticity model.
The influence of the internal structure at micrometer length scales on the deformation of polycrystalline materials can be effectively captured using crystal plasticity finite element methods (CPFEM). However, the complexity and nonlinearity of the deformation equations CPFEM solves demand significant computational power and resources to achieve accurate predictions, limiting its broader application. To address this challenge, we have identified a reduced-order representation of the complex data in order to establish a computationally efficient reduced-order models (ROM) and drastically reduce the computational expense of CPFEM. Specifically, in this work, we developed a parametric, data-driven, and non-intrusive ROM framework for CPFEM using proper orthogonal decomposition (POD) and sparse variational Gaussian process (SVGP) regression for single-crystal microstructures under tensile loading conditions. The developed protocol enables one to compress field into a latent/low-dimensional space described by principal component analysis (PCA) via the singular value decomposition (SVD) algorithm. As a result, the high-dimensional data are reduced to a significantly smaller amount of dimensions with POD bases and POD coefficients. Furthermore, we deployed an ensemble of SVGPs—extended from the classical Gaussian process (GP) regression for scalability and handling big data—in a massively parallel manner to train and predict latent POD coefficients using known POD bases from a set of previously obtained simulations results. Lastly, using the predicted POD coefficients, we reconstructed the full-field results and showed reasonable agreement compared with the true values obtained from running CPFEM. The developed framework is validated with a set of CPFEM simulations of a single embedded void in single-crystal aluminum alloy. While the framework is broadly applicable, this work specifically focuses on single-crystal microstructures, a single load case (e.g., tensile), and a specific void geometry (spherical).
This report describes challenges associated with the hierarchical Bayesian approach to inform model-form uncertainty (MFU) representations, which are parameterized modifications to a mathematical models' governing equations to express uncertainty in form of the equations.
The re-entry of the Origins, Spectral Interpretation, Resource Identification, and Security-Regolith Explorer (OSIRIS-REx) sample return capsule (SRC) on 24 September 2023 presented a rare opportunity to study atmospheric entry dynamics through a dense network of ground-based infrasound sensors. As the first interplanetary capsule to re-enter over the United States since Stardust in 2006, this event allowed for unprecedented observations of infrasound signals generated during hypersonic descent. We deployed 39 single-sensor stations across Nevada and Utah, strategically distributed to capture signals from distinct trajectory points. Infrasound data were analyzed to examine how signal amplitude and period vary with altitude and propagation path for a nonablating hypersonic object with welldefined physical and aerodynamic properties. Raytracing simulations incorporated atmospheric specifications from the ground-2-space model to estimate source altitudes for observed signals. Results confirmed ballistic arrivals at all stations, with source altitudes ranging from 44 to 62 km along the trajectory. Signal period and amplitude exhibited strong dependence on source altitude, with higher altitudes corresponding to lower amplitudes, longer periods, and reduced high-frequency content. Regression analysis demonstrated strong correlations between signal characteristics and both altitude and propagation geometry. Our results suggest, when attenuation is considered, the amplitude is primarily determined by the source, with the propagation path playing a secondary role over the distances examined. These findings emphasize the utility of controlled SRC re-entries for advancing our understanding of natural meteoroid dynamics, refining atmospheric entry models, and improving methodologies for planetary defense. The OSIRIS-REx SRC campaign represents the most comprehensive infrasound study of a hypersonic re-entry to date, showcasing the potential of coordinated geophysical observational networks for high-energy atmospheric phenomena, including space debris re-entries.
The SNL-developed F3M and MAPIT tools have the capability to analyze MC&A approaches for nuclear facilities via facility process flow simulation and statistical tests. Improvements on the application of F3M and MAPIT in simulating a generic TRISO fuel fabrication facility were successfully completed. This modeling framework can support the U.S. DOE and industry stakeholders in developing MC&A approaches for fuel fabrication facilities via demonstration of regulatory compliance.
This project was motivated primarily by the opportunity of turning photocatalysis into a cost efficient hydrogen generation method for domestic energy and chemical production, and by the need to provide detailed mechanisms of photocatalytic reactions of broad scientific and technological interest. Specifically, we focused on the development of a new technique for analysis of (photo)catalytic reaction mechanisms to guide photocatalyst design. Our approach was based on applying velocity map ima
The SNL Sierra Mechanics code suite is designed to enable simulation of complex multiphysics scenarios. The code suite is composed of several specialized applications which can operate either in standalone mode or coupled with each other. Arpeggio is a supported utility that enables loose coupling of the various Sierra Mechanics applications by providing access to Framework services that facilitate the coupling.
This report reviews regulations, codes, and standards to be considered for FCEB operations on airports governing vehicle safety, hydrogen infrastructure, and airport operations. Overall, the review found the existing regulatory framework largely suitable for FCEB operations on airports, with only minor gaps identified pertaining to heavy-duty vehicle fueling, operation and fire safety on airport aprons, and authorization for emergency power use.
This research project investigates the fundamental mechanisms of silicon nitride (SiN) crystallization, aiming to enhance the understanding of this critical material in microelectronics manufacturing. Through a collaborative effort between Sandia National Laboratories, the University of Tennessee, and the University of Florida, we developed a comprehensive framework that integrates experimental techniques, atomistic modeling, meso-scale simulations, and an integrated multi-scale model to capture
The motivation for the experiments reported here pertains to the siting of Liquefied Natural Gas (LNG) facilities which requires assessing the potential adverse radiant thermal impacts of accidental fires on the public. The objective is to obtain data on jet fires, pool fires, fireballs, and concrete walls that could serve as thermal barriers for model validation. The fuels tested include ethane, ethylene, propane, and isopentane.
In recent years, experiments involving micofabricated surface ion traps have grown in complexity, and as this complexity grows, a common design has emerged in the form of quantum charge-coupled device architecture. This architecture, already utilized on multiple systems, supports multiple zones on a device for areas such as memory or computation. The shutting process between these zones is a process often seen to be minimized. An additional component to scalable surface trapped-ion experiments
This report evaluates leakage behavior from tritium containment vessels under thermal abuse and combined thermal-mechanical abuse conditions to better understand safety implications for releases occurring in a fire scenario. Surrogate gases were used for all tests in this report. Leakage through the valves from thermal pressurization was observed when heating rates >0.8°C/s were sustained to >300°C. Gas plumes were visualized from vessels that were heated above 260°C and then dropped.
GPS technology is used in a multitude of applications around the world for navigation. However, GPS can be contested or denied and thus alternatives to GPS are needed for positioning in high-consequence systems. This project investigates a non-RF based method to produce an estimated geolocation using stellar/celestial measurements in combination with measurements from inclinometers and a real time clock.
Presented in this document is a small portion of the tests that exist in the Sierra/SolidMechanics (Sierra/SM) verification test suite. Most of these tests are run nightly with the Sierra/SM code suite, and the results of the test are checked versus the correct analytical result. For each of the tests presented in this document, the test setup, a description of the analytic solution, and comparison of the Sierra/SM code results to the analytic solution is provided. Mesh convergence is also ...
This report summarizes accomplishments in the development and maintenance of modeling and simulation tools to support material accountancy of bulk nuclear facilities. In FY25, we added new capabilities to MAPIT (new statistical test, improved error handling), launched the open source F3M modeling library, and added three new facility models to the SSPM-L model library.
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.
