Publications

Results 4326–4350 of 99,299

Search results

Jump to search filters

Atomically Precise Ultra-High Performance 2D MicroElectronics

Mendez Granado, Juan P.; Gao, Xujiao; Misra, Shashank; Owen, James; Randall, John; Kirk, Wiley

Zyvex Labs has created several p-n junction devices with a variety of gaps between the boron and phosphorus electrodes, from 0-7.7 nm, which are now being measured. We have developed a different contacting process based on palladium disilicide rather than aluminium to improve the reliability of the device contacts. Preliminary measurements indicate that these new contacts are successfully contacting the buried dopant layers, which are intact after the overgrowth process. Modelling of the p-n junction properties has made good progress, with the model matching previous published data, and modelling of n-p-n junction devices has begun. This now awaits experimental validation.

More Details

North Slope Alaska and Tethered Balloon Systems: ARM Facilities Monthly Status Update

Whitson, Maria G.; Glen, Andrew G.; Dexheimer, Darielle N.; Helsel, Frederick M.; Cook, Raeann L.; Sparks, Valerie; Woolever, Tracy A.

In support of the DOE Office of Science, Sandia National Labs is one of nine national laboratories which oversees the Atmospheric Radiation Measurement (ARM) Program. The Sandia ARM team has an obligation to fulfill its mission to provide the nation with data to improve the understanding of climate processes and the representation of those processes in climate models. Sandia’s ARM team’s ability to provide detailed and accurate descriptions of the Earth’s atmosphere in diverse climate regimes assists the DOE in development of sustainable solutions to the nation’s energy and environmental challenges. Sandia Labs manages ARM atmospheric facilities along the North Slope of Alaska (NSA) at Utqiagvik as well as the Tethered Balloon System (TBS). Activities conducted at NSA and with the TBS aide in data collection for the ARM data archive. An overview of these activities for the month of December follows.

More Details

Leading Edge Erosion Classification System

Maniaci, David C.; Macdonald, Hamish; Paquette, Joshua A.; Clarke, Ryan J.

The leading edge erosion of wind turbine blades is a common issue that can have a range of implications for the operation and maintenance of the turbine. A variety of methods have attempted to determine the severity of erosion damage, applied in different academic, testing and in-situ settings. This paper describes the current state of the art in categorization, and the individual drivers in assessment. From this foundation, the IEA Wind Task 46 WP3 group collated key considerations from the process of categorizing erosion damage and a proposed erosion classification system was put forward. Trial assessments were performed using the initial system, which led to adjustments to the original proposition. The refined system defines discrete severity levels that concern the wind turbine blade: (1) Visual Condition (concerning blades with/without leading edge protection); (2) Mass Loss; (3) Aerodynamic Performance; and (4) Structural Integrity. The classification system presented is not intended to be a fixed entity. The Task 46 group has already identified specific challenges and opportunities that are applicable to individual use and the overall wind energy industry. The intention is for the system to evolve as improvements are identified, technology improves, and work progresses through other Task 46 activities. Several considerations and recommendations are discussed that could be applicable for future implementation of the system.

More Details

FY22 Proxy App Suite Release

Cook, Jeanine; Aaziz, Omar R.; Vaughan, Courtenay T.; Alexeev, Yuri; Balakrishnan, Ramesh; Fletcher, Graham; Junghans, Christoph; Kim, Youngdae; Liber, Nevin; Liu, Geng; Lund, Amanda; Mayagoitia, Alvaro; Mc Corquodale, Peter; Pavel, Robert; Ramakrishnaiah, Vinay

The FY22 Proxy App Suite Release milestone includes the following activities: Curate a collection of proxy applications that represents the breadth of ECP applications, including application domains, programming models, supporting libraries, numerical methods, etc. Identify gaps in coverage and work with application teams to commission or develop proxies to cover gaps. From within this collection, designate the ”ECP Proxy Application Suite” of 10–15 proxies that balance breadth of coverage with ease of use and quality of implementation. Also designate approximately 6–10 proxies to form the “ECP Machine Learning Proxy Suite”. The ML suite will represent algorithms, use cases, and programming methods typically used by ECP science workloads to incorporate machine learning into their workflows.

More Details

Q: A Sound Verification Framework for Statecharts and Their Implementations

FTSCS 2022 - Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, co-located with SPLASH 2022

Pollard, Samuel D.; Armstrong, Robert C.; Bender, John; Hulette, Geoffrey C.; Mahmood, Raheel; Foulk, James W.; Rawlings, Blake C.; Aytac, Jon M.

We present Q Framework: a verification framework used at Sandia National Laboratories. Q is a collection of tools used to verify safety and correctness properties of high-consequence embedded systems and captures the structure and compositionality of system specifications written with state machines in order to prove system-level properties about their implementations. Q consists of two main workflows: 1) compilation of temporal properties and state machine models (such as those made with Stateflow) into SMV models and 2) generation of ACSL specifications for the C code implementation of the state machine models. These together prove a refinement relation between the state machine model and its C code implementation, with proofs of properties checked by NuSMV (for SMV models) and Frama-C (for ACSL specifications).

