|
|
The Crystallization Kinetics in Semicrystalline Nanocomposites
Fiore, Kateřina ; Kučera, Jaroslav (oponent) ; Chodák,, Ivan (oponent) ; Lesser, Alan (oponent) ; Jančář, Josef (vedoucí práce)
The crystal growth greatly affects morphology and, thus, mechanical properties of semicrystalline polymers. In this PhD work, the effect of adding high specific surface area silica nano-filler on the crystallization kinetics of linear polyethylene was investigated. In nanocomposites, high specific surface area is able to alter the chain dynamics even at very low filler loadings. It is suggested that in the vicinity of the filler surface, polymer chains exhibit retarded reptation motion due to the chain immobilization caused by either the filler-polymer interaction or by chain confinement between closely packed nanoparticles. The polarized optical microscope equipped with a hot stage was employed to measure the spherulites growth rates in the medium crystallization regime II. It was shown that even weak interaction between PE chains and silica nano-filler above glass transition temperature leads to the substantial decrease of the spherulite growth rates. The measured data are correlated with predictions based on the theoretical models and computer simulations of molecular dynamics in the crystallizing nanocomposite. The observed decrease of spherulites growth rates, G, in dependence on both the silica nano-filler content and polyethylene molecular weight is interpreted utilizing the immobilization theory, thus, reduced reptation motion.
|
|
|
Paralelní verze obecné syntaktické analýzy
Mikita, Tibor ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato bakalářská práce se zabývá obecními metodami syntaktické analýzy. Autor studuje Cocke-Younger-Kasami algoritmus a přichází s návrhem paralelní verze. Motivací autora je zrychlení syntaktické analýzy založené na tomto algoritmu. Výsledkem práce je konzolová aplikace, která dokáže zjistit, zda vstupní řetězec patří do jazyka generovaného vstupní gramatikou, nebo nepatří, na základě navrženého paralelního algoritmu. Jako programovací jazyk byl zvolen jazyk C++. Pro dosažení paralelismu byla práce algoritmu rozdělena mezi několik vláken.
|
|
|
Detekce podobnosti zdrojových souborů v jazyce C
Rek, Petr ; Kučera, Jiří (oponent) ; Matula, Peter (vedoucí práce)
Tato práce se zabývá návrhem, implementací a testováním nástroje csim, sloužícího pro porovnávání podobnosti dvou souborů v jazyce C. Primárním účelem vzniku tohoto nástroje je testování zpětného překladače vyvíjeného společností AVG Technologies s.r.o. Testování je prováděno na základě podobnosti abstraktního syntaktického stromu původního a dekompilovaného souboru. Čtenář je tedy seznámen se základy problematiky zpětného inženýrství, zejména zpětným překladem binárního kódu do vyšší úrovně reprezentace. Dále je popsán koloběh, kterým kód prochází od jeho vytvoření až po zpětný překlad, a jeho vliv na tento proces. Čtenáři je také poskytnut přehled o projektu LLVM a překladači Clang, který je základním stavebním kamenem nástroje csim.
|
|
|
A Combination of Automata and Grammars
Kučera, Jiří ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
In this work, a new systems of formal models, called state-synchronized automata systems of degree n , were introduced and studied. The computation in presented automata systems is controlled by words from finite control language, where every word from control language is a sequence of states. Furthermore were studied the computational power of these systems. The practical use of introduced systems was demonstrated on example of natural language translation and on example of parallel compiling.
|
|
|
Záložní zdroj v nemocničním informačním systému
Kučera, Josef ; Sekora, Jiří (oponent) ; Fedra, Petr (vedoucí práce)
Tato bakalářská práce je zaměřena na návrh vhodného zdroje nepřerušitelného napájení (UPS) ke školnímu serveru na UBMI na němž je v současnosti instalován NIS (nemocniční informační systém) Clinicom firmy SMS. UPS by měla zajistit ochranu právě rozpracovaných dat, bezpečné vypnutí serveru a informovat o výpadku sítového napětí.
|
|
|
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.
|
|
|
Similarity Search in Network Security Alerts
Štoffa, Imrich ; Kučera, Jan (oponent) ; Žádník, Martin (vedoucí práce)
Network monitoring systems generate a high number of alerts reporting on anomalies and suspicious activity of IP addresses. From a huge number of alerts, only a small fraction is high priority and relevant from human evaluation. The rest is likely to be neglected. Assume that by analyzing large sums of these low priority alerts we can discover valuable information, namely, coordinated IP addresses and type of alerts likely to be correlated. This knowledge improves situational awareness in the field of network monitoring and reflects the requirement of security analysts. They need to have at their disposal proper tools for retrieving contextual information about events on the network, to make informed decisions. To validate the assumption new method is introduced to discover groups of coordinated IP addresses that exhibit temporal correlation in the arrival pattern of their events. The method is evaluated on real-world data from a sharing platform that accumulates 2.2 million alerts per day. The results show, that method indeed detected truly correlated groups of IP addresses.
|
|
|
Ovladač netdev pro akcelerační karty COMBO
Tran, Dominik ; Vrána, Roman (oponent) ; Kučera, Jan (vedoucí práce)
Tato práce se zabývá návrhem a implementací ovladače nad FPGA síťovými kartami rodiny COMBO, který by umožnil příjem a odesílání paketů prostřednictvím standardního síťového rozhraní jádra Linux. Sdružení CESNET vyvíjí zařízení typu Protector pro ochranu proti amplifikačním (D)DoS útokům využívající akcelerační karty COMBO pro dosažení vysokého výkonu. Přenos síťových dat mezi kartou a řídicí aplikací je realizován rozhraním SZE2, které umožňuje rychlé zpracování dat mj. díky obcházení síťové vrstvy jádra. Zařízení typu Protector však musí podporovat standardní síťové protokoly, jejichž vlastní implementace přímo nad rozhraním SZE2 by byla velmi náročná. Místo toho se nabízí využití síťové vrstvy v linuxovém jádře, která se pro dosažení vysoké výkonnosti běžně obchází. Vytvořením ovladače síťového zařízení lze využít služeb síťové vrstvy jádra včetně standardních síťových aplikací. Na základě nastudování zejména rozhraní SZE2 a principů vývoje ovladačů byl navržen a následně i úspěšně implementován ovladač síťového zařízení, který byl otestován z pohledu funkčnosti i výkonnosti. Nad rámec zadání byl implementován stejný ovladač nad novějším rozhraním NDP a aplikace pro řízení akcelerované přeposílání paketů.
|
|
|
New Parallel and Regulated Automata and Grammars
Kučera, Jiří ; Průša, Daniel (oponent) ; Sawa, Zdeněk (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces and studies four new language models with focus on regulation and parallelism in automata and grammars. First, state-synchronized automata systems , present systems consisting of a finite number of pushdown automata controlled by words of a control language over a set of states. Second, unlimited deep pushdown automata , are a modification of deep pushdown automata with no restrictions imposed on the depth of expansion on the pushdown. Third, jumping pure grammars , introduces jumping grammars with no nonterminal symbols. The last one, k#$-rewriting systems , extends #-rewriting systems with additional pushdown memory. The contents of this thesis are divided into three parts. The first part outlines the motivation for introduction of the studied language models and puts them into the context of related formal language theory areas. Furthermore, it gives an overview of the structure of the thesis, reviews fundamental notions of formal language theory and gives a survey of current knowledge related to the subject of research. The second part presents the core of this thesis. Here, formal definitions of all newly introduced language models are given and their expressive power is studied. Finally, this thesis is concluded with a summary of achieved theoretical results as well as related open problem areas, and an outline of the possibilities for further research along with a sketch of possible applications.
|
|
|
Generátor IPv6 prefixů
Obrusník, Vojtěch ; Kučera, Jan (oponent) ; Matoušek, Jiří (vedoucí práce)
Nastávající přechod na IPv6 technologii s sebou přináší požadavek na existenci efektivních vyhledávacích algoritmů směrovacích tabulek, jenž by byly přizpůsobeny práci s délkami IPv6 prefixů. Vývoj takových algoritmů však vyžaduje množství testovacích dat, která v současné době neexistují. Tato práce se zaměřuje na návrh a implementaci nástroje, který by byl schopen testovací data generovat. Vytvoření generátoru předcházelo nastudování pravidel přidělování IPv6 prefixů v reálném prostředí a také analýza stávajících prefixových sad. K ověření funkčnosti generátoru byly použity metody srovnání rozložení délek a hodnot bitů prefixu mezi reálnou a uměle získanou sadou dat.
|
host ::
RSS.