|
|
Verifikace programů s ukazateli založená na detekci vzorů
Kubíček, Jan ; Erlebach, Pavel (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce navazuje na výsledky studií v oblasti verifikace nekonečně stavových systémů. Konkrétně se jedná o oblast abstraktního model checkingu. Seznámili jsme se s metodou založenou na abstrakci paměťové konfigurace pomocí paměťových vzorů. Tato metoda byla navržena pro verifikaci programů pracujících s dynamickými paměťovými strukturami jako například seznamy. Na dynamické paměťové struktury je nahlíženo jako na orientované grafy. Verifikace na základě paměťových vzorů abstrahuje obecně libovolné množství vytvořených uzlů do jednoho sumarizovaného uzlu. Tím se dosáhne reprezentace obecně neukončeného grafu konečným zápisem. Poté je možno efektivně provést verifikaci nad tímto abstrahovaným grafem. V naší práci se zabýváme tvorbou modelu pro nástroj implementující verifikaci na základě paměťových vzorů. Model programu je vytvořen z podmnožiny jazyka C. Hlavním přínosem práce je automatizace tvorby modelu pro verifikaci a tím dosáhnutí úplné automatizovanosti procesu verifikace. Je tak možné verifikovat programy napsané v běžném programovacím jazyce. V této práci je diskutována syntaxe vstupního jazyka i implementační detaily překladu.
|
|
|
Rekultivace lokality po povrchové těžbě písku
Kubíček, Jan ; Jícha, Jaroslav (oponent) ; Novotný, Pavel (vedoucí práce)
Rekultivace krajiny po těžbě nerostů je nezbytnou součástí procesu při jejich získávání. Navrací krajinu do stavu blízkého před těžbou a obnovuje poškozené biologické složky devastovaného území. Vytváří esteticky a funkčně prospěšnou krajinu, zapadající do okolní biosféry, která je opět schopna sloužit ve prospěch člověka a přírody.
|
|
|
Centrum zdraví v Prostějově
Kubíček, Jan ; Hobzová, Klára (oponent) ; Benešová, Romana (vedoucí práce)
Cílem této diplomové práce je vypracování projektové dokumentace novostavby zdravotnického zařízení pro stavební povolení, v katastrálním území Prostějov. V budově je šest lékařských ordinací se zázemím, lékárna s výrobou léků a rentgenová technika. Budova je jednoduchého půdorysného tvaru, má dvě nadzemní podlaží. Svislé nosné konstrukce jsou navrženy z vápenopískových tvárnic. Objekt je zateplen ETICS s provětrávanou fasádou a se zelenou fasádou. Vodorovné nosné konstrukce a schodiště jsou navrženy z železobetonových prefabrikovaných dílců. Koncept ploché střechy je extenzivní zelená střecha. Objekt je vytápěn plynovým kondenzačním kotlem. Budova využívá fotovoltaiku k výrobě elektřiny pro úsporu neobnovitelných zdrojů. Objekt je odvětráván pomocí nuceného větrání. Ve třetí části práce bylo provedeno posouzení hospodaření s vodou. Projekt byl zpracován v software ArchiCAD a Lumion.
|
|
|
Portrétní umění v tvorbě Egona Schieleho
KUBÍČEK, Jan
Bakalářská práce Portrétní umění v tvorbě Egona Schieleho je rozdělena do dvou částí, teoretické a praktické. Teoretická část přibližuje důležité životní etapy a kulturní prostředí, jež ovlivňovalo Egona Schieleho. Dále se zaměřuje na jeho vybranou uměleckou tvorbu, s důrazem na portrét a autoportrét. Praktická část vychází z poznatků první části, navazuje na autoportrét Egona Schieleho a pokouší se inspirovat jeho osobitým stylem a technikou, jakou autor tvořil svá díla. Cílem praktické části je cyklus autoportrétů autora této bakalářské práce, doprovázen skicovým materiálem.
|
|
|
Ochrana zákazníka při poskytování investičních služeb
Kubíček, Jan ; Kotáb, Petr (vedoucí práce) ; Sejkora, Tomáš (oponent)
Ochrana zákazníka při poskytování investičních služeb Přístupy k výkonu dohledu Tato diplomová práce zkoumá možnosti a příležitosti v oblasti finanční regulace a dohledu nad finančním trhem, který provádí Česká národní banka. Práce je zaměřena se na ochranu zákazníka v oblasti investičních služeb. Práce začíná stanovením výzkumné otázky a zdůvodněním, proč byla tato otázka zvolena. Následně je uveden základní přehled právní úpravy finančního práva v České republice. Práce pokračuje obecnějším pohledem na odstrašení a přesvědčování jako dvou krajních bodů škály, na které se obvykle pohybuje výkon dohledu. Jsou představeny závěry literatury, které tvoří základ pro další části diplomové práce - závěry odborných článků i empirických studií slouží jako rámec pro další kapitoly. Zdroje jsou nejen z oblasti finanční regulace a dohledu, ale i z jiných oborů. Následuje bližší zkoumání několika různých přístupů k regulaci a dohledu. Jsou vyhodnoceny klady a zápory několika přístupů. Jde o responzivní regulaci, smart (chytrou) regulaci, principles-based regulaci (regulaci založenou na principech) a anticipatory (předvídavou) regulaci. Jedna část je také věnována vyhodnocení závěrů vyvozených z reálných zkušeností s uplatňováním dalšího podobného přístupu, a sice kooperativní regulace (s ostatními přístupy má některé...
|
|
|
Já, ty, my a oni: formy vlastenectví ve výukových materiálech českého vzdělávacího systému a českých třídách
Kubíček, Jan ; Lánský, Ondřej (vedoucí práce) ; Samek, Tomáš (oponent)
Tato práce je zaměřena na podobu diskurzu nacionalismu ve vzdělávacích materiálech, konkrétně ve vybraných učebnicích dějepisu a občanské výchovy pro základní školy. Cílem práce není pojmout veškeré dostupné vzdělávací materiály v českém školním prostředí, ale uskutečnit sondu na učebnicích z vybraných předmětů od jednoho nakladatelství, které slouží jako vzorek. Existují nenápadné formy nacionalismu, které jsou součástí veřejného diskurzu, a tyto formy bude práce mapovat v daných učebnicích jako projevy diskurzu nacionalismu, jenž se svým působením snaží mimo jiné utvářet národní identitu. Proto práce v těchto učebnicích sleduje jejich jazyk, témata, která vybírají, způsoby, kterým o tématech referují a další sdělovací prostředky, jež užívají (např. vizuální dokumenty). Zmíněné prvky učebnice práce zkoumá prostřednictvím kvalitativní analýzy, konkrétně kritické diskurzivní analýzy. Hlavní otázkou, na kterou práce hledá odpověď je, které diskurzivní prostředky jsou užity pro formování české národní identity, a zdali tato identita nezahrnuje také etnocentrické vidění světa. Práce je rozdělena do tří hlavních částí. V první kapitole je zaměřena pozornost na klíčové pojmy, které jsou potřeba pro výzkum. Druhá kapitola se věnuje metodologii výzkumu. Jsou zde představena teoretická východiska...
|
|
|
Gravitace ve vyšších dimenzích
Kubíček, Jan ; Pravdová, Alena (vedoucí práce) ; Žofka, Martin (oponent)
Práce obsahuje stručný úvod do metod algebraické klasifikace ten- zorů a prostoročasů ve vyšších rozměrech. Dále pojednává o snahách rozšířit Goldbergův-Sachsův teorém do vyšších rozměrů. Jsou zde shrnuty hlavní výsled- ky pro optické matice algebraicky speciálních prostoročasů ve vyšších rozměrech. Nakonec je nalezena optická matice prostoročasu typu III v šesti dimenzích užitím Bianchiho identit. Byly nalezeny některé vlastnosti optické matice prostoročasu typu III platné i v obecné dimenzi. V dodatcích jsou zkoumány různé vlastnosti rovnic získaných z Bianchiho identit pro prostoročas typu III. 1
|
|
|
Tenké disky a prstence jako zdroje Weylových prostoročasů
Kubíček, Jan ; Semerák, Oldřich (vedoucí práce) ; Žofka, Martin (oponent)
Statická a axiálně symetrická vakuová řešení Einsteinových rovnic lze popsat Weylovou metrikou, která závisí jen na dvou neznámých funkcích, daných Laplaceovou rovnicí a křivkovým integrálem. V této práci studujeme některé vlastnosti dvou Weylových prostoročasů, jejichž zdroji jsou jednorozměrné prstence - Appellův prstenec, resp. Bachův-Weylův prstenec. Na chování vlastních vzdáleností a geodetik v centrální oblasti konkrétně ukazujeme, že při zobrazení ve Weylových souřadnicích představují tyto zdroje směrové singularity. 1
|
|
|
Contextualising or relativising evil? A probe into US antebellum slavery
Kubíček, Jan ; Ženíšek, Jakub (vedoucí práce) ; Topolovská, Tereza (oponent)
Účelem této práce je prozkoumat zrušení otroctví v USA v období před občanskou válkou. Analýze je provedena skrze levicově orientované prizma představené Michaelem Parentim. První část práce představuje stručné vysvětlení Parentiho teorie na příkladu pozdní římské republiky a jejím politicko-ekonomickém pozadí, které je znázorněno v knize The Assassination of Julius Caesar. Tato část také pokrývá historické precedenty otroctví spolu se specifickými vědecky podloženými argumenty ve prospěch otroctví, se kterými přisel Samuel Cartwright. Závěrečná část popisuje proces zrušení otroctví. Závěrem vytváří analogii mezi římskou senátorskou demokracií a rasovým otroctvím v USA před rokem 1861. Tato analogie je postavěna na premise, že v obou případech privilegovaná společenská třída ovlivnila výklad těchto dějin ve svůj prospěch, aby zakryla své ekonomické zájmy. Klíčová slova: Michael Parenti, otroctví, dějinné vypravování, vykořisťování, Samuel Cartwright, proces zrušení otroctví
|
|
|
Statistická podpora procesu řízení firmy
Kubíček, Jan ; Jankových, Róbert (oponent) ; Maradová, Karla (vedoucí práce)
Diplomová práce se zabývá tématem statistické podpory procesu řízení firmy. Jsou popsány metody a nástroje statistického řízení. Dále jsou probrány požadavky na statistické řízení procesu v rámci automotive, a to konkrétně dle požadavku auditové metody VDA 6.3 a standardu IATF 16949. Práce mapuje současný stav statistického řízení ve firmě Sanmina-SCI Czech Republic s.r.o. Zavadí se statistické řízení procesu dle požadavku VDA 6.3 a porovnávají se statistická data za použití současných podpůrných software a programu Palstat. Tato praktická část je zpracovávána při zavádění poskytování služby pro automotive zákazníka.
|
host ::
RSS.