Search NASA⌕ Search

SEARCH · Search NASA

Results for “Reversible computation”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

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

At least 1,135 records · Page 63

Monitoring a Complex Physical System using a Hybrid Dynamic Bayes Net

The Reverse Water Gas Shift system (RWGS) is a complex physical system designed to produce oxygen from the carbon dioxide atmosphere on Mars. If sent to Mars, it would operate without human supervision, thus requiring a reliable automated system for monitoring and control. The RWGS presents many challenges typical of real-world systems, including: noisy and biased sensors, nonlinear behavior, effects that are manifested over different time granularities, and unobservability of many important quantities. In this paper we model the RWGS using a hybrid (discrete/continuous) Dynamic Bayesian Network (DBN), where the state at each time slice contains 33 discrete and 184 continuous variables. We show how the system state can be tracked using probabilistic inference over the model. We discuss how to deal with the various challenges presented by the RWGS, providing a suite of techniques that are likely to be useful in a wide range of applications. In particular, we describe a general framework for dealing with nonlinear behavior using numerical integration techniques, extending the successful Unscented Filter. We also show how to use a fixed-point computation to deal with effects that develop at different time scales, specifically rapid changes occuring during slowly changing processes. We test our model using real data collected from the RWGS, demonstrating the feasibility of hybrid DBNs for monitoring complex real-world physical systems.

Lerner, Uri↗

Fractional Quantum Anomalous Hall Effect

The realization of the fractional quantum anomalous Hall effect (FQAHE) in a zero-field fractional Chern insulator is a new advancement in condensed matter physics, resulting from the interplay among strong correlations, topology, and spontaneous time-reversal symmetry breaking in lattice systems. In this review, we highlight the experimental and theoretical progress toward achieving FQAHE in two material platforms: twisted bilayer MoTe 2 and rhombohedral-stacked multilayer graphene. These systems host narrow topological bands with nontrivial Chern numbers, enabling interaction-driven fractionalized states analogous to the fractional quantum Hall effect, but without external magnetic fields. We discuss how spontaneous ferromagnetism, moiré lattice reconstruction, and band topological effects underpin the emergence of FQAHE in twisted MoTe 2 . We describe experimental discoveries of zero-field fractional Chern insulators in both transport and optical experiments, as well as signatures of composite Fermi liquids and higher-energy Chern band, which may shed light on engineering nonabelian states. In rhombohedral graphene/hexagonal boron nitride moiré superlattices, we review the recent observations of fractionally quantized Hall resistance, connections between FQAHE and extended quantum anomalous Hall phases, and the coexistence of superconductivity and FQAHE. Furthermore, these discoveries not only deepen our understanding of strongly correlated topological matter but also open new frontiers for exploring nonabelian anyons, fault-tolerant quantum computation, and topological opto-spintronics free of magnetic fields.

bilayer↗

Design and Analysis of Shape Memory Spring Tires for Martian and Lunar Rover Vehicles

