|
|
Škálovatelná optimalizace celých programů
Láska, Ladislav ; Hubička, Jan (vedoucí práce) ; Mareš, Martin (oponent)
Oba vedoucí open-source překladače, GCC a LLVM, mají vyspělé optimizéry celých programů, použitelné pro většinu současného softwaru. Stále však trpní mnoha problémy s výkonem, což zapřičiňuje nemožnost použít některé analýzy a optimalizace. V této práci analyzujeme problémová místa a identifikujeme několik kandidátů na vylepšení. Pro tento účel vyvineme novou datovou struktur založenou na Bloomových filtrech, díky které docílíme výrazného zlepšení časové i paměťové náročnosti během optimalizace celých programů. Powered by TCPDF (www.tcpdf.org)
|
|
| |
|
|
Combinatorial Properties of Finite Models
Hubička, Jan ; Nešetřil, Jaroslav (vedoucí práce) ; Pultr, Aleš (oponent) ; Cameron, P. (oponent)
V této práci se věnujeme univerzáním strukturám pro vnoření i homomorfismy a sjednocujeme výsledky týkající se obou těchto pojmů. Ukážeme, že mnohé z univerzálních a ultrahomogenních struktur jsou reprezentovatelné pomocí jednoduchých konečných technik. O takových strukturách říkáme, že mají konečnou prezentaci. Na základě klasické reprezentace náhodného grafu (R. Rado) hledáme konečné prezentace pro známé ultrahomogenní struktury. Podle klasifikačního programu najdeme prezentace všech ultrahomogenních neorientovaných grafů, turnajů a částečných uspořádání. Ukážeme také prezentaci racionálního Urysohnova prostoru a některých orientovaných grafů. Věnujeme se také známým strukturám, které lze považovat za konečné prezentace. Uvádíme přehled struktur, které popisují částečná uspořádání a u nichž můžeme dokázat jejich univerzalitu (například uspořádání množin slov, geometrických objektů, polynomů, či homomorfismové uspořádání struktur). Ukážeme nový kombinatorický důkaz existence univerzálních struktur pro třídy struktur definovaných pomocí zakázaných homomorfismů. Z tohoto důkazu plyne nová konstrukce homomorfismových dualit a souvislost s Urysohnovým prostorem.
|
|
|
Modulární nástroj pro parametrickou analýzu dynamických systémů pomocí komplexních sítí
Hons, Tomáš ; Hartman, David (vedoucí práce) ; Hubička, Jan (oponent)
Modelování dynamických systémů s komplexní vnitřní strukturou je složitá úloha, k jejímuž řešení se stále častěji používají komplexní sítě zachycující interakce mezi jed- notlivými částmi systému. Důležitým prvkem tohoto procesu je výběr vhodných metod a jejich parametrů, kterými síť vytvoříme a následně zkoumáme. Neexistuje ovšem ná- stroj, který by dokázal konfigurovat množství parametricky závislých výpočtů, tyto vý- počty realizovat a jejich výsledky porovnat. Takový nástroj by posléze umožnil výběr metod a parametrů nejvhodnějších pro studovaný systém. Tato práce představuje kni- hovnu Neads, která umí vykonat parametrické analýzy obecných dynamických systémů pomocí komplexních sítí, přičemž mezivýsledky ukládá a dokáže je využít během navazu- jících výpočtů. Představený nástroj má potenciál zásadně urychlit vědeckou práci v této oblasti. 1
|
|
|
Semigroup-valued metric spaces
Konečný, Matěj ; Hubička, Jan (vedoucí práce)
Strukturální Ramseyova teorie je obor na rozmezí kombinatoriky a teorie modelů s hlubokými souvislostmi s dynamickými systémy. Ramseyovskost většiny známých ramseyovských tříd v konečném binárním symetrickém relačním jazyce se dá dokázat s využitím nějaké varianty tzv. shortest path completion (například Sauerovy S-metrické prostory, Conantovy zobecněné metrické prostory, Braunfel- dovy Λ-ultrametrické prostory či Cherlinovy metricky homogenní grafy). V této práci zkoumáme limity shortest path completion. Nabízíme abstrakci - met- rické prostory se vzdálenostmi z pologrupy - pro všechny zmíněné ramseyovské třídy a studujeme ramseyovské expanze a EPPA (extension property for partial automorphisms) této abstrakce. Na tyto výsledky lze také nahlížet jako na důkaz toho, že samotná otázka, které neúplné struktury mají zúplnění v nějaké amal- gamační třídě, je zajímavá a důležitá. Naše výsledky mají i další aplikace (jako například stationary independence relations). Jako důsledek našich obecných vět znovu dokážeme výsledky Hubičky a Nešetřila o Sauerových S-metrických prostorech, výsledky Hubičky, Nešetřila a autora o Conantových generlizovaných metrických prostorech, Braunfeldovy výsledky o Λ-...
|
|
|
Semigroup-valued metric spaces
Konečný, Matěj ; Hubička, Jan (vedoucí práce)
Strukturální Ramseyova teorie je obor na rozmezí kombinatoriky a teorie modelů s hlubokými souvislostmi s dynamickými systémy. Ramseyovskost většiny známých ramseyovských tříd v konečném binárním symetrickém relačním jazyce se dá dokázat s využitím nějaké varianty tzv. shortest path completion (například Sauerovy S-metrické prostory, Conantovy zobecněné metrické prostory, Braunfel- dovy Λ-ultrametrické prostory či Cherlinovy metricky homogenní grafy). V této práci zkoumáme limity shortest path completion. Nabízíme abstrakci - met- rické prostory se vzdálenostmi z pologrupy - pro všechny zmíněné ramseyovské třídy a studujeme ramseyovské expanze a EPPA (extension property for partial automorphisms) této abstrakce. Na tyto výsledky lze také nahlížet jako na důkaz toho, že samotná otázka, které neúplné struktury mají zúplnění v nějaké amal- gamační třídě, je zajímavá a důležitá. Naše výsledky mají i další aplikace (jako například stationary independence relations). Jako důsledek našich obecných vět znovu dokážeme výsledky Hubičky a Nešetřila o Sauerových S-metrických prostorech, výsledky Hubičky, Nešetřila a autora o Conantových generlizovaných metrických prostorech, Braunfeldovy výsledky o Λ-...
|
|
|
API for C# code generation
Lukeš, Stanislav ; Hubička, Jan (vedoucí práce) ; Kliber, Filip (oponent)
V práci představujeme knihovnu pro implementaci robustních generátorů kódu v jazyce C#. Stávající generátory kódu často pro nějaké vstupy produkují nepřeložitelný kód. Dochází ke jmeným kolizím a dalším problémům, což zhoršuje stabilitu generování kódu. Tyto případy pak rozbíjí zavedené procesy sestavování aplikací a programátoři je musí řešit ručně. Naše knihovna tyto problémy řeší. Automaticky se vyhýbá jmeným kolizím a dalším nejednoznačnostem, zatímco produkuje čitelný kód. Náš přístup porovnáme s jinými řešeními, mimo jiné s metaprogramováním založeném na reflexi, makrech a automatickým přepisováním mezijazyka. 1
|
|
|
Computing and estimating ordered Ramsey numbers
Poljak, Marian ; Balko, Martin (vedoucí práce) ; Hubička, Jan (oponent)
Zabýváme se uspořádanými Ramseyovými čísly, která představují analogii klasick- ých Ramseyových čísel pro uspořádané grafy. Zlepšíme některé již dosažené výsledky pro speciální třídu uspořádaných párování a vyvrátíme platnost Rohatgiho domněnky. Rozšíříme klasický pojem Ramsey dobrosti pro uspořádaný případ a pokusíme se charak- terizovat všechny Ramsey dobré souvislé uspořádané grafy. Nastíníme, jak lze Ramseyova čísla odhadnout výpočetně a popíšeme naši utilitu založenou na SAT řešičích, která byla pro tento účel vyvinuta a kterou mohou využít další výzkumníci zabývající se tímto té- matem. 1
|
|
|
Semigroup-valued metric spaces
Konečný, Matěj ; Hubička, Jan (vedoucí práce) ; Pultr, Aleš (oponent)
Strukturální Ramseyova teorie je obor na rozmezí kombinatoriky a teorie modelů s hlubokými souvislostmi s dynamickými systémy. Ramseyovskost většiny známých ramseyovských tříd v konečném binárním symetrickém relačním jazyce se dá dokázat s využitím nějaké varianty tzv. shortest path completion (například Sauerovy S-metrické prostory, Conantovy zobecněné metrické prostory, Braunfel- dovy Λ-ultrametrické prostory či Cherlinovy metricky homogenní grafy). V této práci zkoumáme limity shortest path completion. Nabízíme abstrakci - met- rické prostory se vzdálenostmi z pologrupy - pro všechny zmíněné ramseyovské třídy a studujeme ramseyovské expanze a EPPA (extension property for partial automorphisms) této abstrakce. Na tyto výsledky lze také nahlížet jako na důkaz toho, že samotná otázka, které neúplné struktury mají zúplnění v nějaké amal- gamační třídě, je zajímavá a důležitá. Naše výsledky mají i další aplikace (jako například stationary independence relations). Jako důsledek našich obecných vět znovu dokážeme výsledky Hubičky a Nešetřila o Sauerových S-metrických prostorech, výsledky Hubičky, Nešetřila a autora o Conantových generlizovaných metrických prostorech, Braunfeldovy výsledky o Λ-...
|
|
|
Combinatorial Properties of Metrically Homogeneous Graphs
Konečný, Matěj ; Hubička, Jan (vedoucí práce) ; Nešetřil, Jaroslav (oponent)
Ramseyova teorie hledá " pořádek v dostatečně velkém nepořádku". Teorie modelů studuje algebraické struktury jako modely teorií. Strukturální Ramseyova teorie tyto dva obory kombinuje a zabývá se ramseyovskými otázkami o určitých modelově-teoretických strukturách. V roce 2005 Nešetřil zahájil systematickou studii takzvaných Ramseyových tříd konečných struktur. Tato práce je příspěvkem do Nešetřilova programu: Studujeme zde ramseyovské expanze primitivních 3- constrained tříd z Cherlinova katalogu metricky homogenních grafů. Klíčovou ingrediencí je kombinatorický algoritmus, který doplní chybějící vzdálenosti v gra- fech s váženými hranami tak, aby dostal struktury z Cherlinova katalogu. Dalším důsledkem tohoto algoritmu je také EPPA, což je jiná kombinatorická vlastnost tříd konečných struktur. 1
|
host ::
RSS.