|
| |
|
|
Audit z pohledu účetní jednotky
Tomanová, Lenka ; Svobodová, Lucie (oponent) ; Fedorová, Anna (vedoucí práce)
Cílem diplomové práce „Audit z pohledu účetní jednotky“ je identifikovat práva a povinnosti vyplývající účetní jednotce z povinnosti ověření účetní závěrky auditorem. Mezi základní povinnosti společnosti patří povinnost poskytnout všechny informace, které jsou důležité pro účetní závěrku. Z tohoto důvodu si kladu za dílčí cíl práce sumarizovat právní, účetní a daňové dokumenty nezbytné k provedení auditu.
|
|
|
Význam zeleně ve městech
Svobodová, Lucie ; Blasinski, Petr (oponent) ; Rubinová, Olga (vedoucí práce)
Diplomová práce se zaměřuje na uvedení problematiky znečištění městského prostředí, zejména vlivem lidské činnosti, a pochopení důsledků z ní plynoucích. Jejím úkolem je objasnit, jakým způsobem zeleň ovlivňuje kvalitu městského života a hodnotit její pozitivní, ale i negativní působení. Práce blíže zkoumá samotné emisní látky, indikátory znečištění a množství znečištění v dané lokalitě. Pozoruje jejich hodnoty a na základě měření a analýz je vzájemně porovnává. Poté navrhuje vhodné řešení veřejného prostoru s využitím vyššího podílu zeleně.
|
|
|
Tvorba výrobní koncepce pro zabezpečení výrobního procesu
Jaroň, Dominik ; Svobodová, Lucie (oponent) ; Jurová, Marie (vedoucí práce)
Práce předkládá návrh způsobu zavážení vstupního materiálu pro montážní stanice v rámci výrobní části podniku. Teoretická část je zaměřena na definici výrobních a logistických procesů podniku. Praktická část se nejprve věnuje analýze původního stylu zavážení. Následně je představena tvorba konceptu štíhlého zavážení pomocí Milk run a jsou představeny přínosy řešení. Nakonec je představen návrh nových informačních toků užitím informačních technologií.
|
|
|
Založení cestovní kanceláře
Svobodová, Lucie ; Bumberová, Veronika (oponent) ; Koráb, Vojtěch (vedoucí práce)
Diplomová práce se zabývá zpracováním podnikatelského plánu na založení cestovní kanceláře. Práce je složena ze tří částí, a to z části teoretické, analýzy současné situace a vlastního návrhu podnikatelského plánu. Teoretická část vysvětluje základní pojmy související s podnikáním, popisuje zásady tvorby podnikatelského plánu a zdroje financování podnikatelské činnosti. Poté bude na základě analýzy trhu zpracován vlastní podnikatelský plán.
|
|
| |
|
|
Urbanistická analýza města se zaměřením na veřejné prostory
Svobodová, Lucie ; Hybská, Bohumila (oponent) ; Májek, Jan (vedoucí práce)
Bakalářská práce se zaměřuje na seznámení se s urbanistickými principy a zásadami pro budování měst. Rozebíranými tématy jsou funkčnost prostorového návrhu, smyslové vnímání, jež se pojí k danému prostoru, ubanistické analýzy a postupy při navrhování veřejných městských částí. Práce dále zkoumá myšlenky významných urbanistů se snahou aplikovat tyto postupy pro město Brno.
|
|
|
Hranice autobiografie na příkladu knihy Nebe nemá dno
Svobodová, Lucie ; Češka, Jakub (vedoucí práce) ; Fulka, Josef (oponent)
Tato práce Hranice autobiografie na příkladu románu Nebe nemá dno se zabývá hranicemi žánru autobiografie na příkladu románu Hany Andronikové. Na zvolených ukázkách se snaží postihnout motivy a odkazy, v nichž tento román překračuje definované pojímání autobiografického žánru a stojí tak na jeho pomezí. Na tento text jsou aplikovány teoretické koncepty zabývající se hranicemi autobiografického žánru a jeho rozporuplností. Tato práce ve své další části sleduje vybrané příběhové linie a staví je do kontrastu s reálnými událostmi v autorčině životě. Důležitým materiálem k tomuto výzkumu jsou i záznamy a výpovědi autorky samotné i její rodiny a blízkých přátel.
|
|
| |
|
|
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.
|
host ::
RSS.