|
|
Components for visualization of correlations for IVIS framework
Töpfer, Michal ; Bureš, Tomáš (vedoucí práce) ; Kofroň, Jan (oponent)
S rostoucím počtem zařízení připojených k internetu věcí roste i množství dat, které je potřeba analyzovat a prohlížet. Jedním z frameworků pro tvorbu všestranných a kon- figurovatelných vizualizací je IVIS, který je vyvíjen na D3S, MFF UK. Cílem této práce je vyvinout a implementovat pro IVIS komponenty pro korelační diagram (XY bodový graf), bublinový graf, histogram a 2D histogram. Tyto komponenty se dají použít pro vizualizaci korelací v datech a znázornění distribuce dat. Všechny komponenty jsou interaktivní a snadno nastavitelné, přičemž možná nasta- vení jsou popsána v textu práce. Použití komponent je ukázáno na několika praktických příkladech, které mimo jiné demonstrují, jak lze komponenty provázat s už existujícími částmi IVISu. Nově použité koncepty jsou také doplněny do už existujících typů grafů. 1
|
|
|
uCube - mobilní aplikace pro speedcubing
Štolová, Michaela ; Ježek, Pavel (vedoucí práce) ; Kofroň, Jan (oponent)
Cílem této práce je vytvořit mobilní aplikaci pro speedcubery, která by obsahovala několik oddělených základních pomůcek k tréninku, ale současně by umožňovala budoucí rozšíření o nové komponenty. Chtěli bychom také výhledově dosáhnout portability na různé cílové platformy. S využitím frameworku Xamarin.Forms jsme implementovali aplikaci pro systém An- droid a paralelně také experimentální verzi pro systém Windows, jejímž smyslem bylo ujistit se o slibované portabilitě, kterou jsme tímto ověřili. Návrh aplikace navíc díky po- užití MEF umožňuje snadnou rozšiřitelnost o nové komponenty pouhým přidáním nového kódu a nevyžaduje modifikaci samotného jádra aplikace. Výsledná aplikace umožňuje uživatelům měřit délku řešení hlavolamu pomocí speci- álního timeru s možností odpočtu inspekce, ukládá naměřené časy a zobrazuje je v pře- hledné tabulce a v grafu. Poskytuje také metronom s možným měřením počtu tiků mezi dvěma okamžiky a jejich ukládáním. Dále zobrazuje přehledy osobních rekordů a umož- ňuje uživateli zobrazit seznam nadcházejících soutěží podle různých kritérií. V aplikaci podporujeme několik různých hlavolamů a pro všechny je k dispozici generátor scram- blů. Pro 2×2×2 je navíc dostupný random state generátor, který využívá zjednodušený Kociembův algoritmus pro nalezení optimálního řešení náhodného stavu. 1
|
|
|
Interoperability of compiled PHP framework with .NET environment and package management
Horký, Filip ; Husák, Robert (vedoucí práce) ; Kofroň, Jan (oponent)
Již dlouhou dobu dominuje průmyslu vývoje webových aplikací programovací jazyk PHP. Každý významný PHP framework disponuje velkou komunitou pro- gramátorů a kvalitní codebase, které společně poskytují sadu technik a nástrojů, usnadňujících vývoj webových aplikací v PHP ještě více. Spojení tohoto obsáhlé- ho světa PHP s .NET je hlavním cílem Peachpie, překadače PHP do .NET. Tím přináší prostředky pro použití Symfony frameworku v .NET, čímž potěší PHP programátory toužící po vyšší bezpečnosti, ale i .NET programátory postrádající third-party obsah. Přímé použití Peachpie však přináší problémy spojené s prak- tickou použitelností nástrojů poskytnutých Symfony frameworkem. Každý pro- jekt by totiž vyžadoval opětovně kompilovat všechny Symfony komponenty, což přináší negativní časový dopad a potřebu zdlouhavé manuální konfigurace. Tato práce demonstruje možnost zlepšení tohoto procesu a usnadnění použití Symfony frameworku v .NET. Práce představuje sadu nástrojů pro semi-automatickou kompilaci Symfony komponent do NuGet balíčků a migraci jednoduchých Sym- fony aplikací na .NET. Navíc jsou poskytnuty i nástroje umožňující interoperabil- itu mezi šablonovacími jazyky Twig a Razor, a série...
|
|
| |
|
|
Komparace francouzských vojenských intervencí v Mali a Středoafrické republice
Zelenka, Jan ; Doboš, Bohumil (vedoucí práce) ; Kofroň, Jan (oponent)
Bakalářská práce "Komparace francouzských vojenských intervencí v Mali a Středoafrické republice" se bude zabývat problematikou francouzských vojenských intervencí v Africe, konkrétně v zemích jejího bývalého koloniálního impéria. Jako teoretické východisko práce je pro konání Francie zvolena teorie racionální volby. Práce nejprve představí hlubší historický kontext a bude popisovat současnou angažovanost Francie v dané oblasti. Posléze bude představena hypotéza vysvětlující současné jednání Francie, součástí bude definování základních politických, ekonomických, společenských a bezpečnostních motivů, které budou obecně aplikovatelné pro francouzskou přítomnost v regionu. Hypotéza bude testována na dvou případech současných vojenských intervencí. Vybranými složkami komparace budou Mali a Středoafrická republika. Hlavní část práce se zaměří na přiblížení jevu francouzských vojenských intervencí v těchto zemích a bude vytvořena jejich komparace. U každého případu intervence bude nejprve popsán průběh konfliktu, posléze forma francouzského zásahu, dále hlavní motivy pro intervenci a na závěr jejich mezinárodní přijetí. Hlavním cílem komparace bude celkové porovnání konkrétních motivů Francie pro její působení v těchto zemích, přičemž důraz bude kladen na strategické, politické a ekonomické motivy....
|
|
| |
|
|
MetaRMS - information systems building platform
Nekvindová, Hana ; Ježek, Pavel (vedoucí práce) ; Kofroň, Jan (oponent)
Data jsou základním prvkem současného světa. Problém ukládání dat se týká každého, ať už je to velká společnost s informacemi o svých klientech, nebo jednotlivec, který si chce uložit jen nákupní seznam. Možnosti jsou různé, od jednoduchých Excelových tabulek po drahá řešením na míru. Pro vyřešení všech těchto případů je potřeba obecné softwarové řešení. Požadavky na strukturu dat se však liší pro každý z případů použití. Tato práce si klade za cíl vyřešit tento problém vytvořením softwaru pro generování aplikací. Pokud takovému softwaru dáme popis struktury aplikace, tuto aplikaci nám vytvoří. Aby to bylo možné, definujeme formát popisu datové struktury a analyzujeme různé přístupy k implementaci tohoto softwaru. Naše řešení obsahuje serverovou aplikaci v ASP.NET Core a ukázkového webového klienta, kteří spolu komunikují přes veřejné rozhraní JSON API. Server přijme popis a odpovídajícím způsobem vytvoří aplikaci. Řešení také obsahuje knihovnu, kterou používá ukázkový webový klient a je znovu použitelná dalšími klienty.
|
|
|
Computer Games and Battle Mechanics in League of Legends: Investigating analogies between real warfare and computer games
Ravi, Sai Shashanka ; Kofroň, Jan (vedoucí práce) ; Doboš, Bohumil (oponent)
: BATTLE MECHANICS IN LoL: Investigating Analogies Between Real Warfare and Computer Games My Masters' thesis will be about how one can draw parallels between the e-sports scene in competitive online games, and the all-too real military situations that come up ever so often. Not just that, but also the possibility of running battle simulations is much more convenient in the case of e-sports, as there is no life/death scenario involved, which makes it much more suitable for implementing the more unconventional, or even some downright outrageous strategies for victory. The game I have in mind at present is League of Legends, which is a MOBA game [Multiplayer Online Battle Arena]. In LoL, battles take place between two teams of 5 vs 5, involving 10 unique characters out of a total game roster of 140+ possible character choices, each with different sets of abilities and playstyles suited for different [or in some cases, the same] situations. The battles take place on the map called Summoner's Rift, a terrain with various obstacles, bushes and whatnot to deny total vision to either of the competing teams. The methodology I would choose for my paper would be statistical analysis; since LoL is an online competitive game, statistics are easily available for the games played, either on the official game...
|
|
|
Static data flow analysis for Java programs
Mečiar, Martin ; Zavoral, Filip (vedoucí práce) ; Kofroň, Jan (oponent)
Tato práce navrhuje metodologii JaBSSA určenou k ziskání zavislostí mezi vstu- py a výstupy Java programů za použití statické programové analýzy na byte- code Java programů. Metodologie JaBSSA je založená na konstrukci context- sensitive grafu volání analyzovaného programu a následnou konstrukci oriento- vaného grafu datových toků, kde uzly majíci specifická metadata reprezentují vstupy a výstupy analyzovaného programu a hrany představují datové toky mezi nimi v analyzovaném programu. Program na přiloženém CD obsahuje imple- mentaci pro metodologii JaBSSA, což slouží jako ověření navrhovaného konceptu. Příklady Java programů spolu se sadou testů, která generuje výsledky implemen- tace metodologie JaBSSA na příkladech, jsou součástí daného programu. Vyge- nerované výsledky slouží pro demonstraci schopností a nedostatků navrhovaného konceptu. 1
|
|
|
The Art of (In)Accuracy: A Meta-Analysis of the European Values Think-Tank's Forecasts
Štěpánek, Matěj ; Kofroň, Jan (vedoucí práce) ; Plechanovová, Běla (oponent)
Pravděpodobnostní předpovědi představují potenciálně nezbytný nástroj pro politická doporučení, strategické plánování a možné scénáře budoucího vývoje. Na druhou stranu je zřejmé, že nepřesné předpovědi mohou vést k vážným důsledkům. V lepším případě mohou neúspěšné předpovědi vést ke zpochybňování takto potenciálně užitečné metody v očích politických činitelů, v tom horším k chybné alokaci již tak omezených zdrojů či zbytečné českých bezpečnostních analýzách, studiích či debatách byly ěpodobnostní předpovědi zatím využívány zřídka. Z tohoto hlediska představuje tanku Evropské hodnoty průkopnický pokus o využití pravděpodobnostních předpovědí v české politicko bezpečnostní oblasti. Vzhledem k že think ytvořil pravděpodobnostní předpovědi za účelem pomoci českým bezpečnostním elitám při tvorbě strategického plánování, je cílem práce prověřit přesnost a prediktivní schopnosti Evropských hodnot. Širším záměrem je pomocí vyhodnocení přesnosti přinést do české debaty téma preciznosti pravděpodobnostního předpovídání. Práce také - zahraničními - předpověďmi a dalšími nástroji pro ověřování přesnosti. Výsledky analýzy přesnosti i ují, že prediktivní schopnosti Evropských hodnot lze považovat - - za slabé. Na závěr proto práce poskytuje klíčová doporučení pro zlepšení přesnosti všech
|
host ::
RSS.