|
|
Instrumentation and Evaluation for Dynamic Program Analysis
Marek, Lukáš ; Tůma, Petr (vedoucí práce) ; Hasselbring, Wilhelm (oponent) ; Krall, Andreas (oponent)
Dynamická analýza aplikací zprostředkovává důležité informace během pozdějších fází vývoje. Napomáhá při laděni, profilování, výkonnostní optimalizaci nebo při detekci bezpečnostních chyb. Nicméně, podpora pro vytváření vlastních nástrojů pro dynamickou analýzu, speciálně v oblasti řízených jazyků, je poměrně omezená. Tato práce prezentuje dva systémy, které pomáhají zlepšit sledování aplikací na platformě Java. DiSL je jazyk a framework, který umožňuje jednoduchou a flexibilní instrumentaci zaměřenou na dynamickou analýzu. DiSL poskytuje abstrakce vyšší úrovně pro rychlé prototypování i pro vývojáře, kteří nemají znalosti interních systémů v Javě. Kvalifikovaný vývojář získává plnou kontrol na instrumentačním procesem, tudíž se nemusí bát nevyžádaných alokací nebo skryté běhové režie. ShadowVM je platforma poskytující separaci mezi sledovanou aplikací a prostředím pro analýzu. Pro zmírnění interakcí mezi analýzou a aplikací, ShadowVM transportuje události analýzy mimo kontext aplikace. I když je primárním cílem platformy izolace, ShadowVM zavádí několik technik tak, aby zůstala rychlostně srovnatelná a vytvářela obobné vývojové podmínky jako existující frameworky pro dynamickou analýzu.
|
|
|
Simulation of traffic infrastructure
Pak, Hak Chol ; Kofroň, Jan (vedoucí práce) ; Marek, Lukáš (oponent)
Cílem projektu je simulovat pohyb vozidel v silnicích. Projekt obsahuje grafický simulátor a grafický editor dopravní sítě. Editor dopravní sítě umožňuje uživatelovi vytvořit a upravit sítě. S danou sítí se bude moct simulovat pohyb vozidel a získat výsledek simulace. Simulace se probíhá se vlastním simulačním modelem, který má dvě důležité modely - ovládací model pohybu vozidel a semaforu.
|
|
|
Charakteristiky konvekčního prostředí a jejich porovnání
Marek, Lukáš ; Müller, Miloslav (vedoucí práce) ; Kašpar, Marek (oponent)
V této práci jsem vytvořil přehled indexů instability a dalších charakteristik konvekčního prostředí, které se nejčastěji vyskytují v odborné literatuře. Na základě veličin, z nichž jsou charakteristiky konvekčního prostředí odvozovány, jsem navrhnul jejich kategorizaci. Vzniklo tak celkem pět skupin indexů instability: (i) indexy rozdílů izobarických hladin, (ii) indexy stoupající vzduchové částice, (iii) indexy potenciálních teplot, (iv) indexy energetického potenciálu konvekce a (v) indexy započítávající střih větru. K těmto pěti kategoriím byla přiřazena šestá kategorie zahrnující další termodynamické charakteristiky. V poslední části práce jsem použil data a hodnoty indexů instability z databáze aerologických sondáží University of Wyoming pro jeden bouřkový den v Praze a indexy instability jsem vzájemně porovnal. V předpovědi této bouře a její intenzity byly nejúspěšnější indexy potenciálních teplot, s výjimkou Rackliffova indexu. Index bulk Richardsonovo číslo, ze skupiny indexů započítávajících střih větru, dokonce správně předpověděl bouři supercelární. Práce by mohla být použita jako základ k dalšímu zpracování, v němž by, na základě vybraných indexů instability, mohla být vytvořena klimatologie stabilitních podmínek pro Českou republiku. Klíčová slova: index instability, konvekce,...
|
|
|
3D hry v J2ME
Hanslík, Ondřej ; Yaghob, Jakub (vedoucí práce) ; Marek, Lukáš (oponent)
Cílem textu je uvedení do problematiky vývoje 3D her v J2ME na mobilních zařízeních ve všech stupních vývoje od počátečního návrhu až k distribuci. Podrobně je popsána historie 3D her s důrazem na použité fyzikální a grafické algoritmy. Jsou srovnány dostupné 3D technologie a knihovny. Samostatně jsou probrány možnosti multiplayer her, v závěru s detailním rozebráním technologie Bluetooth. Poslední kapitoly jsou věnovány implementaci enginu pro First Person Shooter hry na knihovně M3G.
|
|
|
Parallel Processing and Software Performance
Marek, Lukáš
Práce se zaměřuje na vliv sdílení vybraných prostředků, především paměťových cache, na výkon software na moderních procesorových architekturách. V práci je navrhnut framework pro spouštění experimentů, které vyhodnocují vliv sdílení na výkon. V práci je popsaný návrh, měření a vyhodnocení experimentů s použitím tohoto frameworku. Výsledky dávají odhad velikosti vlivu sdílení prostředků na výkon na zvolených platformách.
|
|
| |
|
|
Ekonomická výkonnost EU a USA: komparativní analýza
Marek, Lukáš ; Urban, Luděk (vedoucí práce) ; Perottino, Michel (oponent)
Diplomová práce "Výkonnost ekonomiky EU ve vztahu k USA" pojednává o zaostávání ekonomické výkonnosti Evropské unie za Spojenými státy. Práce vychází z přesvědčení, že zaostávání evropské ekonomiky za USA od počátku 70. let má strukturální charakter. Analytická část práce se věnuje dvěma oblastem, které mají pro hospodářskou výkonnost evropských států velký význam. První z nich je oblast hospodářské soutěže na vnitřním trhu. Jedná se o problematiku, jež přímo souvisí s procesem evropské ekonomické integrace. Analýza ukazuje, že pro růst produktivity firem v odvětví je nanejvýš důležité, zda může potenciální konkurence snadno vstupovat a opouštět jednotlivé trhy. Druhou zkoumanou oblastí je výzkum a vývoj. Současné teorie endogenního růstu považují technologický pokrok za faktor, jenž je nezbytným předpokladem pro zvyšování výkonu každé ekonomiky. Vnitřní trh EU by se proto měl stát místem, které bude podniky stimulovat k investicím do "R&D" a stane se tak příhodným pro vznik hodnotných inovací. Analýza však také ukázala, že zaostávání výkonnosti EU za USA nespočívá pouze v sektorech náročných na "R&D" jako biotechnologie a ICT, ale také v sektoru služeb. Powered by TCPDF (www.tcpdf.org)
|
|
|
Product placement a jeho vnímání českou populací
Marek, Lukáš ; Tahal, Radek (vedoucí práce) ; Říha, David (oponent)
Bakalářská práce se zabývá problematikou procesu vkládání produktů, služeb či značek do audiovizuálních děl, především pak do televizního vysílání, a jeho vnímáním českou populací. Cílem práce je přiblížit historii a vývoj product placementu, zanalyzovat ho jako část komunikačního mixu i jako marketingový nástroj a představit jeho různé druhy a novodobé trendy. Dále pojednat o legislativním rámci, který tuto formu reklamy upravuje, a také o pozitivních i negativních stránkách tohoto marketingového nástroje. Následně byl proveden marketingový výzkum pomocí dotazníku ohledně vnímání product placementu v kinematografii, seriálech a jiných audiovizuálních dílech. Práce zjišťuje vnímání a všeobecné znalosti o product placementu českými diváky. Z poznatků dotazníkového šetření jsou v závěru práce vydedukována možná opatření pro následnou příležitost zlepšení procesu vkládání výrobků nebo značek do audiovizuálních děl.
|
|
|
Analýza stabilitních podmínek při silných srážkách v ČR
Marek, Lukáš ; Kašpar, Marek (vedoucí práce) ; Zacharov, Petr (oponent)
V této diplomové práci jsou popsány koncepční modely tří druhů instability z hlediska vzniku srážek a způsoby hodnocení jejich přítomnosti v atmosféře. Jsou jimi: podmíněná instabilita, potenciální instabilita a symetrická instabilita. Vybrány byly tři silné srážkové události v ČR tak, aby se na vzniku každé z nich s velkou pravděpodobností podílel právě jeden ze tří uvedených druhů instability. Události jsou nejdříve popsány pomocí distančních a staničních měření. NWP modelem COSMO byla pro každou událost namodelována prognostická pole srážek a několika odvozených termodynamických veličin. Na horizontálním (pro celou ČR) i vertikálním (pro vybrané oblasti ČR) rozložení těchto veličin jsou demonstrovány vhodné podmínky pro výskyt daného druhu instability v atmosféře. Při události s podmíněnou instabilitou se srážky vyskytují v oblastech s vysokým CAPE a záporným či velmi malým kladným vertikálním gradientem potenciální teploty. Pro událost s potenciální instabilitou je charakteristický výskyt záporného vertikálního gradientu ekvivalentní potenciální teploty v širokých vrstvách. Výskyt symetrické instability naznačuje řada ukazatelů. Nutná podmínka výskytu je splněna ve více oblastech a ve velké části troposféry. Klíčová slova: podmíněná instabilita, potenciální instabilita, symetrická instabilita,...
|
|
|
DCSN: Platform for Distributed Computing in Small Networks
Háva, Jakub ; Marek, Lukáš (vedoucí práce) ; Falt, Zbyněk (oponent)
Tato práce popisuje platformu pro distribuované zpracovávání úloh v malých sítích. Platforma by měla být lehko použitelná a vhodná pro běžné nasazení v lokálních sítích. Implementace se řidí klasickou klient-server architekturou a komunikace mezi klientem a serverem je založená na principu Remote Method Invocation. Server je zodpovědný za distribuování úloh a další výpočetní management. Klient přijímá a interpretuje příkazy od uživatele, zprostředkovává komunikaci se serverem a slouží také ke zpracování úloh přijatých od serveru. Uživatel zasílá na server výpočetní projekt skládající se ze dvou částí: zip archivu obsahující datové soubory a JAR archivu obsahující konfigurační soubor společně s Java třídami vyžadovaných k provedení výpočtu na uživatelských datech. Uživateli jsou poskytovány prostředky pro zjištovaní stavu projektu, pozastavení, stáhnutí nebo zrušení výpočtu projektu. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.