Search NASA⌕ Search

SEARCH · Search NASA

Results for “unreliability”

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 19 records

Robust Decentralized Learning Using ADMM With Unreliable Agents

Many signal processing and machine learning problems can be formulated as consensus optimization problems which can be solved efficiently via a cooperative multi-agent system. However, the agents in the system can be unreliable due to a variety of reasons: noise, faults and attacks. Providing erroneous updates leads the optimization process in a wrong direction, and degrades the performance of distributed machine learning algorithms. This paper considers the problem of decentralized learning using ADMM in the presence of unreliable agents. First, we rigorously analyze the effect of erroneous updates (in ADMM learning iterations) on the convergence behavior of the multi-agent system. We show that the algorithm linearly converges to a neighborhood of the optimal solution under certain conditions and characterize the neighborhood size analytically. Next, we provide guidelines for network design to achieve a faster convergence to the neighborhood. Here, we also provide conditions on the erroneous updates for exact convergence to the optimal solution. Finally, to mitigate the influence of unreliable agents, we propose ROAD , a robust variant of ADMM, and show its resilience to unreliable agents with an exact convergence to the optimum.

97 MATHEMATICS AND COMPUTING↗

Stochastic correlation analysis to rank the impact of intermittent wind generation on unreliability margins of power systems

Power systems are vulnerable to extreme contingencies (like an outage of a major generating substation or transmission line) that can cause significant generation and load loss and can lead to further cascading outages of other transmission facilities and generators in the system. Power systems operators take time-ahead actions (real time to day ahead) actions based on forecasted data as well as telemetry. However, there is a probability of extreme swings in wind generation that can push the power system that is already close to system boundaries into unreliable states. Increasing penetration on wind generation and uncertainties in short term forecast can move the system into operational states that can violate N-1 reliability criteria. While the power system planning accounts for worst case analyses to mitigate such emergencies, it is necessary to understand the spatial and temporal correlation of load buses with intermittent wind generation. The ranking of wind generators based on stochastic correlation to unreliability margins of load buses provides an insight of system vulnerabilities that can be corrected by appropriate emergency controls. A Monte-Carlo simulation of wind uncertainty forecast is performed to identify the probability distributions of unreliability margins. Ranking of wind generators is performed based on stochastic correlation analysis of the wind power generated and the load losses at the buses. This helps in not only identifying weak buses in the power system but also in identifying the vulnerable wind locations to plan for system reinforcements. Power system modeling and hybrid simulation to calculate unreliability margins are performed using DCAT and demonstrated on the 32-bus Nordic test system.

generators, wind forecasting, wind power generatio↗

Unreliable Sustainable Infrastructure: Three Transformations to Guide Cities towards Becoming Healthy 'Smart Cities'

The term 'leapfrogging' has been applied to cities and nations that have adopted a new form of infrastructure by bypassing the traditional progression of development, e.g., from no phones to cell phones - bypassing landlines all together. However, leapfrogging from unreliable infrastructure systems to 'smart' cities is too large a jump resulting in unsustainable and unhealthy infrastructure systems. In the Global South, a baseline of unreliable infrastructure is a prevalent problem. The push for sustainable and 'smart' [re]development tends to ignore many of those already living with failing, unreliable infrastructure. Without awareness of baseline conditions, uninformed projects run the risk of returning conditions to the status quo, keeping many urban populations below targets of the United Nations' Sustainable Development Goals. A key part of understanding the baseline is to identify how citizens have long learned to adjust their expectations of basic services. To compensate for poor infrastructure, most residents in the Global South invest in remedial secondary infrastructure (RSI) at the household and business levels. The authors explore three key 'smart' city transformations that address RSI within a hierarchical planning pyramid known as the comprehensive resilient and reliable infrastructure systems (CRISP) planning framework.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Verifying quantitative reliability for programs that execute on unreliable hardware

Emerging high-performance architectures are expected to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and masking of soft errors is challenging, expensive, and, for some applications, unnecessary. For example, approximate computing applications (such as multimedia processing, machine learning, and big data analytics) can often naturally tolerate soft errors. We introduce Rely, a programming language that enables developers to reason about the quantitative reliability of an application—namely, the probability that it produces the correct result when executed on unreliable hardware. Rely allows developers to specify the reliability requirements for each value that a function produces. We perform a static quantitative reliability analysis that verifies quantitative requirements on the reliability of an application, enabling a developer to perform sound and verified reliability engineering. The analysis takes a Rely program with a reliability specification and a hardware specification that characterizes the reliability of the underlying hardware components and verifies that the program satisfies its reliability specification when executed on the underlying unreliable hardware platform. We demonstrate the application of quantitative reliability analysis on six computations implemented in Rely.

