Ing. Štěpán Plachý

Ing. Štěpán Plachý

Ing. David Bernhauer

Katedra softwarového inženýrství

Tato práce se zabývá redesignem a přepsáním webové aplikace (frontend) pro projekt Grades do nejnovějších technologií s podporou offline funkcionality a optimalizací pro obrazovky mobilních zařízení. Nová webová aplikace komunikuje se stávajícím Grades API. Umožňuje studentům získávat informace o své klasifikaci z jednotlivých předmětů. Učitelům umožňuje pohodlné hodnocení studentů. Aplikace je naprogramována ve frameworku Angular a architektura je zvolena tak, aby byla co nejvíce modulární a udržovatelná.

Práce na DSpace

Ing. Štěpán Plachý

doc. Ing. Jan Janoušek, Ph.D.

Katedra teoretické informatiky

Tato bakalářská práce se zabývá omezením možných hodnot výrazu reprezentovaného pomocí abstraktního syntaktického stromu na základě omezení hodnot vstupních proměnných. Výrazy mohou obsahovat hodnoty různých datových typů. Práce představuje průchod abstraktním syntaktickým stromem, jehož výsledek obsahuje všechny hodnoty, které mohly vzniknout vyhodnocením výrazu s každým ohodnocením proměnných splňující omezení. Práce se zaobírá návrhem potřebných datových struktur a vyhodnocením vybraných funkcí. Navržený průchod je implementován do vyhodnocovače výrazů elektronické klasifikace Grades, který podporuje datové typy číslo, řetězec a boolean. Rozšíření vyhodnocovače umožní přídání funkcionality do aplikace Grades pro zjištění všech potencionálních klasifikací v jednotlivých předmětech a také pro automatizovanou kontrolu definice hodnocení.

Práce na DSpace

Ing. Štěpán Plachý

Ing. Claudio Kozický

Katedra teoretické informatiky

Tato práce se zabývá k-lokálními deterministickými konečnými stromovými automaty (DKSA), které hrají důležitou roli při hledání vzorů ve stromových strukturách. Existuje pracovně optimální paralelní algoritmus pro běh k-lokálních DKSA na výpočetním modelu EREW PRAM. Tento algoritmus bude implementován, experimentálně změřen a porovnán se sekvenčním algoritmem v této práci.

Práce na DSpace

Ing. Štěpán Plachý

Ing. Jakub Jirůtka

Katedra teoretické informatiky

Cílem této práce je návrh a implementace šablonavacího jazyka, pro tvorbu HTML stránek, který se zaměřuje na podporu funkcionálního stylu programování, pomocí nehož lze vylepšit vlastnosti šablonovacích jazyků. Základními vlastnostmi navrženého jazyka jsou podpora funkcí vyššího řádu, anonymní funkce a silný typovací systém. Pro šablonovací jazyk byla vytvořena formální gramatika a implementace překladače byla provedena v programovacím jazyce Haskell.

Práce na DSpace

Ing. Štěpán Plachý

Ing. Tomáš Pecka

Katedra teoretické informatiky

Tato bakalářská práce se zabývá analýzou, návrhem a implementací překladače jazyka kontrol navrženého Českou národní bankou. Tento překladač umožňuje překlad jazyka kontrol do jazyka SQL, který je následně možné spustit přímo nad databázovým serverem, kde se nachází data, která výraz v jazyce kontrol validuje. V rámci práce je provedena analýza jednotlivých částí tohoto jazyka a jejich možnosti pro překlad pro vícero druhů relačních databází. Je vypracován konkrétní návrh struktury tohoto překladače a jeho jednotlivých částí, na základě kterého je překladač implementován pomocí programovacího jazyka PHP.

Práce na DSpace

Ing. Štěpán Plachý

Ing. Tomáš Pecka

Katedra teoretické informatiky

Tato práce poskytuje parser LL(1) pro obecné výrazy. Za předpokladu správné tabulky priorit operátorů je analyzátor schopen analyzovat daný vstupní řetězec a v případě úspěchu poskytnout AST reprezentaci vstupu. Práce také poskytuje gramatiku syntaxe Pascalu ve formě tabulky priorit operátorů k diskuzi a rozvoji myšlenky popisu syntaxe programovacího jazyka pomocí výrazů. Práce je podpořena řadou příkladů kódu Pascal, zpracovaných vyvinutým parserem, použitých spolu s poskytnutou syntaxovou tabulkou.

Práce na DSpace

Ing. Štěpán Plachý

doc. Ing. Ivan Šimeček, Ph.D.

Katedra teoretické informatiky

This thesis implements tree pattern matching using deterministic finite tree automata. A work-optimal parallel algorithm exists and has been implemented for EREW PRAM. This algorithm will be optimized for APRAM and ported to SIMT. Then, both new implementations will be measured experimentally and compared.

Práce na DSpace