|
|
Interaktivní simulátor pro grafy toku dat
Kovařík, David ; Smrčka, Aleš (oponent) ; Charvát, Lukáš (vedoucí práce)
Grafy toku dat jsou často používány při návrhu hardware. Jsou však vhodné také pro provádění hlubších analýz návrhů (např. funkční a formální verifikace). Simulátor prezentovaný v této práci vzniká jako podpůrný nástroj pro verifikační prostředí HADES. Cílem simulátoru je snížit potřebný čas a zvýšit kvalitu procesu verifikace. Pro efektivní provádění simulace byl navržen a implementován simulační algoritmus, který díky eliminaci nadbytečných vyhodnocení šetří výpočetní čas. Simulátor je vybaven několika výstupními rozhraními, která jsou připojena k simulačnímu jádru. První rozhraní poskytuje přímý výstup simulace v textové podobě. K němu existuje také interaktivní varianta, která dovoluje uživateli řídit běh simulace a manipulovat se stavem modelu. Třetí vytváří plnohodnotné uživatelské rozhraní určené pro vizualizaci průběhu simulace.
|
|
|
Automatic Template Pattern Recognition
Kovařík, David ; Lengál, Ondřej (oponent) ; Šimková, Hana (vedoucí práce)
Spam does not occur as separate messages, but it is sent in so-called campaigns. They are usually generated by a certain template which allows producing large amount of semantically, but not syntactically, equivalent messages. The goal of this work is to design an algorithm able to reversely extract a template of a campaign from a set of concrete messages. The main focus is on spam in SMS communication. However, proposed method is general enough for wider use. The proposed algorithm is based on a method of aligning to sequences, which is used in bioinformatics to detect similar regions of protein strings. Resulting templates are represented as regular expressions. The tool is able to visualize extracted templates using HTML.Results of the tool were validated on more than three hundred real-world campaigns. In most cases extracted regular expressions were able to identify their source campaign.
|
|
|
Výběr a implementace informačního systému
Kovařík, David ; Pezlar,, Zdeněk (oponent) ; Koch, Miloš (vedoucí práce)
Diplomová práce je zaměřena na řešení problematiky výběru a implementace nového IS do výrobní společnosti. Tato problematika je v rámci práce řešena zpracováním charakteristik jednotlivých fází výběru a implementace IS v kontextu vybrané společnosti. Zpracování charakteristik by mělo poukázat na klíčové faktory fází, které je nutné řídit pro jejich úspěšné dokončení. Vytvořený návrh poskytuje obecný a ucelený rámec, který může být využit jako jeden z nástrojů při výběru a implementaci IS.
|
|
|
Architektura a umění
Horáková, Alžbeta ; Kovařík, David (oponent) ; Hora, Jan (vedoucí práce)
Práca sa zaoberá návrhom novostavby Mestskej galérie Litomyšl. Súčasťou zadania bol výber parcely. Návrh bol najprv formovaný daným miestom a snahou tento priestor jasne definovať a oživiť. V ďalšej fáze návrh pristupuje ku galérii ako k miestu spojenia medzi umelcom a návštevníkom. Výstavné sály pripravené na obsiahnutie výtvarných diel sú tak naviazané na oddychové sály, ktoré patria výhradne návštevníkovi a vzniká tu prepojenie medzi ním a mestom.
|
|
|
Návrh optimalizace webové aplikace pro sektor B2B
Kovařík, David ; Weirich, Pavel (oponent) ; Řešetková, Dagmar (vedoucí práce)
Záměrem této práce je návrh optimalizace webu (webové aplikace) určeného pro sektor B2B (Business to Business), v jejímž důsledku by měla být signifikantním způsobem zlepšena uživatelská zkušenost při jeho používání. Problematika uživatelské zkušenosti byla řešena prostřednictvím analytických činností zaměřených na web www.webstopar.cz, přičemž výsledky této analýzy byly obohaceny prostřednictvím provedeného kvalitativního výzkumu. Výsledkem bakalářské práce je návrh optimalizace jednotlivých aspektů uživatelské zkušenosti. Realizace návrhu by měla přispět nejen ke zkvalitnění webu z pohledu uživatelské zkušenosti, ale měla by také přinést benefit v podobě minimálně 10% nárůstu uživatelů služby nabízené na webu. Výsledný návrh uvedený v rámci této práce je navíc obecně aplikovatelný na širokou škálu českých i zahraničních webů.
|
|
|
Heterogenní blok
Konopka, Pavel ; Kovařík, David (oponent) ; Hora, Jan (vedoucí práce)
Předmětem této bakalářské práce je výstavba městských bytů na západním okraji Loun. Zabývá se kontextem bydlení na maloměstě a klade si za cíl nabídnout efektivnější alternativu k již zhotovené územní studii zabývající se stejnou lokalitou. Projekt řeší prostorové vztahy mezi bytem a ulicí a jejich měřítko. Návrh vychází z menších jednotek a skládá je do větších celků, od základní prostorové koncepce a bytové jednotky až po urbanistický návrh. Výsledkem pak je 100 bytových jednotek v kompaktní struktuře s lidským měřítkem, která vyzdvihuje hodnoty sousedství a veřejného prostoru.
|
|
| |
|
| |
|
|
In the Name of Socialism, in the Shadow of the Monarchy: Post-War Monument Care in Central Europe
Bachtík, Jakub ; Johanidesová, Tereza ; Uhlíková, Tereza ; Giustino, Cathleen ; Sklenář, Michal ; Novotný, Michal ; Mahringer, Paul ; Lövai, Pál ; Spikić, Marko ; Janatková, Alena ; Meulen, Marcus ; Horáček, Martin ; Gaži, Martin ; Furkert, Alf ; Kovařík, David ; Radostová, Šárka
The collection of studies on the history of post-war monument care is based on the international conference Monuments and monument care in Czechoslovakia and other Central European countries during the second half of the 20th century, which took place in the spring of 2021. Selected contributions by authors from the Czech Republic, Germany, Austria, Croatia or Hungary map the institutional development of monument care in the countries of the former Habsburg Monarchy, a significant part of which was located on the eastern side of the Iron Curtain. The book thus offers not only a valuable comparison of the various systems of monument care within Central Europe, but also unusual material on the history of post-war European totalitarianism.
Plný text:  PDF
|
|
| |
host ::
RSS.