MPI Runtime Error Detection with MUST: A Scalable and Crash-Safe Approach
Abstract not provided
97 MATHEMATICS AND COMPUTING↗
SEARCH · Engineering Papers
Results for “SAFE”
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.
A Case Study in the Formal Modeling of Safe and Secure Manufacturing Automation
Not provided.
Computer Science↗
Human-in-the-Loop Robot Control for Human-Robot Collaboration: Human Intention Estimation and Safe Trajectory Tracking Control for Collaborative Tasks
Not provided.
Automation & Control Systems↗
Safe and Robust Binary Classification and Fault Detection Using Reinforcement Learning
In this paper, we propose a learning-based method utilizing the Soft Actor-Critic (SAC) algorithm to train a binary Support Vector Machine (SVM) classifier. This classifier is designed to identify valid input spaces in high-dimensional, highly constrained systems while minimizing the total runtime of offline simulations. The simulations adapt their runtime based on the likelihood that a given training input will be informative to the classifier. Furthermore, we introduce a method for using the trained SAC model to predict whether a desired system input is likely to violate constraints, along with a technique to adjust the input as necessary. Additionally, we explore the potential of this model to detect faults or adversarial attacks within the system. The effectiveness of our approach is demonstrated through various simulations of challenging classification problems and a constrained quadrotor model.
Netter, Josh [Georgia Institute of Technology, Atl↗
Safe Exploration Reinforcement Learning for Load Restoration using Invalid Action Masking
This paper addresses the load restoration problem after a power outage event. Our primary proposed methodology uses a multi-agent reinforcement learning method to make the optimal sequential decisions on picking up critical loads. Typically, a negative reward is provided to discourage the agents from selecting decisions that violate physical constraints during the restoration process. However, the main disadvantage of this approach is its difficulty in applying it to large-scale systems due to the curse of dimensionality. This paper introduces the invalid action masking technique to overcome this limitation. The features of this technique include zero physical constraint violations, reduced training time, and stabilization of the explo- ration process. Simulation results are performed in IEEE 13-node and IEEE 123-node systems showing the better performance of the proposed algorithm in comparison to the conventional approaches both in terms of restored power and learning curve.
reinforcement learning, blackstart, artificial int↗
Safe and Stable Secondary Voltage Control of Microgrids Based on Explicit Neural Networks
Not Available
Ma, Zixiao↗
Dedicated short range communications used as fail-safe in autonomous navigation
Here in this paper, we have analyzed scenarios for leader-follower vehicle convoys that have the potential to be unsafe, hazardous, or even fatal in order to provide insight on dangerous driving conditions for autonomous vehicle platoons. These scenarios were created in a simulation software called Prescan, and are made to reflect the behavior of the vehicle dynamics and sensor characteristics of a real-world vehicle convoy that is currently being tested at the American Center for Mobility (ACM) and sponsored by the Department of Energy (DOE), National Renewable Energy Laboratory (NREL), the U.S. Army Combat Capabilities Development Command - Ground Vehicle Systems Center (U.S. Army CC-DEVCOM) and the Michigan Department of Transportation (MDOT). The follower vehicle in this study is tested under multiple scenarios, equipped with a Dedicated Short Range vehicle-to-vehicle communication system (DSRC), a radar-based adaptive cruise control system (ACC) and a precision global positioning system (GPS).
42 ENGINEERING↗
Liquid solution centrifugation for safe, scalable, and efficient isotope separation
A general method of separating isotopes by centrifuging dissolved chemical compounds in a liquid is introduced. This technique can be applied to almost all elements and leads to large separation factors. The method has been demonstrated in several isotopic systems including Ca, Mo, O, and Li with single-stage selectivities of 1.046 to 1.067 per neutron mass difference (e.g., 1.43 in 40 Ca/ 48 Ca), which are beyond the capabilities of various conventional methods. Equations are derived to model the process, and the results agree with those of the experiments. The scalability of the technique has been demonstrated by a three-stage enrichment of 48 Ca with a total 40 Ca/ 48 Ca selectivity of 2.43, and the scalability is more broadly supported through analogies to gas centrifuge, whereby countercurrent centrifugation can further multiply the separation factor by 5 to 10 times per stage in a continuous process. Optimal centrifuge conditions and solutions can achieve both high-throughput and highly efficient isotope separation.
07 ISOTOPE AND RADIATION SOURCES↗
Reduced Hardware NOrec: A Safe and Scalable Hybrid Transactional Memory
Because of hardware TM limitations, software fallbacks are the only way to make TM algorithms guarantee progress. Nevertheless, all known software fallbacks to date, from simple locks to sophisticated versions of the NOrec Hybrid TM algorithm, have either limited scalability or weakened semantics. We propose a novel reduced-hardware (RH) version of the NOrec HyTM algorithm. Instead of an all-software slow path, in our RH NOrec the slow-path is a "mix" of hardware and software: one short hardware transaction executes a maximal amount of initial reads in the hardware, and the second executes all of the writes. Furthermore, this novel combination of the RH approach and the NOrec algorithm delivers the first Hybrid TM that scales while fully preserving the hardware's original semantics of opacity and privatization. Our GCC implementation of RH NOrec is promising in that it shows improved performance relative to all prior methods, at the concurrency levels we could test today.
97 MATHEMATICS AND COMPUTING↗
Safe and Private Forward-trading Platform for Transactive Microgrids
Power grids are evolving at an unprecedented pace due to the rapid growth of distributed energy resources (DER) in communities. These resources are very different from traditional power sources, as they are located closer to loads and thus can significantly reduce transmission losses and carbon emissions. However, their intermittent and variable nature often results in spikes in the overall demand on distribution system operators (DSO). To manage these challenges, there has been a surge of interest in building decentralized control schemes, where a pool of DERs combined with energy storage devices can exchange energy locally to smooth fluctuations in net demand. Building a decentralized market for transactive microgrids is challenging, because even though a decentralized system provides resilience, it also must satisfy requirements such as privacy, efficiency, safety, and security, which are often in conflict with each other. As such, existing implementations of decentralized markets often focus on resilience and safety but compromise on privacy. In this article, we describe our platform, called TRANSAX, which enables participants to trade in an energy futures market, which improves efficiency by finding feasible matches for energy trades, enabling DSOs to plan their energy needs better. TRANSAX provides privacy to participants by anonymizing their trading activity using a distributed mixing service, while also enforcing constraints that limit trading activity based on safety requirements, such as keeping planned energy flow below line capacity. We show that TRANSAX can satisfy the seemingly conflicting requirements of efficiency, safety, and privacy. We also provide an analysis of how much trading efficiency is lost. Trading efficiency is improved through the problem formulation, which accounts for temporal flexibility, and system efficiency is improved using a hybrid-solver architecture. Lastly, we describe a testbed to run experiments and demonstrate its performance using simulation results.
29 ENERGY PLANNING, POLICY, AND ECONOMY↗
Fast Charging of Li-Ion Cells: Part IV. Temperature Effects and “Safe Lines” to Avoid Lithium Plating
Not Available
25 ENERGY STORAGE↗
Watch and Wait Approach for Re-excision After Unplanned Yet Macroscopically Complete Excision of Extremity and Superficial Truncal Soft Tissue Sarcoma is Safe and Does Not Affect Metastatic Risk or Amputation Rate
Background: The benefits of systematic re-excision (RE) after initial unplanned excision (UE) of soft tissue sarcoma (STS) are unknown. Objective: The aim of this study was to evaluate the impact of delayed RE versus systematic RE after UE on overall survival (OS), metastatic relapse-free survival (MRFS), local relapse-free survival (LRFS), and rate of amputation. Methods: Patients who underwent complete UE, without metastasis or residual disease, for primary extremity or superficial STS between 2007 and 2013 were analyzed. The amputation rate, LRFS, MRFS, and OS were assessed in cases of systematic RE in sarcoma referral centers (Group A), systematic RE outside of community centers (Group B), or without RE (Group C). Results: Groups A, B, and C included 300 (48.2%), 71 (11.4%), and 251 (40.4%) patients, respectively. Median follow-up was 61 months and 5-year OS was 88.4%, 87.3%, and 88% in Groups A, B, and C, respectively (p = 0.22), while 5-year MFRS was 85.4%, 86.2%, and 84.9%, respectively (p = 0.938); RE (p = 0.55) did not influence MRFS. The 5-year LRFS was 83%, 73.5%, and 63.8% in Groups A, B and C, respectively (p = 0.00001). Of the 123 local recurrences observed, 0/28, 1/15, and 5/80 patients in Groups A, B, and C, respectively, required amputation (p = 0.41). Factors influencing LRFS were adjuvant radiotherapy [hazard ratio (HR) 0.21; p = 0.0001], initial R0 resection (HR 0.24, p = 0.0001), and Group A (HR 0.44; p = 0.01). Conclusion: Systematic RE in sarcoma centers offers best local control but does not impact OS. Delayed RE at the time of local relapse, if any, could be an option.
62 RADIOLOGY AND NUCLEAR MEDICINE↗
The Safe Urban Harvests Study: A Community-Driven Cross-Sectional Assessment of Metals in Soil, Irrigation Water, and Produce from Urban Farms and Gardens in Baltimore, Maryland
BACKGROUND: Emerging evidence suggests social, health, environmental, and economic benefits of urban agriculture (UA). However, limited work has characterized the risks from metal contaminant exposures faced by urban growers and consumers of urban-grown produce. OBJECTIVES: We aimed to answer community-driven questions about the safety of UA and the consumption of urban-grown produce by measuring concentrations of nine metals in the soil, irrigation water, and urban-grown produce across urban farms and gardens in Baltimore, Maryland. METHODS: We measured concentrations of 6 nonessential [arsenic (As), barium (Ba), cadmium (Cd), chromium (Cr), lead (Pb), nickel (Ni)] and three essential [copper (Cu), manganese (Mn), zinc (Zn)] metals in soil, irrigation water, and 13 types of urban-grown produce collected from 104 UA sites. We compared measured concentrations to existing public health guidelines and analyzed relationships between urban soil and produce concentrations. In the absence of guidelines for metals in produce, we compared metals concentrations in urban-grown produce with those in produce purchased from farmers markets and grocery stores (both conventionally grown and U.S. Department of Agriculture–certified organic). RESULTS: Mean concentrations of all measured metals in irrigation water were below public health guidelines. Mean concentrations of nonessential metals in growing area soils were below public health guidelines for Ba, Cd, Pb, and Ni and at or below background for As and Cr. Though we observed a few statistically significant differences in concentrations between urban and nonurban produce items for some combinations, no consistent or discernable patterns emerged. DISCUSSION: Screening soils for heavy metals is a critical best practice for urban growers. Given limitations in existing public health guidelines for metals in soil, irrigation water, and produce, additional exposure assessment is necessary to quantify potential human health risks associated with exposure to nonessential metals when engaging in UA and consuming urban-grown produce. Conversely, the potential health benefits of consuming essential metals in urban-grown produce also merit further research. https://doi.org/10.1289/EHP9431
54 ENVIRONMENTAL SCIENCES↗
Safire-Safe impact resistant electrolyte
The goal of this project is to demonstrate the feasibility of the SAFIRE concept in transportation batteries and demonstrate a pathway to incorporate this technology into existing battery manufacturing processes. When successful we will have demonstrated a method to make electrolytes safer for transportation applications. This increased safety will enable us to reduce the mass associated with the impact protection systems incorporated within vehicles thereby increasing the vehicles range.
25 ENERGY STORAGE↗
A Historical Review of the Safe Transport of Spent Nuclear Fuel, Rev. 1
This report is a revision to M3 milestone M3FT-16OR090402028 for the former Nuclear Fuels Storage and Transportation Planning Project (NFST), “Safety Record of SNF Shipments.” The US Department of Energy (DOE) has since established the Office of Integrated Waste Management (IWM), which builds on the work begun by NFST, to develop an integrated waste management system for spent nuclear fuel (SNF), including the developm
11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
Investigation of Natural Circulation Instability and Transients in Passively Safe Small Modular Reactors
The NEUP funded project, NEUP-3496, aims to experimentally investigate two-phase natural circulation flow instability that could occur in Small Modular Reactors (SMRs), especially for natural circulation SMRs. The objective has been achieved by systematically performing tests to study the general natural circulation instability characteristics and the natural circulation behavior under start-up or design basis accident conditions. Experimental data sets highlighting the effect of void reactivity feedback as well as the effect of power ramp-up rate and system pressure have been used to develop a comprehensive stability map. The safety analysis code, RELAP5, has been used to evaluate experimental results and models. Improvements to the constitutive relations for flashing have been made in order to develop a reliable analysis tool. This research has been focusing on two generic SMR designs, i.e. a small modular Simplified Boiling Water Reactor (SBWR) like design and a small integral Pressurized Water Reactor (PWR) like design. A BWR-type natural circulation test facility was firstly built based on the three-level scaling analysis of the Purdue Novel Modular Reactor (NMR) with an electric output of 50 MWe, namely NMR-50, which represents a BWR-type SMR with a significantly reduced reactor pressure vessel (RPV) height. The experimental facility was installed with various equipment to measure thermalhydraulic parameters such as pressure, temperature, mass flow rate and void fraction. Characterization tests were performed before the startup transient tests and quasi-steady tests to determine the loop flow resistance. The control system and data acquisition system were programmed with LabVIEW to realize the realtime control and data storage. The thermal-hydraulic and nuclear coupled startup transients were performed to investigate the flow instabilities at low pressure and low power conditions for NMR-50. Two different power ramps were chosen to study the effect of startup power density on the flow instability. The experimental startup transient results showed the existence of three different flow instability mechanisms, i.e., flashing instability, condensation induced flow instability, and density wave oscillations. In addition, the void-reactivity feedback did not have significant effects on the flow instability during the startup transients for NMR-50. ii Several initial startup procedures with different power ramp rates were experimentally investigated to eliminate the flow instabilities observed from the startup transients. Particularly, the very slow startup transient and pressurized startup transient tests were performed and compared. It was found that the very slow startup transients by applying very small power density can eliminate the flashing oscillations in the single-phase natural circulation and stabilize the flow oscillations in the phase of net vapor generation. The initially pressurized startup procedure was tested to eliminate the flashing instability during the startup transients as well. The pressurized startup procedure included the initial pressurization, heat-up, and venting process. The startup transient tests showed that the pressurized startup procedure could eliminate the flow instability during the transition from single-phase flow to two-phase flow at low pressure conditions. The experimental results indicated that both startup procedures were applicable to the initial startup of NMR. However, the pressurized startup procedures might be preferred due to short operating hours required. In order to have a deeper understanding of natural circulation flow instability, the quasi-steady tests were performed using the test facility installed with preheater and subcooler. The effect of system pressure, core inlet subcooling, core power density, inlet flow resistance coefficient, and void reactivity feedback were investigated in the quasi-steady state tests. The experimental stability boundaries were determined between unstable and stable flow conditions in the dimensionless stability plane of inlet subcooling number and Zuber number. To predict the stability boundary theoretically, linear stability analysis in the frequency domain was performed at four sections of the natural circulation test loop. The flashing phenomena in the chimney section was considered as an axially uniform heat source. And the dimensionless characteristic equation of the pressure drop perturbation was obtained by considering the void fraction effect and outlet flow resistance in the core section. The theoretical flashing boundary showed some discrepancies with previous experimental data from the quasi-steady state tests. In the future, thermal non-equilibrium was recommended to improve the accuracy of flashing instability boundary. As another part of the funded research, flow instabilities of a PWR-type SMR under low pressure and low power conditions were investigated experimentally as well. The NuScale reactor design was selected as the prototype for the PWR-type SMR. In order to experimentally study the natural circulation behavior of NuScale iii reactor during accidental scenarios, detailed scaling analyses are necessary to ensure that the scaled phenomena could be obtained in a laboratory test facility. The three-level scaling method is used as well to obtain the scaling ratios derived from various non-dimensional numbers. The design of the ideally scaled facility (ISF) was initially accomplished based on these scaling ratios. Then the engineering scaled facility (ESF) was designed and constructed based on the ISF by considering engineering limitations including laboratory space, pipe size, and pipe connections etc. PWR-type SMR experiments were performed in this well-scaled test facility to investigate the potential thermal hydraulic flow instability during the blowdown events, which might occur during the loss of coolant accident (LOCA) and loss of heat sink accident (LOHS) of the prototype PWR-type SMR. Two kinds of experiments, normal blowdown event and cold blowdown event, were experimentally investigated and compared with code predictions. The normal blowdown event was experimentally simulated since an initial condition where the pressure was lower than the designed pressure of the experiment facility, while the code prediction of blowdown started from the normal operation condition. Important thermal hydraulic parameters including reactor pressure vessel (RPV) pressure, containment pressure, local void fraction and temperature, pressure drop and natural circulation flow rate were measured and analyzed during the blowdown event. The pressure and water level transients are similar to the experimental results published by NuScale [51], which proves the capability of current loop in simulating the thermal hydraulic transient of real PWR-type SMR. During the 20000s blowdown experiment, water level in the core was always above the active fuel assemble during the experiment and proved the safety of natural circulation cooling and water recycling design of PWR-type SMR. Besides, pressure, temperature, and water level transient can be accurately predicted by RELAP5 code. However, the oscillations of natural circulation flow rate, water level and pressure drops were observed during the blowdown transients. This kind of flow oscillations are related to the water level and the location upper plenum, which is a path for coolant flow from chimney to steam generator and down comer. In order to investigate the transients start from the opening of ADS valve in both experimental and numerical way, the cold blow-down experiment is conducted. For the cold blowdown event, different from setting both reactor iv pressure vessel (RPV) and containment at high temperature and pressure, only RPV was heated close to the highest designed pressure and then open the ADS valve, same process was predicted using RELAP5 code. By doing cold blowdown experiment, the entire transients from the opening of ADS can be investigated by code and benchmarked with experimental data. Similar flow instability observed in the cold blowdown experiment. The comparison between code prediction and experiment data showed that the RELAP5 code can successfully predict the pressure void fraction and temperature transient during the cold blowdown event with limited error, but numerical instability exists in predicting natural circulation flow rate. Besides, the code is lack of capability in predicting the water level related flow instability observed in experiments.
21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