Shape memory alloys (SMAs) have played an important role in various innovative engineering and medical applications, such as aerospace actuators, vibration damping devices, and coronary stents. In applications, shape memory alloys are commonly utilized in two fundamentally different ways: (i) making use of the superelasticity/ pseudoelasticity (SE/PE) phenomena, as in applications in biomedical engineering, and (ii) taking advantages of the shape memory effect (SME), as is used for actuators. Their ability to act in such vastly different capacities is mainly due to their unique capability to recover large amounts of deformation produced by either applied stresses or temperature changes. One recent emerging application in use of SMAs has been in the area of non-pneumatic tire designs for Martian or Lunar roving vehicles. These vehicles require tires that are capable of traversing rugged terrain while withstanding extreme temperatures and atmospheric conditions. Inspired by the flexible wire mesh tires used on three Lunar Roving Vehicle (LRV) missions to the Moon on Apollo 15, 16, and 17, a new compliant tire technology was developed by the NASA Glenn Research Center (GRC) and Goodyear Tire & Rubber, known as the Spring Tire. The Spring Tire consists of several hundred coiled springs woven into a flexible mesh and formed into the shape of a tire. Like the LRV wire mesh tires, the original Spring Tires were made from spring steel and were prone to permanent deformation when undergoing high localized loads. Later, a new iteration of this technology was invented, known as the ‘Superelastic Tire’. This new technology incorporated the use of superelastic SMA springs, which could effectively undergo approximately 30 times more reversible deformation than the steel spring. It also provided even greater durability and allowed for more flexibility in design, such as the use of other structural forms to reduce mass or increase load carrying capacity. Because of the unique nature of both the SMA material and the complex interactions between the springs, designing Spring Tires for a specific application requires extensive effort. Historically, design decisions have relied on full-scale empirical testing; however, this is very expensive and time consuming, especially when multiple iterations are needed. Therefore, developing a large-scale, robust, and predictive numerical model entailing complex spring interactions and the shape memory material behavior within a tire construct is the first essential step towards a successful design program. The current work focuses on implementation of the user-defined Shape Memory Alloy (SMA) model, otherwise known as SMA-GVIPs, in the Finite Element analysis (FEA) program ABAQUS for large-scale simulations of the GRC-developed Spring Tires made of SMA. The novelty of this work lies in the thorough, detail-oriented, and computationally efficient finite element analysis of full-scale SMA tires. A well-thought material characterization plan followed by model validation and a systemic sensitivity study on SMA tires has never been reported in the previous literature. The main objective of this study is to help the team improve and optimize the structural design of the SMA tires through in-depth numerical analysis and sensitivity studies. Various design variables (wire diameter, coil diameter, pitch, bead angle, and number of springs) were varied to study their influence on the global load-displacement response of the tire construct. A detailed investigation of the three-dimensional stress states was also carried out to enhance our understanding of the local changes as the tire goes through global deformation. It was concluded that a robust numerical model with a good predictive capability, together with a thoughtfully crafted sensitivity study can result in improved design iterations required to reach a desired tire performance while, significantly reducing manufacturing, labor and testing expenses. A summary of the Finite Element (FE) model construction will be presented together with a description of the user-defined SMA model, characterization process, experimental results, model validation, and numerical sensitivity study results.

shape memory alloys↗

Feeding Ten Billion People Is Possible Within Four Terrestrial Planetary Boundaries

Global agriculture puts heavy pressure on planetary boundaries, posing the challenge to achieve future food security without compromising Earth system resilience. On the basis of process-detailed, spatially explicit representation of four interlinked planetary boundaries (biosphere integrity, land-system change, freshwater use, nitrogen flows) and agricultural systems in an internally consistent model framework, we here show that almost half of current global food production depends on planetary boundary transgressions. Hotspot regions, mainly in Asia, even face simultaneous transgression of multiple underlying local boundaries. If these boundaries were strictly respected, the present food system could provide a balanced diet (2,355 kcal per capita per day) for 3.4 billion people only. However, as we also demonstrate, transformation towards more sustainable production and consumption patterns could support 10.2 billion people within the planetary boundaries analysed. Key prerequisites are spatially redistributed cropland, improved water–nutrient management, food waste reduction and dietary changes. Adoption of the Sustainable Development Goals by all nations in 2015 is the first ever commitment to a world development path that safeguards the stability of the Earth system as a prerequisite for meeting universal human standards1. The longstanding challenge of achieving food security through sustainable agriculture is particularly acute in this context as world agriculture is a leading cause for the current transgressions of multiple planetary boundaries (PBs) globally and regionally2–5. The PB framework is a comprehensive scientific attempt to synoptically define our planet’s biogeophysical limits to anthropogenic interference. It suggests bounds to nine interacting processes that together delineate a Holocene-like Earth system state. The Holocene is chosen as the reference state as it is the only period known to provide a safe operating space for a world population of several billion people, and according to a precautionary principle, the PBs are set in sufficient distance from processes that may critically undermine Earth system resilience and global sustainability. A challenging question, thus, is whether human development goals such as food security can be met while maintaining multiple PBs along with their subglobal manifestations. Further PB transgressions could jeopardize the chances of providing sufficient food for a world population projected to be wealthier and reach >9 billion by 2050. This conundrum portrays a tradeoff between Earth’s biophysical carrying capacity and humankind’s rising food demand, calling in response for radical rethinking of food production and consumption patterns6–9. Yield gap closures, avoidance of excessive input use, shifts towards less resource-demanding diets, food waste reductions and efficient international trade are crucial options for sustainably increasing the food supply10–15. For example, enhancing water-use efficiency on irrigated and rain-fed farms can triple or quadruple crop yields in low-performing systems, suggesting possible global gains of >20% (ref. 16). Even higher gains appear feasible through globally optimized configurations of the land-use pattern17, and cutting food losses by half could generate food for another billion people18. Thus, collective large-scale implementation of such options could sustain food for a further growing world population19. Yet achieving this within a safe operating space as defined by PBs requires not only a halt to but actually a reversal of existing PB transgressions. Previous studies suggest that such a reconciliation might be possible, but these were based on aggregate representations of PBs (not accounting for the spatial patterns of limits, transgressions and interactions) or considered only one boundary in isolation17,20–23. Here, we systematically quantify to what extent current food production depends on local to global transgressions of the PBs for biosphere integrity, land-system change, freshwater use and nitrogen (N) flows, along with the potential of a range of solutions to avoid these transgressions and still increase food supply (Table 1). To this end, we configured an internally consistent process-based model of the terrestrial biosphere including agriculture (LPJmL) with multiple spatially distributed PBs and their interactions. LPJmL is among the longest-established and best-evaluated biosphere models, showing robust performance regarding simulation of, for example, carbon, water and crop yield dynamics (Supplementary Figs. 1 and 2 and Supplementary Table 1; see ref. 24 for a comprehensive benchmarking and Supplementary Methods for more detail on model evaluations). In principle following established definitions4, we refine the computation of some PBs with respect to their regional patterns and interactions (Methods), providing globally gridded precautionary limits to human interference with the Earth system at a level of great detail. In particular, we account for the evidence that many PBs need to be represented spatially explicitly4 to cover their

