home
mgr-szz
ap-ap
ap-bio
ap-obr
ap-ssme
in-bit
in-emba
in-gra
in-ins
in-pds
1-pds
2-pds
5-pds
6-pds
7-pds
9-pds
in-pos
in-psk
in-tei
in-umi-ai
in-uni-nlp
ap-ap
ap-bio
ap-obr
ap-ssme
in-bit
in-emba
in-gra
in-ins
in-pds
in-pos
in-psk
in-tei
in-umi-ai
in-umi-nlp
playground
wiki
home
mgr-szz
hledat
Hledat
Mapa stránek
Správa médií
Poslední úpravy
Zpětné odkazy
Přihlásit se
Státnice na FI MUNI
Zdrojový kód stránky
Starší verze
Historie:
•
in-pds
Umístění:
home
»
mgr-szz
»
in-pds
Toto je starší verze dokumentu!
—-
Státní magisterská zkouška v programu Informatika, obor Paralelní a distribuované systémy N-IN PDS
Hardwarové platformy pro paralelní výpočty a související typy paralelních algoritmů. Návrh paralelních algoritmů: míra a úroveň paralelizace, typy komunikace a jejich vlastnosti, synchronizace a serializace. Analýza paralelních algoritmů: zrychlení (speedup), škálovatelnost, komunikační složitost versus lokalita a jejich vliv na výkon paralelní implementace.
Modely distribuovaných systémů - základní pojmy a pricipy, synchronní a asynchronní komunikace, složitostnímíry. Synchronizace. Detekce ukončení. Detekce chyb. Problém vzájemného vyloučení a problém uváznutí a jejich řešení.
Problém volby vedoucího prvku - vliv topologie a její znalosti/neznalosti na složitost řešení problému (kruh, úplný graf, úplný orientovaný graf, neznámá topologie); volba v anonymních sítích.
Sémantické ekvivalence procesů. Silná a slabá bisimulace, bisimulační ekvivalence, ekvivalence stop. Metody ověřování sémantických ekvivalencí procesů, axiomatizace konečných a konečně-stavových procesů v kalkulu CCS; aplikace (např. na komunikační protokoly).
Temporální logiky, logiky lineárního a větvícího se času a jejich fragmenty, porovnání vyjadřovací síly temporálních logik, axiomatizace a rozhodnutelnost.
Modální mu-kalkul, syntaxe a sémantika; operátory pevného bodu, alternace operátorů pevného bodu, výpočet pevných bodů pomocí aproximací.
Konečné automaty nad nekonečnými slovy a jimi rozpoznávané jazyky a jejich vlastnosti. Princip překladu formulí LTL na automaty nad nekonečnými slovy.
Formalismy pro popis nekonečně stavových přechodových systémů (algebry procesů, Petriho sítě, přepisovací systémy, automaty, procesové kalkuly), porovnání jejich vyjadřovací síly.
Rozhodnutelnost sémantických ekvivalencí pro různé třídy nekonečně stavových systémů. Složitost rozhodovacích algoritmů. Analýza dosažitelnosti, rozhodnutelnost, složitost algoritmů pro analýzu dosažitelnosti.
Metoda ověřování modelu pro konečně stavové systémy a lineární temporální logiku: základní symbolické a explicitní algoritmy a jejich teoretická složitost.
Specifické techniky pro verifikaci softwarových systémů, abstraktní interpretace, metody abstrakce a aproximace, redukce částečným uspořádáním, metody zjemňování abstrakcí (např. CEGAR – protipříkladem řízené zjemňování abstrakcí).
Systémy reálného času.měkké a tvrdé systémy. Plánování v systémech reálného času: plánování s periodickými úkoly, plánování založené na prioritách, přístup ke sdíleným zdrojům.
Modelování a verifikace systémů reálného času. Teorie časových automatů. Temporální logiky s reálným časem. Programová podpora pro automatickou verifikaci. Komunikační protokoly s reálným časem a jejich verifikace.
Programování pro souběžné systémy a systémy reálného času. Základní principy: procesy, synchronizace, komunikace, čas. Podpora u existujících programovacích jazyků. Operační systémy reálného času.
Kryptografie. Použití základních symetrických algoritmů (AES), módy činnosti blokových šifer. Použití základních asymetrických algoritmů (RSA, DSA). Základní kryptografické protokoly. Správa veřejných klíčů, certifikační autority a infrastruktury veřejných klíčů.
mgr-szz/in-pds.1414397272.txt.gz
· Poslední úprava: 2020/04/12 16:56 (upraveno mimo DokuWiki)
Nahoru