Cuprins

Principii
Logica sistemului
Evaluarea modelului

Indicatii si recomandari lucrare de control

Paul Ulmeanu

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Cuprins
Principii
Logica sistemului
Date de intrare
Validarea unei taieturi propuse
Invalidarea unei taieturi propuse
Construirea BDD
Evaluarea modelului
Obtinerea taieturilor minimale
Barlow-Proschan
MUT
Vectori critici

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obiective

Construirea adecvata a modelului de calcul, corespunzator

datelor de intrare si cerintelor precizate in enunt

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obiective

Construirea adecvata a modelului de calcul, corespunzator

datelor de intrare si cerintelor precizate in enunt

Evaluarea modelului

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obiective

Construirea adecvata a modelului de calcul, corespunzator

datelor de intrare si cerintelor precizate in enunt

Evaluarea modelului

Solutii

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Premize

Sistemul analizat are un numar de sapte componente binare si

independente

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Premize

Sistemul analizat are un numar de sapte componente binare si

independente

Logica sistemului este precizata fie prin indicarea unui set de

trasee minimale, fie a unui set de taieturi minimale

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Premize

Sistemul analizat are un numar de sapte componente binare si

independente

Logica sistemului este precizata fie prin indicarea unui set de

trasee minimale, fie a unui set de taieturi minimale

Construirea modelului face apel la tehnici algebrice prezentate

la curs, in principal bazate pe BDD si produse disjuncte

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Premize

Sistemul analizat are un numar de sapte componente binare si

independente

Logica sistemului este precizata fie prin indicarea unui set de

trasee minimale, fie a unui set de taieturi minimale

Construirea modelului face apel la tehnici algebrice prezentate

la curs, in principal bazate pe BDD si produse disjuncte

BDD este un mijloc adecvat de obtinere a taieturilor

minimale, daca se cunosc traseele minimale si vice-versa

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Premize

Sistemul analizat are un numar de sapte componente binare si

independente

Logica sistemului este precizata fie prin indicarea unui set de

trasee minimale, fie a unui set de taieturi minimale

Construirea modelului face apel la tehnici algebrice prezentate

la curs, in principal bazate pe BDD si produse disjuncte

BDD este un mijloc adecvat de obtinere a taieturilor

minimale, daca se cunosc traseele minimale si vice-versa

BDD permite evaluarea indicatorilor de tip , MUT , MDT .

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Date de intrare
Validarea unei taieturi propuse
Invalidarea unei taieturi propuse
Construirea BDD

Date de intrare: trasee minimale

Componenta / Traseu
T1
T2
T3
T4
T5
T6

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Date de intrare
Validarea unei taieturi propuse
Invalidarea unei taieturi propuse
Construirea BDD

Validarea unei taieturi minimale propuse {1, 2, 6}

Traseu / Componenta
1
2
3
4
5
6
7

T1

T2

T3

Paul Ulmeanu

T4

T5

T6

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Date de intrare
Validarea unei taieturi propuse
Invalidarea unei taieturi propuse
Construirea BDD

Invalidarea unei taieturi minimale propuse {3, 6}

Traseu / Componenta
1
2
3
4
5
6
7

T1

T2

T3

Paul Ulmeanu

T4

T5

T6

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Date de intrare
Validarea unei taieturi propuse
Invalidarea unei taieturi propuse
Construirea BDD

Construirea BDD

Factorizare (teorema lui Shannon) in raport cu componenta 7

x7 = 0
Componenta / Traseu
T1
T2
T3

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Date de intrare
Validarea unei taieturi propuse
Invalidarea unei taieturi propuse
Construirea BDD

Construirea BDD
Factorizare (teorema lui Shannon) in raport cu componenta 7
x7 = 1
Componenta / Traseu
T1
T2
T3
T4
T5
T6

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Date de intrare
Validarea unei taieturi propuse
Invalidarea unei taieturi propuse
Construirea BDD

Construirea BDD
Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 1
Componenta / Traseu
T1
T2
T3
T4
T5
T6

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Date de intrare
Validarea unei taieturi propuse
Invalidarea unei taieturi propuse
Construirea BDD

Construirea BDD

Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 1

Componenta / Traseu
T1
T3
T4

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Date de intrare
Validarea unei taieturi propuse
Invalidarea unei taieturi propuse
Construirea BDD

Construirea BDD

Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 0

Componenta / Traseu
T1
T2
T5
T6

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Date de intrare
Validarea unei taieturi propuse
Invalidarea unei taieturi propuse
Construirea BDD

BDD

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Date de intrare
Validarea unei taieturi propuse
Invalidarea unei taieturi propuse
Construirea BDD

