LC PDF

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

Cuprins
Principii
Logica sistemului
Evaluarea modelului
Obiective
I Construirea adecvata a modelului de calcul, corespunzator

datelor de intrare si cerintelor precizate in enunt

Cuprins
Principii
Logica sistemului
Evaluarea modelului
Obiective

I Evaluarea modelului

Cuprins
Principii
Logica sistemului
Evaluarea modelului
Obiective

I Evaluarea modelului
I Solutii

Cuprins
Principii
Logica sistemului
Evaluarea modelului
Premize
I Sistemul analizat are un numar de sapte componente binare si

independente

Cuprins
Principii
Logica sistemului
Evaluarea modelului
Premize

independente
I Logica sistemului este precizata fie prin indicarea unui set de
trasee minimale, fie a unui set de taieturi minimale

Cuprins
Principii
Logica sistemului
Evaluarea modelului
Premize

independente
I Construirea modelului face apel la tehnici algebrice prezentate
la curs, in principal bazate pe BDD si produse disjuncte

Cuprins
Principii
Logica sistemului
Evaluarea modelului
Premize

independente
I BDD este un mijloc adecvat de obtinere a taieturilor
minimale, daca se cunosc traseele minimale si vice-versa

Cuprins
Principii
Logica sistemului
Evaluarea modelului
Premize

independente
I BDD este un mijloc adecvat de obtinere a taieturilor
minimale, daca se cunosc traseele minimale si vice-versa
I BDD permite evaluarea indicatorilor de tip ν, MUT , MDT .

Cuprins Date de intrare
Principii Validarea unei taieturi propuse
Logica sistemului Invalidarea unei taieturi propuse
Evaluarea modelului Construirea BDD
Date de intrare: trasee minimale
Componenta / Traseu 1 2 3 4 5 6 7
√ √
T1
√ √
T2
√ √ √
T3
√ √ √
T4
√ √ √ √
T5
√ √ √ √
T6

Validarea unei taieturi minimale propuse {1̄, 2̄, 6̄}
Traseu / Componenta T1 T2 T3 T4 T5 T6
√ √
1
√ √
2
√ √ √
3
√ √ √
4
√ √ √
5
√ √
6
√ √ √
7

Invalidarea unei taieturi minimale propuse {3̄, 6̄}
Traseu / Componenta T1 T2 T3 T4 T5 T6
√ √
1
√ √
2
√ √ √
3
√ √ √
4
√ √ √
5
√ √
6
√ √ √
7

Construirea BDD
Factorizare (teorema lui Shannon) in raport cu componenta 7

x7 = 0
Componenta / Traseu 1 2 3 4 5 6
√ √
T1
√ √
T2
√ √ √
T3

Construirea BDD
Factorizare (teorema lui Shannon) in raport cu componenta 7

x7 = 1
Componenta / Traseu 1 2 3 4 5 6
√ √
T1
√ √
T2
√ √ √
T3
√ √
T4
√ √ √
T5
√ √ √
T6

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

Construirea BDD
√ √
T1
√ √
T3
√
T4

Construirea BDD
√ √
T1
√ √
T2
√ √ √
T5
√ √ √
T6

BDD

BDD

Cuprins Obtinerea taieturilor minimale
Principii Barlow-Proschan
Logica sistemului MUT
Evaluarea modelului Vectori critici
Evaluarea modelului: care sunt taieturile minimale ?







Calculul factorului de importanta structurala

Barlow-Proschan pentru componenta 1
Z 1
IBP (i = 1) = (∂P/∂p1 )p dp
0
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

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̄}
K2 = {3̄}
K6 = {1̄, 2̄, 6̄}
K7 = {2̄, 5̄, 6̄}
Taietura K 3 nu mai este minimala, avand in vedere taietura K1 .

Iar lista traseelor minimale devine:
T1 = {2, 3}
T2 = {3, 6, 7}
T3 = {1, 3, 5, 7}

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:
SUCCES = T1 +̇T̄1 T2 +̇T̄1 T̄2 T3

unde
T̄1 = x̄3 +̇x̄2 x3
T̄2 = x̄6 +̇x6 x̄3 +̇x6 x3 x̄7

Avem:
T̄1 T3 = x1 x̄2 x3 x5 x7
T̄1 T3 T̄2 = x1 x̄2 x3 x5 x̄6 x7
T̄1 T2 = x̄2 x3 x6 x7
SUCCES = x2 x3 +̇x̄2 x3 x6 x7 +̇x1 x̄2 x3 x5 x̄6 x7
P = p 2 + p 3 (1 − p) + p 4 (1 − p)2
ν = 2λp 2 + p 3 (1 − p)(3λ − µ) + p 4 (1 − p)2 (4λ − 2µ)
MUT = P/ν

