Formal Methods for Robustness Checking of Radiation-Hardened-by-Design Microelectronics
Explore the source record for details and available documents.
SEARCH · Search NASA
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Explore the source record for details and available documents.
The exascale computing era comes with the release of MFIX-Exa, a new code for studying gas-particle fluidization using CFD-DEM and PIC models on massively parallel, heterogeneous high-performance computing architectures. However, as compute resources continue to grow in scale and complexity, so too does the impetus to use them efficiently. Here, we propose a novel bootstrapping method to minimize neglected simulation time and cast the approach more broadly among a growing field of multi-fidelity methods.
The critical component of a risk assessment study in evaluating GCS is an analysis of uncertainty in CO2 modeling. In such analyses, direct numerical simulation of CO2 flow and leakage requires many time-consuming model runs. Alternatively, analytical methods have been developed which allow fast and efficient estimation of CO2 storage and leakage, although restrictive assumptions on formation rock and fluid properties are employed. In this study, an intermediate approach is proposed based on the Design of Experiment and Response Surface methodology, which consists of using a limited number of numerical simulations to estimate a prediction outcome as a combination of the most influential uncertain site properties. The methodology can be implemented within a Monte Carlo framework to efficiently assess parameter and prediction uncertainty while honoring the accuracy of numerical simulations. The choice of the uncertain properties is flexible and can include geologic parameters that influence reservoir heterogeneity, engineering parameters that influence gas trapping and migration, and reactive parameters that influence the extent of fluid/rock reactions. The method was tested and verified on modeling long-term CO2 flow, non-isothermal heat transport, and CO2 dissolution storage by coupling two-phase flow with explicit miscibility calculation using an accurate equation of state that gives rise to convective mixing of formation brine variably saturated with CO2. All simulations were performed using three-dimensional high-resolution models including a target deep saline aquifer, overlying caprock, and a shallow aquifer. To evaluate the uncertainty in representing reservoir permeability, sediment hierarchy of a heterogeneous digital stratigraphy was mapped to create multiple irregularly shape stratigraphic models of decreasing geologic resolutions: heterogeneous (reference), lithofacies, depositional environment, and a (homogeneous) geologic formation. To ensure model equivalency, all the stratigraphic models were successfully upscaled from the reference heterogeneous model for bulk flow and transport predictions (Zhang & Zhang, 2015). GCS simulation was then simulated with all models, yielding insights into the level of parameterization complexity that is needed for the accurate simulation of reservoir pore pressure, CO2 storage, leakage, footprint, and dissolution over both short (i.e., injection) and longer (monitoring) time scales. Important uncertainty parameters that impact these key performance metrics were identified for the stratigraphic models as well as for the heterogeneous model, leading to the development of reduced/simplified models at lower characterization cost that can be used for the reservoir uncertainty analysis. All the CO2 modeling was conducted using PFLOTRAN – a massively parallel, multiphase, multi-component, and reactive transport simulator developed by a multi-laboratory DOE/SciDAC (Scientific Discovery through Advanced Computing) project (Zhang et al., 2017, in review). Within the uncertainty analysis framework, increasing reservoir depth were investigated to explore its effect on the uncertainty outcomes and the potential for developing gravity-stable injection with increased storage security (Dai et al., 20126; Dai et al., 2017, in review). Finally, to accurately model CO2 fluid-rock reactions and resulting long-term storage as secondary carbonate minerals, a modified kinetic rate law for general mineral dissolution and precipitation was proposed and verified that is invariant to a scale transformation of the mineral formula weight. This new formulation will lead to more accurate assessment of mineral storage over geologic time scales (Lichtner, 2016).
With photovoltaic generation increasing, the wide-area oscillation has a vital influence on the long-distance power transmission of photovoltaic power. For an efficient integration of photovoltaic generation, a gain scheduling wide-area damping controller (WADC) is designed to guarantee system damping performance under a wide-area signal delay and a changing operating condition, which could be aggravated by the fluctuant and uncertain photovoltaic generation. A linear parameter-varying (LPV) model is proposed to represent all possible operating conditions within varying ranges of the photovoltaic generation and the load. Then, a tensor product (TP) model transformation is applied to transform the LPV model into a TP model. Based on the TP model, a parallel distributed compensation controller (PDC) framework is adopted to design the gain scheduling WADC, which is solved by linear matrix inequalities (LMIs) considering the accommodation to the random interval delay. In addition, a staircase basis function method is proposed to reduce the conservatism of LMIs within the PDC framework. The gain of the proposed WADC will be adjusted according to the operating condition acknowledged through the real-time scheduling and control center, once a wide-area oscillation is detected. Lastly, the performance of the proposed WADC is verified by a 2-area 4-machine system and a 68-bus 16-machine system.
This paper is concerned with algorithms for calibration of direction-dependent effects (DDE) in aperture synthesis radio telescopes (ASRT). After correction of direction-independent effects (DIE) using self-calibration, imaging performance can be limited by the imprecise knowledge of the forward gain of the elements in the array. In general, the forward gain pattern is directionally dependent and varies with time due to a number of reasons. Some factors, such as rotation of the primary beam with Parallactic Angle for Azimuth–Elevation mount antennas are known a priori. Some, such as antenna pointing errors and structural deformation/projection effects for aperture-array elements cannot be measured a priori. Thus, in addition to algorithms to correct for DD effects known a priori, algorithms to solve for DD gains are required for high dynamic range imaging. Here, we discuss a mathematical framework for antenna-based DDE calibration algorithms and show that this framework leads to computationally efficient optimal algorithms that scale well in a parallel computing environment. As an example of an antenna-based DD calibration algorithm, we demonstrate the Pointing SelfCal (PSC) algorithm to solve for the antenna pointing errors. Our analysis show that the sensitivity of modern ASRT is sufficient to solve for antenna pointing errors and other DD effects. We also discuss the use of the PSC algorithm in real-time calibration systems and extensions for antenna Shape SelfCal algorithm for real-time tracking and corrections for pointing offsets and changes in antenna shape.
This report aims to empirically understand the limits of machine learning when applied to Big Data. We observe that recent innovations in being able to collect, access, organize, integrate, and query massive amounts of data from a wide variety of data sources have brought statistical data mining and machine learning under more scrutiny, evaluation and application for gleaning insights from the data than ever before. Much is expected from algorithms without understanding their limitations at scale while dealing with massive datasets. In that context, we pose and address the following questions How does a machine learning algorithm perform on measures such as accuracy and execution time with increasing sample size and feature dimensionality? Does training with more samples guarantee better accuracy? How many features to compute for a given problem? Do more features guarantee better accuracy? Do efforts to derive and calculate more features and train on larger samples worth the effort? As problems become more complex and traditional binary classification algorithms are replaced with multi-task, multi-class categorization algorithms do parallel learners perform better? What happens to the accuracy of the learning algorithm when trained to categorize multiple classes within the same feature space? Towards finding answers to these questions, we describe the design of an empirical study and present the results. We conclude with the following observations (i) accuracy of the learning algorithm increases with increasing sample size but saturates at a point, beyond which more samples do not contribute to better accuracy/learning, (ii) the richness of the feature space dictates performance - both accuracy and training time, (iii) increased dimensionality often reflected in better performance (higher accuracy in spite of longer training times) but the improvements are not commensurate the efforts for feature computation and training and (iv) accuracy of the learning algorithms drop significantly with multi-class learners training on the same feature matrix and (v) learning algorithms perform well when categories in labeled data are independent (i.e., no relationship or hierarchy exists among categories).
Purpose: This study presents a novel idea of using automated planning technique for parallel-opposed prostate plans with pencil beam scanning proton therapy. Methods: A random 5 clinical prostate patients treated with parallel-opposed modulated-scanning proton beam in our proton center were selected in this study. All of the 5 cases were re-planned with in-house developed python scripts integrated into RayStation 4.0 clinical version. This automatic tool was designed to perform patient DICOM data import, external structure contours, CT density assignment, prescription to PTV assignment, beam placement, optimization, and dose calculation. Results: The mean time to generate a complete treatment plan was 1 minute per plan. For the automatically generated plans, 5 out of 5 plans (100%) were deemed clinically acceptable by one experienced radiation oncologist. In addition, the automated plans were overall dosimetrically equivalent to the clinical plans when scored for target coverage, rectum and bladder dose. Mann-Whitney U tests did not show significant dosimetric differences for normal tissue structures between the clinical and automated plans. Conclusion: We have developed a robust and automated method for fully inversed planned paralleled-opposed prostate proton treatment planning. This efficient method can be readily integrated into clinical practice. The tool produces clinically acceptable plans using only manually contoured anatomic structures and simulation CT data set. We anticipate that this tool will not only improve patient access to high-quality proton treatment by simplifying the planning process and will also reduce the effort and cost of incorporating more advanced planning into clinical practice in the near future.
An open-source program named VeloxChem has been developed for the calculation of electronic real and complex linear response functions at the levels of Hartree–Fock and Kohn–Sham density functional theories. With an object-oriented program structure written in a Python/C++ layered fashion, VeloxChem enables time-efficient prototyping of novel scientific approaches without sacrificing computational efficiency, so that molecular systems involving up to and beyond 500 second-row atoms (or some 10,000 contracted and in part diffuse Gaussian basis functions) can be routinely addressed. In addition, VeloxChem is equipped with a polarizable embedding scheme for the treatment of the classical electrostatic interactions with an environment that in turn is modeled by atomic site charges and polarizabilities. The underlying hybrid message passing interface (MPI)/open multiprocessing (OpenMP) parallelization scheme makes VeloxChem suitable for execution in high-performance computing cluster environments, showing even slightly beyond linear scaling for the Fock matrix construction with use of up to 16,384 central processing unit (CPU) cores. An efficient—with respect to convergence rate and overall computational cost—multifrequency/gradient complex linear response equation solver enables calculations not only of conventional spectra, such as visible/ultraviolet/X-ray electronic absorption and circular dichroism spectra, but also time-resolved linear response signals as due to ultra-short weak laser pulses.
Each TNB transmission tower requires a tower footing resistance (TFR) with a lower grounding resistance value that depends on the transmission line voltage. For 132kV and 275kV tower, the TFR must less than 10Ω and 500kV tower must less than 5Ω. The TFR is changeable with variable factors such as soil resistivity. Low TFR provides essential protection to the fault such as lightning strike that may occur at any time. The fault current flow to the lowest resistance path and easily disperses to earth. Back flashover voltage across the insulator of transmission lines may occur when the TFR is high. The TFR is influenced by soil resistivity. There are three parameters affecting the soil resistivity; moisture content, salt content and temperature of the soil. High moisture content in soil will reduce the soil resistivity and resultant low TFR. Small scale moisture control by using Micro Reservoir (MR) irrigation with semi-permeable membranes have the power to offer the stable moisture in soil. By using osmosis concept, it is the process of net movement of water molecules from high potential water to lower potential water though a semi permeable membrane. The MR can withstand for 3 to 5 days without continuous water supply. The MR installed in the centre of the tower that contains a multiple parallel of electrode rods. The concentrated of electrode rods grounding configuration with a combination of MR will improve the TFR even at multilayer soil. As a result, MR gives a little improvement to TFR. The MR in area of concentrated electrode rod configuration to ensure the soil always wet and moist at all times. The changes in soil affect the tower-footing-resistance. The tower-footing-resistance measurement at afternoon is higher than at evening because of the temperature and moisture content in soil is change due to sun radiation.
Abstract Materials acceleration platforms (MAPs) operate on the paradigm of integrating combinatorial synthesis, high‐throughput characterization, automatic analysis, and machine learning. Within a MAP, one or multiple autonomous feedback loops may aim to optimize materials for certain functional properties or to generate new insights. The scope of a given experiment campaign is defined by the range of experiment and analysis actions that are integrated into the experiment framework. Herein, the authors present a method for integrating many actions within a hierarchical experimental laboratory automation and orchestration (HELAO) framework. They demonstrate the capability of orchestrating distributed research instruments that can incorporate data from experiments, simulations, and databases. HELAO interfaces laboratory hardware and software distributed across several computers and operating systems for executing experiments, data analysis, provenance tracking, and autonomous planning. Parallelization is an effective approach for accelerating knowledge generation provided that multiple instruments can be effectively coordinated, which the authors demonstrate with parallel electrochemistry experiments orchestrated by HELAO. Efficient implementation of autonomous research strategies requires device sharing, asynchronous multithreading, and full integration of data management in experimental orchestration, which to the best of the authors’ knowledge, is demonstrated for the first time herein.
The geological calcium cycle is linked to the geological carbon cycle through the weathering and burial of carbonate rocks. As a result, calcium (Ca) isotope ratios ( 44 Ca/ 40 Ca, expressed as δ 44/40 Ca) can help to constrain ancient carbon cycle dynamics if Ca cycle behavior can be reconstructed. But, the δ 44/40 Ca of carbonate rocks is influenced not only by the δ 44/40 Ca of seawater but also by diagenetic processes and fractionation associated with carbonate precipitation. In this study, we investigate the dominant controls on carbonate δ 44/40 Ca in Upper Permian to Middle Triassic limestones (ca. 253 to 244 Ma) from south China and Turkey. This time interval is ideal for assessing controls on Ca isotope ratios in carbonate rocks because fluctuations in seawater δ 44/40 Ca may be expected based on several large carbon isotope (δ 13 C) excursions ranging from -2 to + 8‰. Parallel negative δ 13 C and δ 44/40 Ca excursions were previously identified across the end-Permian extinction horizon. Here, we find a second negative excursion in δ 44/40 Ca of ~ 0.2‰ within Lower Triassic strata in both south China and Turkey; however, this excursion is not synchronous between regions and thus cannot be interpreted to reflect secular change in the δ 44/40 Ca of global seawater. Additionally, δ 44/40 Ca values from Turkey are consistently 0.3‰ lower than contemporaneous samples from south China, providing further support for local or regional influences. By measuring δ 44/40 Ca and Sr concentrations ([Sr]) in two stratigraphic sections located at opposite margins of the Paleo-Tethys Ocean, we can determine whether the data represent global conditions (e.g., secular variations in the δ 44/40 Ca of seawater) versus local controls (e.g., original mineralogy or diagenetic alteration). The [Sr] and δ 44/40 Ca data from this study are best described statistically by a log-linear correlation that also exists in many previously published datasets of various geological ages. By using a model of early marine diagenetic water-rock interaction, we illustrate that this general correlation can be explained by the chemical evolution of bulk carbonate sediment samples with different initial mineralogical compositions that subsequently underwent recrystallization. Although early diagenetic resetting and carbonate mineralogy strongly influence the carbonate δ 44/40 Ca values, the relationship between [Sr] and δ 44/40 Ca holds potential for reconstructing first-order secular changes in seawater δ 44/40 Ca composition.
Mitigating thermal runaway and cell-to-cell propagation is essential for improving the safety of electric and hybrid vehicles. Enhancing digital twin capabilities to predict battery mechanical abuse is particularly critical for automotive and aerospace applications, where crashworthiness is a key concern. Understanding failure conditions and propagation in battery modules during mechanical abuse is complex due to interactions between structural deformation, heat transfer, electrochemical processes, exothermic reactions and mechanical fracture. While prior studies have focused on modeling cell-level behavior, extending these models to module or pack level is necessary for a system level understating of electric vehicle safety. This study develops coupled large deformation finite element models that simultaneously solve for electrochemistry, material failure, internal short circuit and thermal runaway propagation. The models account for mechanical and thermal interactions between lithium-ion cells and other battery components while the contact interfaces are evolving with time. Model-predicted voltage, temperature and force responses are compared with experimental data for validation. The results demonstrate that the approach captures key failure mechanisms, including thermal propagation through heat transfer, electrical propagation from short circuits in parallel-connected cells, and mechanical propagation via penetration and crack formation. These findings show that computational models are valuable tools for understanding battery module failure and providing insight that can reduce the need for extensive experimental testing.
Crystal structure of the silver formate Ag(HCO{sub 2}) has been determined (orthorhombic, sp.gr. Pccn, a=7.1199(5), b=10.3737(4), c=6.4701(3)Å, V=477.88(4) Å{sup 3}, Z=8). The structure contains isolated formate ions and the pairs Ag{sub 2}{sup 2+} which form the layers in (001) planes (the shortest Ag–Ag distances is 2.919 in the pair and 3.421 and 3.716 Å between the nearest Ag atoms of adjacent pairs). Silver formate is unstable compound which decompose spontaneously vs time. Decomposition was studied using Rietveld analysis of the powder diffraction patterns. It was concluded that the diffusion of Ag atoms leads to the formation of plate-like metal particles as nuclei in the (100) planes which settle parallel to (001) planes of the silver formate matrix. - Highlights: • Silver formate Ag(HCO{sub 2}) was synthesized and characterized. • Layered packing of Ag-Ag pairs in the structure was found. • Decomposition of Ag(HCO{sub 2}) and formation of metal phase were studied. • Rietveld-refined micro-structural characteristics during decomposition reveal the space relationship between the matrix structure and forming Ag phase REPLACE with: Space relationship between the matrix structure and forming Ag phase.
This study aimed to investigate the dynamics of the vaginal wall dose for interstitial brachytherapy (ISBT). A patient undergoing ISBT was selected as the patient case. The phantom case was generated to simulate the patient case in all regards with the exception of parallel needle positions. The vaginal wall was contoured as a 0.5-cm expansion around the vaginal surface of the obturator. The prescribed ISBT dose was 20 Gy in 4 fractions. Six treatment plans were generated by modifying relative dwell times and needle positions (DTNP). The volume of the vaginal wall receiving > 150% of prescription dose (V{sub > 150%}) and D{sub 2cc} of the vaginal wall were compared among plans. The V{sub > 150%} was much larger in the patient case (49.3%) due to unparallel needles compared with the phantom case (14.3%) without modification (plan 1). Among the 6 plans, reduced dwell time (plan 3) and no dwell time (plans 5 and 6) on the vaginal surface needles had the lowest vaginal wall doses with the use of a central obturator needle in both cases. In comparison of patient case plans 1, 3, 5, and 6, V{sub 150%} was 49.2%, 19.0%, 21.3%, and 28.7%, respectively, and D{sub 2cc} was 41.15 Gy, 33.10 Gy, 36.51 Gy, and 34.37 Gy, respectively, which was limited around each loaded needle. Modification of DTNP is able to reduce the vaginal wall volume exceeding 150% of the prescription dose in the patient case. Understanding these dynamics of the vaginal wall dose will improve dose optimization of ISBT and may reduce vaginal morbidities.
According to the article, onshore penetration of oceanic water across the Antarctic continental slope (ACS) plays a major role in global sea level rise by delivering heat to the Antarctic marginal seas, thus contributing to the basal melting of ice shelves. Here the time-mean (Φ mean ) and eddy (Φ eddy ) components of the heat transport (Φ) across the 1,000-m isobath along the entire ACS are investigated using a 0.1° global coupled ocean/sea ice simulation based on the Los Alamos Parallel Ocean Program (POP) and sea ice (Community Ice CodE) models. In this work, comparison with in situ hydrography shows that the model successfully represents the basic water mass structure, with a warm bias in the Circumpolar Deep Water layer. Segments of on-shelf Φ, with lengths of O(100–1,000 km), are found along the ACS. The circumpolar integral of the annually averaged Φ is O(20 TW), with Φ eddy always on-shelf, while Φ mean fluctuates between on-shelf and off-shelf. Stirring along isoneutral surfaces is often the dominant process by which eddies transport heat across the ACS, but advection of heat by both mean flow-topography interactions and eddies can also be significant depending on the along- and across-slope location. The seasonal and interannual variability of the circumpolarly integrated Φ mean is controlled by convergence of Ekman transport within the ACS. Prominent warming features at the bottom of the continental shelf (consistent with observed temperature trends) are found both during high-Southern Annular Mode and high-Niño 3.4 periods, suggesting that climate modes can modulate the heat transfer from the Southern Ocean to the ACS across the entire Antarctic margin.
Binding-activated optical sensors are powerful tools for imaging, diagnostics, and biomolecular sensing. However, biosensor discovery is slow and requires tedious steps in rational design, screening, and characterization. Here we report on a platform that streamlines biosensor discovery and unlocks directed nanosensor evolution through genetically encodable fluorogenic amino acids (FgAAs). Building on the classical knowledge-based semisynthetic approach, we engineer ~15 kDa nanosensors that recognize specific proteins, peptides, and small molecules with up to 100-fold fluorescence increases and subsecond kinetics, allowing real-time and wash-free target sensing and live-cell bioimaging. An optimized genetic code expansion chemistry with FgAAs further enables rapid (~3 h) ribosomal nanosensor discovery via the cell-free translation of hundreds of candidates in parallel and directed nanosensor evolution with improved variant-specific sensitivities (up to ~250-fold) for SARS-CoV-2 antigens. Altogether, this platform could accelerate the discovery of fluorogenic nanosensors and pave the way to modify proteins with other non-standard functionalities for diverse applications.
Extended hydrothermal treatment at an elevated temperature of 220 °C allowed high yield synthesis of manganese oxide nanowires with a todorokite crystal structure suitable for ions intercalation. The flexible, high aspect ratio nanowires are 50–100 nm in diameter and up to several microns long, with 3 × 3 structural tunnels running parallel to the nanowire longitudinal axis. Moreover, the tunnels are occupied by magnesium ions and water molecules, with the chemical composition found to be Mg 0.2 MnO 2 ·0.5H 2 O. The todorokite nanowires were, for the first time, electrochemically tested in both Li-ion and Na-ion cells. A first discharge capacity of 158 mA h g -1 was achieved in a Na-ion system, which was found to be greater than the first discharge capacity in a Li-ion system (133 mA h g -1 ). In spite of the large structural tunnel dimensions, todorokite showed a significant first cycle capacity loss in a Na-ion battery. After 20 cycles, the capacity was found to stabilize around 50 mA h g -1 and remained at this level for 100 cycles. In a Li-ion system, todorokite nanowires showed significantly better capacity retention with 78% of its initial capacity remaining after 100 cycles. Rate capability tests also showed superior performance of todorokite nanowires in Li-ion cells compared to Na-ion cells at higher current rates. Finally, these results highlight the difference in electrochemical cycling behavior of Li-ion and Na-ion batteries for a host material with spacious 3 × 3 tunnels tailored for large Na + ion intercalation.
Magnetic reconnection is a ubiquitous process in plasma physics, driving rapid and energetic events such as coronal mass ejections. Reconnection between magnetic fields with arbitrary shear can be decomposed into an anti-parallel reconnecting component and a non-reconnecting guide-field component, which is parallel to the reconnecting electric field. This guide field modifies the structure of the reconnection layer and the reconnection rate. We present results from experiments on the MAIZE pulsed-power generator (500 kA peak current, 200 ns rise time), which use two exploding wire arrays, tilted in opposite directions, to embed a guide field in the plasma flows with a relative strength b≡B g /B rec =0, 0.4, or 1. The reconnection layers in these experiments have widths that are less than the ion skin depth, d i =c/ω pi , indicating the importance of the Hall term, which generates a distinctive quadrupolar magnetic field structure along the separatrices of the reconnection layer. Using laser imaging interferometry, we observe quadrupolar structures in the line-integrated electron density, consistent with the interaction of the embedded guide field with the quadrupolar Hall field. Our measurements extend over much larger length scales (40d i ) at higher β (∼1) than previous experiments, providing an insight into the global structure of the reconnection layer.