|
Využití sociální sítě Facebook jako didaktického prostředku ve výuce
Kaiserová, Martina ; Tomšíková, Kateřina (vedoucí práce) ; Jana, Jana (oponent)
Cílem bakalářské práce je představení sociální sítě Facebook ve výchovně-vzdělávacím procesu s uvedením konkrétních postupů ve výuce předmětu Informační a komunikační technologie. V teoretické části jsou definovány pojmy jako didaktika odborných předmětů, výchovně-vzdělávací cíle, formy a metody výuky, dále pak historie a typy sociálních sítí s důrazem na sociální síť Facebook. Praktická část práce je rozdělena na dílčí části, v úvodu jsou vytvořeny konkrétní postupy pro využití sociální sítě Facebook v předmětu Informační a komunikační technologie. V další části pak bylo provedeno dotazníkového šetření u žáků střední odborné školy, které zjišťovalo jejich spokojenost s používáním Facebooku ve výuce a individuální rozhovor zjišťující názory pedagogů, jaký oni zaujímají postoj k využívání Facebooku při výuce. Na základě získaných poznatků jsou doporučeny dílčí změny, které by měly vést k tomu, aby používání Facebooku pomohlo k lepšímu dosažení výchovně-vzdělávacích cílů.
|
|
Hovory s Jindřiškou Křivánkovou
Fröhlichová, Marie ; SOPROVÁ, Jana (vedoucí práce) ; HALAŠ, Adam (oponent)
Cílem této práce je zachytit principy tvorby Jindřišky Křivánkové, profesně starší a zkušenější divadelní performerky a konfrontovat její způsob myšlení a kreativity s vlastními názory na uměleckou tvorbu, stejně jako dovednostmi, získanými během studia na HAMU. Text se nejprve věnuje stručnému přehledu aktivit Jindřišky Křivánkové od počátku dodnes. Poté se snaží specifikovat Jindřiščin divadelní vývoj, okolnosti a hlavní aspekty jejího uměleckého zrání, podobně též vliv konkrétních osobností, které pomohly utvářet její svébytný pohled na divadlo. Následuje debata o nejrůznějších aspektech umělecké tvorby a tvůrčího procesu, ve vzájemné konfrontaci nás dvou, v němž se dotýkáme nejen obecných věcí týkající se kultury a divadla, ale také přístupu k němu.
|
|
Možnosti monitorování laserového svařovacího procesu
Horník, Petr ; Mrňa, Libor
Se zvyšujícími se nároky na kvalitu svarů se běžně používá automatické strojní svařování s monitorováním procesu. Výsledná kvalita svaru je do značné míry ovlivněna chováním paroplynové dutiny - keyhole. Nicméně, její přímé pozorování během svařovacího procesu je prakticky nemožné a je nutné použít nepřímé metody. V ÚPT vyvíjíme optické metody sledování procesů založené na analýze záření laserem indukovaného plazmatu pomocí Fourierovy a autokorelační analýzy. Pozorovat vstupní otvor keyhole je částečně možné prostřednictvím koaxiální kamery umístěné na svařovací hlavě a následného zpracování obrazu. Vysokorychlostní boční kamera pomáhá pochopit dynamiku plazmového obláčku. Prostřednictvím optické spektroskopie plazmatu, lze studovat excitaci prvků v materiálu. Proud ochranné atmosféry může být vizualizován za použití schlierové metody.\n\n
|
|
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.
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (oponent) ; Sekanina, Lukáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.
|
|
Intrusion Detection in Network Traffic
Homoliak, Ivan ; Čeleda, Pavel (oponent) ; Ochoa,, Martín (oponent) ; Hanáček, Petr (vedoucí práce)
The thesis deals with anomaly based network intrusion detection which utilize machine learning approaches. First, state-of-the-art datasets intended for evaluation of intrusion detection systems are described as well as the related works employing statistical analysis and machine learning techniques for network intrusion detection. In the next part, original feature set, Advanced Security Network Metrics (ASNM) is presented, which is part of conceptual automated network intrusion detection system, AIPS. Then, tunneling obfuscation techniques as well as non-payload-based ones are proposed to apply as modifications of network attack execution. Experiments reveal that utilized obfuscations are able to avoid attack detection by supervised classifier using ASNM features, and their utilization can strengthen the detection performance of the classifier by including them into the training process of the classifier. The work also presents an alternative view on the non-payload-based obfuscation techniques, and demonstrates how they may be employed as a training data driven approximation of network traffic normalizer.
|
|
Metodologie pro návrh číslicových obvodů se zvýšenou spolehlivostí
Straka, Martin ; Gramatová, Elena (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Práce představuje alternativní metodiku k již existujícím technikám pro návrh číslicových systémů se zvýšenou spolehlivostí implementovaných do obvodů FPGA a doplňuje některé nové vlastnosti při realizaci a testování těchto systémů. Práce se opírá o využití částečné dynamické rekonfigurace obvodu FPGA při návrhu systémů odolných proti poruchám, kde může být částečná rekonfigurace využita jako mechanizmus pro opravu a zotavení systému po výskytu poruchy. Práce nejprve představuje obecné principy diagnostiky, testování a spolehlivosti číslicových systémů včetně stručného popisu programovatelných obvodů FPGA a jejich architektury. Dále pokračuje přehledem současných metod a technik při návrhu a implementaci systémů odolných proti poruchám do obvodů FPGA, kde jsou popsány zejména techniky z oblasti detekce a lokalizace poruch, opravy a posuzování kvality návrhu. Nejdůležitější částí práce je popis metodiky pro návrh, implementaci a testování systémů odolných proti poruchám, která byla vytvořena pro obvody FPGA, jejichž konfigurační paměť je založena na pamětech typu SRAM. Nejprve je prezentována technika pro vytváření a automatizované generování hlídacích obvodů pro číslicové systémy a komunikační protokoly v FPGA, následně je prezentovaná referenční architektura spolehlivého systému implementovaného do FPGA včetně několika odolných architektur využívajících principu částečné dynamické rekonfigurace jako mechanizmu opravy a zotavení po výskytu poruchy. Dále je popsán způsob řízení rekonfiguračního procesu a testovací platforma pro snadné testovaní a ověření kvality systémů odolných proti poruchám implementovaných dle navržené metodiky. V závěru jsou diskutovány experimentální výsledky a přínos práce.
|
|
Metodologie pro návrh číslicových obvodů se zvýšenou spolehlivostí
Straka, Martin ; Kotásek, Zdeněk (vedoucí práce)
Práce představuje alternativní metodiku k již existujícím technikám pro návrh číslicových systémů se zvýšenou spolehlivostí implementovaných do obvodů FPGA a doplňuje některé nové vlastnosti při realizaci a testování těchto systémů. Práce se opírá o využití částečné dynamické rekonfigurace obvodu FPGA při návrhu systémů odolných proti poruchám, kde může být částečná rekonfigurace využita jako mechanizmus pro opravu a zotavení systému po výskytu poruchy. Práce nejprve představuje obecné principy diagnostiky, testování a spolehlivosti číslicových systémů včetně stručného popisu programovatelných obvodů FPGA a jejich architektury. Dále pokračuje přehledem současných metod a technik při návrhu a implementaci systémů odolných proti poruchám do obvodů FPGA, kde jsou popsány zejména techniky z oblasti detekce a lokalizace poruch, opravy a posuzování kvality návrhu. Nejdůležitější částí práce je popis metodiky pro návrh, implementaci a testování systémů odolných proti poruchám, která byla vytvořena pro obvody FPGA, jejichž konfigurační paměť je založena na pamětech typu SRAM. Nejprve je prezentována technika pro vytváření a automatizované generování hlídacích obvodů pro číslicové systémy a komunikační protokoly v FPGA, následně je prezentovaná referenční architektura spolehlivého systému implementovaného do FPGA včetně několika odolných architektur využívajících principu částečné dynamické rekonfigurace jako mechanizmu opravy a zotavení po výskytu poruchy. Dále je popsán způsob řízení rekonfiguračního procesu a testovací platforma pro snadné testovaní a ověření kvality systémů odolných proti poruchám implementovaných dle navržené metodiky. V závěru jsou diskutovány experimentální výsledky a přínos práce.
|
|
Metodologie spolupráce režiséra s hercem a současná divadelní praxe
Glogrová, Kateřina ; BURIAN, Jan (vedoucí práce) ; HRBEK, Daniel (oponent)
Práce se zabývá spoluprací režiséra s hercem během jednotlivých fází inscenačního procesu tak, jak probíhají v běžném divadelním provozu. Jednotlivé fáze inscenačního procesu jsou doplněny vlastní zkušeností autorky s vedením herců, které nabyla především v rámci svého studia na Divadelní fakultě AMU. V druhé části autorka zkoumá problematiku vnitřní pravdivosti a možnosti jejího dosažení v rámci inscenace i hereckého projevu. Součástí přípravy na magisterskou práci byl výzkum, který zahrnoval rozhovory se třemi profesionálními režiséry - Hanou Burešovou, Ladislavem Smočkem a Štěpánem Páclem, jejichž metodu práce autorka popisuje. V závěru práce autorka konstatuje, že je složité vyvozovat obecné závěry o spolupráci režiséra s hercem, která má vždy subjektivní povahu, a že stejně těžko uchopitelná je v obecné rovině i problematika vnitřní pravdivosti. Právě díky mnohosti možností však neztrácejí svou přitažlivost pro další zkoumání.
|
|
Lidský a sociální kapitál v základním školství
KOKŠTEIN, Jiří
Obsahem diplomové práce je náhled do teoretických studií, které se problematikou lidského a sociálního kapitálu zabývají z různých pohledů, zabývají se jejich vývojem v čase, jejich měřitelností, zkoumají je a doplňují o další poznatky.Tato část práce obsahuje i vztah lidského a sociálního kapitálu v návaznosti na stárnutí lidské populace a zaměřuje se na lidský kapitál starších pracovníků. Teoretické studie končí náhledem do problematiky základního školství, role učitele a snaží se poskytnout informace o již provedených průzkumech v této oblasti školství, které v aplikační části poslouží k porovnání s mnou získanými daty z dotazníkového šetření. Aplikační část práce je zaměřena na pedagogické pracovníky základních škol. Vzdělávání v dnešním globalizovaném světě mění nejen svůj obsah, ale i metody a formy práce. Nezastupitelnou roli v tomto procesu sehrávají pedagogové. Aby vyhověli všem na ně kladeným požadavkům, je nezbytné, aby i oni věnovali zvýšenou pozornost svému dalšímu vzdělávání a sdílení nabytého vzdělání, což je nezbytné k růstu lidského i sociálního kapitálu, poněvadž jsou ve vzájemné interakci. Práce zkoumá vybraný vzorek pedagogů a přistupuje k této problematice zjišťováním toho, co je ke vzdělávání motivuje, zda jsou spokojeni s přínosem vzdělávacích akcí, jakému typu vzdělávání dávají přednost atd. Práce zjištěné skutečnosti dále analyzuje a hledá vztahy mezi věkem a pohlavím pedagogů dle stanovených hypotéz. Pedagog je člověk, který je v neustálém kontaktu s ostatními lidmi. To samozřejmě dále formuje jeho životní postoje a zkušenosti. Jako lidská bytost vnímá názory společnosti a utváří si na ní vlastní názory, které ho následné mohou ovlivňovat při výkonu jeho profese. Proto je v této části práce věnován prostor i zkoumání přemosťovacího sociálního kapitálu, který určuje velikost okruhu lidí, s kterými se pedagogové obecně stýkají a vzájemně ovlivňují. Posledním výzkumem, který je v práci možno nalézt, je vnímání společenského postavení pedagogů jimi samotnými.
|
host ::
