Documente Academic
Documente Profesional
Documente Cultură
Conceptul de sistem
Procesele modelate sunt caracterizate de anumite
sistem
electroenergetic;
gospodrirea investiiilor;
elaborarea economic a unui amestec de produse, determinarea
reetei de combustibili solizi;
amplasarea unitilor de producie (fabrici, centrale electrice);
msuri ce se iau n caz de avarie.
Conceptul de sistem
Datorndu-se activitii oamenilor, fenomenul
de organizare i este caracteristic luarea unei
hotrri, a unei decizii, asupra modului de
scopului propus.
Conceptul de sistem
Modul de observare i influenare a fenomenelor de
Cercetarea operaional
Disciplina care cerceteaz n mod tiniific
fenomenele de organizare i permite pregtirea
Modelul matematic
Metoda de cercetare specific cercetrii operaionale este metoda
modelrii matematice.
Modelarea matematic reproduce la scar, prin intermediul
simbolurilor, o parte a realitii, o mulime de evenimente, o teorie
dintr-un anumit domeniu de specialitate, avnd ca scop testarea,
simularea comportamentului acestuia i gsirii cilor de optimizare a
desfurrii lor n practic.
Conceptul de model a fost folosit pentru prima dat n 1868 de
matematicianul italian Bertrami care a construit un model euclidian
pentru geometria neeuclidian.
Modelele matematice reproduc anumite laturi ale obiectelor supuse
studiului prin intermediul unei teorii.
Modelarea servete n aceast idee la cunoaterea tiinific a
realitii i se ocup cu construirea de noi modele care s serveasc
scopului propus.
Modelul matematic
Modelul ideal din punct de vedere tiinific este acela care
Modelul matematic
Modelarea ca metod matematic de reprezentare i organizare a
analizat;
permite verificarea prin analogie a teoriei cu practica;
uureaz descoperirea unor corelaii dintre fenomene care stau la baza
procesului de decizie;
permite obinerea unor soluii optime.
Modelul matematic
Modelele liniare opereaz cu relaii matematice la care variabilele au
Modelul matematic
Modelul macroindustrial se elaboreaz pentru descrierea matematic a
Modelul matematic
O serie de principii sunt recomandabile n cazul modelrii
- etap inactiv2.
.2
- etap activ
- etap iniial
Reprezentarea tranziiilor
Dac sunt mai multe arce care sosesc sau pleac de la aceeai tranziie,
reprezentarea conine i o linie dubl.
jonciune I
a)
b)
Ti
Ri
Ti
Ri
c)
distribuie
I
Ti
Ri
jonciune i
distribuie
ele se regrupeaz.
Ti
Ti+
Ti+
Ti
a)
jonciune
SAU
a)
distribuie
SAU
Aciuni i
Ri
Ti
i+1
Aciuni i+1
ndeplinite:
toate etapele care preced tranziia sunt active (se spune c tranziia este
valid);
funcia de receptivitate asociat tranziiei are valoare adevrat.
i
0
Ti
i+1
0
Ti+1
a)
1
0
1
b
0
1
Xi
0
1
Xi
0
1
t/i+1/10 s
0
01
t/i+1/20 s
0
a
10 s
20 s
b)
i+1;
a i b funcii de receptivitate.
Aciunile pot fi mprite n dou categorii: aciuni de nivel impulsiv
i aciuni de nivel (care pot fi condiionate sau necondiionate).
Aciunile de nivel sunt definite numai pentru situaii stabile.
Aciunile impulsive au durat foarte scurt i realizeaz schimbarea
unei variabile sau contorizarea unei mrimi.
Aceste aciuni pot fi ieiri pentru sistemul modelat. Funcia de
receptivitate poate fi un eveniment extern sau un eveniment i o
condiie.
Macroetape i pseudomacroetape
Aciunile
sunt
reprezentate
de
aciunile ce aparin etapelor ce intr
n descrierea pseudo-macroetapei.
ii
Aciuni i
particulare:
a) Graf de stri
O reea Petri este un graf de stri dac i numai dac toate tranziiile
Vom avea graf de stri marcat dac reeaua conine un singur marcaj, deci dac
se afl ntr-o singur stare la un moment dat.
b) Graf de evenimente
O reea Petri este un graf de evenimente dac i numai dac toate poziiile au
exact o tranziie de intrare i o tranziie de ieire. Graful de evenimente este
dualul unui graf de stri.
Exemplu
o tranziie de ieire.
Un conflict corespunde existenei unei poziii P1
care are cel puin dou tranziii de ieire.
P(T1, T2) - conflict.
Vom nota acest conflict prin poziia respectiv i
ansamblul de tranziii.
n prima faz poate fi executat T/1, apoi T//1 sau T/1. La pasul urmtor
va trebui obligatoriu s se efectueze T//1. Vom aduga o poziie Po avnd
rolul de a asigura executarea n aceast ordine tranziiilor T/1 i T//1.
Dac tranziia T/1 s-a executat P0 nu va mai conine marcaje i singura
tranziie posibil este T//1.
Caracteristicile Reelelor
Petri
Viabilitatea
O reea Petri este utilizat pentru a descrie un sistem i a-l studia.
Modelul este corect dac R. P. este viabil adic nu exist blocajetranziie poate fi executat plecnd din poziia iniial printr-o
succesiune de tranziii.
Limitarea
Limitare este proprietatea R. P. de a conine un numr de marcaje
finit.
Reiniializarea
Reiniializarea este proprietatea reelelor Petri ca dup o succesiune
finit de tranziii s revin la marcajul iniial.
Analiza modelelor realizate prin reele Petri au la baz aceste
proprieti, ce pot fi extrase studiind modelele sau prin simularea
acestora.
Ecuaia
de stare
a
reelelor
Petri
Mk=Mi+W*S
Mf =Mk+W*S' unde
Componente conservative i
invarianii marcajelor
Exemplu
Exemplu
Componente
conservative i
invarianii
marcajelor
Componente conservative i
invarianii marcajelor
Succesiunea tranziiilor n acest exemplu este T1, T2, T3.
Putem observa c se afl totdeauna un singur marcaj n ansamblul
Componente conservative i
invarianii marcajelor
R.P. este o component conservativ dac i
Componente conservative i
invarianii marcajelor
Vectorul F = (11010) ce corespunde unei ponderi: - 1 pentru (P1, P2
Componente conservative i
invarianii marcajelor
Pentru exemplul considerat:
conservativ.
Componente repetitive i
invarianii tranziiilor
Componente repetitive i
invarianii tranziiilor
Componente repetitive i
invarianii tranziiilor
Proprietatea comun tuturor secvenelor de execuie este
urmtoarea:
Componente repetitive i
invarianii tranziiilor
Vectorul de ponderi care l-am considerat are acum un corespondent n
vectorul caracteristic S .
Vom nota T(S) ansamblul de tranziii care apar n S, deci care corespund
elementelor nenule.
Proprietate. Fie D un ansamblu de tranziii. Ansamblul de tranziii este o
component repetitiv (staionar) dac i numai dac exist o secven
de execuie S astfel nct T( S ) = D i W*S= 0.
D este o component repetitiv cresctoare dac W*S> 0 .
Dac S este o secven repetitiv plecnd din marcajul M1*M0 i dac S
este o secven de tranziii plecnd din M2 *M0 atunci S este de
asemenea o secven repetitiv plecnd din marcajul M2. Aceast
proprietate decurge din ecuaia fundamental.
Componente repetitive i
invarianii tranziiilor
Proprietate. Pentru toate poziiile Pi ale unei Reele Petri
Grafuri de marcaje
Graful de marcaje este compus din:
noduri care corespund marcajelor accesibile;
arce corespunznd execuiei tranziiilor.
Grafuri de marcaje
Grafuri de marcaje
Grafuri de marcaje
Se poate construi un arbore acoperitor care posed un numr finit de noduri, prin
construcie.
Un arbore este un graf particular n care nu exist bucle i nici circuite. Cu alte cuvinte
dac nu vom ine seama de orientarea arcelor, dou noduri oarecare sunt unite printrun singur ir de arce.
Construim arborele de acoperire pentru exemplul considerat. Plecnd de la marcajul
iniial M0 putem executa T1 i trecem n M1 (M1>M0). Execuia tranziiei T1 se poate
repeta de cte ori dorim. Vom asocia atunci poziiei P1, marcajul simbolic m, care
reprezint c numrul de marcaje in P1 poate s ating un numr ntreg K la fel de
mare ca cel care dorim, prin abuz de limbaj l vom intitula w - care reprezint o
infinitate de marcaje posibile.
Grafuri de marcaje
Dac sunt k marcaje n P1, dup tranziie vor fi K+1 marcaje dac se
execut T1 i K-1 marcaje dac se execut T2.
Aceste numere k+1 i k-1 pot fi la rndul lor la fel de mari, ct dorim i le
vom atribui simbolul w. Arborele obinut este prezentat n figura
urmatoare.
Paralelismul
O structur de execuie n
paralel a dou secvene S1
i S2 poate fi reprezentat
ca n figura urmtoare.
La execuia tranziiei T1
poziiile P1 i P2 sunt
activate simultan, evoluia
ulterioar realizndu-se pe
dou ramuri paralele pn
la efectuarea tranziiei T2.
Sincronizarea
Sincronizarea n cadrul unui model poate fi realizat prin dou metode:
metoda ntlnirii;
metoda semaforului.
n primul caz sincronizare a dou secvene separate se realizeaz printr-o
tranziie comun T1, iar n al doilea caz prin intermediul unei poziii P1, care
permite efectuarea tranziiei T2 numai dup ce a fost realizat tranziia T1 din
secvena S1. Execuia operailor din prima secven S1 este sincronizat cu
efectuarea operailor din a doua secven prin intermediul tranziiei T1.
Capacitate limitat
Analiza de caz
.
P
1
T1
producere E
E
marcaj P
1
P2
3
1
0
1
marcaj P 2
producere E
P
3
T2
P4
2
E
marcaj P
1
0
1
marcaj P
.
P5
T
3
producere E
P6
T
4
P
7
marcaj P
marcaj P
1
1
1
0
1
marcaj P
succesiunea de
evenimente E =
E2,E1,E1,E2,E1
aplicata reelei din
figura urmtoare.
Tranziiile T1 si T2
se executa numai
atunci cnd se
produc
evenimentele
asociate acestora si
tranziiile sunt
valide.
si T5 receptive la evenimentul E2
M1 = { 0 1 0 0 1 0 0 } si M2 = { 0 0 0 1 0 0 1 }
T1T2 M2 si T2T1 M2
S1 si S2 sunt deci secvene de simulare completa.
unui sistem.
i este asociata o
Principiu de funcionare
urmtoarea diagram.
exacuie T1
execuie T2
marcaj indisponibil P1
d1
marcaj disponibil P1
marcaj indisponibil P2
d2
Md - marcajele disponibile
Mi - marcajele indisponibile
Se observa ca F1 = F2 cum d1 = 2
5*F1=1.
si d2 = 3
rezulta
F1=1/5
Definiie: Vom spune ca o R.P. - temporizata funcioneaz
n viteza proprie daca toate marcajele nu rmn ntr-o poziie
dect pe timpul duratei sale de indisponibilitate.
Tempo : T Q+
Principiul de funcionare
exemplul urmtor.
Atunci cnd T1 este executata un marcaj este depus n poziia P1, care
antreneaz validarea tranziiei T2. Ca urmare putem decide execuia
tranziiei T2 n oricare moment.
RP - autonome;
RP - temporizate.
Definirea modelelor
Studiu de caz
Modelarea unei centrale termoelectrice compus din dou
de
execuie a tranziiei T1, ntre momentele t i t + dt, avnd T1
valida la momentul t.
Definirea modelelor
Un generator este susceptibil de a se defecta. Timpul de
Definirea modelelor
ntr-o Reea Petri stohastica nu exista marcaje rezervate. n
Definirea modelelor
b) RP temporizata stohastica
Trebuie s alegem
la ce retea vom
cupla
consumatorul.
n timpul 1/1 de
la prezervarea
consumatorului,
se va efectua
alimentarea.
MS - magazie scule;
CP1, .. CP3 - centre de prelucrare - maini de frezat longitudinal
cu portal;
GP 35 - main de gurit n coordonate;
STA1, STA2 - sisteme de transport automate.
citit.
Codul separ piesele n dou categorii:
P1 - care se prelucreaz pe centrele de prelucrare:
P2 - care se prelucreaz pe maina de gurit n coordonate.
operaii:
1. piesa antrenat de sistemul de transport automat STA1 este
ncrcat pe CP1 sau CP2 sau CP3;
2. n continuare indiferent de centrul de prelucrare pe care s-a
efectuat ncrcarea, se efectueaz citire program pies,
prelucrare, suflare i curare;
3. dup aceste operaii, piesa este transportat de STA2 n
depozitul de la ieire.
operaii:
1. se antreneaz piesa de ctre sistemul de transport automat
Se
al
poziiilor iniiale reelele Petri
prezentate
sunt
viabile,
mrginite i reversibile.
transport automat:
STA1 pentru alimentare;
resursele.
Prin ataarea resurselor de transport partajate paralel obinem
permanente.
n acelai timp de exemplu n cadrul unui sistem, un anumit
echipament
se
poate
defecta
corespunztoare devin nul.
viteza
maximal
- mulimea poziiilor;
- mulimea tranziiilor;
In raport cu RP generalizate,
funciile Pre i Post vor avea un
argument suplimentar care este
culoarea Ck de execuie a tranziiei
tj.
De asemenea Pre(Pi,ti/ck) i
Post(pi,tj/ck) corespund n caz
general unei combinaii liniare de
culori de marcaje, relative la poziia
Pi.
Exemplu:
M(p2) = 0.
Suma simbolic a marcajului M(p1) semnific c marcajul se
Tranziii valide
Fie C(Tj) ansamblul de culori asociate tranziiei Tj. Aceast
Tranziii valide
Tranziii valide
Fie M' marcajul obinut dup execuia tranziiei Tj n raport de
Secvene de execuie
Execuia unei tranziii Ti n raport cu o culoare Chi (care se
Mk+1
Marcajul Mk+1 va fi calculat cu formula urmtoare:
Secvene de execuie
Exemplu
f(c1) = C1 + C2
f(c2) = C2
de tranziii:
S1=T1/C1, T2/C1 ,T2/C2
tranziiilor.
TJ).
Matricea Pre va fi W-, avnd elemente de tipul aij= Pre(Pi,TJ).
tranziii de la Mi la Mk.
Proprietile RPC
Reea
Petri
este limitat
dac, pentru toate
marcajele accesibile, toate poziiile conin un numr finit de
marcaje.
urmtoarea:
poate realiza
generalizate.
separat
prin
intermediul
Reelelor
Petri
Reelelor Petri
asemntor.
generalizate,
se
poate
realiza
mod