C1

Cuprins
Datele pentru subiectul 1

Logica sistemului
Evaluarea modelului
Subiectul 1 consultatii
Paul Ulmeanu
5 Aprilie 2011
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Cuprins
Logica sistemului
Date de intrare
Validarea unei taieturi propuse
Invalidarea unei taieturi propuse
Construirea BDD
Evaluarea modelului
Obtinerea taieturilor minimale
Barlow-Proschan
MUT
Deducerea vectorilor critici pe baza BDD
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Cerinte si premize
Evaluarea numarului critic de vectori pentru o componenta in

cazul simularii de la Lucrare de Control (LC) - pe baza de
BDD
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Cerinte si premize

BDD
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Cerinte si premize

BDD
Simularea a fost prezentata in detaliu la curs.
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Cerinte si premize

BDD
Fisierul de indicatii si recomandari este LC.pdf
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Cerinte si premize

BDD
Fisierul de indicatii si recomandari este LC.pdf
Propunerile si analiza subiectelor pt. consultatii se realizeaza

conform http://energ.curs.pub.ro/2010
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Date
Sistemul analizat are un numar de sapte componente binare si

independente
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Date

independente
Logica sistemului este precizata fie prin indicarea unui set de

trasee minimale, fie a unui set de taieturi minimale
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Date

independente

Construirea modelului face apel la tehnici algebrice prezentate

la curs, in principal bazate pe BDD si produse disjuncte
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Date

independente


BDD este un mijloc adecvat de obtinere a taieturilor

minimale, daca se cunosc traseele minimale si vice-versa
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Date

independente


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
Cuprins
Logica sistemului
Evaluarea modelului
Date de intrare
Construirea BDD
Date de intrare: trasee minimale
Componenta / Traseu
T1
T2
T3
T4
T5
T6
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Date de intrare
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
Cuprins
Logica sistemului
Evaluarea modelului
Date de intrare
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
Cuprins
Logica sistemului
Evaluarea modelului
Date de intrare
Construirea BDD
Construirea BDD
Factorizare (teorema lui Shannon) in raport cu componenta 7

x7 = 0
Componenta / Traseu
T1
T2
T3
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Date de intrare
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
Cuprins
Logica sistemului
Evaluarea modelului
Date de intrare
Construirea BDD
Construirea BDD
Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 1
Componenta / Traseu
T1
T2
T3
T4
T5
T6
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Date de intrare
Construirea BDD
Construirea BDD

Componenta / Traseu
T1
T3
T4
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Date de intrare
Construirea BDD
Construirea BDD

Componenta / Traseu
T1
T2
T5
T6
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Date de intrare
Construirea BDD
BDD
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului
Date de intrare
Construirea BDD
BDD
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
Evaluarea modelului: care sunt taieturile minimale ?
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
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
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
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 .
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
Iar lista traseelor minimale devine:

T1 = {2, 3}
T2 = {3, 6, 7}
T3 = {1, 3, 5, 7}
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
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
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
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
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
Se propune evaluarea numarului de vectori critici pentru

componenta 6 - pe baza BDD
Pentru identificarea vectorilor critici ceruti se verifica cele trei
conditii necesare si suficiente: x6 = 1; sistemul este in stare de
succes pentru starea propusa; pentru x6 = 1 x6 = 0, sistemul
trece din starea de succes intr-o stare de insucces.
Pe baza BDD-ului prezentat al sistemului:
1) se cauta in BDD toate nodurile x6 ;
2) pentru un nod x6 din lista de mai sus, se identifica toate
secventele S1 care pornesc din radacina BDD, trec prin nodul 6 cu
x6 = 1 si ajung intr-un nod final 1 (succes) ;
3) pentru fiecare secventa de mai sus, se comuta in nodul 6 cu
x6 = 0 si se cauta toate secventele S2 care ajung intr-un nod final
0 (insucces);
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
Obtinerea vectorilor critic pentru componenta 6

