| |
|
Network-wide Security Analysis
de Silva, Hidda Marakkala Gayan Ruchika ; Šafařík,, Jiří (oponent) ; Šlapal, Josef (oponent) ; Švéda, Miroslav (vedoucí práce)
The objective of the research is to model and analyze the effects of dynamic routing protocols. The thesis addresses the analysis of service reachability, configurations, routing and security filters on dynamic networks in the event of device or link failures. The research contains two main sections, namely, modeling and analysis. First section consists of modeling of network topology, protocol behaviors, device configurations and filters. In the modeling, graph algorithms, routing redistribution theory, relational algebra and temporal logics were used. For the analysis of reachability, a modified topology table was introduced. This is a unique centralized table for a given network and invariant for network states. For the analysis of configurations, a constraint-based analysis was developed by using XSD Prolog. Routing and redistribution were analyzed by using routing information bases and for analyzing the filtering rules, a SAT-based decision procedure was incorporated. A part of the analysis was integrated to a simulation tool at OMNeT++ environment. There are several innovations introduced in this thesis. Filtering network graph, modified topology table, general state to reduce the state space, modeling devices as filtering nodes and constraint-based analysis are the key innovations. Abstract network graph, forwarding device model and redistribution with routing information are extensions of the existing research. Finally, it can be concluded that this thesis discusses novel approaches, modeling methods and analysis techniques in the area of dynamic networks. Integration of these methods into a simulation tool will be a very demanding product for the network designers and the administrators.
|
|
Algebraic classification of the Weyl tensor
Pravdová, Alena
Alignment classification of tensors on Lorentzian manifolds of arbitrary dimension is summarized. This classification scheme is then applied to the case of the Weyl tensor and it is shown that in four dimensions it is equivalent to the well known Petrov classification. The approaches using Bel-Debever criteria and principal null directions of the superenergy tensor are also discussed.
|
|
Grafický nástroj pro tvorbu a modifikaci grafů
Hynšt, Miroslav ; Navrátil, Jan (oponent) ; Zuzaňák, Jiří (vedoucí práce)
Tato práce se zabývá základy teorie grafů a grafovým přepisováním. V první části jsou popsány pojmy graf, grafové přepisovací systémy, grafová gramatika a algebraické přístupy ke grafovému přepisování. Další částí práce je implementace navržené aplikace, která slouží pro tvorbu, modifikaci a ukládání grafů a grafových přepisovacích systémů.
|
|
Algebraický přístup k CSP
Bulín, Jakub ; Barto, Libor (vedoucí práce) ; Růžička, Pavel (oponent)
Nechť A je konečná relační struktura. Problém splňování omezení s šablonou A, CSP (a), rozhoduje, zda vstupní struktura X je homomorfní A. Hypotéza o dichotomii CSP Federa a Vardiho říká, že CSP(A) je vždy buď v P nebo NP-úplný. V první části předsdtavíme algebraický přístup k CSP a shrneme známé výsledky o CSP pro orientované grafy, tzv. H-barvení. Ve druhé části se zabýváme jistou třídou orientovaných stromů, tzv. speciálními polyádami. Pomocí algebraického přístupu potvrdíme dichotomickou hypotézu pro speciální polyády. V polynomiálním případě poskytneme jemnější popis a zkontruujeme speciální polyádu T takovou, že CSP(T) je v P, ale T nemá šířku 1 ani žádné near-unanimity polymorfismy.
|
|
Využití metod prostorové analýzy dat při vymezování venkovských regionů
KROHOVÁ, Zuzana
Cílem této diplomové práce je odborné zhodnocení dosavadních přístupů k vymezování venkovského prostoru u nás, v Evropě i ve světě. Vlastním výstupem práce bude návrh nového komplexního vymezení venkovského prostoru České republiky a to pomocí metod prostorové analýzy dat v prostředí geografického informačního systému. Hlavní metodou prostorové analýzy bude mapová algebra, pomocí ní se vymezí nové kritérium pro venkovské oblasti. Nový návrh na vymezení venkovského prostoru České republiky bude založený na kombinaci běžně využívaných kritérií k vymezování venkova (počet obyvatel, hustota zalidnění, míra nezaměstnanosti apod.) spolu s jejich zpracováním v prostředí GIS (prostorové modely, překryvné operace, prostorová statistika a další). Výsledek této práce by měl posloužit pro další hodnocení venkovského prostoru a návrhy jeho udržitelného rozvoje.
|
|
Matematika ve fyzice
BLAŽEK, Jiří
Předkládaná práce se zabývá matematickými prostředky, kterými je možné ve středoškolské fyzice popisovat harmonické kmity a vlnění. Nejčastěji jsou harmonické veličiny reprezentovány projekcemi rotujících symbolických vektorů ? fázorů, přesto největší pozornost je věnována reprezentaci harmonických veličin komplexními čísly. Je ukázáno, že obě tyto metody ve skutečnosti představují formalizovaný způsob řešení algebraicko-diferenciálních rovnic, popisujících příslušné fyzikální děje. Všechny přístupy jsou při řešení modelových úloh uplatňovány současně a vzájemně porovnávány. Text je především určen vyučujícím fyziky na středních školách a studentům fyziky na pedagogických fakultách.
|
|
Regulace nestabilních soustav DP
Heczko, Lukáš ; Findura, Milan (oponent) ; Vavřín, Petr (vedoucí práce)
Diplomová práce se zabývá regulací nestabilních soustav obsahujících kmitavě nestabilní póly. Řešení je hledáno pomocí algebraické teorie řízení. Důraz je kladen především na velikost výstupu regulátoru. Práce se skládá z teoretického úvodu obsahujícího výchozí podmínky prováděné syntézy spolu s rozborem základních přístupů k návrhu regulátoru s jedním a dvěma stupni volnosti řešením polynomiálních rovnic. V další části je podrobněji zkoumán problém regulace s omezeným výstupem regulátoru s jedním i dvěma stupni volnosti. Je navržen způsob návrhu regulátoru pomocí optimalizace kritéria „nejmenší spotřeby paliva“. Je proveden rozbor řešení pro oba stupně volnosti použitého regulátoru s dodatečnou podmínkou na nulovou ustálenou odchylku. Práce dále obsahuje několik příkladů návrhu regulátoru popisovaným způsobem. Součástí vypracování je soubor několika algoritmů, které usnadňují návrh regulátoru díky využití výpočetní techniky. Na závěr je provedeno shrnutí a zhodnocení dosažených cílů.
|
| |
|
A parallel finite element solver for unsteady incompressible Navier-Stokes equations
Šístek, Jakub
A parallel solver for unsteady incompressible Navier-Stokes equations is presented. It is based on the finite element method combined with the pressure-correction approach. Semi-implicit treatment of the convective term is considered, leading to five systems of linear algebraic equations to be solved in each time step. Krylov subspace iterative methods are employed for the solution of these systems with a particular emphasis on efficient parallel preconditioners. A simulation of a benchmark problem of incompressible viscous flow around a sphere at Reynolds number 300 is presented and compared with literature.
|
host ::
