Národní úložiště šedé literatury Nalezeno 87 záznamů.  začátekpředchozí68 - 77další  přejít na záznam: Hledání trvalo 0.00 vteřin. 
Webový portál s reporty o síťovém provozu
Zapletal, Petr ; Straka, Martin (oponent) ; Tobola, Jiří (vedoucí práce)
Tato práce popisuje návrh a implementaci webového portálu s reporty o síťovém provozu. Tento systém je určen pro snadné monitorování sítě pomocí přehledných grafů a tabulek. Pro získávání statistik o provozu na síti je použita technologie NetFlow, která je klíčovou součástí sytému. Portál je nezávislý na platformě a je postaven na technologiích HTML a PHP. Portál umožňuje export zpracovaných dat prostřednictvím pravidelného zasílání emailů nebo pomocí souborů ve formátu PDF.
Testování výukové platformy FITkit
Filip, Tomáš ; Straka, Martin (oponent) ; Škarvada, Jaroslav (vedoucí práce)
Součástí platformy FITkit je vestavěný systém (anglicky Embedded system), který slouží studentům k návrhu a realizaci nejen softwarových, ale i hardwarových projektů či celých aplikací. Pro ověření správné funkce všech komponent systému vzniká potřeba vyvíjet prostředky, které umožňují FITkittestovat v celém období jeho životního cyklu. Tato práce se zabývá testováním FITkitu. V první části se práce věnuje seznámení s FITkitem a celou jeho architekturou. V další části práce lze najít popis terminologie a analýzu problematiky testování následovanou popisem metod a postupů pro otestování platformy FITkit. Součástí práce je i návrh testovací aplikace a popis její praktické realizace.
Komunikační deska pro řízení systémů řezacích stolů
Bačík, Zdenko ; Straka, Martin (oponent) ; Šimek, Václav (vedoucí práce)
Tato práce se zabývá problematikou realizace PCI řadiče pomocí technologie FPGA. Popisuje návrh a implementaci komunikační karty určené do PCI sběrnice, která slouží k ovládání servomotorů řezacích strojů. V tomto projektu jsou popsané postupy při návrhu a realizaci hardwarových a softwarových částí komunikační karty. Výsledkem práce je fyzicky zhotovené zařízení, které bude zařazené v procesu výroby.
Návrh pokročilé architektury procesoru v jazyce VHDL
Slavík, Daniel ; Šimek, Václav (oponent) ; Straka, Martin (vedoucí práce)
Cílem projektu bylo prostudovat zřetězené architektury procesorů, dále pak architektury instrukčních a datových cache. Vybraná zřetězená architektura měla být navržena včetně instrukční a datové cache a implementována v jazyce VHDL. Projekt jsem pojal tak, že jsem implementoval nejprve subskalární architekturu, poté tři verze skalární architektury. Byla provedena syntéza těchto architektur do FPGA a na zvoleném algoritmu porovnána jejich výkonnost. V další části práce jsem navrhl a implementoval instrukční i datovou cache pro obě architektury. Tyto cache se mi však už nepodařilo syntetizovat. Závěrečná kapitola této práce pojednává o superskalární architektuře, což je architektura používaná v dnešní době.
Návrh testeru paměti RAM ve VHDL
Charvát, Jiří ; Straka, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce popisuje problematiku hardwarového testování polovodičových pamětí.  Popisuje princip fungování základních typů pamětí, způsob, jakým uchovávají data a způsob komunikace. Dále ukazuje typické poruchy, které v těchto pamětech mohou nastat. Součástí je také návrh a implementace modelu paměti a testeru v jazyce VHDL. Do paměti je možné zanést chyby  a následně je připojeným testerem odhalit. Závěrem je nastíněno, jaká je úspěšnost při detekci různých druhů chyb použitím různých druhů testů. Zaměřuje se hlavně na detekci chyb pomocí march testu a jeho variant.
Návrh a implementace nástroje pro formální verifikaci systémů specifikovaných jazykem RT logiky
Fiedor, Jan ; Straka, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Protože komplexnost systémů pořád roste a s tím také riziko výskytu chyb, je potřeba tyto chyby efektivně a spolehlivě opravovat. U řady systémů reálného času tato potřeba platí dvojnásob, jelikož byť jediná chyba může způsobit jejich úplné zhroucení, které může mít katastrofální důsledky. Formální verifikace, na rozdíl od jiných metod, umožňuje spolehlivé ověřování požadavků kladených na určitý systém.
Řadič sběrnice PCI pro vývojovou kartu s obvodem FPGA
Ilavský, Ľubomír ; Straka, Martin (oponent) ; Šimek, Václav (vedoucí práce)
Daná diplomová práce se zabývá problematikou komunikace na sběrnici PCI a návrhem řadiče PCI pro kartu s obvodem FPGA. Na úvod ukazuje funkčnost a struktura obvodů FPGA. Následně popisuje princip komunikace prostřednictvím sběrnice PCI. Po analýze PCI práce popisuje návrh řadiče pro cílovou kartu a seznamuje s jeho jednotlivými částmi. Při procesu implementace, důkladně rozebírá strukturu a činnost jednotlivých bloků PCI řadiče. V další části práce zachycuje proces, realizace a testování vytvořeného řešení na vzdělávací kartě s obvodem FPGA.
Řízení adaptivního dopravního uzlu
Hudec, Karel ; Straka, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce má za úkol prostudovat inteligentní systémy řízení dopravních uzlů a navrhnout aplikaci, která bude řídit konkrétní dopravní uzel. Od formální specifikace až po implementaci. Bude se jednat o Real-Time aplikaci, což znamená, že bude pracovat v reálném čase. Budou prostudovány také konkrétní Real-Time operační systémy a vybrán nejvhodnější pro danou aplikaci a na něm bude tato aplikace také implementována a odzkoušena.
Metodika vkládání kontrolních prvků do číslicového systému
Bartl, Michal ; Straka, Martin (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Problematika popisovaná a řešená v této diplomové práci zapadá tématicky do oblasti testování číslicových obvodů. Jsou v ní vysvětleny základní pojmy jako spolehlivost, řiditelnost, pozorovatelnost a testovatelnost obvodu. Více rozepsány jsou jednotlivé techniky pro zvyšování spolehlivosti číslicových obvodů a je zde uveden také příklad metod zvyšujících testovatelnost obvodu i metody určující metriku, která udává, nakolik je daný obvod diagnostikovatelný. V práci je dále popsán formální model struktury číslicového obvodu, na který navazuje implementační část. V ní byl vytvořen programový prostředek, jehož hlavní funkcí je nalezení komponent, z nichž obvod sestává, a rozpoznání jejich funkce. Pro tyto obvodové prvky dále program vytváří kontrolní obvody, které sledují jejich správnou funkci.
Redakční a publikační systém
Mikulášek, Jan ; Straka, Martin (oponent) ; Květoňová, Šárka (vedoucí práce)
Cílem této práce je vytvořit uživatelsky přívětivý a částečně automatizovaný redakční a publikační systém s ohledem na možnost exportu dat. Systém využívá nejnovější technologie a zároveň se snaží vyhnout nestandardním metodám. Avšak pro zabezpečení jsem se rozhodl nepoužít populární jednoduché hasovací funkce, protože některé jsou již prolomené.

Národní úložiště šedé literatury : Nalezeno 87 záznamů.   začátekpředchozí68 - 77další  přejít na záznam:
Viz též: podobná jména autorů
3 Straka, Marek
2 Straka, Matej
19 Straka, Michal
8 Straka, Milan
4 Straka, Miroslav
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.