Daca exista un vector al sistemului V 0 = (x1 , x2 , x3 , x4 , x5 , 1, x7 )
satisfacand S1 si perechea sa V 00 = (x1 , x2 , x3 , x4 , x5 , 0, x7 )
satisfacand S2 , atunci vectorul V 0 este critic pt. componenta 6.
Identificarea vectorilor critici se face alaturat in urmatoarele patru
figuri. In prima figura, se identifica nodul x6 (cercul bleu), prima
secventa de tip S11 pleaca din radacina x7 cu x7 = 0 si urmeaza
secventa desenata cu mov pana in nodul x6 dupa care ajunge in
nodul final 1 (sageata verde).
Prima secventa de tip S21 pereche cu S11 se obtine prin comutarea
in nodul x6 (sageata verde sageata rosie) spre nodul final 0.
Perechea S11 , S21 genereaza doi vectori critici:
V1 = (!1, !2, 3, 4, 5, 6, !7), respectiv V2 = (!1, !2, !3, 4, 5, 6, !7)
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT

Tot in prima figura, se identifica a doua secventa de tip S12 ce
pleaca din radacina x7 cu x7 = 0 si urmeaza secventa desenata cu
albastru pana in nodul x6 dupa care ajunge in nodul final 1
(sageata verde). A doua secventa de tip S22 pereche cu S12 se
obtine prin comutarea in nodul x6 (sageata verde sageata rosie)
spre nodul final 0.
Perechea S12 , S22 genereaza un nou vector critic:
V3 = (!1, 2, !3, 4, 5, 6, !7).
Observatie. Nu mai exista noi secvente pentru prima figura. Pana
in prezent sunt trei vectori critici.
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
Prima figura
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT

In a doua figura, se identifica al doilea nod x6 din BDD (cerc de
culoare albastra). Rezulta a treia secventa de tip S13 ce pleaca din
radacina x7 cu x7 = 1 si urmeaza secventa desenata cu albastru
pana in nodul x6 dupa care ajunge in nodul final 1. A treia
secventa de tip S23 pereche cu S13 se obtine prin comutarea in
nodul x6 (traseul albastru) spre nodul final 0. Perechea S13 , S23
genereaza un singur vector critic: V4 = (1, !2, 3, !4, !5, 6, 7).
Observatie. De remarcat ca mai exista o secventa de tip S2 care
trece prin nodurile x6 , x1 , x4 , x3 spre un nod final, de asemenea, 0.
Dar, aceasta secventa nu poate face pereche cu S13 , intrucat in S13
avem x3 = 1, in timp in secventa propusa de tip S2 avem x3 = 0.
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
A doua figura
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT

In a treia figura, se pleaca de la secventa de tip S13 ce pleaca din
pana in nodul x6 dupa care ajunge in nodul final 1, cautandu-se o
alta pereche de tip S2 . A patra secventa S24 pereche cu S13 se
obtine prin comutarea in nodul x6 (traseul bleu) spre nodul final 0.
Perechea S13 , S24 genereaza patru vectori critici:
V5 = (!1, !2, 3, 4, 5, 6, 7)
V6 = (!1, !2, 3, !4, 5, 6, 7)
V7 = (!1, !2, 3, 4, !5, 6, 7)
V8 = (!1, !2, 3, !4, !5, 6, 7)
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
A treia figura
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT

In a patra figura, se pleaca de la secventa de tip S14 ce pleaca din
pana in nodul x6 dupa care ajunge in nodul final 1, trecand prin
nodurile x3 , x4 ,x1 si x5 . A cincea secventa S25 pereche cu S14 se
obtine prin comutarea in nodul x6 (traseul albastru) spre nodul
final 0. Perechea S14 , S25 genereaza ultimul vector critic:
V9 = (!1, !2, !3, 4, 5, 6, 7)
Observatie. De remarcat ca, desi mai exista o secvente de tip S1 ,
S2 , nu se mai pot gasi perechi. Exista de fiecare data, cel putin o
componenta i pentru care in S1 avem xi = 1 iar in S2 avem xi = 0,
ori vice-versa.
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
A patra figura
Paul Ulmeanu
Cuprins
Logica sistemului
Evaluarea modelului

