|
E-learningová podpora celoživotního vzdělávání
Žažo, David ; Husa, Jiří (vedoucí práce) ; Marek, Marek (oponent)
Bakalářská práce se zabývá vytvořením elektronického vzdělávacího kurzu pro pracovníky obsluhující kamerový systém městské policie Chomutov. Tento kurz je tvořen na základě potřeby seznámení stávajících i nových zaměstnanců s řídícím softwarem IndigoVison Control Center, který slouží k ovládání kamerového systému. Při absolvování kurzu se účastníci seznamují s funkcemi, možnostmi a principy ovládání tohoto softwaru. V závěru kurzu jsou vědomosti, získané absolvováním kurzu ověřeny závěrečným testem. Celý kurz je následně zhodnocen na základě výsledků testů a rozhovoru s jeho účastníky. Teoretická část práce se zabývá e-learningem, zmiňuje jeho přednosti a zápory a také specifika spojená se vzděláváním dospělých. V praktické části práce je podrobně představen e-learningový kurz, který je plně realizován v prostředí MoodleCloud a který je praktickým výsledkem této práce.
|
|
Návrh a implementace e-learningu v zájmové oblasti
Marešová, Nikola ; Husa, Jiří (vedoucí práce) ; Marek, Marek (oponent)
Bakalářská práce s názvem "Návrh a implementace e-learningu v zájmové oblasti" se zabývá problematikou nákupu ojetých vozů. Stěžejní část práce spočívá v tvorbě e-learningového kurzu, jehož cílem je zlepšit informovanost kupujících a zájemců o tuto oblast. Účastníci kurzu získají přehled o nejčastějších situacích a problémech, se kterými se mohou při koupi ojetého vozu setkat. Teoretická část představuje přehled témat problematiky nákupu ojetých vozů. Může posloužit jako teoretické vodítko k vlastnímu kurzu, přibližuje jeho obsah. Témata jsou sestavena na základě analýzy informací z tištěných a elektronických zdrojů, doplněných zkušenostmi autorky a odborníky z oboru. Praktická část se věnuje sestavení e-learningového kurzu. Obsahuje analýzu potřeb kupujících, důvody tvorby kurzu a požadavky na něj, jeho cíle, popis použitého nástroje eXe a názorný postup od vytváření kurzu po jeho zveřejnění v krocích. Vše doplňuje zpětná vazba od šesti dobrovolníků, kteří projevili zájem si kurz otestovat a následně ho zrecenzovat. Před tvorbou kurzu bylo nutno provést analýzu situace a zjistit, proč je takový kurz potřeba. Nabyté poznatky byly poté v kurzu zpracovány metodou syntézy. Pro evaluaci byla využita metoda krátkého osobního rozhovoru, kde autorka zjišťovala spokojenost s kurzem, jeho případné nedostatky a návrhy pro vylepšení či rozšíření.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
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).
|
|
Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků
Herrman, Tomáš ; Plíva, Zdeněk (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Dizertační práce se zabývá analýzou číslicových obvodů popsaných na úrovni meziregistrových přenosů. Je v ní zahrnuta pouze problematika související s testovatelností obvodových datových cest, řadičem ovládajícím tok dat těmito cestami se nezabývá. Stěžejní částí práce je návrh konceptu testovatelného bloku (TB), pomocí něhož se obvod rozdělí na části, jež jsou plně testovatelné přes jejich vstupy a výstupy, přes takzvané hraniční registry bloku nebo primární vstupy/výstupy. Přínosem nové metodiky je také redukce počtu registrů v řetězci scan, do něhož jsou zařazeny pouze hraniční registry. Segmentací obvodu dosáhneme také zjednodušení generování testu rozdělením tohoto problému na více menších částí. Navržená metodika pro identifikaci TB v číslicovém obvodu využívá dvou vybraných evolučních algoritmů operujících na formálním modelu obvodu na úrovni RT.
|
|
Location-aware data transfers scheduling for distributed virtual walkthrough applications.
Přibyl, Jaroslav ; Sochor, Jiří (oponent) ; Sojka, Eduard (oponent) ; Zemčík, Pavel (vedoucí práce)
Data transfers scheduling process is an important part of almost all distributed virtual walkthrough applications. Its main purpose is to preserve data transfer efficiency and rendered image quality. The most limiting factors here are network restrictions. These restrictions can be reduced using multi-resolution data representation, download priority determination and data prefetching algorithms. Advanced priority determination and data prefetching methods use mathematic description of motion to predict next position of a user. These methods can accurately predict only close future positions. In the case of sudden but regular changes in user motion direction (road networks), these algorithms are not sufficient to predict future position with required accuracy and at required distance. In this thesis a systematic solution to data transfers scheduling is proposed which solves also these cases. The proposed solution uses next location prediction methods to compute download priority or additionally prefetch data needed to render a scene in advance. Experiments show that compared to motion functions the proposed scheduling scheme can increase data transfer efficiency and rendered image quality during exploration of tested scene.
|
|
Organizace a řízení výroby v podniku
DRNOVÁ, Markéta
Cílem diplomové práce na téma "Organizace a řízení výroby v podniku" je zmapování vybraného podniku v období jednoho kalendářního roku a získání dostatečného množství informací pro jejich zanalyzování k navržení možných zlepšení. V úvodu praktické části jsou uvedené identifikační údaje vybrané společnosti, její charakteristika, výrobky a služby, které poskytuje, a také způsob jakým plánuje výrobu. V další části je popsána analýza současného stavu, ve které jsou zobrazeny mapy současného stavu pro jednotlivé polotovary. Pro analýzu současného stavu je vypočítán VA index a v další kapitole je pro každý polotovar vytvořen diagram pohybu materiálu. Cílem analýzy a diagramu pohybu je nalezení úzkých míst v toku materiálu. V další části je tvořena cílová mapa budoucího stavu, která vychází z mapy současného stavu. V mapě jsou zvýrazněny kritické faktory, které jsou určeny k zlepšení, a na závěr je určen nový VA index, ke kterému by se měl současný stav přiblížit. Předposlední část zahrnuje doporučení metod a prvků štíhlé výroby do nové výrobní haly, kterou chce podnik vybudovat. Mezi doporučené metody patří hlavně metoda 5S, vizualizace, standardizace, SMED a Bottleneck. Poslední kapitola obsahuje několik opatření, kterými je motivace zaměstnanců, neustálé zlepšování, osobní zodpovědnost, zavedení systému EDI a ergonomie, které by vedly ke zlepšení chodu firmy.
|
|
Stanovení norem času pro práce jako podkladu pro efektivní využívání času ve vybrané organizaci
BARTOŠKOVÁ, Martina
Tato bakalářská práce je zaměřena na zjišťování potřebného času pro dané úkoly ve vybrané organizaci prostřednictvím vhodných metod. Na základě dosažených výsledků následně navrhuje vhodná opatření směřující k vyšší efektivitě práce. Používané metody jsou standardizace úkonů, měření času, vyhodnocení zjištěných dat a informací pomocí tabulek a vzorců v Excelu. Teoretická část je zaměřena na vysvětlení, co je zakázková výroba a jaké metody se dají použít při stanovení norem času a určení efektivního využívání času v podniku. Charakterizuje vybraný podnik, jeho historii a technologické uspořádání pracoviště, předvýrobní a výrobní etapy výroby, popis výrobních strojů a potřebných materiálů. Praktická část obsahuje tabulky s úkony potřebnými k výrobě, tabulky s výrobními časy, vyhodnocení potřebných časů a materiálů na produkty výroby. Závěr obsahuje návrh na vylepšení efektivity práce a program na vypočítání časů potřebných na obdobné zakázky.
|
|
Systémy řízení vztahů se zákazníky (CRM) v rámci B2B
VRCHOTA, Tomáš
Diplomová práce je zaměřena na CRM systémy pro malé a střední podniky, které působí na trhu B2B. Cílem práce bylo identifikovat potřeby a možnosti využívání systémů CRM v malých a středních podnicích, které působí na trhu B2B a vybrat takové systémy CRM, které plní nejlépe potřeby této cílové skupiny. Pro zjištění potřeb malých a středních podniků byl realizován kvalitativní výzkum pomocí metody individuálních řízených rozhovorů. V další části bylo vybráno 33 CRM systémů, které byly analyzovány z hlediska požadované funkcionality. V poslední části diplomové práce byly CRM systémy hodnoceny podle kritérií cena, zákaznický servis a uživatelská přívětivost. Na základě zjištěných výsledků byly doporučeny vhodné CRM systémy pro mikro, malé a střední podniky.
|
|
Výběr optimální varianty financování bydlení pro vybraného klienta
HOLÝ, Hubert
V úvodu bakalářské práce se zaměřuji na shromáždění informací o hypotéčních úvěrech z aktuálního finančního trhu. Na začátku kapitoly o hypotéčních úvěrech se budu zabývat dělením hypotečních úvěrů. Vypracuji podrobný postup co má všechno klient udělat, aby dostal úvěr, jaké jsou postupy v bankách a jaké potřebují znát banky informace o klientovi. V další kapitole uvedu informace o stavebním spoření a podmínky, které musí klient splňovat, aby mohl dostat úvěr ze stavebního spoření. Také charakteristiku tohoto produktu. V poslední kapitole úvodní teoretické části seznámím čtenáře s investicemi do otevřených podílových fondů a uvedu jejich charakteristiku a jednotlivé postupy při sjednávání. V praktické části se budu zabývat již jednotlivými nabídkami vybraných společností, které budou porovnávány pomocí metod vícekriteriálního rozhodování. Práce je rozdělena na analýzu Hypotečních úvěrů, Úvěrů ze stavebního spoření a Investičních produktů. Informace z těchto analýz budou dále použity na aplikaci pro konkrétního klienta se specifickými požadavky na bydlení. Od klienta zjistím veškeré informace o jeho přáních a požadavcích na svoji budoucnost s ohledem na bydlení. Klient si zvolí hlediska, která jsou pro něho nejvíce důležitá a pořadí, ve kterém by měla být dodržena. Je to z toho důvodu, že často není důležitá výsledná částka, kterou klient za úvěr zaplatí, ale je pro něj v aktuální životní situaci důležitější výše měsíční splátky. A nakonec bude pro klienta vybrána optimální varianta, jak může financovat své vlastní bydlení.
|
host ::
