Markovovy modely
Markovovy
modely jsou funkce dvou náhodných proměnných, stavu systému a doby nebo jiné
veličiny, v závislosti na které stav sledujeme. Modely ser využívají pro výpočet spolehlivosti obnovovaných systémů v případě, že mají
doby provozu a doby obnovy exponenciální rozdělení. S ohledem na rozdílný popis sledovaného času se modely dělí na:
Markovův řetězec
- diskrétní čas – ke změně stavu může dojít jen v určitých časových okamžicích
- diskrétní stav soustavy
Markovův proces
- spojitý čas – ke změně stavu prvků může dojít v kterémkoliv okamžiku.
- diskrétní stav soustavy
1. Markovovy modely
1.1. Markovův řetězec
V případě Markovova řetězce se jedná o model se spojitým stavem soustavy (systém funguje vs. nefunguje) a diskrétním časem. To znamená, že se analyzuje stav vždy po nějakém předem definovaném časovém okamžiku (na konci dne, týdne, směny, po roce apod.).
Obecně je možno stav systému popsat orientovaným grafem, který vždy reflektuje veškeré stavy soustavy, které mohou nastat a zároveň i jednotlivé přechody mezi těmito stavy. Pro dvoustavový systém může orientovaný graf vypadá následovně:
kde:
P11 je pravděpodobnost, že systém zůstane na konci časového intervalu ve stavu 1, byl-li v tomto stavu na začátku časového intervalu,
P12 je pravděpodobnost, že systém přejde během časového intervalu ze stavu 1 do stavu 2, byl-li ve stavu 1 na začátku časového intervalu,
P21 je pravděpodobnost, že systém přejde během časového intervalu ze stavu 2 do stavu 1, byl-li ve stavu 2 na začátku časového intervalu,
P22 je pravděpodobnost, že systém zůstane na konci časového intervalu ve stavu 2, byl-li v tomto stavu na začátku časového intervalu.
Základní vlastností Markovova
řetězu je to, že pravděpodobnost, že se systém nachází na konci časového
intervalu v určitém stavu (např. 1) závisí pouze na tom v jakém stavu
se systém nacházel na začátku časového intervalu (1 nebo 2) a nikoli na tom, co
bylo před tím, tj.na minulé historii systému. Markovův řetězec nemá tedy paměť.
Pro pravděpodobnosti pro jednotlivé možné stavy pak platí: