Unavailability/probabilities over a period of time

  • Thread starter Thread starter notap
  • Start date Start date
  • Tags Tags
    Period Time
AI Thread Summary
To calculate the expected downtime of a system due to a component failure over one year, start by determining the probability of the component not failing within a specified time interval. The total number of time steps in a year can be calculated as 365 divided by the chosen time interval. The expected downtime is derived by summing the potential failure times weighted by their respective probabilities. This can also be expressed using integral calculus, where the expected value incorporates an exponential decay function based on the failure rate. Understanding these calculations is crucial for accurately assessing system availability.
notap
Messages
1
Reaction score
0
Hey, can anyone give me some help?

I'm trying to calculate the time unavailable of a system due to a component failure over a certain period of time. I know the probability of failure of this component, the time to be considered (assume 1 year) and how long the component is unavailable for due to a failure.

How can i work out how long this component causes the system to be unavailable for?

Thanks,

--notap
 
Physics news on Phys.org
Disclaimer: If you are using this for engineering applications please consult a proper text in saftey instrumented systems as I'm doing this off the top of my head.

Anyway, we need to start with something.

Let:
P(\Delta t) be the probability of the component not failing in a time period of \Delta t.

There are {365 \over \Delta t} time steps in one year.

What we want to find is the expected time the system will be unavailable. That is we are computing the expectation value.
http://en.wikipedia.org/wiki/Expected_value

If the system fails at time t. It is unavailable for f(t)=365-t.

To compute the probability of failure we are summing each possible failure time by the probability it will fail at that time. In sumation form this is written as:

<f(t)>=\sum_{n=1}^{365 / \Delta t}}f(n \Delta t)(1-P(\Delta t)^n)

This can also be written in integral form (Proof left as exercise).

<f(t)>=\int_{0}^{365}}f(t)exp(-t \lambda)

where:

\lambda=\mathop{\lim }\limits_{\Delta t \to 0} {1-P(\Delta t) \over \Delta t}
 
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Replies
9
Views
2K
Replies
7
Views
2K
Replies
8
Views
1K
Replies
2
Views
1K
Replies
4
Views
2K
Replies
1
Views
2K
Replies
20
Views
4K
Back
Top