Barlow-Proschan
MUT
Din cele patru figuri, rezulta lista vectorilor critici pentru

componenta 6:
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)
V5 = (!1, !2, 3, 4, 5, 6, 7).
V6 = (!1, !2, 3, !4, 5, 6, 7)
V7 = (!1, !2, 3, 4, !5, 6, 7)
V8 = (!1, !2, 3, !4, !5, 6, 7)
V9 = (!1, !2, !3, 4, 5, 6, 7)
Paul Ulmeanu

C1

Încărcat de

Informații document

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

C1

Încărcat de

Drepturi de autor:

Formate disponibile

Cuprins

Datele pentru subiectul 1

Evaluarea numarului critic de vectori pentru o componenta in

Evaluarea numarului critic de vectori pentru o componenta in

Evaluarea numarului critic de vectori pentru o componenta in

Simularea a fost prezentata in detaliu la curs.

Evaluarea numarului critic de vectori pentru o componenta in

Simularea a fost prezentata in detaliu la curs.

Fisierul de indicatii si recomandari este LC.pdf

Evaluarea numarului critic de vectori pentru o componenta in

Simularea a fost prezentata in detaliu la curs.

Fisierul de indicatii si recomandari este LC.pdf

Propunerile si analiza subiectelor pt. consultatii se realizeaza

Sistemul analizat are un numar de sapte componente binare si

Sistemul analizat are un numar de sapte componente binare si

Logica sistemului este precizata fie prin indicarea unui set de

Sistemul analizat are un numar de sapte componente binare si

Logica sistemului este precizata fie prin indicarea unui set de

Construirea modelului face apel la tehnici algebrice prezentate

Sistemul analizat are un numar de sapte componente binare si

Logica sistemului este precizata fie prin indicarea unui set de

Construirea modelului face apel la tehnici algebrice prezentate

BDD este un mijloc adecvat de obtinere a taieturilor

Sistemul analizat are un numar de sapte componente binare si

Logica sistemului este precizata fie prin indicarea unui set de

Construirea modelului face apel la tehnici algebrice prezentate

BDD este un mijloc adecvat de obtinere a taieturilor

BDD permite evaluarea indicatorilor de tip , MUT , MDT .

Date de intrare: trasee minimale

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

Invalidarea unei taieturi minimale propuse {3, 6}

Factorizare (teorema lui Shannon) in raport cu componenta 7

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

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

Obtinerea taieturilor minimale

Evaluarea modelului: care sunt taieturile minimale ?

Obtinerea taieturilor minimale

Evaluarea modelului: care sunt taieturile minimale ?

Obtinerea taieturilor minimale

Evaluarea modelului: care sunt taieturile minimale ?

Obtinerea taieturilor minimale

Evaluarea modelului: care sunt taieturile minimale ?

Obtinerea taieturilor minimale

Evaluarea modelului: care sunt taieturile minimale ?

Obtinerea taieturilor minimale

Evaluarea modelului: care sunt taieturile minimale ?

Obtinerea taieturilor minimale

Evaluarea modelului: care sunt taieturile minimale ?

Obtinerea taieturilor minimale

Calculul factorului de importanta structurala

Din BDD rezulta:

Obtinerea taieturilor minimale

Calculul timpului mediu de succes (pentru cazul in care

Obtinerea taieturilor minimale

Iar lista traseelor minimale devine:

Obtinerea taieturilor minimale

Calculul MUT - bazat pe lista traseelor minimale

Vom aborda calculul MUT plecand de la lista traseelor minimale de

Obtinerea taieturilor minimale

Obtinerea taieturilor minimale

Se propune evaluarea numarului de vectori critici pentru

Obtinerea taieturilor minimale

Obtinerea vectorilor critic pentru componenta 6

Obtinerea taieturilor minimale