Modelování složitých systémů

V rámci předmětu budou diskutovány algoritmy z oblasti modelování, simulace složitých systémů a z nich vyplývající analýza rozsáhlých kolekcí experimentálních dat. V rámci kurzu bude diskutována metodologie modelování systémů, definovány základní třídy úloh z oblasti jejich spojité, diskrétní či kombinované simulace. V dalším budou probrány jazyky pro modelování postavené na semiformálních (UML) či formálních přístupech (Petriho sítě, Pi-calcullus). Plánování a následné provádění simulačních experimentů vede k vytváření rozsáhlých kolekcí dat, které je nutno následně analyzovat prostřednictvím metod postavených na neuronových sítích, vyhledávání nejbližšího souseda ve vysoce dimenzionálních datech, zpracování proudových dat, identifikace asociačních pravidel, shlukování, algoritmech analýzy a odhalování struktury velkých grafů, technikách pro získávání významných charakteristik z rozsáhlých datových kolekcí pomocí redukce dimenze a algoritmů strojového učení jakými jsou perceptronové sítě a SVM. V rámci kurzu bude kladen důraz na použití metod optimalizovaných pro HPC servery a nově vyvíjených metod pro akcelerátory.