More Details

UAS Live Incursion Drills Survey

Burr, Casey

Unmanned aircraft systems (UAS/drones) are rapidly evolving and are considered an emerging threat by nuclear facilities throughout the world. Due to the wide range of UAS capabilities, members of the workforce and security/response force personnel need to be prepared for a variety of drone incursion situations. Tabletop exercises are helpful, but actual live exercises are often needed to evaluate the quick chain of events that might ensue during a real drone fly-in and the essential kinds of information that will help identify the type of drone and pilot. Even with drone detection equipment, the type of UAS used for incursion drills can have a major impact on detection altitude and finding the UAS in the sky. Using a variety of UAS, the U.S. National Nuclear Security Administration (NNSA) Office of International Nuclear Security (INS) would like to offer partners the capability of adding actual UAS into workforce and response exercises to improve overall UAS awareness as well as the procedures that capture critical steps in dealing with intruding drones.

More Details

UAS Activity Profile Survey

Burr, Casey

Commercial vendors, trying to tap into the physical protection of critical infrastructure, are offering nuclear facilities the opportunity to borrow detection counter-unmanned aircraft systems (CUAS) equipment to survey the airspace over and around the facility. However, using one vendor or method of detection (e.g., radio frequency [RF], radar, acoustic, visual) will not necessarily provide a complete airspace profile since no single method can detect all UAS threats. Using several detection technologies, the unmanned aircraft systems (UAS) Team, who supports the U.S. National Nuclear Security Administration (NNSA) Office of International Nuclear Security (INS), would like to offer partners a comprehensive airspace profile of the types and frequency of UAS that fly within and around critical infrastructure. Improved UAS awareness will aid in the risk assessment process.

More Details

Inverse metal-assisted chemical etching of germanium with gold and hydrogen peroxide

Nanotechnology

Lidsky, David A.; Cain, John M.; Hutchins-Delgado, Troy A.; Lu, Tzu M.

Metal-assisted chemical etching (MACE) is a flexible technique for texturing the surface of semiconductors. In this work, we study the spatial variation of the etch profile, the effect of angular orientation relative to the crystallographic planes, and the effect of doping type. We employ gold in direct contact with germanium as the metal catalyst, and dilute hydrogen peroxide solution as the chemical etchant. With this catalyst-etchant combination, we observe inverse-MACE, where the area directly under gold is not etched, but the neighboring, exposed germanium experiences enhanced etching. This enhancement in etching decays exponentially with the lateral distance from the gold structure. An empirical formula for the gold-enhanced etching depth as a function of lateral distance from the edge of the gold film is extracted from the experimentally measured etch profiles. The lateral range of enhanced etching is approximately 10–20 µm and is independent of etchant concentration. At length scales beyond a few microns, the etching enhancement is independent of the orientation with respect to the germanium crystallographic planes. The etch rate as a function of etchant concentration follows a power law with exponent smaller than 1. The observed etch rates and profiles are independent of whether the germanium substrate is n-type, p-type, or nearly intrinsic.

More Details

Preliminary Results for Using Uncertainty and Out-of-distribution Detection to Identify Unreliable Predictions

Doak, Justin E.; Darling, Michael C.

As machine learning (ML) models are deployed into an ever-diversifying set of application spaces, ranging from self-driving cars to cybersecurity to climate modeling, the need to carefully evaluate model credibility becomes increasingly important. Uncertainty quantification (UQ) provides important information about the ability of a learned model to make sound predictions, often with respect to individual test cases. However, most UQ methods for ML are themselves data-driven and therefore susceptible to the same knowledge gaps as the models themselves. Specifically, UQ helps to identify points near decision boundaries where the models fit the data poorly, yet predictions can score as certain for points that are under-represented by the training data and thus out-of-distribution (OOD). One method for evaluating the quality of both ML models and their associated uncertainty estimates is out-of-distribution detection (OODD). We combine OODD with UQ to provide insights into the reliability of the individual predictions made by an ML model.

More Details

An operator-based approach to topological photonics

Nanophotonics (Online)

Cerjan, Alexander; Loring, Terry A.

Recently, the study of topological structures in photonics has garnered significant interest, as these systems can realize robust, nonreciprocal chiral edge states and cavity-like confined states that have applications in both linear and nonlinear devices. However, current band theoretic approaches to understanding topology in photonic systems yield fundamental limitations on the classes of structures that can be studied. Here, we develop a theoretical framework for assessing a photonic structure’s topology directly from its effective Hamiltonian and position operators, as expressed in real space, and without the need to calculate the system’s Bloch eigenstates or band structure. Using this framework, we show that nontrivial topology, and associated boundary-localized chiral resonances, can manifest in photonic crystals with broken time-reversal symmetry that lack a complete band gap, a result that may have implications for new topological laser designs. Finally, we use our operator-based framework to develop a novel class of invariants for topology stemming from a system’s crystalline symmetries, which allows for the prediction of robust localized states for creating waveguides and cavities.

More Details
Results 4326–4350 of 99,299
Results 4326–4350 of 99,299