Pasul 1: Trasee minimale care contin atat componenta 3,

cat si componenta 6
Traseu / Componenta T4
√
3
√
6
√
7
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).

Pasul 2: Restul traseelor - care nu contin componentele 3

si 6
Traseu / Componenta T1 T2 T3 T5 T6
√ √
1
√ √
2
√ √ √
4
√ √ √
5
√ √
7
Pentru x3 = 1 si x6 = 1, traseul T5 nu mai este minimal.

In plus, x7 = 1.

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

nu trebuie sa fie functionale !
Traseu / Componenta T1 T2 T3 T6
√ √
1
√
2
√ √
4
√ √
5

Traseul T2 nefunctional daca si numai daca x2 = 0
√ √
1
√
2
√ √
4
√ √
5

Similar, T1, T3 si T6 (Solutia 1)
√ √
1
√
2
√ √
4
√ √
5
Componente in stare de insucces: 1,2,5;

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

√ √
1
√
2
√ √
4
√ √
5


√ √
1
√
2
√ √
4
√ √
5


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

Componente in stare de succes: 3,6,7

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}

LC PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

LC PDF

Încărcat de

Drepturi de autor:

Formate disponibile

Cuprins

Indicatii si recomandari lucrare de control

Paul Ulmeanu Indicatii si recomandari lucrare de control

Paul Ulmeanu Indicatii si recomandari lucrare de control

I Construirea adecvata a modelului de calcul, corespunzator

Paul Ulmeanu Indicatii si recomandari lucrare de control

I Construirea adecvata a modelului de calcul, corespunzator

Paul Ulmeanu Indicatii si recomandari lucrare de control

I Construirea adecvata a modelului de calcul, corespunzator

Paul Ulmeanu Indicatii si recomandari lucrare de control

I Sistemul analizat are un numar de sapte componente binare si

Paul Ulmeanu Indicatii si recomandari lucrare de control

I Sistemul analizat are un numar de sapte componente binare si

Paul Ulmeanu Indicatii si recomandari lucrare de control

I Sistemul analizat are un numar de sapte componente binare si

Paul Ulmeanu Indicatii si recomandari lucrare de control

I Sistemul analizat are un numar de sapte componente binare si

Paul Ulmeanu Indicatii si recomandari lucrare de control

I Sistemul analizat are un numar de sapte componente binare si

Paul Ulmeanu Indicatii si recomandari lucrare de control

Date de intrare: trasee minimale

Paul Ulmeanu Indicatii si recomandari lucrare de control

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

Paul Ulmeanu Indicatii si recomandari lucrare de control

Invalidarea unei taieturi minimale propuse {3̄, 6̄}

Paul Ulmeanu Indicatii si recomandari lucrare de control

Factorizare (teorema lui Shannon) in raport cu componenta 7

Paul Ulmeanu Indicatii si recomandari lucrare de control

Factorizare (teorema lui Shannon) in raport cu componenta 7

Paul Ulmeanu Indicatii si recomandari lucrare de control

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

Paul Ulmeanu Indicatii si recomandari lucrare de control

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

Paul Ulmeanu Indicatii si recomandari lucrare de control

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

Paul Ulmeanu Indicatii si recomandari lucrare de control

Paul Ulmeanu Indicatii si recomandari lucrare de control

Paul Ulmeanu Indicatii si recomandari lucrare de control

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Indicatii si recomandari lucrare de control

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Indicatii si recomandari lucrare de control

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Indicatii si recomandari lucrare de control

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Indicatii si recomandari lucrare de control

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Indicatii si recomandari lucrare de control

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Indicatii si recomandari lucrare de control

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Indicatii si recomandari lucrare de control

Calculul factorului de importanta structurala

IBP (i = 1) = 1/2 − 1/4 − 5/5 + 8/6 − 3/7 = 0.1547619

Paul Ulmeanu Indicatii si recomandari lucrare de control

Calculul timpului mediu de succes (pentru cazul in care

In cazul in care x4 = 0, lista taieturilor minimale devine:

Paul Ulmeanu Indicatii si recomandari lucrare de control

Iar lista traseelor minimale devine:

Paul Ulmeanu Indicatii si recomandari lucrare de control

Calculul MUT - bazat pe lista traseelor minimale

Vom aborda calculul MUT plecand de la lista traseelor minimale de

SUCCES = T1 +̇T̄1 T2 +̇T̄1 T̄2 T3