|
|
Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC
Palúch, Filip ; Podivínský, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
Cieľom je vytvorenie prehľadu mechanizmov plánovania úloh v jednoprocesorovom prostredí. Použitím týchto mechanizmov sú navrhnuté a implementované jednotlivé modely v nástroji UPPAAL, na ktorý sa táto práca orientuje. Výsledkom práce je overenie validity a vlastností mechanizmov získaných na základe implementovania modelov. Na porovnávanie výsledkov z nástroja UPPAAL sú využíté nástroje TimesTool a Cheddar.
|
|
| |
|
|
Návrh a implementace průběžné integrace ve společnosti Logio
Muráň, Michal ; Kreslíková, Jitka (oponent) ; Očenášek, Pavel (vedoucí práce)
Tato diplomová práce popisuje možnost využití průběžné integrace a testování ve skutečné společnosti Logio. Výsledkem práce je implementace průběžné integrace v nástroji Jenkins a specifického testování pro firmu Logio. Teoretická část se zabývá základními principy, technikami a nástroji definujících průběžnou integraci. Následně jsou popsané již existující nástroje určené pro programovací jazyk PHP. Práce také rozebírá různé druhy a alternativy testování aplikací. Vysvětluje též problémy ve vývoji produktu ve společnosti Logio, které jsou důsledkem potřeby zavedení technik průběžné integrace. Praktická část práce popisuje implementaci testovacího rámce PwTester a jeho využití v průběžné integraci. Na závěr práce jsou zhodnoceny dosažené výsledky a nastíněné možnosti rozšíření.
|
|
|
Mobilní aplikace pro editaci a prohlížení jednoduchých týdenních rozvrhů
Džubarová, Romana ; Škandera, Juraj (oponent) ; Herout, Adam (vedoucí práce)
Cieľom tejto práce je vytvoriť mobilnú aplikáciu, ktorá bude zaznamenávať pravidelné týždenné aktivity používateľa. Používateľom sa však nerozumie len študent vysokej alebo strednej školy, ale aplikácia má osloviť všetkých ľudí, ktorí si potrebujú zaevidovať pravidelné aktivity v týždni. Používateľ si môže vytvoriť aktivity, ktoré sa následne vložia do tabuľky. Tieto aktivity si môže meniť alebo mazať. Aplikácia umožňuje vytváranie úloh a skúšok. Ku skúškam je možné nastaviť upozornenie, ktoré užívateľ obdrží v čase skúšky, alebo si tento čas môže v Nastaveniach zmeniť. Používateľ si tiež môže v Nastaveniach zmeniť aj to, ako bude jeho tabuľka vyzerať. Môže zmeniť, v ktoré dni si bude chcieť zaznamenávať aktivity alebo začiatočný a koncový čas. V aplikácii tiež možno nastaviť tmavý režim a ušetriť tak výdrž batérie. Bakalárska práca popisuje návrh, implementáciu, testovanie, a tiež budúce zámery s mojou mobilnou aplikáciou.
|
|
|
Datová vrstva Workflow systému
Prochocká, Kristína ; Zámečníková, Eva (oponent) ; Pospíšil, Milan (vedoucí práce)
Tato bakalářská práce se zabývá konkrétním návrhem datové vrstvy Workflow systému. Workflow systemy jsou užívané pro rozličné účely mnoha firmami. Výsledná práce navrhuje jednoduchou a flexibilni reprezentaci Workflow dat, implementuje -- v jazyce PHP a částěčně v JavaScriptu -- minimální jádro využívající tuto reprezentaci a poskytuje ukázkové procesy k demonstraci tohoto návrhu.
|
|
|
Návrh a implementace systému pro kontrolu kompletnosti boxů
Filipský, Dalibor ; Pásek, Jan (oponent) ; Jirgl, Miroslav (vedoucí práce)
Tato práce se zabývá návrhem a implementací systému pro kontrolu kompletnosti výrobků v přepravních boxech. Obsah práce lze rozdělit do několika částí. První část práce obsahuje seznámení s procesem výroby a zařízením, pro které má být navržen systém kontroly výrobků. Druhá část práce se věnuje návrhu systému a popisu použitých hardwarových prvků pro kontrolní systém. Třetí část práce se zabývá vytvořením schématu zapojení elektrického rozvaděče. Čtvrtá část je zaměřena na návrh mechanických konstrukcí, jako je konstrukce skříně pro upevnění kamerového systému, osvětlení a návrh mechanických částí stoperů. V páté části práce je vytvořen simulátor kontrolního systému, sloužící pro ukázku funkčnosti a ovládání systému. Šestá část práce se zabývá zprovozněním komunikace mezi jednotlivými subsystémy kontrolního systému, jako jsou kamerové snímače, ovládací panel a řídicí systém. Sedmá část se věnuje tvorbou softwaru pro řídicí systém, HMI panel a také konfigurací dvojice kamerových snímačů. V závěrečné části jsou ukázky implementace navrženého systému v reálném procesu výroby.
|
|
|
Finanční matematika v českých učebnicích od Marchetovy reformy
Melcer, Martin ; Bečvářová, Martina (vedoucí práce) ; Hora, Jaroslav (oponent) ; Odvárko, Oldřich (oponent)
Název práce: Finanční matematika v českých učebnicích od Marchetovy reformy Autor: Martin Melcer Katedra: Katedra didaktiky matematiky MFF UK Vedoucí disertační práce: doc. RNDr. Martina Bečvářová, Ph.D. Abstrakt: Disertační práce předkládá ucelený pohled na vývoj a pozici finanční matematiky v českých učebnicích a sbírkách, zejména středoškolských, s ohledem na politickou situaci v naší zemi. Analyzované období od roku 1908, tj. od Marchetovy reformy, do současnosti je rozděleno na pět základních etap. V každé jsou vybrány učební texty pokrývající výuku finanční matematiky na všech typech středních škol. Je ukázána úroveň a rozsah výkladu, náročnost předkládaných úloh a problémů a způsob jejich začlenění do učebnic, resp. osnov. Nejprve jsou uvedeny základní všeobecné charakteristiky učebních textů, následuje podrobný popis dílčích studovaných jevů, které jsou potom pečlivě analyzovány a vzájemně porovnány. Na konci disertační práce jsou předloženy závěry, které reflektují současný stav výuky finanční matematiky a nabízejí cesty vedoucí ke zvýšení úrovně finanční gramotnosti našich občanů. Klíčová slova: finanční matematika, jistina, úrok, dluh, splátka, učebnice, úloha.
|
|
|
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)
|
|
|
Problematické typy úloh poslechu s porozuměním didaktického subtestu maturitní zkoušky z francouzského jazyka
Fejková, Alžběta ; Suková Vychopňová, Kateřina (vedoucí práce) ; Klinka, Tomáš (oponent)
The topic of this thesis are problematic types of test items in the listening sub test of the didactic test of common part of Maturita school - leaving exam in French language. Introductory chapter of the theoretical part of the thesis focuses on the description of Maturita school-leaving exam, its origin and contemporary model. The following chapters deal with characteristics of the didactic test, its parts and individual test items. These chapters also provide a description of the examined sample, concise characteristics of grammar schools (Gymnasiums) where the research was conducted, and introduces the analytical tools which were used when examining the listening subtest in French language. On the basis of students' answers the most difficult test items of the sub test were pinpointed. KEYWORDS: didactic test, listening sub test, French language, Maturita school-leaving exam, state high school leaving exam, test item
|
|
|
Problematické úlohy typu multiple-choice
Venderová, Markéta ; Jančařík, Antonín (vedoucí práce) ; Vondrová, Naďa (oponent)
Diplomová práce se snaží nalézt odpověď na otázku, jaký je vliv zařazení učiva ve školním vzdělávacím programu na výsledky v soutěži Matematický klokan. Práce se zaměřuje na úlohy typu multiple-choice, u kterých žáci dosahovali velmi nízkých výsledků úspěšnosti. S takovýmito úlohami se žáci mohou setkávat v matematických soutěžích a výzkumech. Práce je členěna na teoretickou a empirickou část. V první části jsou čtenáři seznámeni s aktuální situací týkající se matematických soutěží v českém prostředí, a vymezuje pojmy týkající se dané problematiky. Dále charakterizuje vybrané soutěže, kterých se žáci základních škol účastní, a podrobněji se zaměřuje na soutěž Matematický klokan. V empirické části je popsána metodologie výzkumu kvalitativního charakteru, jehož cílem bylo ověřit vliv zařazení učiva v předmětu matematika do školního vzdělávacího programu na výsledky v soutěži Matematický klokan. V této části jsou zpracována a vyhodnocena dvě šetření, která probíhala v období školních let 2014/2015 a 2015/2016 na úplné základní škole. V šetření byla využita analýza rozboru úloh ze soutěže Matematický klokan, analýza učebnic, školního vzdělávacího programu a dalších školních dokumentů. Dále byly provedeny polostrukturované rozhovory s učiteli a žáky, které byly využity při vyhodnocování úloh. Šetření...
|
host ::
RSS.