Mission Abort Policy for Systems with Observable States of Standby Components

Gregory Levitin1,2, Liudong Xing3, Yuanshun Dai1

  • 1Collaborative Autonomic Computing Laboratory, School of Computer Science, University of Electronic Science and Technology of China, Chengdu, China.

Summary

This study introduces advanced mission abort policies (MAPs) for standby systems, considering both component failures and available spares. These new policies enhance system survival and mission success probability in critical applications.

Related Concept Videos

Restarting Stalled Replication Forks02:37

Restarting Stalled Replication Forks

2.2K
Restarting Stalled Replication Forks02:37

Restarting Stalled Replication Forks

DNA replication is initiated at sites containing predefined DNA sequences known as origins of replication. DNA is unwound at these sites by the minichromosome maintenance (MCM) helicase and other factors such as Cdc45 and the associated GINS complex.The unwound single strands are protected by replication protein A (RPA) until DNA polymerase starts synthesizing DNA at the 5’ end of the strand in the same direction as the replication fork. To prevent the replication fork from falling apart,...
6.2K
Multimachine Stability01:25

Multimachine Stability

Multimachine stability analysis is crucial for understanding the dynamics and stability of power systems with multiple synchronous machines. The objective is to solve the swing equations for a network of M machines connected to an N-bus power system.
In analyzing the system, the nodal equations represent the relationship between bus voltages, machine voltages, and machine currents. The nodal equation is given by:
479
BIBO stability of continuous and discrete -time systems01:24

BIBO stability of continuous and discrete -time systems

System stability is a fundamental concept in signal processing, often assessed using convolution. For a system to be considered bounded-input bounded-output (BIBO) stable, any bounded input signal must produce a bounded output signal. A bounded input signal is one where the modulus does not exceed a certain constant at any point in time.
To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system....
815
The Spindle Assembly Checkpoint02:19

The Spindle Assembly Checkpoint

The spindle assembly checkpoint is a molecular surveillance mechanism ensuring the fidelity of chromosome segregation during anaphase. The checkpoint monitors the completion of all the prerequisite steps before chromosome segregation to determine whether the segregation process should proceed or be delayed.
Many proteins function together to control the spindle assembly checkpoint. Mutations affecting these proteins may allow cells to proceed into anaphase prematurely, resulting in the...
3.6K
Cyclic Processes And Isolated Systems01:19

Cyclic Processes And Isolated Systems

A thermodynamic system with zero heat exchange and work is an isolated system. For these systems, the internal energy remains constant.
In the case of a non-isolated system, the change in the internal energy is zero only if the process is cyclic. A thermodynamic process is considered cyclic if the system undergoes a series of changes and returns to its initial state. 
Consider a cyclic process that returns to its initial state, undergoing a four-step process. The heat transfer along each...
3.3K