|
The music of Zdeněk Liška for the movie Markéta Lazarová
Černíček, Jan ; Klimeš, Ivan (referee) ; Gabrielová, Jarmila (advisor)
OBJECTIVES: The work will summarize our current knowledge of the film music composer Zdeněk Liška and create a list of literature on film music complemented with the author's comments. The main objective is a complex analysis of the music in Marketa Lazarová. This does not include the description of the relation between the sound track and picture. The thesis will provide a functional analysis of the music as a part of the structure of the film's expressional devices. METHODICS: The method chosen is a detailed study of available sources on Zdeněk Liška, complex analysis of a wide range of sources on the film Marketa Lazarová (including a copy of the musical score manuscript, handwritten notes by František Vláčil, several versions of the script ranging from the manuscript to a book release) complemented by interviews with close colleagues of Zdeněk Liška and František Vláčil, who were also present at the film production. Another part of the selected methodics is the creation of a system of viewpoints used for the analysis (musical expression, hierarchy of the musical numbers, form of the whole as well as individual parts, use of text, use of silence, use of musical objects internal and external to the picture). SUMMARY: Zdeněk Liška created a complex musical structure that corresponds well to the character...
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (referee) ; Zelinka,, Ivan (referee) ; Sekanina, Lukáš (advisor)
Ačkoliv můžeme v literatuře nalézt řadu příkladů prezentujících evoluční návrh jakožto zajímavou a slibnou alternativu k tradičním návrhovým technikám používaným v oblasti číslicových obvodů, praktické nasazení je často problematické zejména v důsledku tzv. problému škálovatelnosti, který se projevuje např. tak, že evoluční algoritmus je schopen poskytovat uspokojivé výsledky pouze pro malé instance řešeného problému. Vážný problém představuje tzv. problém škálovatelnosti evaluace fitness funkce, který je markantní zejména v oblasti syntézy kombinačních obvodů, kde doba potřebná pro ohodnocení kandidátního řešení typicky roste exponenciálně se zvyšujícím se počtem primárních vstupů. Tato disertační práce se zabývá návrhem několika metod umožňujících redukovat problem škálovatelnosti evaluace v oblasti evolučního návrhu a optimalizace číslicových systémů. Cílem je pomocí několika případových studií ukázat, že s využitím vhodných akceleračních technik jsou evoluční techniky schopny automaticky navrhovat inovativní/kompetitivní řešení praktických problémů. Aby bylo možné redukovat problém škálovatelnosti v oblasti evolučního návrhu číslicových filtrů, byl navržen doménově specifický akcelerátor na bázi FPGA. Tato problematika reprezentuje případ, kdy je nutné ohodnotit velké množství trénovacích dat a současně provést mnoho generací. Pomocí navrženého akcelerátoru se podařilo objevit efektivní implementace různých nelineárních obrazových filtrů. S využitím evolučně navržených filtrů byl vytvořen robustní nelineární filtr implusního šumu, který je chráněn užitným vzorem. Navržený filtr vykazuje v porovnání s konvenčními řešeními vysokou kvalitu filtrace a nízkou implementační cenu. Spojením evolučního návrhu a technik známých z oblasti formální verifikace se podařilo vytvořit systém umožňující výrazně redukovat problém škálovatelnosti evoluční syntézy kombinačních obvodů na úrovni hradel. Navržená metoda dovoluje produkovat komplexní a přesto kvalitní řešení, která jsou schopna konkurovat komerčním nástrojům pro logickou syntézu. Navržený algoritmus byl experimentálně ověřen na sadě několika benchmarkových obvodů včetně tzv. obtížně syntetizovatelných obvodů, kde dosahoval v průměru o 25% lepších výsledků než dostupné akademické i komerční nástroje. Poslední doménou, kterou se práce zabývá, je akcelerace evolučního návrhu lineárních systémů. Na příkladu evolučního návrhu násobiček s vícenásobnými konstantními koeficienty bylo ukázáno, že čas potřebný k evaluaci kandidátního řešení lze výrazně redukovat (defacto na ohodocení jediného testovacího vektoru), je-li brán v potaz charakter řešeného problému (v tomto případě linearita).
|
|
Transformation of czechoslovak banking in the years 1989-1992
Podlipská, Petra ; Jakubec, Ivan (advisor) ; Szobi, Pavel (referee)
Transformation of banking in the years 1989-1992 was a very complex process affecting the whole economy of the country as it touched every business entity, including government authorities, which have an bank account or a loan from one of the Czechoslovak banks. This thesis will attempt to determine whether the bank crisis in the nineties, manifested by a high number of bankrupt banks, could have origins in transition. It will focus mainly on the privatization of the banking sector and legislative developments in the period. Thesis will be based mainly on the archival fund of the State Bank of Czechoslovakia, on contemporary scientific press, stenographic protocols stored in digital depositary of the Chamber of Deputies of the Czech Republic and current scientific literature on the topic.
|
|
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.
A lot of up-to-date industrial technologies associated with treatment of solid and liquid metals are based on thermal and force effects of electromagnetic field. The fundamental process is induction heating of metals that precedes a number of consequent operations such as tempering, drying, melting, stirring, hardening, hot pressing etc. The paper summarizes physical essence of the above processes (that usually represent complex coupled problems) and presents their mathematical and computer models as well as possible methods of their solutions.
|
|
Právní a zdravotně sociální aspekty činnosti OSPOD jako ustanovených opatrovníků v zámu nezletilých dětí
BORSKÁ, Jana
The Czech Republic as a signatory of the Convention on the Rights of the Child has vested the practice of state administration in the field of care for minor children to municipalities with extended powers, where the protection of the rights and legitimate interests of minor children is safeguarded by state authorities of social and legal protection of children (ASLPC hereinafter). These authorities are incorporated to the extent laid down by the Act on Social and Legal Protection of Children (Act No 359/1999 Coll., as amended). The position and roles of ASLPC and their competence and jurisdiction are also regulated by the same act. The position of workers of these authorities and its legal embodiment is equally important. Regarding professionality, there are high demands on these workers. In the Czech Republic, significant changes in legislature have been made over the past three years. These amendments have led to the strengthening of the rights of minor children and to the establishing of new tools for their protection. In connection with the adoption of new substantive regulation of family law, which is now exhaustively dealt with by the Act No 89/2012 Coll., the Civil Code, new procedural rules have been established regarding protection of rights of minor children. Such procedural legislation includes (apart from the long-existent Act No. 99/1963, the Code of Civil Procedure) the Act No 292/2013 Coll., on Special Civil Proceedings. The decision-making regarding minor children has been vested mainly by the state into the competence of courts. The courts appoint the locally relevant ASLPC as a guardian who then represents the interests of minor children. The purpose, interwoven with and derived from the first one, was to explore the opinions of selected social workers of ASLPC and of district court judges regarding the defined problems occurring during the work of ASLPCs and courts while protecting the interests of minor children. These particularly include: the use of the tool of precautionary measure; problems of different territorial jurisdiction of courts and ASLPCs; processing of complaints regarding bias in various phases of the proceedings; professional training of workers of ASLPC It is evident from the proposals of both judges and ASLPC workers that it is necessary to unify territorial jurisdiction. The courts are suggesting the priority criterion of the address where the child mainly resides. ASLPC workers suggest the official permanent residence as the prime criterion. Bias causes problems in all phases of proceedings. It is obvious that courts take differing approaches towards the solution of this problem (some courts solve the problem of bias complaints filed by the parties while other courts do not) and for ASLPC workers it is difficult to assess how to act when such complaint is raised against them. The training of ASLPC workers - workers are obliged to educate themselves and their employer is obliged to finance such training. Not all ASLPCs are able to provide training in the required extent - due to financial reasons (the average costs of education of one employee pose from 9,169 to 13,400 CZK annually and they cover approximately 6 days of training). The heavy work-load caused by insufficient numbers of ASLPC employees prevents them from completing such compulsory training. As part of the examination of the "participation of a collision guardian in court proceedings" it has been found out that irregular participation of the worker in the proceedings (absence from participation in appeals proceedings); incomplete reports (directed to courts) from surveys in families. Based on comprehensive examination of the problems of territorial jurisdiction, it was recommended that requests are independently recorded and financial compensation is provided for ASLPCs who are requested to represent minors in front of courts, to draft proposals for precautionary measures.
|
|
Comparison of Plain Line Tamping Methods
Bombera, Jan ; Hartmann, Miroslav (referee) ; Svoboda, Richard (advisor)
The diploma´s thesis deals with evaluation of adjusted track tamping technology and its comparison with currently used technology. This is based on track geometry parameters measuring and its vertical movement on the test section, which was created on double track Břeclav – Přerov near Rohatec station. On this test section one line was tamped with the currently used method within regular maintenance work and the second line was tamped with the adjusted technology. The technology modification is based on application of increased number of tamping tines squeezing strokes, which results in a creation of bigger and more compacted sleeper bed. The point of this thesis is to verify, that the speed of the track geometry parameters degradation is smaller in case of adjusted technology use. Thanks to that it would be possible to extend the maintenance cycles in case of compliance with track parameters maintenance limits and traffic safety.
|
|
Synthesis of unsymmetrical derivatives of azaphthalocyanines VI.
Váchová, Lenka ; Kopecký, Kamil (referee) ; Zimčík, Petr (advisor)
SYNTHESIS OF UNSYMMETRICAL DERIVATES OF AZAPHTALOCYANINES VI. Vachova Lenka Aim of the work was to find optimal synthesis of azaphtalocyanines (AzaPcs) with different number of nitrogen-containing peripheral substituents. Zinc complexes (2) of AzaPc of tetrapyrazinoporphyrazine type were prepared by cyclization of precursor 5-(tert-butylsulfanyl)- 6-(diethylamine)pyrazine-2,3-dicarbonitrile (1). Its Rf value corresponded exactly to the symmetrical 2,3,9,10,16,17,23,24 oktakis(tert-butylsulfanyl))-1,4,8,11,15,18,22,25- (octaaza)phtalocyaninato zinc(II) complex and they will not be isolatable from statistical mixture in future. Therefore, more polar precursor 5-(tert-butylsulfanyl)-6-(2- hydroxyethylmethylamine)pyrazine-2,3-dicarbonitrile (6) was synthesized for tetramerisation. Side product containing new morpholine ring was also isolated - 4-methyl-3,4-dihydro-2H- pyrazino[2,3-b][1,4]oxazine-6,7-dicarbonitrile (5) during preparation of (6). The cyclization of (6) in anhydrous zinc acetate and anhydrous dimethylformamide was unsuccessful. Serendipitously, we have uncovered that metal-free derivatives similar to my differ in Rf values. Therefore, mixture of 15 magnesium phtalocyanines complexes (8-22) including their isomers was obtained from the statistical synthesis of...
|
|
System model for analysis of applicant decision in project of CzechEkoSystem
Polák, Petr ; Mildeová, Stanislava (advisor) ; Král, Miroslav (referee)
System Dynamics is a powerful approach to understanding the behaviour of complex systems. This thesis is focused on a simulation model, that goes from principles of System Dynamics and the model will solve the problem of insufficient number of applicants that meet a specific set of project requirements, which are defined by the government agency, CzechInvest. The project, CzechEkoSystem, is mainly focused on efficient development of small and medium sized enterprises based on their pioneering business model. The thesis begins by describing the basic theories of System Dynamics that are introduced and elaborated on, within the particular tools of the simulation model problem statement. Then key terms about the CzechEkoSystem project are introduced. In the conclusion, results and recommendations for increasing the portfolio of pioneering small and medium sized enterprises are presented.
|
|
Assesment of residual stress with drilling hole method using FEM
Civín, Adam ; Vlk, Miloš (referee) ; Hlavoň, Pavel (advisor)
Residual state of stress in structural materials affect positively or negatively behaviour of component parts. The goal of this scope is not to deal with possible process of creating residual stresses neither about elimination of residual stress, but is focused how to determine magnitude of residual stress by hole-drilling method. We need to know magnitude and direction (angular orientation) of principal stresses to determine how residual state of stress affects behaviour of specimen. The most widely used modern technique for measuring residual stresses is hole-drilling strain-gage method. Hole-drilling method is in scope of this paper and is restricted only for measuring uniform residual stresses of steel specimens with finite dimensions. Structural, linear, elastic and isotropic material model is used with material properties =0,3 and E=2,1[10]^5 MPa. For correct application of this method we need to determine calibration coefficients “a“ and “b“ first. These coefficients are used to determine magnitude and direction of residual stresses in specific depth and diameter of drilled hole for materials with finite dimensions. Geometry and shape of model is simply represented by block with planar faces. Note that numerical determination of calibration coefficients is useful only for one type of strain gauge rosette RY 61 S. Main goals of this thesis are motivation and request to clearly report effectiveness, accuracy and applicability of calibration coefficients in relation to thickness of specimen, dimensions of drilled hole, condition of “through” or “blind” hole and number of drilled increments. High quality and accuracy of created numerical model is necessary too. Numerical simulation of residual stresses by MKP needs to be done to obtain requested results. All results are presented by 3D, 2D graphs and tables and compared with analytical results or results from other authors. Although is this publication focused on numerical modeling using FEM, hole-drilling method has many significant restrictions. The most substantial of them is influence of eccentricity of drilled hole, creation of stress concentration near drilled area and subsequent plastification, influence of geometrical inaccuracy of hole, etc. All these aspects have significant influence of determining calibration coefficients and can not be included into numerical simulation. These problems are closely discussed in background research. All obtained results should be helpful for practical use of calculated calibration coefficients to determine uniform residual stresses of specimens with various thickness and drilled hole. All these results are also applicable only for one type of strain gauge rosette, which is RY 61 S.
|
guest ::
