|
Use of social network Facebook as an educational resource in the teaching
Kaiserová, Martina ; Tomšíková, Kateřina (advisor) ; Jana, Jana (referee)
The objective of the bachelor thesis is to introduce the social network Facebook in the educational and training process and to indicate specific procedures for teaching of the subject Information and Communication technologies. The theoretical part defines the terms such as didactics of technical subjects, educational and training objectives, teaching forms and methods, as well as history and types of social networks with particular emphasis on the social network Facebook. The practical part is divided into several subsections. The introduction describes specific procedures for the use of the social network Facebook in the subject of Information and Communication technologies. The following part contains the survey on satisfaction with using Facebook in teaching conducted with the technical-vocational secondary school students and individual interviews with the teachers providing their position to the use of Facebook when teaching. Partial modifications have been recommended based on the lessons learned which should make the achieving of educational and training objectives easier when using Facebook.
|
|
Conversations with Jindřiška Křivánková
Fröhlichová, Marie ; SOPROVÁ, Jana (advisor) ; HALAŠ, Adam (referee)
The aim of the thesis is to describe the principles of creativity of Jindřiška Křivánková, senior professional and a highly experienced theatre performer; and confront her way of thinking and creativity with my own artistic view and my skills gained during my time of study at HAMU. Thereafter, the thesis will first elaborate on her theatre development, from the beginning of her carrier until now. Further it will addresses the major aspects and circumstances that led to her prospering in the field. It also examines the influence of particular personalities that helped her to develop her distinct views on theatre. A further discussion on the various aspects of artistic creation and creative process in a mutual confrontation of the two of us, in which we touch not only broad general issues concerning the culture and theatre, but also the special approaches towards it.
|
|
Possibilities in monitoring of laser welding process
Horník, Petr ; Mrňa, Libor
With increasing demands on the quality of the welds, it is usual to apply automated machine welding with monitoring of the welding process. The resulting quality of the weld is largely affected by the behavior of keyhole. However, its direct observation during the welding process is practically impossible and it is necessary to use indirect methods. At ISI we develop optical methods of monitoring the process based on analysis of radiation of laser-induced plasma using Fourier and autocorrelation analysis. Observation of keyhole inlet opening is partially possible through a coaxial camera mounted on the welding head and the subsequent image processing. A high-speed rear camera to understand the dynamics of the plasma plume. Through optical spectroscopy of the plume, we can study the excitation of elements in a material. Shielding gas flow can be visualized using schlieren method.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (referee) ; Sekanina, Lukáš (referee) ; Vojnar, Tomáš (advisor)
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledky ukazují, že nová heuristika překonává ty existující v určitých případech. Nakonec práce představuje inovativní aplikaci stochastických optimalizačních algoritmů v procesu testování vícevláknových aplikací. Principem metody je hledání vhodných kombinací parametrů testů a metod vkládání šumu. Tato metoda byla prototypově implementována a otestována na množině testovacích příkladů. Výsledky ukazují, že metoda má potenciál vyznamně vylepšit testování vícevláknových programů.
|
|
Intrusion Detection in Network Traffic
Homoliak, Ivan ; Čeleda, Pavel (referee) ; Ochoa,, Martín (referee) ; Hanáček, Petr (advisor)
Tato práce se zabývá problematikou anomální detekce síťových útoků s využitím technik strojového učení. Nejdříve jsou prezentovány state-of-the-art datové kolekce určené pro ověření funkčnosti systémů detekce útoků a také práce, které používají statistickou analýzu a techniky strojového učení pro nalezení síťových útoků. V další části práce je prezentován návrh vlastní kolekce metrik nazývaných Advanced Security Network Metrics (ASNM), který je součástí konceptuálního automatického systému pro detekci průniků (AIPS). Dále jsou navrženy a diskutovány dva různé přístupy k obfuskaci - tunelování a modifikace síťových charakteristik - sloužících pro úpravu provádění útoků. Experimenty ukazují, že použité obfuskace jsou schopny předejít odhalení útoků pomocí klasifikátoru využívajícího metriky ASNM. Na druhé straně zahrnutí těchto obfuskací do trénovacího procesu klasifikátoru může zlepšit jeho detekční schopnosti. Práce také prezentuje alternativní pohled na obfuskační techniky modifikující síťové charakteristiky a demonstruje jejich použití jako aproximaci síťového normalizéru založenou na vhodných trénovacích datech.
|
|
Methodology of highly reliable systems design
Straka, Martin ; Gramatová, Elena (referee) ; Racek, Stanislav (referee) ; Kotásek, Zdeněk (advisor)
In the thesis, a methodology alternative to existing methods of digital systems design with increased dependability implemented into FPGA is presented, new features which can be used in the implementation and testing of these systems are demonstrated. The research is based on the use of FPGA partial dynamic reconfiguration for the design of fault tolerant systems. In these applications, the partial dynamic reconfiguration can be used as a mechanism to correct the fault and recover the system after the fault occurrence. First, the general principles of diagnostics, testing and digital systems dependability are presented including a brief description of FPGA components and their architectures. Next, a survey of currently used methods and techniques used for the design and implementation of fault tolerant systems into FPGA is described, especially the methods used for fault detection and localization, their correction, together with the principles of evaluating fault tolerant systems design quality. The most important part of the thesis is seen in the description of the design methodology, implementation and testing of fault tolerant systems implemented into FPGAs which uses SRAMs as the configuration memory. First, the methodology of developing and automated checker components design for digital systems and communication protocols is presented. Then, a reference architecture of a dependable system implemented into FPGA is demonstrated including several fault tolerant architectures based on the use of partial dynamic reconfiguration as the mechanism of fault correction and the recovery from it. The principles of controlling the reconfiguration process are described together with the description of the test platform which allows to test and verify the design of fault tolerant systems based on the methodology presented in the thesis. The experimental results and the contribution of the thesis are discussed in the conclusions.
|
|
Methodology of highly reliable systems design
Straka, Martin ; Kotásek, Zdeněk (advisor)
In the thesis, a methodology alternative to existing methods of digital systems design with increased dependability implemented into FPGA is presented, new features which can be used in the implementation and testing of these systems are demonstrated. The research is based on the use of FPGA partial dynamic reconfiguration for the design of fault tolerant systems. In these applications, the partial dynamic reconfiguration can be used as a mechanism to correct the fault and recover the system after the fault occurrence. First, the general principles of diagnostics, testing and digital systems dependability are presented including a brief description of FPGA components and their architectures. Next, a survey of currently used methods and techniques used for the design and implementation of fault tolerant systems into FPGA is described, especially the methods used for fault detection and localization, their correction, together with the principles of evaluating fault tolerant systems design quality. The most important part of the thesis is seen in the description of the design methodology, implementation and testing of fault tolerant systems implemented into FPGAs which uses SRAMs as the configuration memory. First, the methodology of developing and automated checker components design for digital systems and communication protocols is presented. Then, a reference architecture of a dependable system implemented into FPGA is demonstrated including several fault tolerant architectures based on the use of partial dynamic reconfiguration as the mechanism of fault correction and the recovery from it. The principles of controlling the reconfiguration process are described together with the description of the test platform which allows to test and verify the design of fault tolerant systems based on the methodology presented in the thesis. The experimental results and the contribution of the thesis are discussed in the conclusions.
|
|
Methodology of the Cooperation between the Director and Actor and Contermporary Theater Practice
Glogrová, Kateřina ; BURIAN, Jan (advisor) ; HRBEK, Daniel (referee)
The thesis deals with the cooperation between the director and actor during individual phases of the staging process as they appear in everyday theatre life. The indiviual phases of the staging process are supplemented by the author's own experience with managing the actors, which she gained especially in the course of her studies at the Drama Faculty of AMU. The second part of the thesis investigates the issues of inner truthfulness and the possibilities of its achievement within the production of a play. As a part of collecting the material for the thesis, the author conducted a research, which included interviews with three professional directors - Hana Burešová, Ladislav Smoček and Štěpán Pácl, whose methods of work are described. In the final part of the thesis the author states that it is difficult to draw general conclusions about the cooperation between the director and actor because it is always of subjective nature. The issue of inner truthfulness is similarly difficult to generalise. Due to the multiplicity of options, however, neither of them loses attractiveness for further research.
|
|
Human and social capital in primary education
KOKŠTEIN, Jiří
The thesis contains a theoretical insight into the studies that the issue of human and social capital involved from different perspectives, engage their evolution over time, their measurability, examine them, and complemented with other evidence. This part contains relation of human and social capital in relation to the aging of the human population and focuses on the human capital of older workers. Theoretical study ends with an insight into the basic education, the role of teacher and seeks to provide information on surveys already conducted in the area of education, which in the application of serve for me compared to the data obtained from the survey. The application part is focused on the teaching staff of primary schools. Education in currently globalized world, changing not only its content but also methods and forms of work. Irreplaceable role in this process is played by educators. To meet all the demands placed on them, it is essential that they pay close attention to their continuing education and sharing of acquired education, which is essential to the growth of human and social capital, because they are interacting. The work examines selected sample of teachers and approaches to this issue by detecting what is education motivates them whether they are satisfied with the benefits of educational events, what type of education they prefer etc. Working findings further analyzes looking for relationships between age and sex educators according to the hypotheses . Educator is someone who is in constant contact with other people. This of course also formalizes its attitudes and experiences. As a human being perceives the views of society and shapes on her own views, which it subsequently may influence the exercise of his profession. Therefore, in this part of the thesis is dedicated to exploring and bridging social capital, which determines the size of the circle of people with whom the teachers generally meet and interact. The last research that is possible to find thesis, it is perceptions of social status of teachers by themselves.
|
guest ::