Gerten, Dieter↗

Bivalent recognition of fatty acyl-CoA by a human integral membrane palmitoyltransferase

S-acylation, also known as palmitoylation, is the most abundant form of protein lipidation in humans. This reversible posttranslational modification, which targets thousands of proteins, is catalyzed by 23 members of the DHHC family of integral membrane enzymes. DHHC enzymes use fatty acyl-CoA as the ubiquitous fatty acyl donor and become autoacylated at a catalytic cysteine; this intermediate subsequently transfers the fatty acyl group to a cysteine in the target protein. Protein S-acylation intersects with almost all areas of human physiology, and several DHHC enzymes are considered as possible therapeutic targets against diseases such as cancer. These efforts would greatly benefit from a detailed understanding of the molecular basis for this crucial enzymatic reaction. Here, in this study, we combine X-ray crystallography with all-atom molecular dynamics simulations to elucidate the structure of the precatalytic complex of human DHHC20 in complex with palmitoyl CoA. The resulting structure reveals that the fatty acyl chain inserts into a hydrophobic pocket within the transmembrane spanning region of the protein, whereas the CoA headgroup is recognized by the cytosolic domain through polar and ionic interactions. Biochemical experiments corroborate the predictions from our structural model. We show, using both computational and experimental analyses, that palmitoyl CoA acts as a bivalent ligand where the interaction of the DHHC enzyme with both the fatty acyl chain and the CoA headgroup is important for catalytic chemistry to proceed. This bivalency explains how, in the presence of high concentrations of free CoA under physiological conditions, DHHC enzymes can efficiently use palmitoyl CoA as a substrate for autoacylation.

59 BASIC BIOLOGICAL SCIENCES↗

Transition form factors: γ * + p → Δ ( 1232 ) , Δ ( 1600 )

