|
Example creation system
Suzdaleva, Evgenia ; Nagy, Ivan ; Dungl, Martin
The technical report describes a system for creation of examples for fully probabilistic dynamic decision making. It represents a documentation for author who wishes to create examples for PhD students or to add their new developed algorithms to the system.
|
|
"Ve světle bontonu". Meziválečná konzumní společnost v Československu na příkladu spotřeby kávy, kakaa, čokolády a čaje.
Syrová, Tereza ; Jakubec, Ivan (vedoucí práce) ; Jančík, Drahomír (oponent) ; Štemberk, Jan (oponent)
Disertační práce pojednává o konzumu kakaa, kávy, čaje a čokolády v meziválečném Československu a na základě získaných statistických dat a prozkoumání archivních pramenů přichází s vymezením skupiny střední vrstvy obyvatelstva, která uvedené komodity konzumovala. Práce ukazuje rozložení konzumu zkoumaných komodit v dělnických a úřednických rodinách, přináší pohled na život rodin, rozložení jejich výdajů a velikost příjmů. Poukazuje na zastoupení pochutin ve spotřebním koši spotřebitelů a ukazuje elasticitu uvedených komodit. Za ústřední část výzkumu zvolila disertační práce české země, jelikož právě zde byly dobře dostupné veškeré údaje a prameny. Práce objasňuje příčiny konzumace kakaa, kávy, čaje a čokolády a dochází k závěru, že každá pochutina byla konzumována z jiného účelu, z čehož vyplýval i status luxusu těchto poživatin. Konzumace čaje byla určena pro vyšší vrstvy obyvatelstva, čokoládu zakupovali převážně úřednické rodiny, avšak postupem dvacátých let pronikala drobná spotřeba čokoládových produktů taktéž mezi střední a nižší vrstvy obyvatelstva. Čokoládové výrobky podléhaly na počátku dvacátých let přepychové dani. Kakao se užívalo ve spojení s vařením a pečením, avšak v rodinách příliš dostupné nebylo. Kávu pily všechny vrstvy obyvatel, ovšem spotřeba se odvíjela od společenského statusu konzumenta. Hojně spotřebovávaly rodiny žitnou kávu a cikorku. Odlišnosti mezi vrstvami byly ještě více umocněny regionálními rozdíly, které disertační práce taktéž vyzdvihuje. Dále podrobně zkoumá výši cel daných komodit, která v meziválečném období značně kolísala, a dochází k závěru, že cla až neúměrně zvyšovala cenu produktů a znemožňovala konzumentům zakoupit vyšší množství těchto pochutin.
|
|
Architektonický refaktoring databáze
Nguyen Trung, Hoa ; Palovská, Helena (vedoucí práce) ; Krch, David (oponent)
Tato bakalářská práce se zabývá problematikou architektonického refaktoringu databáze. Cílem práce je detailně popsat jednotlivé metody architektonického refaktoringu databáze a následně názorně ukázat na vlastních příkladech, jaký je postup aktualizace databázového schématu, a nastínit postup změny zdrojového kódu aplikace. Nejprve je vysvětleno, co vůbec refaktoring znamená a v čem se refaktoring databáze liší od klasického refaktoringu. Následuje podrobný popis jednotlivých metod architektonického refaktoringu, kde je zachycena podstata refaktoringové metody spolu s jejími výhodami a možnými riziky. V další části jsou uvedeny vlastní příklady k jednotlivým metodám, kde se aplikují postupy z teoretické části. Na závěr se zhodnotí splnění cílů, přínos práce a námět na rozšíření stávající práce.
|
|
Využívání příspěvku na péči uživateli sociálních služeb
ŠINÁKLOVÁ, Marie
Bakalářská práce se zabývá velmi rozšířenou sociální dávkou, tedy příspěvkem na péči a s ním spojenou problematikou, z čehož vyplývá hlavní cíl této práce, zjistit jak a popřípadě na co je příspěvek na péči využíván. Tato práce je rozdělena na teoretickou a praktickou část. V teoretické části jsem se zaměřila především na účel, principy a základní funkce příspěvku. Popsala jsem také, komu vzniká nebo naopak nevzniká nárok na příspěvek, a kdy může tento nárok zaniknout. V této části jsem se také soustředila na to, k čemu je příspěvek určen, a na co má být správně využit. Dále jsem se v práci zmínila o kontrole podle zákona o sociálních službách a také o ochranných prostředcích, kterými se stát brání danému zneužívání příspěvku. V teoretické části jsem také uvedla historii příspěvku, kdy se ještě jednalo o příspěvek při péči o blízkou osobu. Vzhledem k tomu, že příspěvek na péči je určen osobám, které jsou nějakým způsobem znevýhodněné, vložila jsem do teoretické části také kapitolu o postižení, kde jsem uvedla definici postižení, jeho druhy a formy či např. specifické potřeby, které z postižení vyplývají. V druhé, tedy v praktické části byla použita metoda kvalitativního výzkumu. Sběr dat proběhl formou dotazování za pomoci techniky polořízeného rozhovoru. Rozhovory byly uskutečněny se šesti komunikačními partnery, které jsem vybrala metodou "sněhové koule", tzv. nabalováním. Cílem této práce bylo především zjistit, jak popřípadě na co osoby pobírající příspěvek na péči tuto dávku využívají. Zda uživatelům výše příspěvku na péči postačuje k pokrytí nákladů na poskytování sociální služby. Zda se musejí uživatelé z důvodu nízké hodnoty příspěvku nějakým způsobem omezovat ve svých individuálních potřebách a zájmech. Zda si uživatelé identifikovali nějaké změny po novelizaci zákona o sociálních službách. Na výše uvedené cíle jsem se snažila získat odpovědi potřebné k vyřešení dané problematiky.
|
|
Na příkladu jednoduché hry demonstrujte principy vývoje aplikací pro platformu Android
Tatoušek, Petr ; Pecinovský, Rudolf (vedoucí práce) ; Oraný, Vladimír (oponent)
Diplomová práce ,,Demonstrace principů vývoje aplikací pro platformu Android na příkla-du jednoduché hry" popisuje v teoretické části Operační systém Android, stručně jeho his-torii a především architekturu s důrazem na relevantní části důležité pro praktickou část práce. Dále se též zaměřuje na obecnou architekturu aplikací pro tento operační systém. V praktické části popisuje tato diplomová práce demonstraci principů vývoje aplikací pro platformu Android za využití ukázkové aplikace. Praktickou částí diplomové práce je sa-motná implementace ukázkové hry formou textové adventury v jazyce Java. Ukázková aplikace využívá databázi SQLite pro uložení herních dat. Je vytvořen rámec hry, který umožňuje vkládat různá herní data do databáze, a tím hrát různé hry s rozdílným průbě-hem.
|
|
Optimalizace toku materiálu ve výrobní firmě v automobilovém průmyslu
Kolář, Tomáš ; Jirsák, Petr (vedoucí práce) ; Vinš, Marek (oponent)
Diplomová práce je zaměřena na optimalizaci materiálového toku v automobilovém průmyslu. První část práce uvádí teoretická východiska. Představuje odvětví automobilového průmyslu a aktuální tendence na světovém trhu. Následuje krátké představení společnosti, kde byla práce zpracována. Hlavní teoretická část pojednává o konceptu štíhlé výroby, kde na konkrétních příkladech popisuje jednotlivé nástroje lean managementu, ale zaměřuje se také na filozofickou rovinu, zejména tedy na přístup k práci a firemní strategii. Na teoretické poznatky již navazuje aplikační část. Celý projekt diplomové práce se zaměřuje na optimalizaci specifické oblasti PC store. Nejprve je tato oblast zasazena do kontextu s celkovým tokem materiálu, kde jsou ve zkratce představeny všechny procesy a oblasti na toku plných obalů. Poté se již přistupuje k hlubší analýze a samotné optimalizaci PC storu, kde jsou aplikovány tři různé způsoby redukce zásob a zrychlení materiálového toku. Závěrečná část uvádí porovnání výchozího a budoucího stavu, včetně přehledu provedených změn.
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (oponent) ; Sojka, Eduard (oponent) ; Zemčík, Pavel (vedoucí práce)
Detection of objects in computer vision is a complex task. One of most popular and well explored approaches is the use of statistical classifiers and scanning windows. In this approach, classifiers learned by AdaBoost algorithm (or some modification) are often used as they achieve low error rates, high detection rates and they are suitable for detection in real-time applications. Object detection run-time which uses such classifiers can be implemented by various methods and properties of underlying architecture can be used for speed-up of the detection. For the purpose of acceleration, graphics hardware, multi-core architectures, SIMD or other means can be used. The detection is often implemented on programmable hardware. The contribution of this thesis is to introduce an optimization technique which enhances object detection performance with respect to an user defined cost function. The optimization balances computations of previously learned classifiers between two or more run-time implementations in order to minimize the cost function. The optimization method is verified on a basic example -- division of a classifier to a pre-processing unit implemented in FPGA, and a post-processing unit in standard PC.
|
|
Analýza stiff soustav diferenciálních rovnic
Šátek, Václav ; Dalík, Josef (oponent) ; Horová, Ivana (oponent) ; Kunovský, Jiří (vedoucí práce)
Řešení tuhých ("stiff") soustav diferenciálních rovnic patří i v současné době stále mezi komplikované úlohy. Základním problémem je přesná definice tuhých systémů. Jednoznačná definice tuhých systémů stále neexistuje. Problémem je dále i detekce tuhých systémů diferenciálních rovnic. K řešení se v praxi využívají implicitní numerické metody nižších řádů, jejichž oblasti stability jsou relativně velké. Ve své práci se zabývám numerickým řešením obyčejných diferenciálních rovnic především numerickým výpočtem využívajícím metody Taylorovy řady. Analyzuji vznik tuhosti jednotlivých systémů diferenciálních rovnic, ukazuji možnou náhradu některých tuhých systémů ekvivalentními systémy bez tuhosti. Dále zkoumám možnost detekce tuhých systémů pomocí členů explicitní Taylorovy řady, zaměřuji se na stabilitu explicitní a implicitní Taylorovy řady. V závěru práce experimentálně ověřuji možnosti řešení tuhých systémů s využitím implicitní Taylorovy řady, zkoumám vhodnost použití víceslovní aritmetiky a navrhuji vhodný paralelizovatelný algoritmus implicitní Taylorovy řady s rekurentním výpočtem členů a Newtonovou iterační metodou (ITMRN).
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
Although many examples showing the merits of evolutionary design over conventional design techniques utilized in the field of digital circuits design have been published, the evolutionary approaches are usually hardly applicable in practice due to the various so-called scalability problems. The scalability problem represents a general problem that refers to a situation in which the evolutionary algorithm is able to provide a solution to a small problem instances only. For example, the scalability of evaluation of a candidate digital circuit represents a serious issue because the time needed to evaluate a candidate solution grows exponentially with the increasing number of primary inputs. In this thesis, the scalability problem of evaluation of a candidate digital circuit is addressed. Three different approaches to overcoming this problem are proposed. Our goal is to demonstrate that the evolutionary design approach can produce interesting and human competitive solutions when the problem of scalability is reduced and thus a sufficient number of generations can be utilized. In order to increase the performance of the evolutionary design of image filters, a domain specific FPGA-based accelerator has been designed. The evolutionary design of image filters is a kind of regression problem which requires to evaluate a large number of training vectors as well as generations in order to find a satisfactory solution. By means of the proposed FPGA accelerator, very efficient nonlinear image filters have been discovered. One of the discovered implementations of an impulse noise filter consisting of four evolutionary designed filters is protected by the Czech utility model. A different approach has been introduced in the area of logic synthesis. A method combining formal verification techniques with evolutionary design that allows a significant acceleration of the fitness evaluation procedure was proposed. The proposed system can produce complex and simultaneously innovative designs, overcoming thus the major bottleneck of the evolutionary synthesis at gate level. The proposed method has been evaluated using a set of benchmark circuits and compared with conventional academia as well as commercial synthesis tools. In comparison with the conventional synthesis tools, the average improvement in terms of the number of gates provided by our system is approximately 25%. Finally, the problem of the multiple constant multiplier design, which belongs to the class of problems where a candidate solution can be perfectly evaluated in a short time, has been investigated. We have demonstrated that there exists a class of circuits that can be evaluated efficiently if a domain knowledge is utilized (in this case the linearity of components).
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis is focused on techniques for finite automata and their use in practice, with the main emphasis on nondeterministic tree automata. This concerns namely techniques for size reduction and language inclusion testing, which are two problems that are crucial for many applications of tree automata. For size reduction of tree automata, we adapt the simulation quotient technique that is well established for finite word automata. We give efficient algorithms for computing tree automata simulations and we also introduce a new type of relation that arises from a combination of tree automata downward and upward simulation and that is very well suited for quotienting. The combination principle is relevant also for word automata. We then generalise the so called antichain universality and language inclusion checking technique developed originally for finite word automata for tree automata. Subsequently, we improve the antichain technique for both word and tree automata by combining it with the simulation-based inclusion checking techniques, significantly improving efficiency of the antichain method. We then show how the developed reduction and inclusion checking methods improve the method of abstract regular tree model checking, the method that was the original motivation for starting the work on tree automata. Both the reduction and the language inclusion methods are based on relatively simple and general principles that can be further extended for other types of automata and related formalisms. An example is our adaptation of the reduction methods for alternating Büchi automata, which results in an efficient alternating automata size reduction technique.
|
host ::
