Novi pristup analizi pouzdanosti sistema primenom inverznih Petrijevih mreža

Analiza stabla neispravnosti (ASN) je tehnika za analizu pouzdanosti koja se koristi za određivanje uzroka i verovatnoće otkaza sistema. ASN je bazirana na stablu neispravnosti (SN), grafičkom modelu koji koristi logička kola i otkazne događaje za predstavljanje uzročno-posledičnih veza između događaja koji prethode otkazu sistema. Kvalitativni deo ASN sastoji se u određivanju minimalnih skupova preseka. Skup preseka je skup primarnih događaja koji, kada se dogode istovremeno, dovode do otkaza sitema. Minimalni skup preseka (minipresek) je skup preseka koji je redukovan na minimalni broj elemenata koji izazivaju otkaz sistema. U ovoj disertaciji je predložena nova metoda za određivanje minipreseka koherentnog SN, SN koje sadrži samo I i ILI logička kola, sa višestrukim događajima. Metoda je zasnovana na posebnom tipu Petrijevih mreža – inverznim Petrijevim mrežama. Prvo je predstavljen novi algoritam za redukciju skupova preseka koherentnog SN. Određivanje svih minipreseka koherentnog SN je NP težak problem. U disertaciji se razmatraju pristupi kojima se prvo određuju svi skupovi preseka datog SN a zatim se vrši eliminisanje nadskupova, odnosno skupova preseka koji nisu minimalni. U tim pristupima, SN se transformiše u ekvivalentnu bulovu jednačinu u kojoj se, zatim, eliminišu svi redundantni skupovi preseka. Već je dokazano da su skupovi preseka, koji ne sadrže višestruke događaje, minimalni. Time se redukcija ograničava samo na skupove preseka sa višestrukim događajima. U ovoj disertaciji se posmatra još jedna vrsta skupova preseka: oni koji, ako sadrže neki višestruki događaj, sadrže sva njegova ponavljanja. Ovakvi skupovi preseka su označeni sa C*. Pokazuje se da je skup preseka oblika C*, ako postoji, takođe minimalan. Time se dodatno skraćuje postupak redukcije bulove jednačine. Zatim se, dalje, dokazuju uslovi za postojanje skupova preseka oblika C* i određuje minimalna broj skupova preseka koji se mogu eliminisati kao nadskup od C*. Predložen je novi algoritam za redukciju bulove jednačine datog SN, koji se bazira na razdvajanju skupova preseka u tri grupe: skupovi preseka bez višestrukih događaja, skupovi preseka oblika C* i ostali skupovi preseka. Efikasnost algoritma je ilustrovana na grupi test...

Grantor dc:publisher

Univerzitet u Beogradu, Fakultet organizacionih nauka

Year dc:date.issued

2012

Author dc:creator

• Makajić-Nikolić, Dragana

Advisor dc:contributor.advisor

• Vujošević, Mirko

• stablo neispravnosti
• redukcija skupova preseka
• minimalni skupovi preseka
• inverzne Petrijeve mreže
• reverse Petri net
• minimal cut set
• fault tree
• cut set reduction

Statement dc:rights

• openAccess

Licence dc:rights.uri

• https://creativecommons.org/licenses/by/4.0/

Language dc:language

sr

Identifier URI

http://eteze.bg.ac.rs/application/showtheses?thesesId=234
https://fedorabg.bg.ac.rs/fedora/get/o:5501/bdef:Content/download
http://vbs.rs/scripts/cobiss?command=DISPLAY&base=70036&RID=515126170
https://rfos.fon.bg.ac.rs/handle/123456789/64

OAI identifier oai:identifier

oai:rfos.fon.bg.ac.rs:123456789/64