We report that electroproduction form factors describing the γ * p → Δ + ( 1232 ) , Δ + ( 1600 ) transitions are computed using a fully dynamical diquark-quark approximation to the Poincaré-covariant three-body bound-state problem in relativistic quantum field theory. In this approach, the Δ ( 1600 ) is an analogue of the Roper resonance in the nucleon sector, appearing as the simplest radial excitation of the Δ ( 1232 ) . Precise measurements of the γ * p → Δ + ( 1232 ) transition already exist on 0 ≤ Q 2 ≲ 8 GeV 2 , and the calculated results compare favorably with the data outside the meson-cloud domain. The predictions for the γ * p → Δ + ( 1600 ) magnetic dipole and electric quadrupole transition form factors are consistent with the empirical values at the real photon point, and extend to Q 2 ≈ 6 m p 2 , enabling a meaningful direct comparison with experiment once analysis of existing data is completed. In both cases, the electric quadrupole form factor is particularly sensitive to deformation of the Δ -baryons. Interestingly, while the γ * p → Δ + ( 1232 ) transition form factors are larger in magnitude than those for γ * p → Δ + ( 1600 ) in some neighborhood of the real photon point, this ordering is reversed on Q 2 ≳ 2 m p 2 , suggesting that the γ * p → Δ + ( 1600 ) transition is more localized in configuration space.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Accurate machine-learning predictions of coercivity in high-performance permanent magnets

Increased demand for high-performance permanent magnets in the electric vehicle and wind-turbine industries has prompted the search for cost-effective alternatives. Discovering magnetic materials with the desired intrinsic and extrinsic permanent magnet properties presents a significant challenge to researchers because of issues with the global supply of rare-earth elements, material stability, and a low maximum magnetic energy product BH max . While first-principles density functional theory (DFT) predicts materials’ magnetic moments, magnetocrystalline anisotropy constants, and exchange interactions, it cannot compute extrinsic properties such as coercivity (H c ). Although it is possible to calculate H c theoretically with micromagnetic simulations, the predicted value is larger than the experiment by almost an order of magnitude due to the Brown paradox. To circumvent these issues, we employ machine-learning (ML) methods on an extensive database obtained from experiments, DFT calculations, and micromagnetic modeling. The use of a large experimental dataset enables realistic H c predictions for materials such as Ce-doped Nd 2 ⁢Fe 14 ⁢B, comparing favorably against micromagnetically simulated coercivities. Remarkably, our ML model accurately identifies uniaxial magneto-crystalline anisotropy as the primary contributor to H c . With DFT calculations, we predict the Nd-site-dependent magnetic anisotropy behavior in Nd 2 ⁢Fe 14 ⁢B, confirming that Nd 4⁢g sites mainly contribute to uniaxial magnetocrystalline anisotropy, and also calculate the Curie temperature (T c ). Finally, both calculated results are in good agreement with the experiments. The coupled experimental dataset and ML modeling with DFT input predict H c with far greater accuracy and speed than was previously possible using micromagnetic modeling. Further, we reverse engineer the grain-boundary and intergrain exchange coupling with micromagnetic simulations by employing the ML predictions.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Microwave Properties of Ice-Phase Hydrometeors for Radar and Radiometers: Sensitivity to Model Assumptions

A simplied framework is presented for assessing the qualitative sensitivities of computed microwave properties, satellite brightness temperatures, and radar reflectivities to assumptions concerning the physical properties of ice-phase hydrometeors. Properties considered included the shape parameter of a gamma size distribution andthe melted-equivalent mass median diameter D0, the particle density, dielectric mixing formula, and the choice of complex index of refraction for ice. We examine these properties at selected radiometer frequencies of 18.7, 36.5, 89.0, and 150.0 GHz; and radar frequencies at 2.8, 13.4, 35.6, and 94.0 GHz consistent with existing and planned remote sensing instruments. Passive and active microwave observables of ice particles arefound to be extremely sensitive to the melted-equivalent mass median diameter D0 ofthe size distribution. Similar large sensitivities are found for variations in the ice vol-ume fraction whenever the geometric mass median diameter exceeds approximately 1/8th of the wavelength. At 94 GHz the two-way path integrated attenuation is potentially large for dense compact particles. The distribution parameter mu has a relatively weak effect on any observable: less than 1-2 K in brightness temperature and up to 2.7 dB difference in the effective radar reflectivity. Reversal of the roles of ice and air in the MaxwellGarnett dielectric mixing formula leads to a signicant change in both microwave brightness temperature (10 K) and radar reflectivity (2 dB). The choice of Warren (1984) or Warren and Brandt (2008) for the complex index of refraction of ice can produce a 3%-4% change in the brightness temperature depression.

