|
( 1101 )
| 1011 |
| 1000 |
G = | 0111 |
| 0100 |
| 0010 |
( 0001 )
( 1010101 )
H = | 0110011 |
( 0001111 )
S1 = ((K1 AND K2) OR (K3 AND K4)) AND A1und
S2 = ((K1 OR K3) AND A1) AND ((K2 OR K4) AND A2).

lambda klein, mu groß => Ki zuverlässig, Ai unzuverlässig => phi(S1, T) > phi(S2, T)
z.B. lambda = 10^(-6)/h, mu = 1/h =>
phi(S1, 10^3 h) = (1 - (1 - (e^(-10^(-6)/h * 10^3 h))^2)^2) * e^(-1/h * 10^3h)
= 0,999 996 0 * e-1000 = 1/e^1000
phi(S2, 10^3 h) = (1 - (1 - (e^(-10^(-6)/h * 10^3 h)))^2)^2 * (e^(-1/h) * 10^3h)^2
= 0,999 998 0 * e-2000 = 1/e^1000 * 1/e^1000
lambda groß, mu klein => Ki unzuverlässig, Ai zuverlässig => phi(S1) < phi(S2)
z.B. lambda = 100/h, mu = 10^(-6)/h => phi(S1, 10^3 h) = (1 - (1 - (e^(-10))^2)^2) * e^(-0,001) = 4 * 10^(-9) * 1
phi(S2, 10^3 h) = (1 - (1 - (e^(-10))^2)^2) * (e^(-0,001))^2 = 8,2 * 10-9 * 1^2
e^(-mu*T) = (2 - e(-2*lambda*T))/((2 - e^(-lambda*T))^2)
<=> mu = (1/T)*ln ((2 - (e^(-lambda*T))^2)/(2 - e^(-2*lambda*T)))