|
Hudba Zdeňka Lišky k filmu Markéta Lazarová
Černíček, Jan ; Klimeš, Ivan (oponent) ; Gabrielová, Jarmila (vedoucí práce)
CÍLE PRÁCE: Shrnutí dosavadního bádání o osobnosti filmového skladatele Zdeňka Lišky, vytvoření komentovaného přehledu literatury k problematice filmové hudby. Prezentace výsledků komplexní analýzy hudby k filmu Marketa Lazarová. Nikoliv popis průběhu hudební stopy vzhledem k obrazu, ale pokus o funkční rozbor hudební složky a jejího začlenění do celkové struktury vyjadřovacích soustav filmu. METODA: Podrobné studium dostupných materiálů k osobnosti Zdeňka Lišky, komplexní rozbor široké škály pramenů k filmu Marketa Lazarová (kopie rukopisné partitury, rukopisné poznámky Františka Vláčila, několik verzí scénáře od rukopisu až ke knižnímu vydání), doplněný rozhovory s nejbližšími spolupracovníky Zdeňka Lišky a Františka Vláčila, přítomnými vzniku filmu. Vytvoření soustavy hledisek, z nichž byly výsledky rozboru sledovány a systematizovány (hudební jazyk, hierarchie hudebních čísel, forma celku i jednotlivých hudebních vstupů, použití textů, ticha, vnitroobrazových a mimoobrazových hudebních objektů). VÝSLEDKY: Zdeněk Liška vytvořil složitou hudební strukturu, jež s charakterem filmu konvenuje především zvoleným hudebním jazykem. Ten je jen velmi volně odvozen od základních atributů středověké hudební kultury, jež skladatel vsadil do stylového rámce hudby první poloviny 20. století a částečně i Nové hudby....
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
Although many examples showing the merits of evolutionary design over conventional design techniques utilized in the field of digital circuits design have been published, the evolutionary approaches are usually hardly applicable in practice due to the various so-called scalability problems. The scalability problem represents a general problem that refers to a situation in which the evolutionary algorithm is able to provide a solution to a small problem instances only. For example, the scalability of evaluation of a candidate digital circuit represents a serious issue because the time needed to evaluate a candidate solution grows exponentially with the increasing number of primary inputs. In this thesis, the scalability problem of evaluation of a candidate digital circuit is addressed. Three different approaches to overcoming this problem are proposed. Our goal is to demonstrate that the evolutionary design approach can produce interesting and human competitive solutions when the problem of scalability is reduced and thus a sufficient number of generations can be utilized. In order to increase the performance of the evolutionary design of image filters, a domain specific FPGA-based accelerator has been designed. The evolutionary design of image filters is a kind of regression problem which requires to evaluate a large number of training vectors as well as generations in order to find a satisfactory solution. By means of the proposed FPGA accelerator, very efficient nonlinear image filters have been discovered. One of the discovered implementations of an impulse noise filter consisting of four evolutionary designed filters is protected by the Czech utility model. A different approach has been introduced in the area of logic synthesis. A method combining formal verification techniques with evolutionary design that allows a significant acceleration of the fitness evaluation procedure was proposed. The proposed system can produce complex and simultaneously innovative designs, overcoming thus the major bottleneck of the evolutionary synthesis at gate level. The proposed method has been evaluated using a set of benchmark circuits and compared with conventional academia as well as commercial synthesis tools. In comparison with the conventional synthesis tools, the average improvement in terms of the number of gates provided by our system is approximately 25%. Finally, the problem of the multiple constant multiplier design, which belongs to the class of problems where a candidate solution can be perfectly evaluated in a short time, has been investigated. We have demonstrated that there exists a class of circuits that can be evaluated efficiently if a domain knowledge is utilized (in this case the linearity of components).
|
|
Transformace československého bankovnictví v letech 1989-1992
Podlipská, Petra ; Jakubec, Ivan (vedoucí práce) ; Szobi, Pavel (oponent)
Transformace bankovnictví mezi lety 1989-1992 byl velmi složitý proces, postihující celou ekonomiku země, neboť se dotkl každého podnikatelského subjektu včetně orgánů státní správy, který měl vedený účet nebo úvěr u některého z československých bankovních domů. Práce se pokusí zjistit, zda bankovní krize v devadesátých letech minulého století, projevující se vysokým počtem bankrotujících bank, mohla mít počátky v období transformace. Zaměří se zejména na privatizaci bankovního sektoru a legislativní vývoj ve sledovaném období. Práce bude založena především na fondu Státní banky československé, na dobovém odborném tisku, stenoprotokolech uložených v digitálním depozitáři Poslanecké sněmovny České republiky a současné odborné literatuře k tématu.
|
|
Techniky zpracování tuhých a tekutých kovů založené na elektromagnetické indukci
Doležel, Ivo ; Šolín, Pavel ; Musil, Ladislav ; Ulrych, B. ; Karban, P. ; Barglik, J.
Mnohé současné průmyslové technologie spojené se zpracováním tuhých a tekutých kovů jsou založeny na tepelných a silových účincích elektromagnetických polí. Základním procesem je indukční ohřev kovů, jenž předchází dalším operacím, jako popouštění, vysoušení, tavení, kalení, lisování za tepla atd. Příspěvek shrnuje fyzikální podstaty těchto procesů (jež představují zpravidla složité sdružené problémy) a představuje jejich matematické a počítačové modely jakož i metody jejich řešení.
|
|
Právní a zdravotně sociální aspekty činnosti OSPOD jako ustanovených opatrovníků v zámu nezletilých dětí
BORSKÁ, Jana
Česká republika, jako signatář Úmluvy o právech dítěte, svěřila výkon státní správy na úseku péče o nezletilé děti obecním úřadům obcí s rozšířenou působností, kde ochranu práv a oprávněných zájmů nezletilých dětí vykonávají orgány sociálně právní ochrany dětí (dále jen OSPOD), které jsou začleněny do systému výkonu státní správy v územním členění tak, aby byla zajištěna komplexní péče o nezletilé děti v rozsahu stanoveném zákonem o sociálně právní ochraně dětí. Postavení a úloha OSPOD, který je pověřen výkonem státní správy na úseku ochrany nezletilých dětí, jsou upraveny zák. č. 359/1999 Sb., o sociálně právní ochraně dětí, v platném znění. Stejně důležité je zakotvení postavení lidí pracujících na těchto úřadech. Z hlediska odbornosti jsou na ně kladeny vysoké nároky z hlediska znalostního profilu zejména z oboru práva. Jedná se o velice náročnou práci, která klade vysoké nároky na osobnostní profil zaměstnance. ČR provedla v posledních třech letech rozsáhlé zásahy do právní úpravy problematiky sociálně právní ochrany dětí, kde došlo k posílení ochrany práv nezletilých dětí a stanovení nových nástrojů k jejich ochraně. Přijetím nové právní úpravy rodinného práva, které je komplexně upraveno v zák. č. 89/2012 Sb., občanském zákoníku, následovala nová právní úprava procesních předpisů spojených s ochranou práv nezletilých dětí, kde vedle zák. č. 99/1963, občanský soudní řád platí také zák. č. 292/2013 Sb., o zvláštních řízeních soudních. Rozhodování o nezletilých dětech stát svěřil převážně do pravomoci soudů, které jmenují místně příslušný OSPOD opatrovníkem k zastupování zájmů nezletilých dětí. Na základě provedeného rozboru základních pojmů bylo cílem zjistit názory vybraných vedoucích pracovníků OSPOD a soudců okresních soudů na vydefinované problémy vyskytující se v postupech činnosti OSPOD a soudů při ochraně zájmu nezletilých dětí. Ve výzkumné části práce byly rozborem kazuistik vytipovány problémy v činnosti OSPOD. Z návrhů soudců i vedoucích pracovníků OSPOD vyplynula nezbytnost sjednocení místní příslušnosti. Soudy navrhují sjednocení dle místa, kde se nezletilé dítě zdržuje; OSPOD dle místa trvalého pobytu. Všech 10 oslovených vedoucích pracovníků OSPOD označilo za problém dožádání, kde tento institut není zahrnut do hodnocení výkonů, nelze jej odmítnout. Podjatost činí problémy v různých fázích řízení - je zde patrný rozdílný přístup soudů k řešení dané problematiky (některé vznesenou námitku podjatosti u soudu řeší a jiní nikoliv) a pro pracovníky OSPOD je obtížné odhadnout - jak se zachovat, je-li vůči nim námitka podjatosti vznesena (z tohoto důvodu bylo téma "podjatosti zpracováno komplexně včetně výkladu právního postupu pro pracovníky OSPOD). Vzdělávání pracovníků OSPOD je zákonem stanovenou povinností. Ne všem OSPOD se daří zajistit školení v požadovaném rozsahu - a to z finančních důvodů (průměrné náklady na školení na jednoho zaměstnance je od 9167,-- do 13400 Kč ročně - tyto náklady odpovídají cca 6 dnům školení). Pracovní vytíženost způsobená nedostatečným počtem zaměstnanců OSPOD neumožňuje absolvovat tato povinná školení. V rámci zkoumání "účasti kolizního opatrovníka při jednání u soudu" bylo zjištěno - nepravidelná účast kolizního opatrovníka u soudu (neúčast při odvolacím řízení); nedostatek zkušeností pracovníků OSPOD v této oblasti; neúplné zprávy z šetření v rodině, které jsou určené pro soud. Na základě vyhodnocení rozhovorů vyplynuly návrhy na zlepšení organizace školení OSPOD, na základě povedeného komplexního rozboru řešení problematiky místní příslušnosti bylo doporučeno řešení samostatné evidence dožádání a finanční kompenzace činnosti OSPOD při dožádání provedení zastupování nezletilých u soudu, vypracování návrhů předběžných opatření, návrh možného řešení začlenění OSPOD v jiné organizační struktuře.
|
|
Porovnání technologií podbíjení koleje
Bombera, Jan ; Hartmann, Miroslav (oponent) ; Svoboda, Richard (vedoucí práce)
Diplomová práce se zabývá vyhodnocením upravené technologie podbíjení koleje a jejím porovnáním s nyní používanou technologií na základě měření geometrických parametrů koleje a jejího svislého sedání na zkušebním úseku, který byl vytvořen na dvoukolejné trati Břeclav – Přerov v blízkosti zastávky Rohatec, kde byla jedna traťová kolej v rámci pravidelných údržbových prací podbita stávajícím postupem a druhá upravenou technologií. Úprava technologie spočívá v aplikaci zvýšeného počtu záběrů podbíjecích pěchů, čímž dojde k vytvoření větší a více zhutněné štěrkové lavičky pod pražcem. Cílem práce je ověřit, zda je při upravené technologii podbíjení rychlost rozpadu geometrických parametrů koleje menší, díky čemuž by byla možnost prodloužit údržbové cykly při dodržení provozních odchylek koleje a bezpečnosti provozu.
|
|
Syntéza nesymetrických derivátů azaftalocyaninů VI.
Váchová, Lenka ; Kopecký, Kamil (oponent) ; Zimčík, Petr (vedoucí práce)
SYNTÉZA NESYMETRICKÝCH DERIVÁTŮ AZAFTALOCYANINŮ VI. Váchová Lenka Cílem bylo nalézt nejvhodnější postup syntézy azaftalocyaninů (AzaPc) s různým počtem dusíkatých substituentů na periferii. Cyklizací prekurzoru 5-(terc-butylsulfanyl)-6- (diethylamino)pyrazin-2,3-dikarbonitril (1) s jednou terc-butylsulfanylovou a jednou diethylaminovou skupinou vznikl zinečnatý komplex (2) složený ze čtyř jednotek tohoto prekurzoru. Jeho Rf hodnota se pohybovala okolo hodnot symetrického 2,3,9,10,16,17,23,24- oktakis(terc-butylsulfanyl))-1,4,8,11,15,18,22,25-(oktaaza)ftalocyaninatozinečnatého komplexu, což by znemožnilo jejich izolaci ze směsi. Dvoustupňovou syntézou byl připraven více hydrofilní prekurzor 5-(terc-butylsulfanyl)-6-(2-hydroxyethylmethylamino)pyrazin-2,3-dikarbonitril (6) pro následnou cyklizaci. Při jeho syntéze vznikl také vedlejší produkt s novým morfolinovým kruhem 4-methyl-3,4-dihydro-2H-pyrazino[2,3-b][1,4]oxazin-6,7-dikarbonitril (5). K cyklizaci prekurzoru s bezvodým octanem zinečnatým v prostředí bezvodého dimethylformamidu nedošlo. Vzhledem k tomu, že u bezkovovýh derivátů podobných látek dochází k výrazným rozdílům v Rf hodnotách, byly k cyklizaci metodou statistické kondenzace použity dva vhodné prekurzory - 5,6-(terc-butylsulfanyl)-2,3-dikarbonitril (7) a (1) v molárním poměru 1:1. V prostředí...
|
|
Systémový model pro analýzu rozhodování žadatelů projektu CzechEkoSystem
Polák, Petr ; Mildeová, Stanislava (vedoucí práce) ; Král, Miroslav (oponent)
Systémová dynamika představuje přístup sloužící k pochopení chování komplexních systémů. Tato diplomová práce se zaměřuje na simulační model, vycházející z principů systémové dynamiky a řešící problém nedostatečného počtu kandidátů, kteří splňují podmínky projektu stanovené vládní agenturou CzechInvest. Tento projekt s názvem CzechEkoSystem je převážně zaměřen na efektivní rozvoj malých a středních podniků s inovativním podnikatelským záměrem. Tato práce začíná popisem základních teoretických poznatků ze systémové dynamiky, a to včetně konkrétních nástrojů systémových modelů, prostřednictvím nichž je popsán simulační model. Poté práce pokračuje představením klíčových pojmů souvisejících s projektem CzechEkoSystem. V závěru jsou prezentovány výsledky a doporučení vedoucí ke zvýšení seznamu inovativních malých a středních podniků s ambicí přihlášení se do projektu CzechEkoSystem.
|
|
Stanovení zbytkové napjatosti metodou vrtání otvoru s využitím MKP
Civín, Adam ; Vlk, Miloš (oponent) ; Hlavoň, Pavel (vedoucí práce)
Zbytková napjatost působící v tělese může i nemusí být z hlediska bezpečnosti přínosná pro danou konstrukci či součást. Cílem této práce není pojednání o možných způsobech vzniku zbytkové napjatosti v materiálech, ani o jeho odstranění, ale je zaměřena na jednu z nejrozšířenějších metod měření zbytkových napětí, jakou je odvrtávací metoda. Abychom mohli stanovit, jak nám tato napjatost ovlivňuje chování materiálu, musíme být schopni určit velikosti těchto napětí a jejich hlavní směry působení. Jak již bylo řečeno, jednou z mnoha metod sloužící k vyhodnocení potřebných informací, je metoda semidestruktivní, a to metoda vrtání otvoru. Tato metoda je tvůrčí podstatou celé práce a dále je omezena pouze na určení homogenního zbytkového napětí pro konečné tloušťky ocelových desek. Jedná se o hookovský, izotropní, lineárně pružný materiál s materiálovými charakteristikami =0,3 a E=2,1[10]^5 MPa. Pro aplikaci této metody je potřeba určit kalibrační koeficienty “a“ a “b“, kterých se dále využívá k co nejpřesnějšímu stanovení zbytkové napjatosti v konkrétní hloubce odvrtaného materiálu, při daném průměru vrtaného otvoru a známé tloušťce odvrtávaného tělesa. Geometrie tělesa je zjednodušena na tvar hranolu s rovinnými povrchovými plochami. Dále je nutné poznamenat, že kalibrační koeficienty jsou stanoveny pouze pro jeden typ tenzometrické růžice RY 61 S, která je v tomto případě nedílnou součástí jak numerického, tak experimentálního stanovení kalibračních koeficientů. Motivací a zároveň požadovaným výsledkem této diplomové práce je podat srozumitelný a ucelený náhled na přesnost, efektivnost a použitelnost kalibračních koeficientů v závislosti na tloušťce tělesa, velikosti vrtaného otvoru, podmínky průchozí a neprůchozí vrtané díry, počtu odvrtaných vrstev a v neposlední řadě na kvalitě a přesnosti tvorby výpočtového modelu. K dosažení těchto výsledků bylo využito simulace zbytkové napjatosti, spojené s výpočtovým modelováním pomocí metody konečných prvků. Výsledky jsou prezentovány v podobě 3D grafů, 2D grafů, tabulek a procentuálních odchylek výsledných hodnot vzhledem k výsledkům z jiných publikací, či s analytickým řešením. Přestože je práce zaměřena na numerické modelování a simulace pomocí MKP, má bohužel i tato metoda několik více či méně podstatných omezení. Mezi ně například patří vliv excentricity vrtaného otvoru vzhledem ke středu tenzometrické růžice, vznik vysokých hodnot redukovaných napětí na čele vyvrtaného otvoru coby koncentrátoru napětí a dále jeho následná plastifikace, vliv geometrických nepřesností otvoru a další. Všechny tyto aspekty, ovlivňující přesnost stanovení kalibračních koeficientů, nelze do numerického modelu v rámci této diplomové práce zahrnout. Blíže je o této problematice pojednáno v rešeršní studii. Dosažené výsledky řešení by měly napomoci k praktickému využití předem stanovených kalibračních koeficientů při určování homogenního napětí po hloubce u různých tloušťek vzorků s požadovanou velikostí a hloubkou odvrtaného otvoru. Všechny uvedené výsledky jsou ale použitelné pouze pro jeden typ tenzometrické růžice, a to konkrétně pro typ RY 61 S firmy HBM.
|
host ::