Microwave properties↗

Analysis of Exercise Loads to Inform Vibration Isolation System Design

BACKGROUND: This study was conducted with the primary interest of providing data that would inform Vibration Isolation and Stabilization (VIS) system design and performance for the European Enhanced Exploration Exercise Device (E4D). In preparation for the International Space Station (ISS) in-flight demonstration, a list of critical Human Health Countermeasures (HHC) exercises was compiled [1]. The goal of this study was to assess the ground reaction forces and moments imposed by an exercising subject in each of the six VIS Degrees of Freedom (DOFs) during a comprehensive set of these critical exercises performed on the E4D. METHODS AND RESULTS: The ISS in-flight demonstration list of critical exercises included seated aerobic rowing, bent-over rowing, cycling, front squats, back squats, conventional deadlifts, Romanian deadlifts, heel raises, overhead presses, reverse chops, and power clean presses. At the NASA Johnson Space Center (JSC) Prototype Immersive Technology (PIT) laboratory, motion capture data were collected on critical E4D exercises for six subjects. At the NASA JSC Active Response Gravity Offload System (ARGOS) facility, additional motion capture and load cell data were collected on offloaded trials for four subjects. Select data were extrapolated to represent a 5th percentile female subject and a 95th percentile male subject. A previous investigation comparing the forces obtained from the load cell and from motion capture based data found a satisfactory level of agreement between the two measurements [2]. The motion capture based data were analyzed for this study since it is driven by the subject’s trajectory alone, automatically excluding any forces exerted on the subject by the ARGOS offloading harness. The OpenSim [3, 4] biomechanical simulation inverse kinematics tool was used to calculate the joint angles based on the locations of motion capture markers placed at key positions on the subject’s body. An OpenSim plugin was then used to obtain the forces and moments generated by the subject during each trial, with the moments computed relative to the equilibrium location of the subject’s feet [5]. The force of gravity was also removed to simulate the loads generated by the exercise when performed in microgravity. The load plots for each trial were generated and visually analyzed to obtain the magnitudes of the peak loads for each exercise in each DOF. The typical period of exercise for each trial was also estimated and used to calculate the frequency for each trial. The exercise loads data was then organized in multiple ways to capture different aspects of the data. As a result of this study, we present a summary of the load magnitudes observed during these critical exercises utilizing the E4D.

C A Bell↗

Risks and Benefits of Pressurized Water Reactor Coupling to Energy Storage and Water Desalination

This research explored potential options to improve nuclear pressurized water reactors’ (PWRs) operational flexibility through integration with thermal energy storage (TES) and water desalination technologies. Benefits and challenges of TES technologies were reviewed, which includes sensible heat storage systems, latent heat storage systems, and thermochemical storage systems. Water desalination technologies were reviewed and compared, which includes multi-stage flash, reverse osmosis, and multi-effect distillation. The multi-effect distillation technology was selected to be coupled with a generic PWR. Risk of this cogeneration was quantified using the probabilistic risk assessment (PRA) methodology. Results suggest that nuclear-desalination cogeneration can be done safely because the additional risk to the PWR is trivial, and even in certain cases the PWR risk is decreased. This cogeneration operation is expected to improve efficiency of thermal utilization and the nuclear plant’s revenues. In summary, this study supports the potential of nuclear-desalination cogeneration systems to address water scarcity while optimizing nuclear energy use and managing safety.

22 - GENERAL STUDIES OF NUCLEAR REACTORS↗

Unitary Quantization and Para-Fermi Statistics of Order 2

