Národní úložiště šedé literatury Nalezeno 31 záznamů.  1 - 10dalšíkonec  přejít na záznam: Hledání trvalo 0.01 vteřin. 
Analyzátor algebraických výrazů
Šudoma, Petr ; Knap, Tomáš (vedoucí práce) ; Klímek, Jakub (oponent)
Cílem této bakalářské práce je analýza problematiky strojových úprav výrazů a návrh programu, který je schopen takové úpravy vykonávat bez zásahu operátora. V první části práce jsou nejprve podrobně analyzovány výrazy, jejich úpravy i cíle takového upravování. Je nalezen a popsán formální jazyk výrazů, je popsána formální sémantika takového jazyka. Druhá část práce je poté věnována konkrétnímu návrhu a implementaci počítačové reprezentace takového jazyka a programu schopného upravovat algebraické výrazy. Obsahuje popis použitých tříd a algoritmů, rozbor možností a zdůvodnění použitých řešení při návrhu tohoto programu.
Virtual honeynet with simulated user activity
Kouba, Tomáš ; Kaňkovský, Pavel (vedoucí práce) ; Knap, Tomáš (oponent)
Cílem práce je navrhnout a implementovat "honeypot" (past na útočníky), který bude umět simulovat uživatelskou a jinou obvyklou systémovou aktivitu dostatečně přesvedčivým způsobem tak, aby ztížil rozpoznání honeypotu od obyčejného systému. Bude také vést skryté záznamy o akcích útočníků, kteří honeypot napadnou. Bude umožňovat sestavit celou virtuální sít těchto honeypotů (tzv. honeynet) na jednom fyzickém stroji. Implementace by měla být odolná vůči známým technikám používaným k detekci modifikovaného operačního systému nebo jeho jádra jako to delá např. utilita kstat.
Normalisation of data in fulltext system
Kapusta, Matúš ; Lánský, Jan (vedoucí práce) ; Knap, Tomáš (oponent)
Cieľom tejto práce je návrh a implementácia programu v jazyku Java pre spracovanie dát fulltextového systému do výslednej podoby dobre formovaného XML podľa špecifikácie XML 1.0. Vstupné dáta sú vo forme ľubovolného zle formovaného XML súboru ako napríklad HTML dáta. Dôležitými kritériami pri úpravách vstupných dát sú zachovať vernosť štruktúre a obsahu vstupného súboru v čo najvyššej miere. Program kontroluje správnosť menných priestorov a umožňuje nahradenie špeciálnych HTML entít skutočnými Unicode znakmi. Výstupný súbor musí byť možné spracovať použitím štandardných parserov. Sekundárnym cieľom je preskúmať a implementovať vhodnú metódu pre identifikáciu jazyka textového obsahu výsledného XML dokumentu ako celku, obsahu jednotlivých elementov alebo jednoduchého textového súboru.
Comparison of Fully Software and Hardware Accelerated XML Processing
Knap, Tomáš ; Holubová, Irena (vedoucí práce) ; Nečaský, Martin (oponent)
Cílem diplomové práce je porovnat možnosti zpracování XML dokumentů pomocí standardních softwarových řešení a s využitím speciálních zařízení pro hardwarovou akceleraci zpracovávaných XML dokumentů. V první části jsou popsány použité XML technologie, včetně jejich implementací v Javě. Následně jsou představeny klíčové části testovaných systémů - IBM WebSphere DataPower Integration Appliance XI50 pro hardwarově akcelerované a IBM WebSphere Application Server 6.1 pro standardní softwarové zpracování XML dat. Následně jsou definovány desítky testovacích scénářů, které můžeme rozřadit do dvou hlavních skupin - "Flat" a "Onion". V prvně jmenované skupině jsou individuálně otestovány standardní operace nad XML daty jako parsování, validace, transformace a šifrování. V "Onion" testovací skupině jsou pak zátěžové testy kombinující více operací nad XML daty. Výsledky testů obou skupin jsou posbírány a analyzovány v OLAP kostce. Výsledky ukazují, kdy se zařízení podporující hardwarově akcelerované zpracovaní XML dat vyplatí a také kvantifikují zvýšení propustnosti dat v podnikové síti po začlenění tohoto zařízení.
Experiments with Linked Data
Nohejl, Pavel ; Nečaský, Martin (vedoucí práce) ; Knap, Tomáš (oponent)
Tato diplomová práce si klade za cíl vytvořit "manuál" k technologii Linked Data. První část práce stručně popisuje Sémantický Web a jeho vztah k Linked Data, které jsou poté podrobně vysvětleny. Vysvětleno je jak vytvářet Linked Data dle takzvaných "Linked Data principů" včetně potřebných technologií a nástrojů. Druhá část práce obsahuje praktické zkušenosti s vytvářením a užíváním Linked Data. Podrobně je popsáno získávání dat o veřejných zakázkách pomocí pro tyto účely vytvořeného web crawleru. Na to navazuje popis transformace těchto (relačních) dat do formátu Linked Data včetně jejich propojení s ostatními Linked Data zdroji. Součástí práce je také vytvoření aplikace pracující s Linked Data, což porovnáváme s klasickým přístupem, kdy aplikace čerpá data z relační databáze. Toto porovnání je doplněno benchmarkem. Nakonec je uveden návod pro začínající vývojáře shrnující naše zkušenosti a poznatky včetně problémů, které je dle našeho názoru třeba vyřešit, aby se Linked Data jako základ Sémantického Webu mohli dále rozšiřovat.
Inference of XML Integrity Constraints
Vitásek, Matej ; Holubová, Irena (vedoucí práce) ; Knap, Tomáš (oponent)
Tato práce navazuje na dřívější pokusy odvodit (inferovat) schéma existujících XML dokumentů. Jelikož je odvozování struktury již relativně dobře popsáno, soustředíme se na integritní omezení. Několik jich popisujeme, pozornost pak soustředíme na ID/IDREF/IDREFS atributy z DTD. Na bázi článku od Barbosa a Menelzon (2003) stavíme heuristický přístup k problému hledání optimální sady ID atributů, jeho funkčnost a vhodnost pak ověřujeme na škále experimentů.
Comparison of Enterprise Application Integration platforms
Kusák, David ; Nečaský, Martin (vedoucí práce) ; Knap, Tomáš (oponent)
Diplomová práce zkoumá oblast integrace podnikových aplikací (angl. Enterprise Application Integration, EAI) spolu s nástroji a platformami, které takovou integraci umožňují. Koncept podnikové sběrnice služeb (angl. Enterprise Service Bus, ESB), jako nejvyzrálejší z EAI konceptů, umožňuje vytvoření mocné platformy pro integraci podnikových aplikací. Integrační platformy založené na konceptu ESB jsou často používány jako páteř pro integraci v prostředí servisně orientované architektury (ang. Service Oriented Architecture, SOA). Mnoho z těchto produktů je dostupných pod poměrně drahou komerční licencí. Mimo tyto existuje také řada produktů založených na Open Source licencích. Hlavní částí práce je porovnání vybraných Open Source produktů podle zvolených kritérií. Práce se také pokouší odpovědět na otázku, zda jsou tyto Open Source produkty dostatečně vyzrálé a schopné nasazení v korporátním prostředí.
Webová aplikace pro prezentaci integrovaných výsledků kontrol
Finger, Artur ; Nečaský, Martin (vedoucí práce) ; Knap, Tomáš (oponent)
V dnešní době vzniká iniciativa publikovat data státních orgánů jako Linked Data, která se spojí s ostatními souvisejícími daty sémantického webu. Dohromady pak vzniká Linked Data Cloud, který slouží jako bohatý datový zdroj pro řadu aplikací. Nám se i přes nečekané potíže, podařilo do této podoby převést data o proběhlých kontrolách Státní veterinární správy a to čistě za použití ETL nástroje UnifiedViews. K popisu dat jsme použili známé RDF slovníky. Posléze, také pomocí UV, jsme data SVS integrovali s Linked Daty kontrol České obchodní in- spekce. Nad SPARQL databází integrovaných dat jsme vybudovali responzivní webovou apli- kaci, určenou k vyhledávání poctivých podnikatelů a jejich provozoven. S daty se pracovalo exkluzivně ve formátu RDF a za použití databázového serveru Virtuoso se podařilo naim- plementovat i vyhledávání pomocí souřadnic. Aplikace je připravená pro další datové zdroje a vytěžená data SVS jsou otevřeně dostupná.
Linked Data Integration
Michelfeit, Jan ; Knap, Tomáš (vedoucí práce) ; Klímek, Jakub (oponent)
Linked Data je úspěšná forma publikování strukturovaných dat, která by mohla znamenat pro data to samé, co dokázal web pro dokumenty. Silná stránka Linked Data je jejich vhodnost pro integraci dat z více zdrojů. Integrace Linked Data otevírá dveře novým příležitostem, ale zároveň přináší nové výzvy. Je třeba vyvinout nové algoritmy a nástroje pokrývající všechny kroky datové integrace. Tato práce se zabývá tradičním postupem integrace dat a jeho aplikací na Linked Data, se zaměřením na řešení konfliktů, které se mohou objevit. Práce navrhuje nový algoritmus pro řešení konfliktů, který zároveň podporuje důvěru s pomocí informací o původu a analýzy kvality. Navržené algoritmy jsou implementované v rámci frameworku ODCleanStore pro integraci Linked Data.
Simulace dopravy
Šmíd, Jakub ; Nečaský, Martin (vedoucí práce) ; Knap, Tomáš (oponent)
Název práce: Simulace dopravy Autor: Jakub Šmíd Katedra (ústav): Katedra softwarového inženýrství Vedoucí bakalářské práce: Mgr. Martin Nečaský, Ph. D. e-mail vedoucího: necasky@ksi.mff.cuni.cz Abstrakt: Cílem této práce je vytvoření programu, který simuluje dopravu ve městě definovaném uživatelem. Aplikace se zaměřuje na sledování stavu jednotlivých silnic, monitoruje počet aut na nich a v případě, že se silnice zaplnila, program ohlásí zácpu a pokusí se část dopravy odklonit jinými silnicemi tak, aby zácpu na silnice zmírnil nebo úplně eliminoval. Mimo osobní dopravy také sleduje pohyb vozidel městské hromadné dopravy řídící se jízdním řádem. Po simulaci program navrhne úpravy, podle kterého lze jízdní řád optimalizovat tak, aby autobus na jednotlivé zastávky dojížděl v časech bližším časům uvedených v řádu. Klíčová slova: doprava, simulace, zácpa

Národní úložiště šedé literatury : Nalezeno 31 záznamů.   1 - 10dalšíkonec  přejít na záznam:
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.