|
|
Interaktivní simulátor DNA výpočtu
Kovács, Martin ; Petrlík, Jiří (oponent) ; Bidlo, Michal (vedoucí práce)
Tato práce je zaměřena na shrnutí biologických operací nad DNA a jejich nasazení ve výpočtu složitých matematických problémů. Ukázkovým příkladem, jehož řešení je v práci demonstrováno, je problém hamiltonovské cesty grafem, také znám jako problém obchodního cestujícího. Při řešení tohoto problému budou popsány použité operace nad DNA a postup, který poprvé představil Leonard Adleman. Jeho práci je možné považovat za první experiment v oboru, který je teď známý jako DNA počítání. Cílem této bakalářské práce je implementovat interaktivní simulační program (založený na principech a formálním modelu Adlemanovy práce) pro řešení hamiltonovské cesty grafem a zhodnotit jeho možnosti vzhledem na prostorovou složitost při různých instancích problému obchodního cestujícího.
|
|
|
Statistický modul k pracovní databázi TIVOLE
Ježek, Jan ; Wiera, Ryszard (oponent) ; MBA, Jan Beran, (vedoucí práce)
Předkládaná diplomová práce je vytvořena pro potřeby společnosti IBM konkrétně pro pobočku IBM IDC Czech Republic, s.r.o. Práce se zabývá vývojem statistického modulu pro pracovní databázi TIVOLE za použití programu Lotus Notes. Základním posláním práce je zjednodušit vytváření reportů a grafických výstupů dat týkajících se rychlosti práce operátorů a zároveň na spotřebě času a lidských zdrojů potřebných k řešení problému.
|
|
|
Analýza dynamických účinků působících na výhybkové konstrukce
Hajniš, Jan ; Vukušič, Ivan (oponent) ; Smutný, Jaroslav (vedoucí práce)
Titul a jméno autora: Jan Hajniš Instituce: Vysoké učení technické v Brně, fakulta stavební Ústav železničních staveb Veveří 331/95, 602 00 Brno Obor: Konstrukce a dopravní stavby Název práce: Analýza dynamických účinků působících na výhybkové konstrukce Vedoucí práce: Prof. Ing. Jaroslav Smutný, Ph.D. Počet stran: cca 70 + přílohy Počet příloh: cca 40 Rok obhajoby: 2012 Podkladem pro výběr a srovnání zejména nových částí kolejového svršku jsou kromě teoretické analýzy (modelování), také statické a dynamické zkoušky prováděné v laboratoři i v terénu (přímo v koleji). Nutno podotknout, že teoretická analýza aplikací matematického modelování často vychází ze značně zidealizovaných předpokladů. Proto je vhodné jednotlivé konstrukce ověřovat měřením. Náplní bakalářské práce tedy bude experimentální analýza dynamických účinků působících na výhybkové konstrukce. Dynamické účinky jsou přitom nežádoucími fyzikálními jevy při provozu každé trati, a proto je nutné je co možná nejvíce redukovat. Výsledek této zkoušky proto pomůže pomocí softwarového programu a měřící soustavy přesněji určit výhody, nevýhody použití výhybkových soustav, nebo i navrhnout jejich vylepšení či dimenze.
|
|
|
Navigace poštovního robota
Jež, Radek ; Richter, Miloslav (oponent) ; Janáková, Ilona (vedoucí práce)
Práce se zabývá řídicími algoritmy pro poštovního robota. Řeší problematiku hledání optimální cesty a možné problémy vzniklé při navigaci robota. Obsahuje popis použitých datových struktur a algoritmů pro samostatnou činnost robota. Dále popis uživatelského prostředí hlavní řídicí aplikace a dvou dalších doplňujících aplikací. Další částí je popis testování práce v reálném prostředí a zhodnocení výsledků. V závěru jsou shrnuty poznatky z testování a doporučení pro další odladění chodu robota.
|
|
| |
|
|
Grafický nástroj pro tvorbu a modifikaci grafů
Hynšt, Miroslav ; Navrátil, Jan (oponent) ; Zuzaňák, Jiří (vedoucí práce)
Tato práce se zabývá základy teorie grafů a grafovým přepisováním. V první části jsou popsány pojmy graf, grafové přepisovací systémy, grafová gramatika a algebraické přístupy ke grafovému přepisování. Další částí práce je implementace navržené aplikace, která slouží pro tvorbu, modifikaci a ukládání grafů a grafových přepisovacích systémů.
|
|
|
Příprava domácích úloh pro předmět Algoritmy
Miloš, Roman ; Masopust, Tomáš (oponent) ; Lukáš, Roman (vedoucí práce)
Tato bakalářská práce se zabývá vytvořením domácích úloh pro předmět Algoritmy na téma grafy. Práce se skládá z pěti úloh. První úlohou je vytvoření grafů pomocí matice sousednosti, další je vytvoření grafu pomocí seznamu sousednosti. Třetí úlohou je implementace Jarníkova algoritmu pro hledání minimální kostry. Čtvrtou je implementace Floyd-Warshallova algoritmu pro hledání minimálních cest v grafu, zjištění souvislosti a úplnosti grafu. Pátou úlohou je zjištění diskrétnosti grafu a implementace NP-úplného problému hledání maximální kliky grafu.
|
|
|
Kvalitní vizualizace Petriho sítí pro publikační účely
Bednář, Drahoslav ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce řeší problém grafické vizualizace Petriho sítí v textových publikacích. Cílem práce je vytvoření nástroje, který usnadní generování obrázků Petriho sítí a zároveň zajistí estetičtější grafický výstup, než dokáží existující postupy a nástroje. Byl použit simplexový algoritmus pro automatické rozložení uzlů sítě. Program má grafické rozhraní i textový režim a dokáže spolupracovat se známými mástroji pro práci s Petriho sítěmi, které text také zmiňuje. Program je schopný načíst soubor ve formátu pnml a vyprodukovat použitelný obrázek ve formátech png, pdf a svg.
|
|
|
Optimalizace expedice zboží z regálového systému logistického skladu
Chlup, Jiří ; Klapka, Jindřich (oponent) ; Šeda, Miloš (vedoucí práce)
Tato práce řeší problematiku optimalizace expedice zboží z regálového systému logistického skladu. Jedná se o řešení úlohy z praxe, které optimalizuje trasu průchodu regálovým systémem a ohodnocuje jednotlivé objednávky pro optimální tvorbu expediční dávky. Na počátku je analyzován stávající systém expedice, využití zdrojů a tvorby časového plánu. Následuje popis obecných praktických řešení hledání nejkratší cesty průchodu grafem přes zadané uzly. Poté je představeno zvolené řešení a jeho praktická implementace. Závěrem jsou provedeny srovnávací testy se stávajícím systémem a jejich vyhodnocení.
|
|
|
Evoluční resyntéza kombinačních obvodů
Kocnová, Jitka ; Sekanina, Lukáš (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Diplomová práce se zabývá resyntézou kombinačních obvodů pomocí evolučních principů. První část se zabývá logickou syntézou a jejími problémy, evoluční syntézou a výhodami evolučního přístupu, a taktéž jsou zmíněny některé existující syntézní nástroje. V druhé části jsou pak přiblíženy vybrané grafové algoritmy a jejich možné využití v navrhovaném programovém rozšíření pro vybraný syntézní nástroj. Zde je také popsán návrh rozšíření a jeho samotná implementace. Třetí část se zabývá testováním vzniklého rozšíření. Čtvrtou částí je závěr shrnující získané poznatky a dosažené výsledky.
|
host ::
RSS.