9600-0006/01 – Modelování složitých systémů (MSS)

Cílem předmětu je seznámit posluchače doktorského studia s problematikou modelování, simulace a analýzy složitých systémů aktuálními dostupnými metodami a technologiemi právě vyvíjenými.

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.

• Wil van der Aalst, Kees van Hee: Worklflow Management, Models, Methods, and Systems. MIT Press, 2002 • Guojun Gan, Chaoqun Ma, Jianhong Wu: Data Clustering: Theory, Algorithms, and Applications, SIAM, Society for Industrial and Applied Mathematics, 2007, ISBN 978-0898716238