We consider the relationship between the unitary quantization scheme and the para-Fermi statistics of order 2. We propose an appropriate generalization of Green’s ansatz, which has made it possible to transform bilinear and trilinear commutation relations for the creation and annihilation operators for two different para-Fermi fields φ{sub a} and φ{sub b} into identities. We also propose a method for incorporating para-Grassmann numbers ξ{sub k} into the general unitary quantization scheme. For the parastatistics of order 2, a new fact has been revealed: the trilinear relations containing both para-Grassmann variables ξ{sub k} and field operators ak and bm are transformed under a certain reversible mapping into unitary equivalent relations in which commutators are replaced by anticommutators, and vice versa. It is shown that this leads to the existence of two alternative definitions of the coherent state for para-Fermi oscillators. The Klein transformation for Green’s components of operators a{sub k} and b{sub m} is constructed in explicit form, which enabled us to reduce the initial commutation rules for the components to the normal commutation relations for ordinary Fermi fields. We have analyzed a nontrivial relationship between the trilinear commutation relations of the unitary quantization scheme and the so-called Lie supertriple system. The possibility of incorporating the Duffin–Kemmer–Petiau theory into the unitary quantization scheme is discussed briefly.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Modification and analysis of context-specific genome-scale metabolic models: methane-utilizing microbial chassis as a case study

ABSTRACT Context-specific genome-scale model (CS-GSM) reconstruction is becoming an efficient strategy for integrating and cross-comparing experimental multi-scale data to explore the relationship between cellular genotypes, facilitating fundamental or applied research discoveries. However, the application of CS modeling for non-conventional microbes is still challenging. Here, we present a graphical user interface that integrates COBRApy, EscherPy, and RIPTiDe, Python-based tools within the BioUML platform, and streamlines the reconstruction and interrogation of the CS genome-scale metabolic frameworks via Jupyter Notebook. The approach was tested using -omics data collected for Methylotuvimicrobium alcaliphilum 20Z R , a prominent microbial chassis for methane capturing and valorization. We optimized the previously reconstructed whole genome-scale metabolic network by adjusting the flux distribution using gene expression data. The outputs of the automatically reconstructed CS metabolic network were comparable to manually optimized i IA409 models for Ca-growth conditions. However, the CS model questions the reversibility of the phosphoketolase pathway and suggests higher flux via primary oxidation pathways. The model also highlighted unresolved carbon partitioning between assimilatory and catabolic pathways at the formaldehyde-formate node. Only a very few genes and only one enzyme with a predicted function in C1 metabolism, a homolog of the formaldehyde oxidation enzyme ( fae1-2 ), showed a significant change in expression in La-growth conditions. The CS-GSM predictions agreed with the experimental measurements under the assumption that the Fae1-2 is a part of the tetrahydrofolate-linked pathway. The cellular roles of the tungsten (W)-dependent formate dehydrogenase ( fdhAB ) and fae homologs ( fae1-2 and fae3 ) were investigated via mutagenesis. The phenotype of the f dhAB mutant followed the model prediction. Furthermore, a more significant reduction of the biomass yield was observed during growth in La-supplemented media, confirming a higher flux through formate. M. alcaliphilum 20Z R mutants lacking fae1-2 did not display any significant defects in methane or methanol-dependent growth. However, contrary to fae1, the fae1-2 homolog failed to restore the formaldehyde-activating enzyme function in complementation tests. Overall, the presented data suggest that the developed computational workflow supports the reconstruction and validation of CS-GSM networks of non-model microbes. IMPORTANCE The interrogation of various types of data is a routine strategy to explore the relationship between genotype and phenotype. An efficient approach for integrating and cross-comparing experimental multi-scale data in the context of whole-genome-based metabolic network reconstruction becomes a powerful tool that facilitates fundamental and applied research discoveries. The present study describes the reconstruction of a context-specific (CS) model for the methane-utilizing bacterium, Methylotuvimicrobium alcaliphilum 20Z R . M. alcaliphilum 20Z R is becoming an attractive microbial platform for the production of biofuels, chemicals, pharmaceuticals, and bio-sorbents for capturing atmospheric methane. We demonstrate that this pipeline can help reconstruct metabolic models that are similar to manually curated networks. Furthermore, the model is able to highlight previously overlooked pathways, thus advancing fundamental knowledge of non-model microbial systems or promoting their development toward biotechnological or environmental implementations.

Kulyashov, M. A.↗

APT malware static trace analysis through bigrams and graph edit distance

