|
|
Nekonečné matroidy
Böhm, Martin ; Pangrác, Ondřej (vedoucí práce) ; Loebl, Martin (oponent)
Práce prezentuje aktuální pokroky v oblasti teorie nekonečných matroidů. V práci jsou zadefinovány a dokázány základní vlastnosti nekonečných matroidů a předvedeny známé třídy těchto struktur. Práce se zaměřuje na problematiku souvislosti nekonečných matroidů a poukazuje na vztahy některých matroidových operací se souvislostí. Hlavní výsledek práce ukazuje existenci nekonečných matroidů libovolné konečné souvislosti se speciálními vlastnostmi -- bez konečných kružnic a kokružnic. Powered by TCPDF (www.tcpdf.org)
|
|
|
Graph labeling
Böhm, Martin ; Mareš, Martin (vedoucí práce) ; Balyo, Tomáš (oponent)
Práce představuje výsledky v oblasti schémat pro značkování grafů, která kódují sousednost vrcholů. Tato schémata mají praktické aplikace v oblasti paralelních algoritmů, souvisí však i s teorií univezál- ních grafů. Práce se soustředí na moderní metodu Traversal and Jumping, jejíž důkaz správnosti je zjednodušen a opraven. Také se zabýváme hledáním malých univerzálních grafů hrubou silou. 1
|
|
|
Zpracování scanovaných dokumentů
Tichý, Jan ; Mareš, Martin (vedoucí práce) ; Böhm, Martin (oponent)
Předmětem této práce je navrhnout zpracování skenovaných dokumentů obsahujících textové a netextové elementy. V této práci je tento problém analyzován a rozdělen na menší podproblémy, které jsou dále řešeny. Hlavní řešené problémy jsou předzpracování obrázku, při kterém se mají potlačit nedostatky skenování, například špatný kontrast či našikmo sejmutý obraz, dále je řešena segmentace dokumentu na znaky, linky a obrázky a závěrem komprese výstupu pomocí clusterování znaků. Dále je cílem této práce navržené řešení implementovat formou programu, který naskenovaný dokument zpracuje a vytvoří PDF dokument skládající se z nalezených komponent. Powered by TCPDF (www.tcpdf.org)
|
|
|
Online Bin Stretching: Algorithms and Computer Lower Bounds
Böhm, Martin ; Sgall, Jiří (vedoucí práce) ; Durr, Christoph (oponent) ; Kellerer, Hans (oponent)
Online Bin Stretching: algoritmy a strojové dolní odhady Autor: Martin Böhm Abstrakt: Zabýváme se problémem v oblasti semi-online algoritmů, který se nazývá Online Bin Stretching. Můžeme tento problém chápat jako pro- blém opětovného pakování předmětů: cílem algoritmu je zapakovat před- měty různých velikostí do m kontejnerů identické kapacity R > 1. Objekty na vstupu přicházejí jeden po druhém a algoritmus musí přiřadit předmět do kontejneru dříve, než se objeví předmět další. Zvláštnost tohoto konkrétního problému je existence zaručené vlastnosti vstupu, kterou algoritmus zná. Algoritmus totiž už od začátku vstupu má zaručeno, že existuje pakování celého vstupu do m kontejnerů kapacity 1. Naším cílem je navrhnout algoritmy, které pakují jeden objekt po dru- hém a kterým se podaří vstup zapakovat do co nejmenší možné kapacity R. V této dizertační práci představíme několik nových výsledků kolem On- line Bin Stretchingu. Zaprvé, navrhneme algoritmus, který napakuje všechny objekty do m kontejnerů s kapacitou 1,5, a to pro libovolnou počáteční hodnotu m. Zadruhé se soustředíme na podproblém, ve kterém je počet kontejnerů nízký a pevný, například 3. Pro tento model představíme algo- ritmus, který zapakuje vstup do 3 binů s kapacitou 1,375. Nakonec navrhneme a naimplementujeme počítačový program, který bude...
|
|
|
Walks in time-dymanic graph model
Beliš, Marek ; Pangrác, Ondřej (vedoucí práce) ; Böhm, Martin (oponent)
Orientační běh s migrujícími kontrolami můžeme reprezentovat grafovým modelem s ohodnocenými vrcholy a orientovanými hranami, kde ohodnocení vrcholů je proměnlivé v čase. Hledání optimální cesty představuje exponenciálně složitý problém, který je v reálnem čase řešitelný jen pomocí omezujících podmínek a heuristik. Program SMIK solver pomocí naimplementovaných heuristik hledá optimální cestu vícero způsoby. V práci najdeme popis problému a algoritmů, programátorskou dokumentaci s popisem metod výpočtu a porovnání výsledků programu s reálnými závody. Powered by TCPDF (www.tcpdf.org)
|
|
|
Walks in time-dymanic graph model
Beliš, Marek ; Pangrác, Ondřej (vedoucí práce) ; Böhm, Martin (oponent)
Orientační běh s migrujícími kontrolami můžeme reprezentovat grafovým modelem s ohodnocenými vrcholy a orientovanými hranami, kde ohodnocení vrcholů je proměnlivé v čase. Hledání optimální cesty představuje exponenciálně složitý problém, který je v reálnem čase řešitelný jen pomocí omezujících podmínek a heuristik. Program SMIK solver pomocí naimplementovaných heuristik hledá optimální cestu vícero způsoby. V práci najdeme popis problému a algoritmů, programátorskou dokumentaci s popisem metod výpočtu a porovnání výsledků programu s reálnými závody. Powered by TCPDF (www.tcpdf.org)
|
|
|
Zpracování scanovaných dokumentů
Tichý, Jan ; Mareš, Martin (vedoucí práce) ; Böhm, Martin (oponent)
Předmětem této práce je navrhnout zpracování skenovaných dokumentů obsahujících textové a netextové elementy. V této práci je tento problém analyzován a rozdělen na menší podproblémy, které jsou dále řešeny. Hlavní řešené problémy jsou předzpracování obrázku, při kterém se mají potlačit nedostatky skenování, například špatný kontrast či našikmo sejmutý obraz, dále je řešena segmentace dokumentu na znaky, linky a obrázky a závěrem komprese výstupu pomocí clusterování znaků. Dále je cílem této práce navržené řešení implementovat formou programu, který naskenovaný dokument zpracuje a vytvoří PDF dokument skládající se z nalezených komponent. Powered by TCPDF (www.tcpdf.org)
|
|
|
Nekonečné matroidy
Böhm, Martin ; Pangrác, Ondřej (vedoucí práce) ; Loebl, Martin (oponent)
Práce prezentuje aktuální pokroky v oblasti teorie nekonečných matroidů. V práci jsou zadefinovány a dokázány základní vlastnosti nekonečných matroidů a předvedeny známé třídy těchto struktur. Práce se zaměřuje na problematiku souvislosti nekonečných matroidů a poukazuje na vztahy některých matroidových operací se souvislostí. Hlavní výsledek práce ukazuje existenci nekonečných matroidů libovolné konečné souvislosti se speciálními vlastnostmi -- bez konečných kružnic a kokružnic. Powered by TCPDF (www.tcpdf.org)
|
|
|
Graph labeling
Böhm, Martin ; Mareš, Martin (vedoucí práce) ; Balyo, Tomáš (oponent)
Práce představuje výsledky v oblasti schémat pro značkování grafů, která kódují sousednost vrcholů. Tato schémata mají praktické aplikace v oblasti paralelních algoritmů, souvisí však i s teorií univezál- ních grafů. Práce se soustředí na moderní metodu Traversal and Jumping, jejíž důkaz správnosti je zjednodušen a opraven. Také se zabýváme hledáním malých univerzálních grafů hrubou silou. 1
|
|
|
Přehled a hodnocení technických specifikací zalévacích materiálů pro výrobu desek na bázi dřeva s transparentní vrstvou
Holub, Jan ; Böhm, Martin (vedoucí práce) ; Arnetová, Karolína (oponent)
Práce obsahuje: obecné seznámení se součástmi desek na bázi dřeva s transparentní vrstvou, historii jejich výroby. Zahrnuje požadavky kladené na jednotlivé součásti kompozitních desek na bázi dřeva a požadavky na dřevo a další materiály na bázi dřeva, které slouží jako výztuž. Rovněž uvádí nároky na zalévání materiálu, který slouží jako matrice.
Součástí je popis technologie výroby desek na bázi dřeva s transparentní vrstvou. Práce seznamuje s nejpoužívanějšími materiály sloužícími jako matrice, jejich charakteristickými vlastnostmi, podstatnými pro výrobu kompozitních desek. Porovnává parametry pryskyřic na bázi polyesteru, polyuretanu a epoxidu a rozebírá problematiku volby vhodného materiálu pro výrobu kompozitní desky na základě uživatelských požadavků. Součástí práce je návrh materiálů pro výrobu kompozitní desky s řízenou distribucí světla.
|
host ::
RSS.