Studijní katalog - Fakulta informatiky - Masarykova univerzita

17.2. Státní magisterská zkousˇka v programu Informatika, obor
Paralelní a distribuované systémy
Garant: prof. RNDr. Mojmír Krˇetínsky´, CSc.
1. Modely distribuovany´ch systému˚ – základní pojmy a pricipy, synchronní a asynchronní
komunikace, slozˇitostní míry. Synchronizace. Detekce ukončení. Detekce chyb. Problém
vzájemného vyloučení a problém uváznutí a jejich rˇesˇení.
2. Problém volby vedoucího prvku – vliv topologie a její znalosti/neznalosti na slozˇitost
rˇesˇení problému (kruh, úplny´ graf, úplny´ orientovany´ graf, neznámá topologie); volba
v anonymních sítích.
3. Sémantické ekvivalence procesu˚. Silná a slabá bisimulace, bisimulační ekvivalence,
ekvivalence stop. Metody ověrˇování sémanticky´ch ekvivalencí procesu˚, axiomatizace
konečny´ch a konečně-stavovy´ch procesu˚ v kalkulu CCS; aplikace (naprˇ. na komunikační
protokoly).
4. Temporální logiky, logiky lineárního a větvícího se času a jejich fragmenty, porovnání
vyjadrˇovací síly temporálních logik, axiomatizace a rozhodnutelnost.
5. Modální µ-kalkul, syntaxe a sémantika; operátory pevného bodu, alternace operátoru˚
pevného bodu, vy´počet pevny´ch bodu˚ pomocí aproximací.
6. Konečné automaty nad nekonečny´mi slovy, jimi rozpoznávané jazyky a jejich vlastnosti.
Princip prˇekladu formulí LTL na automaty nad nekonečny´mi slovy.
7. Formalismy pro popis nekonečně stavovy´ch prˇechodovy´ch systému˚ (algebry procesu˚,
Petriho sítě, prˇepisovací systémy, automaty, procesové kalkuly), porovnání jejich vyjadrˇovací
síly.
8. Rozhodnutelnost sémanticky´ch ekvivalencí pro ru˚zné trˇídy nekonečně stavovy´ch systému˚.
Slozˇitost rozhodovacích algoritmu˚. Analy´za dosazˇitelnosti, rozhodnutelnost, slozˇitost
algoritmu˚ pro analy´zu dosazˇitelnosti.
Titulní strana
Obsah
◭◭ ◮◮
◭ ◮
Strana 296 z 509
Zpět
Vprˇed
Zavrˇít
Konec