|
Vybrané teorie učení a jejich projekce do vyučování
PLÁŠILOVÁ KOŽELSKÁ, Zuzana
Bakalářská práce popisuje prvky, které jsou potřebné k vykonávání profese učitele odborného výcviku. Teoretická část je věnována teoriím učení, vybraným organizačním formám výuky to vše s využitím v odborném výcviku. Dále pak výběr výukových metod, kterými je možné dospět k nejlepším výsledkům při vzdělávání žáků při odborném vyučování. Pojednává také o plánování a organizaci odborného výcviku s přispěním didaktické a výpočetní techniky. Praktickou část tvoří reálné využití některých metod a didaktických prostředků s přímou ukázkou využití dataprojektoru a výpočetní techniky s konkrétní ukázkou učebního dne.
|
|
Obchodní modely IT startupů založené na sdílené ekonomice
Šimon, Petr ; Matuštík, Ondřej (vedoucí práce) ; Srpová, Jitka (oponent)
Cílem této diplomové práce je analyzovat aktuální stav sdílené ekonomiky a navrhnout model kritických faktorů úspěchu u IT startupů působících ve specifické oblasti přepravních služeb. Výstup je posléze validován na několika vybraných společnostech. Zvolený problém byl řešen modifikovanou kvalitativní metodou kritických faktorů úspěchu, jejíž autorem je John F. Rockart. Získané faktory byly následně zasazeny do kauzálního modelu využívajícího principů systémové dynamiky. Výsledky této práce umožňují pochopit zákonitosti, které se skrývají za úspěchem přepravních služeb působících ve sdílené ekonomice. Informace jsou přínosné nejen pro startupy samotné, ale i pro akademickou sféru a potenciální investory.
|
|
Depozitářské služby
Helcl, Tomáš ; Janda, Karel (vedoucí práce) ; Veselá, Jitka (oponent)
Diplomová práce se zabývá fungováním depozitářů v prostředí českého trhu a to z pohledu legislativního a praktického. Úvodní část této práce je věnována směrnicím, které tvoří harmonizovaný právní rámec a také české legislativě, která konkrétněji předepisuje chování depozitářů. Hlavní část práce se zabývá činností depozitáře tak, jak působí v podmínkách českého trhu. V této části se práce zaměřuje nejen na rozdělení trhu depozitářů, ale i na velikost inkasovaných poplatků, efektivnost regulace v reálném tržním prostředí a zejména na důležitost depozitářů na českém trhu. Závěr diplomové práce shrnuje zjištění, včetně výsledného hodnocení depozitářů. Tato diplomová práce jako první přináší ucelený pohled na činnost depozitářů a jejich důležitost pro český trh, neboť depozitáři představují subjekty, které kontrolují, zdali fondy postupují v souladu s legislativou. Depozitář dohlíží, aby nedocházelo k nelegálním praktikám a aby kvalifikovaní investoři či kolektivní investování přispěly k rozvoji kapitálového trhu, který je nezbytný pro další rozvoj celého ekonomického odvětví.
|
|
Využití nově syntetizovaného amocharu ke stabilizaci a sorpci kovů a metaloidů.
Ouředníček, P. ; Trakal, L. ; Komárek, M. ; Pohořelý, Michael
Možnost sanace půd, která je většinou založena na principu stabilizace a imobilizace potenciálně rizikových látek, je v posledních letech intenzivně studovanou a zkoumanou problematikou. Jedním z takovýchto stabilizačních činidel je i biochar, tedy forma aktivního uhlí, která má schopnost poutat na svůj povrch celou řadu kontaminantů včetně právě kovů a metaloidů. Biochary mají obecně vysoce aktivní povrch a přítomnost různých funkčních skupin (např. COO–) zodpovědných za tvorbu chelátů a alkalických prvků (Ca2+, K+, Na+ a Mg2+) reprezentující kationtovou výměnu; v kombinaci s vysokými hodnotami pH (7,00 až 10,0) poukazují na jejich efektivní sorpční kapacitu vázat na svůj povrch kovy a metaloidy z roztoku (z půdní vody), zejména pak v kyselých půdách (tedy v oblastech postižených intenzivní důlní činností). Dále lze sorpční účinnost biocharů ještě zvýšit/vylepšit (zejména pak v případech odstraňování As (V) nebo Cr (VI)) a to pomocí různých modifikací. A právě modifikací biocharu pomocí amorfního oxidu manganu (AMO), byl vytvořen nový sorbent AMOchar. Produkt byl připraven přidáváním biocharu přímo do roztoku reaktantů při syntéze AMO. Samotný AMOchar je tak tvořen především Mn-oxaláty, které jsou přítomny ve formě povlaků na povrchu částic biocharu. Sorpční účinnost tohoto sorbentu pak byla i přes poměrně zásadité pH AMOcharu vysoká pro všechny testované rizikové prvky. Konkrétně byla sledována vysoká sorpce nejen pro Pb (téměř 99 %) a Cd (51,2 %) ale i pro As (91,4 %). Modifikace biocharu pomocí AMO též signifikantně snížila extrakci Mn, díky čemuž by nemělo, v případě reálného používání tohoto sorbentu pro sanaci půd, docházet k post-kontaminaci půdy právě manganem, který se uvolňuje z Mnoxalátů při rozpouštění jinak vysoce účinného sorbentu AMO.
Plný tet: SKMBT_22316111113040 -  PDF
Plný text: content.csg - PDF
|
|
Individuální hlasová variabilita a informace o rozeznávání predátorů obsažené ve vokální komunikaci morčat domácích (Cavia porcellus)
Baklová, Aneta ; Baranyiová, Eva (vedoucí práce) ; František, František (oponent)
Morčata reprezentují domestikované prekociální hlodavce, kteří se stali běžnými domácími mazlíčky. Od narození naplno vokalizují. Práce byla věnována zvukovým projevům mláďat morčat. Cílem práce bylo 1) určit věk, kdy bude prokazatelná vokální individualita zvuku whistle; 2) otestovat možné ultrazvukové signály
a 3) prozkoumat antipredační chování a varovné zvuky v přítomnosti vzdušného (dravec) a pozemního predátora (pes) a člověka (kontrolní test).
Celkem 16 mláďat morčat bylo otestováno na vokální individualitu, 28 mláďat na ultrazvukové signály a 27 odrostlých mláďat na rozeznávání predátorů. V rámci testování vokální ontogeneze v průběhu prvních 9 dnů od narození, byly pozorovány změny jak v časových a frekvenčních parametrech, tak i v parametrech intenzity. Při testování vokální individuality validovaná diskriminační analýza (DFA) založena
na deseti akustických parametrech přiřadila jednotlivé zvuky ke správným jedincům
s následující úspěšností: den 1 = 71,9 %, den 3 = 58,8 %, den 5 = 53,10 %, den
7 = 50,60 % a den 9 = 63,10 %. Nejvyšší naměřená frekvence u zvuku whistle byla 30,03 kHz. Při rozpoznávání predátorů byly měřeny reakce strnutí, útěk a ostražitost.
V přítomnosti psa morčata reagovala nejdéle a nejčastěji strnutím. Při vystavení dravci jsem u morčat nejdéle a nejčastěji pozorovala útěk a následné strnutí. Na přítomnost člověka morčata nejvíce reagovala ostražitostí. Zaznamenala jsem pouze dva případy výstražných signálů - drrr v přítomnosti psa a chirrup jako reakci na dravce.
V práci jsem dospěla k závěrům, že: 1) individualita morčat je prokazatelná od prvního dne života morčat a míra individuálně rozdílných vokálních parametrů se
s věkem mění; 2) morčata jsou schopna vokalizovat do frekvence 30 kHz, ale pro jejich komunikaci nejsou vysokofrekvenční signály klíčové; 3) morčata rozeznávají pozemní a vzdušné predátory, ale varovné zvuky vydávají jen zřídka.
|
|
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.
|
|
Inteligence skupiny
Winklerová, Zdenka ; Šaloun, Petr (oponent) ; Škrinárová,, Jarmila (oponent) ; Zbořil, František (vedoucí práce)
Záměrem disertační práce je aplikovaný výzkum skupinové ( kolektivní ) inteligence . K prokázání použitelnosti inteligence skupiny je zkoumán algoritmus na bázi roje částic ( Particle Swarm Optimization PSO ), v němž je problém inteligence skupiny převeden na matematickou optimalizaci, kdy roj částic ( particle swarm ) hledá globální optimum ve vymezeném prostoru problému a prohledávání je řízeno podle předem nadefinované účelové funkce ( objective function ), která zastupuje řešený problém. Byla navržena a experimentálně ověřena strategie prohledávání, v níž částice průběžně přizpůsobují své chování charakteristikám prostoru řešeného problému, a bylo experimentálně zjištěno, jak se vliv řídící účelové funkce zastupující řešený problém projevuje v chování částic. Výsledky experimentování s navrženou strategií prohledávání byly porovnány s výsledky experimentů s referenční verzí algoritmu PSO . Experimenty ukázaly, že klasické prohledávání, kde jedinou podmínkou je stabilní trajektorie, po níž se částice pohybuje v prostoru řešeného problému, a kde je ve výsledku eliminován vliv řídící účelové funkce, může selhat a že dynamická stabilita trajektorií částic sama o sobě není ukazatelem prohledávacích schopností algoritmu ani konvergence algoritmu ke správnému, globálnímu řešení. Byl navržen způsob prohledávání prostoru řešeného problému, v němž algoritmus PSO reguluje stabilitu algoritmu průběžným přizpůsobováním chování částic charakteristikám prostoru problému. Navržený algoritmus usměrňoval vývoj prohledávání prostoru problému tak, že vzrostla pravděpodobnost úspěšnosti řešení.
|
|
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).
|
|
Extensions to Probabilistic Linear Discriminant Analysis for Speaker Recognition
Plchot, Oldřich ; Fousek, Petr (oponent) ; McCree,, Alan (oponent) ; Burget, Lukáš (vedoucí práce)
This thesis deals with probabilistic models for automatic speaker verification. In particular, the Probabilistic Linear Discriminant Analysis (PLDA) model, which models i--vector representation of speech utterances, is analyzed in detail. The thesis proposes extensions to the standard state-of-the-art PLDA model. The newly proposed Full Posterior Distribution PLDA models the uncertainty associated with the i--vector generation process. A new discriminative approach to training the speaker verification system based on the~PLDA model is also proposed. When comparing the original PLDA with the model extended by considering the i--vector uncertainty, results obtained with the extended model show up to 20% relative improvement on tests with short segments of speech. As the test segments get longer (more than one minute), the performance gain of the extended model is lower, but it is never worse than the baseline. Training data are, however, usually available in the form of segments which are sufficiently long and therefore, in such cases, there is no gain from using the extended model for training. Instead, the training can be performed with the original PLDA model and the extended model can be used if the task is to test on the short segments. The discriminative classifier is based on classifying pairs of i--vectors into two classes representing target and non-target trials. The functional form for obtaining the score for every i--vector pair is derived from the PLDA model and training is based on the logistic regression minimizing the cross-entropy error function between the correct labeling of all trials and the probabilistic labeling proposed by the system. The results obtained with discriminatively trained system are similar to those obtained with generative baseline, but the discriminative approach shows the ability to output better calibrated scores. This property leads to a better actual verification performance on an unseen evaluation set, which is an important feature for real use scenarios.
|
|
Efektivní využití potenciálu bilingvního prostředí
HOVORKOVÁ, Eva
Disertační práce s názvem "Efektivní využití potenciálu bilingvního prostředí" je zaměřena na zmapování jak správných, tak špatných postupů při bilingvní výchově. Téma bilingvismu je v současné době velmi aktuální. V souvislosti s rostoucí globalizací společnosti je kladen stále větší důraz na výuku cizích jazyků. Lidé žijící ve smíšeném manželství však často nemají představu, jak své děti vychovávat a dopouštějí se mnohých chybných kroků, které později není možné napravit. Teoretická část podává přehled o bilingvismu, jeho rozdělení, typech a způsobech nabytí. Empirická část teorii prakticky demonstruje na různých příkladech. V rámci kvalitativního výzkumu bylo zpracováno 42 případových studií, které zachycují typické i netypické bilingvní respondenty. Výsledky výzkumu jsou porovnány s fakty uvedenými v odborné literatuře. Cílem disertační práce je podat přehled úspěšných i neúspěšných postupů a upozornit na ty, při kterých je potenciálu bilingvního prostředí využito co nejlépe. Současně také ukazuje, čemu se při bilingvní výchově vyhnout.
|
host ::
