| |
|
Statická analýza v nástroji Meta Infer zaměřená na detekci souběhu nad daty
Svobodová, Lucie ; Fiedor, Jan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Modern software systems often use concurrent programs to improve performance and increase efficiency. However, ensuring the reliability and safety of such systems can be challenging due to the increased potential for bugs, including data races, to arise. In this thesis, we introduce a new static data race detector, DarC, designed for programs written in C using the Pthreads library. The proposed detector is implemented as an analyser plugin in Meta Infer, a static analysis framework with an emphasis on compositional, incremental, and consequently highly-scalable analysis. Our approach involves recording a set of accesses that occur in the analysed program along with information about the set of locks held during these accesses. The tool then identifies pairs of accesses that may lead to data races and reports them to the user. Our tool was successfully evaluated on a set of benchmarking programs as well as on real-life projects, showing its potential for effectively detecting data races in C programs.
|
|
Biologický rozložitelné materiály a jejich vliv na odpadové hospodářství
Svobodová, Lucie
Tato závěrečná práce se zabývá biologicky rozložitelnými materiály. Popisuje intenzitu rozložitelnosti materiálů, charakterizuje a popisuje způsoby využití materiálů v různých odvětvích. V závěru teoretické části jsou popsány způsoby zpracování, využití a odstranění biologicky rozložitelného materiálu. V praktické části byla ověřována informace z obalu houbových utěrek, která uváděla stoprocentní biologický rozklad. Výzkum biologického rozkladu byl proveden na komunitní kompostárně v Boskovicích. Bylo vybráno celkem osm vzorků od čtyř různých výrobců, které byly dle metodiky po dvanáct týdnů uloženy v kompostovací zakládce. Výsledkem byl stoprocentní rozklad u všech zkoumaných vzorků, kde jen jeden vzorek vykazoval stopy žlutého barviva, před ponorem do vody za účelem očištění od zbytků kompostu.
|
|
Vliv gotického románu a otázka identity v příbězích o Harry Potterovi
SVOBODOVÁ, Lucie
Tato diplomová práce sleduje vliv anglického gotického románu v příbězích Harryho Pottera, zaměřuje se především na otázku identity vybraných hrdinů a její interpretaci v kontextu této literární tradice. Klíčovými tématy této práce se staly motivy nejistoty a strachu z neznáma, hledání osobní identity a smyslu vlastní existence. Pozornost je věnována také psychologické charakteristice postav a významu prostředí, ze kterého jednotliví hrdinové pocházejí. Součástí práce je také stručný přehled konkrétních autorů a jejich děl, kteří měli vliv na práci J. K. Rowlingové. Nalezneme zde také teoretické pojednání o gotickém románu a pohádce.
|
| |
|
Úroveň adaptačního procesu všeobecných sester na jednotkách intenzivní péče
Aksteinerová, Monika ; Marsová, Jana (vedoucí práce) ; Svobodová, Lucie (oponent)
Diplomová práce se zabývá tématem adaptačního procesu všeobecných sester na jednotkách intenzivní péče. V práci hledáme odpověď na výzkumnou otázku, zda je úroveň adaptačního procesu a jeho reální délka dostačující proto, aby se sestry mohly plně začlenit do pracovního procesu. V teoretické části se věnujeme podstatě adaptačního procesu. Konkrétně zpracováváme zaškolovací proces sester v průběhu adaptace na novém pracovišti. Rozebíráme problematiku jak objektu, tak subjektu managementu procesu integrace. Pozornost věnujeme i školiteli klinické praxe, jeho vzdělávání a úkolem předávat, školit a asistovat. Praktická část diplomové práce se vyznačuje metodologii kvantitativního výzkumu. V empirické části jsme stanovili dílčí cíle a hypotézy, které v rámci dotazníkového šetření potvrzujeme nebo naopak vyvracíme. Cílem distribuce nestandardizovaných dotazníků mezi novými sestrami na jednotce intenzivní péče je zjistit, jak probíhá a jaká je spokojenost s adaptačním procesem ve vybraných Pražských zdravotnických zařízeních. Zvolili jsme si koronární jednotky intenzivní péče se stejným charakterem ošetřovatelské starostlivosti. Tím se chceme vyhnout spekulaci, že různé intenzivní jednotky mají svá specifika procesu adaptace a tím se nabízí možnost rizika zkreslení výsledku výzkumu.
|
| |
|
Muži a jejich životní svět v reklamách na pivo
Svobodová, Lucie ; Lupač, Petr (vedoucí práce) ; Vinopal, Jiří (oponent)
Tato bakalářská práce se zabývá hojně diskutovaným tématem genderové stereotypizace. Většina pozornosti odborníků i laické veřejnosti je v této oblasti zaměřena na problematiku stereotypů spojených s ženskou rolí. Tato práce se na problematiku genderových stereotypů pokouší nahlížet z druhé - tedy mužské strany. Cílem práce je rekonstruovat mužské stereotypy a jejich životní svět v reklamách, které jsou z tohoto pohledu zaměřené na snad stále typicky mužský produkt: pivo. Současně je sledována přítomnost tradičních stereotypů spojených s mužskou i ženskou rolí. Výzkumný problém je odpovídán pomocí obsahové analýzy reklam na pivo a následnou rekonstrukcí životního světa mužů v nich.
|
|
Diferenciace výuky ve školních vzdělávacích programech s ohledem na 1.stupeň ZŠ
Svobodová, Lucie ; Hejlová, Helena (vedoucí práce) ; Tomková, Anna (oponent)
Práce se zabývá diferenciací výuky ve školních vzdělávacích programech s ohledem na 1. stupeň základní školy. Jejím cílem je popsat podmínky a podoby diferenciace výuky tak, jak jsou zakotveny ve školních vzdělávacích programech vybraných pražských škol a ověřit, zda a jakým způsobem jsou v praxi naplňovány. Zaměřuje se převážně na péči o skupiny žáků, pro které je diferenciace značně žádoucí a kteří jsou běžně vzděláváni na základních školách. Jedná se o žáky se speciálními vzdělávacími potřebami a žáky nadané. Praktická část práce přináší výsledky kvalitativního výzkumu v podobě kazuistik vybraných pražských základních škol, jejich školních vzdělávacích programů a realizace diferencované výuky v praxi. Kazuistiky obsahují popis funkčních a vyzkoušených modelů individualizace a diferenciace v práci těchto škol. Z organizačních schémat diferenciace, tak jak jsou popsány v teorii, jsou v praxi používány nejčastěji kombinace diferenciace vnitřní - v rámci kmenových tříd - individualizací nebo i skupinově (někdy za pomoci asistenta pedagoga), a skupinové diferenciace vnější, nejčastěji vznikající za účelem zvláštní péče, ať už o skupiny žáků se specifickými vzdělávacími potřebami nebo žáky nadané. Klíčová slova: diferenciace, individualizace, nadané dítě, školní vzdělávací program, žák se speciálními...
|
| |