|
|
Časoprostorová mobilita Pražanů ohrožených sociálním vyloučením
Hruška, Martin ; Matoušek, Roman (vedoucí práce) ; Osman, Robert (oponent)
Společnost jednadvacátého století nabízí mnohé otázky, je složitější než kdy dřív. Čím dál více se navíc ukazuje potřeba poznání a porozumění různým skupinám kolem nás. To je důležité nejen z hlediska plánovacího/politického, ale i z hlediska občanského soužití majoritní společnosti s ostatními složkami. Práce vychází z mnohých teorií a konceptů, které se snaží zasadit do společenského rámce dnešního transformujícího se postsocialistického města. Praha je největším a zároveň nejbohatším městem v Česku. Díky její velikosti a vysoké atraktivitě pro různé vrstvy obyvatelstva se zde naplno ukazují sociální nerovnosti v populaci. Určitá míra diferenciace ve společnosti je přirozená, zvlášť po roce 1989 se však populace Prahy polarizuje. Na jedné straně přitom stojí tradiční městské čtvrti i nově vznikající lokality pro bohaté, na straně druhé nově vzniklá vrstva sociálně vyloučených. Tyto skupiny jsou v navzájem nerovném postavení a tento rozdíl se dále nezmenšuje. Jak ukazují různé výzkumy, dostat se z úplného dna zpět do majoritní společnosti dokáže pouze malé procento lidí. Diplomová práce na to reaguje a snaží se o zodpovězení některých otázek, které nebyly doposud diskutovány. První takovou představuje samotné poznání prostorového rozmístění služeb pro sociálně vyloučené Pražany. Po poznání tohoto...
|
|
|
Prostorové a sociální aspekty bezdomovectví - případová studie centrálního Smíchova
Hruška, Martin ; Temelová, Jana (vedoucí práce) ; Jíchová, Jana (oponent)
Studium života různých skupin obyvatel se stává v dnešní společnosti čím dál důležitější. Společnost jako celek se neustále diferencuje a nabízí mnohé otázky nejen o většinové společnosti, ale i skupinách kolem nás. Tato bakalářská práce se snaží přispět do výzkumu každodenního života specifické sociálně vyloučené skupiny obyvatel. Pomocí rozhovorů s přímými a klíčovými aktéry se snaží o zjištění a zhodnocení prostorových vztahů a prostorového chování bezdomovecké populace centrální části Prahy 5 - Smíchova. Práce představuje též sociální charakteristiky bezdomovců a jejich sociální vztahy s okolím. Život a motivace lidí na ulici se snaží zasadit do společenského kontextu. Klíčová slova: bezdomovectví - prostorové aspekty - sociální aspekty - každodenní život - centrální Smíchov
|
|
|
Individuální odpovědnost za zdraví
Hruška, Martin ; Křížová, Eva (vedoucí práce)
Od šedesátých let minulého století se ve vyspělém světě začíná objevovat nový přístup k poskytování zdravotní péče, který se snaží reflektovat statistická data vypovídající o příčinách nemocnosti a předčasných úmrtích spolu s novými vědeckými ujištěními o vztazích mezi ruznými vlivy a jejich důsledky pro zdravotni stav jedince.
|
|
|
Improved Tools for Handling deltarpm Files
Chalk, Matěj ; Hruška, Martin (oponent) ; Vojnar, Tomáš (vedoucí práce)
RPM packages are used for software installation in Fedora. Every version of software packaged in this way corresponds to a separate RPM file. Updating software therefore entails downloading a large RPM file that is actually quite similar to the RPM already installed. An alternative for software updates is provided by DeltaRPM packages, which are special patch files that store the difference between two RPM files. An update then consists of downloading a much smaller file and applying this patch to the older version of the RPM. The deltarpm project defines the format of DeltaRPM files and supplies command-line tools for creating and applying them. However, this implementation is unsuitable for use as a library. The aim of this thesis is to create a new implementation of these tools, which is backwards compatible and provides a library for C developers that solves some of the weaknesses of the current implementation.
|
|
| |
|
|
Efektivní algoritmy pro práci s konečnými automaty
Hruška, Martin ; Rogalewicz, Adam (oponent) ; Lengál, Ondřej (vedoucí práce)
Nedeterministické konečné automaty jsou používány v mnoha oblastech informatiky, mimo jiné také ve formální verifikaci, při návrhu číslicových obvodů nebo pro reprezentaci regulárlních jazyků. Jejich výhodou oproti deterministickým konečným automatům je schopnost až exponenciálně stručnější reprezentace jazyka. Nicméně, tato výhoda může být pozbyta, jestliže je zvolen naivní přístup k implementaci některých operací, jako je na\-pří\-klad test jazykové inkluze dvojice automatů, jehož naivní implementace provádí explicitní determinizaci jednoho z automatů. V nedávné době bylo ale představeno několik nových přístupů, které právě explicitní determinizaci při testu jazykové inkluze předcházejí. Tyto přístupy využívají tzv. antichainů nebo tzv. bisimulace vzhůru ke kongruenci. Cílém této práce je vytvoření efektivní implementace zmíněných přístupů v podobě nového rozšíření knihovny VATA. Vytvořená implementace byla otestována a je až řádově rychlejší v 90% testovaných případů nežli implementace jiné
|
|
|
Verifikace ukazatelových programů pomocí lesních automatů
Hruška, Martin ; Rogalewicz, Adam (oponent) ; Holík, Lukáš (vedoucí práce)
V této práci je rozvíjena existující metoda pro shape analýzu programů založená na lesních automatech. Dále je také vylepšována implementace této metody, nástroj Forester. Lesní automaty jsou založeny na stromových automatech, jejichž jednoduchou implementaci Forester obsahuje. Prvním přínosem této práce je nahrazení této implementace knihovnou VATA, která obsahuje efektivní algoritmy pro reprezentaci a manipulaci stromových automatů. Verze nástroje Forester používající knihovnu VATA se zúčastnila mezinárodní soutěže SV-COMP 2015. Dále je verifikace založená na lesních automatech v této práci rozšířena o predikátovou abstrakci a analýzu nalezených protipříkladů. Výsledek této analýzy je možné využít následujícími způsoby. Prvním je určení toho, zda je nalezené chyba reálná nebo naopak nepravá. Druhým je pak zjemnění predikátové abstrakce pomocí predikátů odvozených při zpětném běhu. Obě techniky byly také implementovány v nástroji Forester. Na závěr je zhodnoceno zlepšení, které tyto techniky přinesly oproti původní verzi nástroje Forester.
|
|
|
Bezdrátová senzorová síť
Hruška, Martin ; Burda, Karel (oponent) ; Mišurec, Jiří (vedoucí práce)
Bezdrátové senzorové sítě (WSN) se skládají z kombinace několika výkonných zařízení (označovaných jako „base stations“ nebo „sink“, dále základna) a velkého počtu (1000 - 1000000) levných zařízení (označovaných jako „nodes“, dále uzly) s extrémně omezenou výpočetní sílou, pamětí a energií. Jednotlivé uzly jsou vybaveny snímačem okolního prostředí. Data zaznamenaná snímači jsou lokálně předzpracována a poté zasílána základně k dalšímu zpracování. Využití WSN je očekáváno v široké škále oblastí. Cílem práce je rozebrat možnosti realizace bezdrátového přenosu digitalizovaných údajů ze senzorů. Práce zahrnuje a srovnává: Wi – Fi, WiMAX, ZigBee, GPRS, rádiovou síť a IrDA. Navrhne se bezdrátová síť pro sběr dat z čidel domácí čističky odpadních vod na území malé vesnické aglomerace s přenosem dat do centrálního dispečinku. Navrhne se několik alternativ a porovnají se jejich vlastnosti a možnosti.
|
|
| |
|
| |
host ::
RSS.