97 MATHEMATICS AND COMPUTING↗

Development of an Encoding Method on an Co-simulation Platform for Mitigating the Impact of Unreliable Communication

This report presents a hardware-in-the-loop (HIL) based modeling approach for simulating impacts of unreliable communication on the performance of centralized volt-var control and for developing an encoding method to mitigate the impacts. First, an asynchronous real-time HIL simulation platform is introduced to enable multi-rate co-simulation of a distribution system with many inverter-based distributed energy resources (DERs). The distribution system is modeled by milliseconds phasor-based models and the DERs are modeled by micro-seconds power electronic models. Communication connections between a centralized volt-var controller (modeled externally to the HIL testbed) and smart inverters are built by implementing Modbus links and the Long Term Evolution network. On this co-simulation platform, an enhanced, augmented Lagrangian multiplier based encoded data recovery (EALM-EDR) algorithm for mitigating the impact of unreliable communication is developed and validated. Simulation results demonstrate the efficacy of using the HIL-based co-simulation platform as a power grid digital twin for developing algorithms that coordinate a large number of heterogeneous control systems through wired and wireless communication links.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Unreliability of two-band model analysis of magnetoresistivities in unveiling temperature-driven Lifshitz transition

Recently, anomalies in the temperature dependences of the carrier density and/or mobility derived from analysis of the magnetoresistivities using the conventional two-band model have been used to unveil intriguing temperature-induced Lifshitz transitions in various materials. For instance, two temperature-driven Lifshitz transitions were inferred to exist in the Dirac nodal-line semimetal ZrSiSe, based on two-band model analysis of the Hall magnetoconductivities where the second band exhibits a change in the carrier type from holes to electrons when the temperature decreases below T=106K and a dip is observed in the mobility vs temperature curve at T=80K. Here, in this study, we revisit the experiments and two-band model analysis on ZrSiSe. We show that the anomalies in the second band may be spurious because the first band dominates the Hall magnetoconductivities at T>80K, making the carrier type and mobility obtained for the second band from the two-band model analysis unreliable. That is, care must be taken in interpreting these anomalies as evidence for temperature-driven Lifshitz transitions. Our skepticism on the existence of such phase transitions in ZrSiSe is further supported by the validation of Kohler's rule for magnetoresistances for T≤180K. In this paper, we showcase potential issues in interpreting anomalies in the temperature dependence of the carrier density and mobility derived from the analysis of magnetoconductivities or magnetoresistivities using the conventional two-band model.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Reliability Analysis for Unreliable FSM Computations

Finite State Machines (FSMs) are fundamental in both hardware design and software development. However, the reliability of FSM computations remains poorly understood. This becomes increasingly critical as the technology scaling becomes more aggressive. Existing reliability analyses are mainly designed for generic computations and are unaware of the special error tolerance characteristics in FSM computations. In this work, we introduce RelyFSM – a state-level reliability analysis framework for FSM computations. By qualitatively reasoning about the transition structures in FSM computations, RelyFSM can precisely capture their inherent error tolerance. Basically, RelyFSM takes an FSM specification as input and analyzes its reliability for a specific execution. At the core of the analysis is a set of mathematical models that accurately define the behaviors of unreliable FSM executions. Our evaluation with a spectrum of FSM benchmarks confirms the accuracy and efficiency of RelyFSM in analyzing the reliability of real-world FSM computations.

97 MATHEMATICS AND COMPUTING↗

Communication: CDFT-CI couplings can be unreliable when there is fractional charge transfer

Constrained density functional theory with configuration interaction (CDFT-CI) is a useful, low-cost tool for the computational prediction of electronic couplings between pseudo-diabatic constrained electronic states. Such couplings are of paramount importance in electron transfer theory and transition state theory, among other areas of chemistry. Unfortunately, CDFT-CI occasionally fails significantly, predicting a coupling that does not decay exponentially with distance and/or overestimating the expected coupling by an order of magnitude or more. In this communication, we show that the eigenvalues of the difference density matrix between the two constrained states can be used as an a priori metric to determine when CDFT-CI are likely to be reliable: when the eigenvalues are near 0 or ±1, transfer of a whole electron is occurring, and CDFT-CI can be trusted. We demonstrate the utility of this metric with several illustrative examples.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

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

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.