Research and business organizations are vulnerable to attack by malware, particularly advanced persistent threat malware tailored for a specific target. Malware identification is made more difficult because samples can be subtly altered to avoid detection by methods that check for an identical match to known code. Different versions of an original piece of malware form a malware family. And when new malicious software is identified, reverse engineers seek to identify its origin and purpose. Knowing whether new malware is from a known family or a previously unobserved family aids the efficiency of reverse engineers. Furthermore, this article presents a three-stage method to classify new malware into a family by comparing its similarity to existing static traces, and assigning it to the most similar family. First, a fast filtering method creates a shortlist of samples with some similarity to the new malware, using a simple bigram comparison of the instructions. The second stage takes the call graph view of the shortlisted static traces and uses simulated annealing to estimate the graph edit distance, a measure of dissimilarity between graphs. Finally, a random forest classifier combines the previous two results to predict the family to which a new sample belongs. Our paper also considers how to detect when malware is from a new family.

97 MATHEMATICS AND COMPUTING↗

Octahedral to tetrahedral bonding transitions in the local structure of phase change optical media Ge 2 Sb 2 Se 5 x Te 5-5 x with Se doping

Random access memories utilize fast, reversible switching between ordered and disordered states of matter in phase change materials (PCMs) such as Ge2Sb2Te5-5x. The short-range structure in the disordered phase has been described either as (i) a network of Ge tetrahedra or (ii) Peierls distorted Ge/Sb octahedra. The PCM transition was investigated in bulk Ge2Sb2Se5xTe5-5x (GSST), in which amorphization sets in with Se doping (x ≈ 0.85) upon quenching. GSST has a hexagonal crystalline ground state with Ge/Sb octahedral coordination, but the phase change transition to the amorphous state that is only observed when the system is quenched brings a short-range structure with sharp, tetrahedrally coordinated Ge/Sb correlations and shortened bonds that are distinctly different from the expected octahedral pairing.

97 MATHEMATICS AND COMPUTING↗

RAMSeS: Rapid Analysis of Mission Software Systems

Over the past few decades, software has become ubiquitous as it has been integrated into nearly every aspect of society, including household appliances, consumer electronics, industrial control systems, public utilities, government operations, and military systems. Consequently, many critical national security questions can no longer be answered convincingly without understanding software, including its purpose, its capabilities, its flaws, its communication, or how it processes and stores data. As software continues to become larger, more complex, and more widespread, our ability to answer important mission questions and reason about software in a timely way is falling behind. Today, to achieve such understanding of third-party software, we rely predominantly on the ability of reverse engineering experts to manually answer each particular mission question for every software system of interest. This approach often requires heroic human effort that nevertheless fails to meet current mission needs and will never scale to meet future needs. The result is an emerging crisis: a massive and expanding gap between the national security need to answer mission questions about software and our ability to do so. Sandia National Laboratories has established the Rapid Analysis of Mission Software Systems (RAMSeS) effort, a collaborative long-term effort aimed at dramatically improving our nation’s ability to answer mission questions about third-party software by growing an ecosystem of tools that augment the human reverse engineer through automation, interoperability, and reuse. Focusing on static analysis of binary programs, we are attempting to identify reusable software analysis components that advance our ability to reason about software, to automate useful aspects of the software analysis process, and to integrate new methodologies and capabilities into a working ecosystem of tools and experts. We aim to integrate existing tools where possible, adapt tools when modest modifications will enable them to interoperate, and implement missing capability when necessary. Although we do hope to automate a growing set of analysis tasks, we will approach this goal incrementally by assisting the human in an ever-widening range of tasks.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

A New Route Toward Atomically Flat and Defect-Free Ge/SiGe Planar Heterostructures

