|
Diskrétní simulace programovatelných systémů
Mynář, Pavel ; Zuzaňák, Jiří (oponent) ; Mlích, Jozef (vedoucí práce)
Předmětem této práce je návrh a implementace softwarové knihovny pro diskrétní simulaci programovatelných, navzájem komunikujících jednotek, a implementace několika názorných příkladů nad touto knihovnou. Knihovna je navržena jako platformě nezávislá, co možná nejrobustnější a jednoduchá na ovládání.
|
|
Rozšíření simulátoru OMNeT++ o filtrovací pravidla ACL
Suchomel, Tomáš ; Ryšavý, Ondřej (oponent) ; Matoušek, Petr (vedoucí práce)
V bakalářské práci se zabýváme diskrétní simulací sítě v simulačním nástroji OMNeT++. Prozkoumáváme možnosti efektivní reprezentace a vyhodnocování ACL pomocí pokročilých struktur na bázi intervalových rozhodovacích diagramů. Simulátor OMNeT++ rozšiřujeme o modul filtrování paketů pomocí seznamů ACL, jehož návrh i implementace je zde popsána. Praktické využití implementovaného rozšíření je ukázáno na simulaci reálné netriviální sítě, kde ověřujeme výsledky simulace a porovnáváme je s s chováním skutečného prostředí.
|
|
Simulace chování sítě na základě analýzy konfiguračních souborů aktivních síťových zařízení
Macků, Jiří ; Ryšavý, Ondřej (oponent) ; Matoušek, Petr (vedoucí práce)
V diplomové práci se zabýváme simulací sítě v nástroji Network Simulator. Model sítě i popis simulace vytváříme na základě analýzy konfiguračních souborů a jejich následného překladu vytvořeným převodním nástrojem, jehož návrh i implementace je zde popsána. Pro Network Simulator vytváříme IPv4 adresaci, která není v simulátoru podporována. Network Simulator je rozšířen o filtrování paketů pomocí seznamů ACL. Praktické využití implementovaných součástí je ukázáno na simulaci reálné sítě, kde se také zabýváme jejich ekvivalentním chováním v porovnání se skutečným prostředím.
|
|
Generování sekvenčních diagramů z modelů Petriho sítí
Kelemen, Erik ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Táto práca se zaoberá transformáciou modelu systému popísaného objektovo orientovanou Petriho sieťou na sekvenčný diagram, ktorý umožňuje spätné mapovanie aktivít sekvenčného diagramu do popisu modelu. K riešeniu je použitá diskrétna simulácia modelu popísaná jazykom PNtalk. Výsledkom práce je plne automatický generátor, ktorý pomocou dát z diskrétnej simulácie vygeneruje sekvenčný diagram. Pre generátor je dôležitá minimálna strata informácie zo simulácie a prezentácia validného sekvenčného diagramu.
|
|
Modelování směrovacích protokolů OSPF v simulátoru OMNeT++
Danko, Martin ; Matoušek, Petr (oponent) ; Ryšavý, Ondřej (vedoucí práce)
Open Shortest Path First (OSPF) je dynamický, hierarchický směrovací protokol navrhnutý pro podporu směrovaní v sítích TCP/IP. Je tu potřeba pro rozsáhlé simulace protokolu OSPF, aby bylo možné lépe porozumět jeho dynamice. Obsahem této bakalářské práce je modelovaní a simulace protokolu OSPF v diskrétním simulačním systéme OMNeT++. Hlavní zaměření patří architektuře již existujíce implementaci v module OSPFRouting. Modul OSPFRouting je taktéž ověřeny vůči OSPF implementaci na reálních směrovačích. Dále je na konkrétných problémech demonstrované použití OSPF simulace.
|
|
Modelování link-state směrovacího protokolu OSPFv3
Mrázek, Jakub ; Grégr, Matěj (oponent) ; Veselý, Vladimír (vedoucí práce)
OMNeT++ je diskrétní modulární simulátor, často využívaný pro simulaci počítačových sítí. Univerzální simulátor lze doplnit různými rozšiřujícími balíky např. INET Framework, který slouží pro simulaci zařízení a protokolů síťového zásobníku TCP/IP. V této práci, zkoumáme možnosti balíku INET v oblasti směrování, tedy dynamické směrovací protokoly. Konkrétně se práce zaměřuje na protokol OSPF pro IPv6 sítě (OSPFv3). Protokol je v této práci představen a jsou zde vysvětleny principy jeho fungování. V práci je navrhnut modul OSPFv3 pro simulování protokolu a je z části implementován.
|
|
Simulátor městské dopravy
Dostál, Martin ; Dalecký, Štěpán (oponent) ; Rozman, Jaroslav (vedoucí práce)
Práce se zaměřuje na mikro simulaci dopravy ve městech, konkrétně na malý městský okruh v Brně. Popisuje přístupy k řešení problému s reprezentací pozemních komunikací a představuje základní přístupy a modely potřebné pro provádění simulací dopravy jak na úrovni řízení jednotlivých vozidel, tak i na úrovni řízení celého simulátoru. V případech, kdy existuje více možných přístupů k řešení daného problému, jsou srovnány jejich vlastnosti a vhodnost použití v navrhovaném simulátoru. V praktické části je prezentována struktura výsledného modelu simulátoru se všemi závislostmi mezi jednotlivými submodely a popis implementačních detailů vztahující se k jednotlivým částem.
|
|
Modelování kvality služeb v počítačových sítích
Danko, Martin ; Veselý, Vladimír (oponent) ; Ryšavý, Ondřej (vedoucí práce)
Kvalita služeb (QoS) je důležitým aspektem v oblasti počítačových sítí, ale je také velkou výzvou. Poskytnutí záruky QoS je ještě náročnější, když přidáte složitosti do sítě, jako jsou hlasové a video aplikace. Tato diplomová práce se zaměřuje na modelování a simulaci QoS v diskrétním simulačním systému OMNeT++. Implementace několika technik pro simulaci QoS je přidána do OMNeT++ v rámci této práce. Všechny implementované moduly jsou ověřené vůči QoS nástrojům na reálných směrovačích. Poslední část práce představuje možnosti simulace QoS v nově implementovaných modulech.
|
|
Diskrétní simulace v Javě: Plánování procesů
Skočovský, Peter ; Kočí, Radek (oponent) ; Martinek, David (vedoucí práce)
Tato práce se zabývá implementací plánování procesů pro diskrétní simulaci v Javě. Rozebírá dva přístupy: implementaci simulačních procesů pomocí vláken a implementaci simulačních procesů bez vláken. Hlavním problémem při použití vláken bylo zabezpečit jejich kooperativní přepínání. Procesy implementované bez vláken jsou rozdělené na atomické části a k přerušení může dojít pouze mezi těmito částmi. Výsledky testování poukazují na to, že implementace pomocí vláken je podstatně pomalejší a paměťově náročnější.
|
|
Design of Digital Circuits at Transistor Level
Kešner, Filip ; Šimek, Václav (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Práce se zaměřuje na návrh obvodů na úrovni tranzistorů, především za použití evoluční metody návrhu. Za tímto účelem je nutné volit rozumnou míru abstrakce a tak dosáhnout vyšší rychlosti ohodnocování kandidátních řešení pomocí fitness funkce. Práce probírá již vyzkoušené postupy návrhu obvodů na tranzistorové úrovni a z nich vybírá užitečné prvky pro vytvoření výkonějšího systému, který by byl schopen navrhovat komplexní logické obvody. Dále se práce zabývá implementací tohoto systému a probírá použitý přístup k řešení problémů návrhu a optimilizace tranzistorových obvodů použitím evoluce.
|