C1

Cuprins
Datele pentru subiectul 1

Logica sistemului
Evaluarea modelului
Subiectul 1 consultatii
Paul Ulmeanu
5 Aprilie 2011
Paul Ulmeanu Subiectul 1 consultatii

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

Cuprins
Logica sistemului
Evaluarea modelului
Cerinte si premize
I Evaluarea numarului critic de vectori pentru o componenta in

cazul simularii de la Lucrare de Control (LC) - pe baza de
BDD

Cuprins
Logica sistemului
Evaluarea modelului
Cerinte si premize

BDD

Cuprins
Logica sistemului
Evaluarea modelului
Cerinte si premize

BDD
I Simularea a fost prezentata in detaliu la curs.

Cuprins
Logica sistemului
Evaluarea modelului
Cerinte si premize

BDD
I Fisierul de indicatii si recomandari este LC.pdf

Cuprins
Logica sistemului
Evaluarea modelului
Cerinte si premize

BDD
I Fisierul de indicatii si recomandari este LC.pdf
I Propunerile si analiza subiectelor pt. consultatii se realizeaza
conform http://energ.curs.pub.ro/2010

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

independente

Cuprins
Logica sistemului
Evaluarea modelului
Date

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

Cuprins
Logica sistemului
Evaluarea modelului
Date

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

Cuprins
Logica sistemului
Evaluarea modelului
Date

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

Cuprins
Logica sistemului
Evaluarea modelului
Date

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
Datele pentru subiectul 1 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
Datele pentru subiectul 1 Barlow-Proschan
Logica sistemului MUT
Evaluarea modelului Deducerea vectorilor critici pe baza BDD
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/ν

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);

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)

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.

Prima figura

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.

A doua figura

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)

A treia figura

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.

A patra figura

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)

C1

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

C1

Uploaded by

Copyright:

Available Formats

Cuprins

Datele pentru subiectul 1

Paul Ulmeanu Subiectul 1 consultatii

Datele pentru subiectul 1

Paul Ulmeanu Subiectul 1 consultatii

I Evaluarea numarului critic de vectori pentru o componenta in

Paul Ulmeanu Subiectul 1 consultatii

I Evaluarea numarului critic de vectori pentru o componenta in

Paul Ulmeanu Subiectul 1 consultatii

I Evaluarea numarului critic de vectori pentru o componenta in

Paul Ulmeanu Subiectul 1 consultatii

I Evaluarea numarului critic de vectori pentru o componenta in

Paul Ulmeanu Subiectul 1 consultatii

I Evaluarea numarului critic de vectori pentru o componenta in

Paul Ulmeanu Subiectul 1 consultatii

I Sistemul analizat are un numar de sapte componente binare si

Paul Ulmeanu Subiectul 1 consultatii

I Sistemul analizat are un numar de sapte componente binare si

Paul Ulmeanu Subiectul 1 consultatii

I Sistemul analizat are un numar de sapte componente binare si

Paul Ulmeanu Subiectul 1 consultatii

I Sistemul analizat are un numar de sapte componente binare si

Paul Ulmeanu Subiectul 1 consultatii

I Sistemul analizat are un numar de sapte componente binare si

Paul Ulmeanu Subiectul 1 consultatii

Date de intrare: trasee minimale

Paul Ulmeanu Subiectul 1 consultatii

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

Paul Ulmeanu Subiectul 1 consultatii

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

Paul Ulmeanu Subiectul 1 consultatii

Factorizare (teorema lui Shannon) in raport cu componenta 7

Paul Ulmeanu Subiectul 1 consultatii

Factorizare (teorema lui Shannon) in raport cu componenta 7

Paul Ulmeanu Subiectul 1 consultatii

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

Paul Ulmeanu Subiectul 1 consultatii

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

Paul Ulmeanu Subiectul 1 consultatii

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

Paul Ulmeanu Subiectul 1 consultatii

Paul Ulmeanu Subiectul 1 consultatii

Paul Ulmeanu Subiectul 1 consultatii

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Subiectul 1 consultatii

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Subiectul 1 consultatii

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Subiectul 1 consultatii

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Subiectul 1 consultatii

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Subiectul 1 consultatii

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Subiectul 1 consultatii

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu Subiectul 1 consultatii

Calculul factorului de importanta structurala

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

Paul Ulmeanu Subiectul 1 consultatii

Calculul timpului mediu de succes (pentru cazul in care

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

Paul Ulmeanu Subiectul 1 consultatii

Iar lista traseelor minimale devine: