|
| |
|
|
Samodlážditelné simplexy
Safernová, Zuzana ; Cibulka, Josef (oponent) ; Matoušek, Jiří (vedoucí práce)
V předložené práci se zabýváme problémem k-samodlážditelnosti čtyřstěnů. Simplex S je k-samodlážditelný, pokud se dá rozdělit na k navzájem shodných simplexů (s disjunktními vnitřky), jež jsou navíc pdobné původnímu simplexu S. V rovině jsou všechny k-samodlážditelné trojúhleníky charakterizovány, na druhou stranu jediné k-samodlážditelné simplexy v dimenzi d 3 jsou známy pro hodnotu k = md, kde m 2, tzv. Hillovy simplexy. V práci dokážeme, že v dimenzi 3 existují k-samodlážditelné čtyřstěny pouze pro k = m3, což částečně potvrzuje Hertelovu domněnku, že jediné k-samodlážditelné čtyřstěny jsou Hillovy. Domníváme se , že k = md je nutná podmínka pro existenci k-samodlážditelných simplexů (d > 3).
|
|
|
Věty Hellyho typu a zlomkového Hellyho typu
Tancer, Martin ; Kaiser, Tomáš (oponent) ; Matoušek, Jiří (vedoucí práce)
Simpliciální komplex je d-reprezentovatelný, pokud je nervem souboru konvexních množin v Rd. Klasická Hellyho věta říká, že pokud d-reprezentovatelný komplex obsahuje všechny možné stěny dimenze d, potom se už nutně jedná o plný simplex. Hellyho věta má mnoho zobecnění; uvedeme stručný přehled některých z nich. Třída d-reprezentovatelných komplexů je podtřídou d-kolabovatelných komplexů, a ta je podtřídou d-Lerayových komplexů. Pro d 1 uvedeme příklad komplexů, které jsou 2d-Lerayovy, ale nejsou (3d 1)-kolabovatelné. Pro d 2 uvedeme příklad komplexů, které jsou d-Lerayovy, ale nejsou (2d 2)-reprezentovateln'e. Navíc pro d 3 dokážeme, že naposledy zmiňované komplexy jsou také d-kolabovatelné. Na závěr reprezentujeme jednoduchý důkaz kombinatorické Alexandrovy duality. Ta je totiž užitečným topologickým nástrojem pro kombinatoriku, například pro topologické verze Hellyho věty.
|
|
| |
|
|
Fast Generator of Network Flows
Budiský, Jakub ; Dvořák, Milan (oponent) ; Matoušek, Jiří (vedoucí práce)
This master's thesis analyzes existing solutions for generating network traffic designed for testing network components. It focuses on IP network flows and aims towards a flow generator capable of producing flow-based synthetic traffic with speeds up to several tens of gigabits per second. A tool with such purpose, called FLOR, is designed and implemented, taking a stochastic approach to flow planning. It is evaluated and compared to the related work afterwards. Several performance improvements are proposed.
|
|
|
Filtrace paketů ve 100 Gb sítích
Kučera, Jan ; Matoušek, Jiří (oponent) ; Kořenek, Jan (vedoucí práce)
Diplomová práce se zabývá návrhem a implementací algoritmu pro filtraci paketů pro vysokorychlostní počítačové sítě. Hlavním cílem bylo vytvoření hardwarové architektury pro filtraci, která dosáhne vysoké kapacity ve smyslu počtu filtračních pravidel a umožní nasazení v sítích o rychlostech až 100 Gb/s. Návrh systému byl proveden s ohledem na možnost paralelního zpracování při implementaci v technologii FPGA a s cílem nalezení vhodného kompromisu mezi časovou a paměťovou složitostí algoritmu. Dosažené vlastnosti navržené architektury a vytvořené implementace byly následně ověřeny na dostupných množinách filtračních pravidel. Díky vysoce optimalizované architektuře a řetězenému zpracování bylo možné při implementaci dosáhnout vysoké pracovní frekvence (přes 220 MHz) a současně významně zredukovat paměťové nároky (v průměru o 72% oproti porovnávaným algoritmům). Efektivní využití interní paměti dostupné přímo na čipu umožňuje s použitím FPGA uložení až pěti tisíc filtračních pravidel při zabrání pouze 8% dostupné kapacity paměti. To vše při současném dosažení plné propustnosti linky 100 Gb/s.
|
|
|
Mapování vyhledávacích tabulek z jazyka P4 do technologie FPGA
Kekely, Michal ; Matoušek, Jiří (oponent) ; Kořenek, Jan (vedoucí práce)
Diplomová práca sa zaoberá návrhom a implementáciou mapovania vyhľadávacích tabuliek jazyka P4 do technológie FPGA. Cieľom práce bolo popísať kľúčové princípy, ktoré je potrebné pochopiť na vytvorenie návrhu samotného mapovania a fungovania potrebných algoritmov, tieto princípy aplikovať v rámci implementácie a analyzovať výsledné riešenie z pohľadu rýchlosti a náročnosti na pamäť a zdroje cieľovej architektúry. Výsledok práce poskytuje konfigurovateľnú hardvérovú jednotku schopnú klasifikovať pakety a jej prepojenie na vyhľadávacie tabuľky jazyka P4. Riešenie využíva algoritmus DCFL a oproti algoritmom HiCuts a HyperCuts dosahuje v najhoršom prípade porovnateľné priepustnosti, ale vyžaduje podstatne menej pamäte.
|
|
|
Sledování parametrů směrování v páteřních sítích
Celárek, Ondřej ; Kořenek, Jan (oponent) ; Matoušek, Jiří (vedoucí práce)
Tato práce se zabývá problematikou směrování mezi autonomními systémy. Pro směrování mezi autonomními systémy se používá Border Gateway Protocol (BGP). Směrovače v autonomních systémech si na základě BGP zpráv upravují své směrovací tabulky, pomocí kterých směrují informace proudící Internetem. Předmětem práce je analýza změn směrovacích tabulek pro případné optimalizace architektury směrovačů. V první části se práce zabývá teorií o směrovačích, směrování a BGP. V druhé části pak návrhem a provedením experimentů na směrovacích tabulkách. V této části jsou také popsány dosažené výsledky.
|
|
|
Aplikačně specifický procesor pro stavové zpracování síťových dat
Kučera, Jan ; Matoušek, Jiří (oponent) ; Kekely, Lukáš (vedoucí práce)
Bakalářská práce se zabývá návrhem a implementací aplikačně specifického procesoru pro vysokorychlostní stavové měření síťových toků. Hlavním cílem je vytvoření komplexního systému pro akceleraci různých aplikací z oblasti monitorování a bezpečnosti počítačových sítí. Aplikačně specifický procesor tvoří hardwarovou část systému implementovanou v FPGA na akcelerační síťové kartě. Návrh procesoru je proveden s ohledem na nasazení na sítích o rychlostech 100 Gb/s a je založen na unikátní kombinaci rychlosti hardwarového zpracování a flexibility softwarového řízení vycházející z konceptu softwarově definovaného monitorování (SDM). Vytvořený systém prošel funkční verifikací a v rámci hardwarového testování byla ověřena jeho reálná propustnost a další výkonové parametry.
|
|
|
Vysílání paketů na 100 Gb/s Ethernetu
Hummel, Václav ; Dvořák, Milan (oponent) ; Matoušek, Jiří (vedoucí práce)
Platforma NetCOPE slouží pro rychlý vývoj hardwarově akcelerovaných síťových aplikací na COMBO kartách. Nezbytnou součástí této platformy je i výstupní síťový modul, který návrháři pomáhá s implementací linkové vrstvy síťového modelu ISO/OSI, především pod- vrstvy MAC. Tato bakalářská práce se zabývá návrhem, implementací a verifikací tohoto modulu pracujícího na rychlosti 100 Gb/s. Dále byla vytvořena aplikace nad platformou NetCOPE pro odesílání krátkých vzorků síťového provozu uložených ve statické paměti QDR. Odesílání je řízeno podle přesných časových značek. Celý systém byl nasazen na kartě COMBO a ověřen pomocí síťového analyzátoru.
|
host ::
RSS.