BDD

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Calculul factorului de importanta structurala

Barlow-Proschan pentru componenta 1

Z
IBP (i = 1) =
0

(P/p1 )p dp

Din BDD rezulta:

(P/p1 )p = p p 3 5p 4 + 8p 5 3p 6
Rezulta
IBP (i = 1) = 1/2 1/4 5/5 + 8/6 3/7 = 0.1547619

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Calculul timpului mediu de succes (pentru cazul in care

componenta 4 este indisponibila)
In cazul in care x4 = 0, lista taieturilor minimale devine:
K1 = {
2,
7}
K 2 = {
3}
K 6 = {
1,
2,
6}
K 7 = {
2,
5,
6}
Taietura K 3 nu mai este minimala, avand in vedere taietura K1 .
Taietura K 4 nu mai este minimala, avand in vedere taietura K2 .
Taietura K 5 nu mai este minimala, avand in vedere taietura K2 .
Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Iar lista traseelor minimale devine:

T1 = {2, 3}
T2 = {3, 6, 7}
T3 = {1, 3, 5, 7}

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Calculul MUT - bazat pe lista traseelor minimale

Vom aborda calculul MUT plecand de la lista traseelor minimale de

mai sus (3, fata de 4 in cazul taieturilor minimale).
Ecuatia logica:
1 T2 +
1 T
2 T3
T
T
SUCCES = T1 +
unde
1 = x3 +
x2 x3
T
2 = x6 +x
6 x3 +x
6 x3 x7
T

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Avem:
1 T3 = x1 x2 x3 x5 x7
T
1 T3 T
2 = x1 x2 x3 x5 x6 x7
T
1 T2 = x2 x3 x6 x7
T
x2 x3 x6 x7 +x
1 x2 x3 x5 x6 x7
SUCCES = x2 x3 +
P = p 2 + p 3 (1 p) + p 4 (1 p)2
= 2p 2 + p 3 (1 p)(3 ) + p 4 (1 p)2 (4 2)
MUT = P/

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Pasul 1: Trasee minimale care contin atat componenta 3,

cat si componenta 6

Traseu / Componenta
3
6
7

T4

Pentru identificarea vectorilor critici ceruti: conditia 1: x3 =1 si

x6 = 1.
Cum T4 este singurul traseu care contine cele doua componente:
conditia 2: x7 = 1 (pentru ca sistemul sa fie in stare de succes).

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Pasul 2: Restul traseelor - care nu contin componentele 3

si 6

Traseu / Componenta
1
2
4
5
7

T1

T2

T3

T5

T6

Pentru x3 = 1 si x6 = 1, traseul T5 nu mai este minimal.

In plus, x7 = 1.
Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Pasul 3: Nici unul din traseele minimale indicate la pasul 2

nu trebuie sa fie functionale !

Traseu / Componenta
1
2
4
5

Paul Ulmeanu

T1

T2

T3

T6

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Traseul T2 nefunctional daca si numai daca x2 = 0

Traseu / Componenta
1
2
4
5

Paul Ulmeanu

T1

T2

T3

T6

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Similar, T1, T3 si T6 (Solutia 1)

Traseu / Componenta
1
2
4
5

T1

T2

T3

T6

Componente in stare de insucces: 1,2,5;

Componente in stare de succes: 3,4,6,7

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Similar, T1, T3 si T6 (Solutia 2)

Traseu / Componenta
1
2
4
5

T1

T2

T3

T6

Componente in stare de insucces: 2,4,5;

Componente in stare de succes: 1,3,6,7

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Similar, T1, T3 si T6 (Solutia 3)

Traseu / Componenta
1
2
4
5

T1

T2

T3

T6

Componente in stare de insucces: 1,2,4;

Componente in stare de succes: 3,5,6,7

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Similar, T1, T3 si T6 (Solutia 4)

Traseu / Componenta
1
2
4
5

T1

T2

T3

T6

Componente in stare de insucces: 1,2,4,5;

Componente in stare de succes: 3,6,7

Paul Ulmeanu

Indicatii si recomandari lucrare de control

Cuprins
Principii
Logica sistemului
Evaluarea modelului

Obtinerea taieturilor minimale

Barlow-Proschan
MUT
Vectori critici

Din cele patru solutii, rezulta lista vectorilor critici comuni:

V1 = {!1, !2, 3, !4, !5, 6, 7}
V2 = {!1, !2, 3, !4, 5, 6, 7}
V3 = {!1, !2, 3, 4, !5, 6, 7}
V4 = {1, !2, 3, !4, !5, 6, 7}

Paul Ulmeanu

Indicatii si recomandari lucrare de control