| |
|
Znalosti o teorii první pomoci u studentů JU
MALANÍKOVÁ, Jana
Bakalářská práce je rozdělena do dvou hlavních částí, na část teoretickou a výzkumnou. V části první se čtenář seznámí s teoretickými znalostmi poskytování první pomoci. Považovala jsem za zcela nezbytné uvést zde definici první pomoci, základní členění teorie první pomoci na laickou a technickou první pomoc. V práci jsou zároveň stručně popsány nejnovější postupy kardiopulmonální resuscitace u dospělého člověka. Kapitola druhá je malým připomenutím vzniku a dějin Červeného kříže. Tato kapitola obsahuje informace o počátcích vzniku Červeného kříže, jak tomu bylo se založením Červeného kříže v České republice, údaje o Mezinárodním hnutí Červeného kříže a Červeného půlměsíce a základní informace o možnostech laického školení první pomoci. Poslední, čtvrtá kapitola, je věnovaná zásadám základního ošetření u některých život ohrožujících stavů, jako jsou: šok, bezvědomí, zlomeniny, krvácení a dále, jak přivolat ZZS. Abych zjistila, jaká je dostupnost a zároveň srozumitelnost informací o první pomoci, snažila jsem se čerpat z různých informačních zdrojů. Podle získaných informací jsem se rozhodla pro zpracování teoretické části práce v daném rozsahu. Část druhá se týká vlastního výzkumu, pro který byl stanoven jeden hlavní cíl: zjistit znalosti o teorii první pomoci. Výzkum byl proveden na vybraných fakultách JČU, dotazníky vyplnilo 159 studentů z EF, PF, ZSF a ZF. Dotazované těchto fakult jsem si vybrala se záměrem zjistit informovanost právě u těchto studentů o teorii první pomoci, neboť tito respondenti zastupují určitou věkovou skupinu, ale i různá odvětví lidské činnosti. Vzorek jsem dále upravila prostým náhodným výběrem, se stejným zastoupením studentů jednotlivých fakult, na 100 respondentů. Pro výzkum této práce byla zvolena kvantitativní metoda. Sběr potřebných dat proběhl pomocí anonymních dotazníků. Strukturovaný dotazník (viz Příloha č. 1) obsahoval celkem 22 otázek zaměřujících se na teoretickou první pomoc studentů JČU. Data jsem zpracovávala za účelem potvrzení či vyvrácení předem stanovených hypotéz. Vyhodnocení údajů proběhlo pomocí statistických metod náhodným výběrem, kontingenčními tabulkami a výsledky byly uspořádány přehledně do grafů. Ke zpracování výsledků byl použit pro-gram Microsoft Office Excel 2010.
|
|
Analýza dopadů realizovaných projektů OP Praha - konkurenceschopnost v programovacím období 2007-2013
Kellnerová, Markéta ; Wokoun, René (vedoucí práce) ; Krejčová, Nikola (oponent)
Cílem této práce je zhodnotit vliv realizovaných projektů operačního programu Praha konkurenceschopnost na rozvoj regionu Praha. Teoretická část bude věnována vzniku a vývoji regionální politiky, následnému vzniku EU a jejímu rozdělení do jednotlivých programových období včetně stanovených cílů. Poté jsou v práci rozvedeny možnosti čerpání fondů EU, následně konkrétně pro ČR. Jelikož se jedná o OP, který se týká pouze hl. m. Prahy, je tomuto regionu věnována celá kapitola. Poslední částí teoretického oddílu je implementace OP. Praktická část se zabývá kvantitativní a finanční analýzou operačního programu, který je rozdělen na jednotlivé programové roky. V závěru praktického oddílu je působení OP celkově zhodnoceno, zejména jeho vliv na rozvoj Prahy prostřednictvím horizontálních témat a plnění stanovených indikátorů. Nakonec je zhodnocen vliv na region Praha v rámci jednotlivých žadatelů o dotaci.
|
|
Požadavky podniků na profil absolventa – softwarového vývojáře
Trnková, Michaela ; Pecinovský, Rudolf (vedoucí práce) ; Pavlíčková, Jarmila (oponent)
Předmětem bakalářské práce je zmapování požadavků, které jsou kladeny na absolventy - softwarové vývojáře. Cíle je dosaženo pomocí rozhovorů s odborníky z praxe. Důležitou částí práce je zhodnocení různých metodik výuky programování s blížším zaměřením na metodiku. Přístupy jsou zhodnoceny z pohledu zástupců podniků, učitelů programování a obdobných předmětů na vysokých školách i studentů informatických oborů. Hlavním přínosem práce je souhrn doporučení pro školy pro výuku studentů, která vyplývají z názorů vývojářů a vedoucích vývojářských týmů z technologických firem a názorů studentů, kteří předměty programování absolvovali. Práce obsahuje i doporučení pro studenty, kteří se chtějí v budoucnu zabývat vývojem softwaru.
|
| |
|
Čtenářský deník a ICT - tradiční výuková metoda v kontextu moderních technologií
GRÚZ, Michael
Rigorózní práce Čtenářský deník a ICT tradiční výuková metoda v kontextu moderních technologií je rozdělena na dva oddíly. Teoretická část se nejprve zabývá základními principy uměleckého textu, jeho recepcí a motivací k četbě. Pozornost je dále věnována literární a čtenářské výchově ve škole, ale i v mimoškolním životě dítěte, a to i v tzv. předčtenářském období. Stěžejní oddíl je zaměřen na vliv moderních technologií na výuku literatury a problematiku čtenářských (kulturních) deníků. Výzkumná část obsahuje výsledky dvou dotazníkových šetření. První z nich bylo určeno pro učitele českého jazyka a literatury, kteří působí na druhém stupni základních škola a na nižším stupni gymnázií, a kladlo si za úkol zmapovat jejich přístup k zadávání, kontrole, hodnocení a dalšímu využití čtenářských deníků v hodinách literární výchovy. Druhý dotazník zjišťoval žákovský přístup k individuální mimočítankové četbě a využívání tzv. online literárních příruček.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
|
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.
|
|
Využití pracovních činností v procesu sociální integrace dospělých s mentálním postižením.
SVITÁKOVÁ, Iveta
V rámci své bakalářské práce jsem se věnovala využití pracovních činností v procesu sociální integrace dospělých s mentálním postižením, přičemž cílem bylo vytvořit, zrealizovat a vyhodnotit pravidelnou pracovní činnost určenou specifické skupině dospělých s mentálním postižením a zaměřenou primárně na rozvoj sociální integrace. Text práce je strukturován do šesti kapitol. V první z nich jsem se zaměřila na vymezení mentálního postižení, charakteristiku dospělosti jako důležitého vývojového období v životě člověka a na dospělost jedinců s mentálním postižením s cílem nalézt a pojmenovat specifika, která byla třeba při práci s touto cílovou skupinou zohlednit. V následující části jsem se věnovala sociální integraci, jejím determinantům a prostředí, ve kterém se uskutečňuje. Na získané výstupy jsem navázala ve třetí kapitole, v níž jsem se zaměřila na klíčové kompetence, z nichž jsou pro sociální integraci nezbytným podkladem zejména sociální, personální a komunikativní kompetence. Cílený rozvoj těchto kompetencí lze realizovat prostřednictvím edukační činnosti, která však musí respektovat specifika účastníků a dobrovolnost účasti. Oba tyto předpoklady lze naplňovat v rámci zájmového vzdělávání s využitím adekvátních pedagogických metod. Na tyto oblasti jsem proto zacílila svou pozornost v závěru kapitoly. Kapitola čtvrtá je věnována práci a pracovním činnostem, konkrétně vymezení pojmů, jejich charakteristice, významu a roli pracovních činností v životě člověka, respektive člověka s mentálním postižením. Na základě všech získaných teoretických poznatků a s využitím dosavadních zkušeností s cílovou skupinou jsem v páté kapitole navrhnula specifický vzdělávací program založený na pracovních činnostech a zaměřený na rozvoj vybraných klíčových kompetencí. Do vzdělávacího programu se dobrovolně přihlásili čtyři účastníci, přičemž jsem se rozhodla sledovat rozvoj kompetencí jen tří účastníků z důvodu, že jeden účastník docházel velmi nepravidelně. Program byl realizován třikrát týdně, vždy 2,5 hodiny po dobu sedmi měsíců (od října 2015 do května 2016) v prostorách vzdělávacího centra Mo-zai-ka. Na počátku realizace vytvořeného vzdělávacího programu účastníci souhlasili s tím, že budeme dodržovat a rozvíjet správné návyky potřebné pro dobré vzájemné vztahy ve skupině a výsledky pracovní činnosti. Na základě individuálních charakteristik účastníků jsem připravovala pracovní činnosti, které měly přispět také k rozvoji sociálních a personálních a komunikativních kompetencí. Ty jsem průběžně sledovala a zaznamenávala. Během realizace programu jsem kladla důraz na opakování, trpělivé jednání s účastníky a vytvoření přátelské atmosféry. Po ukončení vzdělávacího programu jsem rozvoj kompetencí u tří vybraných účastníků vyhodnotila. Na základě toho jsem dospěla k závěru, že k největší změně došlo v komunikativních kompetencích. Posun jsem zaznamenala i v sociálních a personálních kompetencích, zde se však výsledky u jednotlivých účastníků značně lišily. Přesto se domnívám, že cíl práce byl splněn. Uvedené výsledky ukazují, že vzdělávání ve volném čase založené na pracovních činnostech může vést k rozvoji sociálních, personálních a komunikativních kompetencí, které jsou pro dospělé s mentálním postižením nezbytné v procesu sociální integrace. Tato bakalářská práce může být zajímavým zdrojem inspirace pro realizaci obdobných programů zacílených na sociální integraci osob s mentálním postižením.
|
host ::
