|
Height measurement in the northern area of mining areas Doubrava and Karviná Mines In 2016
Kajzar, Vlastimil ; Waclawik, Petr ; Staš, Lubomír
In the northern area of mining areas Doubrava and Karvina mines on the border RA Detmarovice and Doubrava are implemented, the mining activities. For this reason, in order to detect possible effects of the mine to the surface and surface objects twice a year height focuses, points in this area stable. From 2014 he was a contractor for these works chosen by the Institute of Geonics, v.v.i., Ostrava. In August and November 2016 survey conducted campaigns planned this year, during which it conducted a total of 4 highrise focus of inter-related leveling routes, which are formed by these points. Highrise points are stabilized in the area of interest in several ways - usually in steel design height marks on buildings, then as an iron bolt concreted in the ground or using nails driven into the concrete foundation or other alternative means. Distribution points in the area of interest is indicative captured in the map appendix. Existing trace and focus points are highlighted in green, yellow trace inaccessible points, refocused points in red and violet points that have occurred to their long term disablement or destruction. Each zaměřovaných points in order to trace the terrain carefully documented (GPS coordinates, photos, text description) and registered. These documents are available from the contractor.
|
|
Old or new in the Antonín Dvořák´s Serenade op. 44
Kolátorová, Petra
The paper considers the genre of the orchestral serenade in the context of reflections on “old” and “new”. The serenade form was rediscovered for the 19th century by the German composer Johannes Brahms, who built on the legacy of Viennese classicism. In the case of Antonín Dvořák’s Serenade for Wind Instruments, op. 44, it is also possible, on the basis of analysis and historical connections, to speculate about classicist models, specifically Wolfgang Amadeus Mozart’s Serenade in B Flat Major, KV 361/370a. Dvořák took Brahms’ initiative a step further, with his Serenade op. 44 presaging the trend in development towards neoclassicism, which, however, was to come much later.
|
|
Sorption and Stabilization of Metals/Mettalloids by Innovative Synthesized Sorbent Amochar.
Ouředníček, P. ; Trakal, L. ; Komárek, M. ; Pohořelý, Michael
Remediation of contaminated soil which is based on stabilization and immobilization of potential\nhazardous substance by sorption materials has been studied intensively nowadays. Biochar – activated organic carbon belongs to this group of stabilizing agents which can adsorb wide range of contaminants, including metals/metalloids. Surface area of the biochars is quite large in general and functional groups (e.g. COO–) can form chelates or alkaline elements on the surface, which is represented by cation exchange capacity. Altogether with the high pH values (7.00 – 10.00), biochars are quite effective sorbents and can adsorb metals/metalloids from the solution (ground water), especially in acidic soils (in the environments affected by intensive mining activities). Sorption\neffectiveness can be increased (especially for As (V) or Cr (VI) sorption) by modification of biochar by various types of secondary oxides. Innovative sorbent AMOchar (AMO + biochar) has been synthesized currently. The product was prepared by adding of biochar to the reaction solution during amorphous manganese oxide (AMO) synthesis. The AMOchar was formed mainly by Mn-oxalates which had coated surface of the pristine biochar. AMOchar composite was able to remove significantly higher amounts of various metal(loid)s from the solution despite the rather high pH of the material. Sorption effectiveness was high not only in case of Pb (II) sorption (almost 99%), and Cd(II) (51.2%), but also a very high amount of As(V), 91.4%. Additionally, both AMOchar composite was able to reduce Mn leaching. This can avoid potential post-contamination caused by the dissolution of less stable Mn-oxalates as observed in the pure AMO.
Fulltext: content.csg - PDF Plný tet: SKMBT_22316111113040 - PDF
|
|
Tenancy spouses and use of the flat spouses in a new arrangement after January 1, 2014
Prantlová, Soňa ; Kadlecová, Eva (advisor) ; Pavla, Pavla (referee)
The thesis is devoted to the topic of tenancy by the spouses, and its use as is specified in the new adaptation of the Civil Code no. 89/2012 Coll. It replaced until functioning Civil Code from the year 1964. The new legislation is specified series of new institutes, whose primary aim is to protect the weaker party, in the case of tenant. The diploma thesis was divided into theoretical and practical part. In the theoretical part, was attention paid to basic concepts which have been defined. There were characterized rights of tenant and landlord, analyzed housing legislation according to the new Civil Code. The practical part was devoted to the interpretation of survey results. There were approached tenants of several apartment buildings in Kralupy nad Vltavou. Based on the findings, were designed some recommendations to raise awareness about the rights and responsibilities of tenants, as well as about the whole issue of housing legally.
|
|
Partial Report IV / 2016 - Rating of the deformation stress monitoring the state of the rock mass during mining coal seam 30 (634) within the trial operation of mining method corridor - a pillar in OPJ ČSM - NORTH
Waclawik, Petr ; Ptáček, Jiří ; Kukutsch, Radovan ; Kajzar, Vlastimil ; Koníček, Petr ; Souček, Kamil ; Staš, Lubomír
Monitoring of the deformation stress state of the rock mass is a prerequisite for the verification of unapproved new mining methods hall-pillar and its further application in the Czech part of the Upper Silesian coal basin. This mining method is designed on the basis of experiences and practices that are verified in different natural conditions and depths below the surface and is therefore essential for the verification of conditions for the Czech part of the Upper Silesian Basin based on geotechnical monitoring. The present report is prepared on the basis of a contract no. 942/50/10, where the Institute of Geonics, v.v agrees to make periodic evaluation of monitoring data napěťodeformačního state of the rock mass. In accordance with the aforementioned agreement, the message is processed in the six-month period and continues in the interim report III / 2015 (Waclawik et al. 2015) passed buyers in April this year. Interim results of the geotechnical monitoring, such as the experience gained during the first conquest dobývky V show specifics of natural conditions in trial operation unapproved new mining methods hall-pillar.
Fulltext: content.csg - PDF Plný tet: UGN_0464907 - PDF
|
|
Subspace Modeling of Prosodic Features for Speaker Verification
Kockmann, Marcel ; Kenny, Patrick (referee) ; Nöth, Elmar (referee) ; Černocký, Jan (advisor)
Předložená disertační práce se zabývá ověřováním mluvčího pomocí prozodických příznaků zahrnujících hodnoty základního tónu, energie a délek řečových úseků. Studovali jsme dvě rozdílné techniky pro parametrizaci: první vede k dobře definované sadě menšího počtu příznaků, druhá k vysoko-dimenzionální sadě heterogenních prozodických příznaků. První část práce se věnuje vývoji příznaků reprezentujících prozodické kontury, zde jsme vyvinuli a ověřili několik modelovacích technik, s důrazem na modelování v reprezentativních podprostorech. Druhá část práce se zaměřuje na nové pod-prostorové modelovací techniky pro heterogenní prozodické parametry s velkou dimenzionalitou. Model je teoreticky odvozen a experimentálně ověřen na oficiálních datech z NIST evaluací ověřování mluvčího (NIST Speaker Recognition Evaluation). Ve srovnání s ostatními současnými prozodickými jsme dosáhli podstatně lepších výsledků. Na konci práce presentujeme také novou techniku pro elegantní kombinaci dvou prozodických systémů. Tato technika může být použita rovněž pro fúzi prozodického systému se standardním přesným cepstrálním systémem, což vede k dalšímu podstatnému zvýšení úspěšnosti verifikace.
|
|
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.
|
|
Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (referee) ; Vojnar, Tomáš (referee) ; Meduna, Alexandr (advisor)
V této disertační práci jsou studovány teoretické vlastnosti gramatik s omezenými derivačními stromy. Po uvedení současného stavu poznání v této oblasti je výzkum zaměřen na tři základní typy omezení derivačních stromů. Nejprve je představeno zcela nové téma, které je založeno na omezení řezů a je zkoumána vyjadřovací síla takto omezené gramatiky. Poté je zkoumáno několik nových vlastností omezení kladeného na cestu derivačních stromů. Zejména je studován vliv vymazávacích pravidel na vyjadřovací sílu gramatik s omezenou cestou a pro tyto gramatiky jsou zavedeny dvě normální formy. Následně je popsána nová souvislost mezi gramatikami s omezenou cestou a některými pseudouzly. Dále je prezentován protiargument k vyjadřovací síle tohoto modelu, která byla dosud považována za dobře známou vlastnost. Nakonec je zavedeno zobecnění modelu s omezenou cestou na ne jednu, ale několik cest. Tento model je následně studován zejména z hlediska vlastností vkládání, uzávěrových vlastností a vlastností syntaktické analýzy.
|
|
Test Application Methodology Based On the Identification of Testable blocks
Herrman, Tomáš ; Plíva, Zdeněk (referee) ; Racek, Stanislav (referee) ; Kotásek, Zdeněk (advisor)
The PhD thesis deals with the analysis of digital systems described on RT level. The methodology of data paths analysis is decribed, the data path controller analysis is not solved in the thesis. The methodology is built on the concept of Testable Block (TB) which allows to divide digital component to such segments which can be tested through their inputs/outputs, border registers and primary inputs/outputs are used for this purpose. As a result, lower number of registers is needed to be included into scan chain - border registers are the only ones which are scanned. The segmentation allows also to reduce the volume of test vectors, tests are generated for segments, not for the complete component. To identify TBs, two evolutionary algorithms are used, they operate on TB formal model which is also defined in the thesis.
|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (referee) ; Yamamura,, Akihito (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce studuje synchronní formální systémy založené na gramatikách a převodnících a zkoumá jak jejich teoretické vlastnosti, tak i perspektivy praktických aplikací. Práce představuje nové koncepty a definice vycházející ze známých principů řízeného přepisování a synchronizace. Navrhuje alternativní způsob synchronizace bezkontextových gramatik, založený na propojení pravidel. Tento princip rozšiřuje také na řízené gramatiky, konkrétně gramatiky s rozptýleným kontextem a maticové gramatiky. Dále je představen na podobném principu založený nový druh převodníku, tzv. pravidlově omezený převodník. Jedná se o systém složený z konečného automatu a bezkontextové gramatiky. Práce prezentuje nové teoretické výsledky ohledně generativní a přijímajicí síly. Poslední část práce zkoumá možnosti lingvisticky orientovaných aplikací se zameřením na překlad přirozeného jazyka. Diskutuje a srovnává hlavní výhody nových modelů s využitím vybraných případových studií z českého, anglického a japonského jazyka pro ilustraci.
|