97 MATHEMATICS AND COMPUTING↗

System Study: Residual Heat Removal 1998-2014

This report presents an unreliability evaluation of the residual heat removal (RHR) system in two modes of operation (low-pressure injection in response to a large loss-of-coolant accident and post-trip shutdown-cooling) at 104 U.S. commercial nuclear power plants. Demand, run hours, and failure data from fiscal year 1998 through 2014 for selected components were obtained from the Institute of Nuclear Power Operations (INPO) Consolidated Events Database (ICES). The unreliability results are trended for the most recent 10 year period, while yearly estimates for system unreliability are provided for the entire active period. No statistically significant increasing trends were identified in the RHR results. A highly statistically significant decreasing trend was observed for the RHR injection mode start-only unreliability. Statistically significant decreasing trends were observed for RHR shutdown cooling mode start-only unreliability and RHR shutdown cooling model 24-hour unreliability.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

System Study: High-Pressure Safety Injection 1998-2022

This report presents an unreliability evaluation of the high-pressure safety injection system (HPSI) at 62 U.S. commercial operating nuclear reactors. New Standardized Plant Analysis Risk (SPAR) models with the most recent SPAR parameter update results were used in this report. Demand, run hours, and failure data from calendar years 1998–2022 for selected components were obtained from the Institute of Nuclear Power Operations Industry Reporting and Information System. The unreliability results are trended for the most recent 10-year period while yearly estimates for system unreliability are provided for the entire active period. Highly statistically significant increasing trends were identified in both the HPSI system start-only unreliability and 8-hour mission unreliability.

99 GENERAL AND MISCELLANEOUS↗

System Study: Emergency Power System 1998-2022

This report presents an unreliability evaluation of the emergency power system (EPS) at 93 U.S. commercial operating nuclear reactors. New Standardized Plant Analysis Risk (SPAR) models with the most recent SPAR parameter update results were used in this report. Demand, run hour, and failure data from 1998–2022 for selected components were obtained from the Institute of Nuclear Power Operations Industry Reporting and Information System. The unreliability results are trended for the most recent 10 year period while yearly estimates for system unreliability are provided for the entire active period. No statistically significant increasing or decreasing trends were identified in the industry-wide estimates of EPS system start-only unreliability, but a highly statistically significant decreasing trend was identified in the industry-wide estimates of EPS system 8-hour mission unreliability.

99 GENERAL AND MISCELLANEOUS↗

System Study: Auxiliary Feedwater 1998-2022

This report presents an unreliability evaluation of the auxiliary feedwater (AFW) system at 62 U.S. commercial operating nuclear reactors. New Standardized Plant Analysis Risk (SPAR) models with the most recent SPAR parameter update results were used in this report. Demand, run hour, and failure data from calendar year 1998–2022 for selected components were obtained from the Institute of Nuclear Power Operations Industry Reporting and Information System. The unreliability results are trended for the most recent 10 year period while yearly estimates for system unreliability are provided for the entire active period. No statistically significant increasing or decreasing trends were identified in the industry-wide estimates of AFW system start-only unreliability, but a highly statistically significant decreasing trend was identified in the industry-wide estimates of AFW system 8-hour mission unreliability.

99 GENERAL AND MISCELLANEOUS↗

System Study: Reactor Core Isolation Cooling 1998-2022

This report presents an unreliability evaluation of the reactor core isolation cooling (RCIC) system at 28 U.S. commercial operating boiling water reactors. New Standardized Plant Analysis Risk (SPAR) models with the most recent SPAR parameter update results were used in this report. Demand, run hour, and failure data from calendar years 1998–2022 for selected components were obtained from the Institute of Nuclear Power Operations Industry Reporting and Information System. The unreliability results are trended for the most recent 10 year period while yearly estimates for system unreliability are provided for the entire active period. Statistically significant decreasing trends were identified in both the RCIC system start-only unreliability and 8-hour mission unreliability.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

System Study: Emergency Power System 1998-2014

This report presents an unreliability evaluation of the emergency power system (EPS) at 104 U.S. commercial nuclear power plants. Demand, run hours, and failure data from fiscal year 1998 through 2014 for selected components were obtained from the Institute of Nuclear Power Operations (INPO) Consolidated Events Database (ICES). The unreliability results are trended for the most recent 10 year period while yearly estimates for system unreliability are provided for the entire active period. An extremely statistically significant increasing trend was observed for EPS system unreliability for an 8-hour mission. A statistically significant increasing trend was observed for EPS system start-only unreliability.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