Germanium-based planar heterostructures are emerging as versatile platforms for realizing quantum devices. In particular, planar Ge/SiGe quantum wells (QWs) host hole states with exceptionally high mobility and strong, electrically tunable spin–orbit interactions, enabling full electrical control of quantum information. A key requirement for these systems is the growth of microscopic, defect-free, atomically flat Ge QW heterostructures on relaxed or reverse-graded SiGe buffer layers, as well as on commercial Ge substrates. While several physical deposition techniques have demonstrated high-quality planar Ge/SiGe QWs, a major challenge remains: minimizing defect density typically requires high growth temperatures, which are incompatible with standard CMOS process flows. Here, we present a convenient low-temperature process for realizing high-quality planar SiGe/Ge heterostructures using a combination of thermal and electron-beam evaporation. We systematically map the effects of ex-situ and in-situ substrate preparation protocols, growth temperature, and post-deposition annealing conditions, and correlate these parameters with surface roughness and defect density. We find that in-situ oxide desorption conditions and post-annealing parameters have the most pronounced impact on improving surface quality. Under optimized conditions, we achieve atomically smooth surfaces with root-mean-square roughness σrms​ ≤ 10 Å and negligible defect density. Interestingly, thermally evaporated Ge layers exhibit oriented triangular crystallites that elongate upon post-annealing in the presence of high Ge vapor pressure. These results demonstrate that this simple, low-temperature deposition approach is a viable and effective route for achieving high-quality Ge QW heterostructures, with strong potential for scalable quantum computing and sensing applications.

Tripathi, Malvika [Fermilab] (ORCID:00000001989251↗

A New Route Toward Atomically Flat and Defect-Free Ge/SiGe Planar Heterostructures

Germanium-based planar heterostructures are emerging as versatile platforms for realizing quantum devices. In particular, planar Ge/SiGe quantum wells (QWs) host hole states with exceptionally high mobility and strong, electrically tunable spin–orbit interactions, enabling full electrical control of quantum information. A key requirement for these systems is the growth of microscopic, defect-free, atomically flat Ge QW heterostructures on relaxed or reverse-graded SiGe buffer layers, as well as on commercial Ge substrates. While several physical deposition techniques have demonstrated high-quality planar Ge/SiGe QWs, a major challenge remains: minimizing defect density typically requires high growth temperatures, which are incompatible with standard CMOS process flows. Here, we present a convenient low-temperature process for realizing high-quality planar SiGe/Ge heterostructures using a combination of thermal and electron-beam evaporation. We systematically map the effects of ex-situ and in-situ substrate preparation protocols, growth temperature, and post-deposition annealing conditions, and correlate these parameters with surface roughness and defect density. We find that in-situ oxide desorption conditions and post-annealing parameters have the most pronounced impact on improving surface quality. Under optimized conditions, we achieve atomically smooth surfaces with root-mean-square roughness σrms​ ≤ 10 Å and negligible defect density. Interestingly, thermally evaporated Ge layers exhibit oriented triangular crystallites that elongate upon post-annealing in the presence of high Ge vapor pressure. These results demonstrate that this simple, low-temperature deposition approach is a viable and effective route for achieving high-quality Ge QW heterostructures, with strong potential for scalable quantum computing and sensing applications.

Tripathi, Malvika [Fermilab] (ORCID:00000001989251↗

Emergence of Moiré Dirac Fermions at the Interface of Topological and 2D Magnetic Insulators

Dirac Fermions on the surface of the topological insulator are spin-momentum locked and topologically protected, making them interesting for spintronics and quantum computing applications. When in proximity to magnetism and superconductivity, these electronic states could result in quantum anomalous Hall effect and Majorana Fermions, respectively. An even more dramatic enrichment of the topological insulators’ physics is expected for moiré superlattices, where, analogously to the twisted graphene layers, electronic correlations could be strongly enhanced, a task previously notoriously difficult to achieve in topological matter. Until now, the experimental confirmation of such moiré properties has remained elusive. Here, we grow the two-dimensional van der Waals magnetic insulators FeX 2 (where X = Cl or Br) on top of the topological insulator Bi 2 Se 3 and establish a moiré superlattice formation at the interface. By means of scanning tunneling microscopy and angle-resolved photoemission spectroscopy, we investigate the electronic properties of the formed moiré superlattice and demonstrate its tunability via the film choice. We reveal replicated Dirac cones and focus on their intersections, which, in the case of FeBr 2 /Bi 2 Se 3 , occur below the Fermi level. We identify the signatures of small gaps at the intersections around the M̅ i points that we attribute to the moiré interaction. These findings point to the specific type of magnetic moiré potential that breaks the time-reversal symmetry at these points but not at the $\barΓ$ point. Our observations provide an intriguing scenario of correlated topological phases induced by moiré superlattice that may result in topological superconductivity, high Chern number phases, and exotic noncollinear magnetic textures.

2D magnets↗