|
Vybrané časti marketingového plánu pre nový investičný projekt
Gula, Michal ; Bílková, Jana (advisor) ; Durkoš, Jozef (referee)
Úlohou práce je vypracovať vybrané časti marketingového plánu pre novo vznikajúci investičný projekt na Slovensku. Na základe voľby a hodnotenia kritérií má autor za cieľ vybrať tri vhodné lokality pre výstavbu kogeneračnej jednotky na výrobu energie z biomasy, ktoré potom doporučí investorovi, ako najvhodnejšie. Ďalšie časti práce sa venujú návrhu prezentácie a štúdie uskutočniteľnosti.
|
|
Contemporary art after Late Photography.
Czanderle, Michal ; DVOŘÁK, Tomáš (advisor) ; JANOŠČÍK, Václav (referee)
In my work, I would like to close the term "Late photography". Personally, I believe that since the seventies we in the works of many artists find similar documentary strategies that relate to the concept of "Late photography". Currently, there is a certain exhaustion of this concept. For these reasons, I would like to focus on finding artists who suggest a new direction in photography while benefiting from a "photojournalist".
|
|
Laser cooling of the trapped ions for frequency and time metrology
Číp, Ondřej ; Pham, Minh Tuan ; Čížek, Martin ; Lešundák, Adam ; Hucl, Václav ; Hrabina, Jan ; Řeřucha, Šimon ; Jedlička, Petr ; Lazar, Josef
In the laser cooled trapped ions field current research is oriented to yield isolated ions in their basic state of the motion. The detection of the Doppler cooled iont excitation to its quadrupole transition of the electronic structure gives the opportuniny to stabilize highly coherent lasers of the optical frequency of the hundreds of THz. This way a new standart of the time or optical frequencies called „Optical atomic clock“ can be defined. Institute of the Scientific Instruments in Brno in the cooperation with the Department of the Optics of the Palacky University in Olomouc implemented a unique research infrastructure for laser cooling of 40Ca+ ions and subsequent experiments of the quantum mechanics and spectroscopy in a joint laboratory in Brno. Currently 40Ca+ ions are routinely generated and captured. The Doppler cooling of those ions is performed using dipole transition at a wavelength of the 397 nm. Also detection and spectroscopy of the electronic structure of the ion and the presence of his dark resonances is implemented.\n
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (referee) ; Křetínský, Mojmír (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá verifikací nekonečně stavových systémů, konkrétně, verifikací programů využívajích složité dynamicky propojované datové struktury. V minulosti se k řešení tohoto problému objevilo mnoho různých přístupů, avšak žádný z nich doposud nebyl natolik robustní, aby fungoval ve všech případech, se kterými se lze v praxi setkat. Ve snaze poskytnout vyšší úroveň automatizace a současně umožnit verifikaci programů se složitějšími datovými strukturami v této práci navrhujeme nový přístup, který je založen zejména na použití stromových automatů, ale je také částečně inspirován některými myšlenkami, které jsou převzaty z metod založených na separační logice. Mimo to také představujeme několik vylepšení v oblasti implementace operací nad stromovými automaty, které jsou klíčové pro praktickou využitelnost navrhované verifikační metody. Konkrétně uvádíme optimalizovaný algoritmus pro výpočet simulací pro přechodový systém s návěštími, pomocí kterého lze efektivněji počítat simulace pro stromové automaty. Dále uvádíme nový algoritmus pro testování inkluze stromových automatů společně s experimenty, které ukazují, že tento algoritmus překonává jiné existující přístupy.
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové inkluze, jež hrají zásadní roli v mnoha oblastech aplikace konečných automatů. V oblasti redukce velikosti vycházíme z dobře známých metod pro slovní automaty které jsou založeny na relacích simulace. Navrhli jsme efektivní algoritmy pro výpočet stromových variant simulačních relací a identifikovali jsme nový typ relace založený na kombinaci takzvaných horních a dolních simulací nad stromovými automaty. Tyto kombinované relace jsou zvláště vhodné pro redukci velikosti automatů slučováním stavů. Navržený princip kombinace relací simulace je relevantní i pro slovní automaty. Náš přínos v oblasti testování jazykové inkluze je dvojí. Nejprve jsme zobecnili na stromové automaty takzvané protiřetězcové algoritmy, které byly původně navrženy pro slovními automaty. Dále se nám podařilo použitím simulačních relací výrazně zefektivnit protiřetězcové algoritmy pro testování jazykové inkluze jak pro slovní, tak pro stromové automaty. Relevanci našich technik pro praxi jsme demonstrovali jejich nasazením v rámci regulárního stromového model checkingu, což je verifikační metoda založená na stromových automatech. Použití našich algoritmů zde vedlo k výraznému zrychlení a zvětšení škálovatelnosti celé metody. Základní myšlenky našich algoritmů pro redukci velikosti automatů a testování jazykové inkluze jsou aplikovatelné i na jiné typy automatů. Příkladem jsou naše redukční techniky pro alternující Büchiho automaty prezentované v poslední části práce.
|
|
Extensions to Probabilistic Linear Discriminant Analysis for Speaker Recognition
Plchot, Oldřich ; Fousek, Petr (referee) ; McCree,, Alan (referee) ; Burget, Lukáš (advisor)
Tato práce se zabývá pravděpodobnostními modely pro automatické rozpoznávání řečníka. Podrobně analyzuje zejména pravděpodobnostní lineární diskriminační analýzu (PLDA), která modeluje nízkodimenzionální reprezentace promluv ve formě \acronym{i--vektorů}. Práce navrhuje dvě rozšíření v současnosti požívaného PLDA modelu. Nově navržený PLDA model s plným posteriorním rozložením modeluje neurčitost při generování i--vektorů. Práce také navrhuje nový diskriminativní přístup k trénování systému pro verifikaci řečníka, který je založený na PLDA. Pokud srovnáváme původní PLDA s modelem rozšířeným o modelování neurčitosti i--vektorů, výsledky dosažené s rozšířeným modelem dosahují až 20% relativního zlepšení při testech s krátkými nahrávkami. Pro delší testovací segmenty (více než jedna minuta) je zisk v přesnosti menší, nicméně přesnost nového modelu není nikdy menší než přesnost výchozího systému. Trénovací data jsou ale obvykle dostupná ve formě dostatečně dlouhých segmentů, proto v těchto případech použití nového modelu neposkytuje žádné výhody při trénování. Při trénování může být použit původní PLDA model a jeho rozšířená verze může být využita pro získání skóre v případě, kdy se bude provádět testování na krátkých segmentech řeči. Diskriminativní model je založen na klasifikaci dvojic i--vektorů do dvou tříd představujících oprávněný a neoprávněný soud (target a non-target trial). Funkcionální forma pro získání skóre pro každý pár je odvozena z PLDA a trénování je založeno na logistické regresi, která minimalizuje vzájemnou entropii mezi správným označením všech soudů a pravděpodobnostním označením soudů, které navrhuje systém. Výsledky dosažené s diskriminativně trénovaným klasifikátorem jsou podobné výsledkům generativního PLDA, ale diskriminativní systém prokazuje schopnost produkovat lépe kalibrované skóre. Tato schopnost vede k lepší skutečné přesnosti na neviděné evaluační sadě, což je důležitá vlastnost pro reálné použití.
|
|
Semi - analytical computations and continuous systems simulation
Kopřiva, Jan ; Kubátová, Hana (referee) ; Novitzká,, Valerie (referee) ; Kunovský, Jiří (advisor)
The thesis deals with speedup and accuracy of numerical computation, especially when differential equations are solved. Algorithms, which are fulling these conditions are named semi-analytical. One posibility how to accelerate computation of differential equation is paralelization. Presented paralelization is based on transformation numerical solution into residue number system, which is extended to floating point computation. A new algorithm for modulo multiplication is also proposed. As application applications in solution of differential calculus are the main goal it is discussed numeric integration with modified Euler, Runge - Kutta and Taylor series method in residue number system. Next possibilities and extension for implemented residue number system are mentioned at the end.
|
|
OPTIMIZATION OF ALGORITHMS AND DATA STRUCTURES FOR REGULAR EXPRESSION MATCHING USING FPGA TECHNOLOGY
Kaštil, Jan ; Plíva, Zdeněk (referee) ; Vlček, Karel (referee) ; Kotásek, Zdeněk (advisor)
Disertační práce se zabývá rychlým vyhledáváním regulárních výrazů v síťovém provozu s použitím technologie FPGA. Vyhledávání regulárních výrazů v síťovém provozu je výpočetně náročnou operací využívanou převážně v oblasti síťové bezpečnosti a v oblasti monitorování provozu vysokorychlostních počítačových sítí. Současná řešení neumožňují dosáhnout požadovaných multigigabitových propustností při dodržení všech požadavků, které jsou na vyhledávací jednotky kladeny. Nejvyšších propustností dosahují implementace založené na využití inovativních hardwarových architektur implementovaných v FPGA případně v ASIC. Tato disertační práce popisuje nové architektury vyhledávací jednotky, které jsou vhodné pro implementaci jak v FPGA tak v ASIC. Základní myšlenkou navržených architektur je využití perfektní hashovací funkce pro implementaci přechodové tabulky konečného automatu. Dále byla navržena architektura, která umožňuje uživateli zanést malou pravděpodobnost chyby při vyhledávání a tím snížit paměťové nároky vyhledávací jednotky. Disertační práce analyzuje vliv pravděpodobnosti této chyby na celkovou spolehlivost systému a srovnává ji s řešením používaným v současnosti. V rámci disertační práce byla provedena měření vlastností regulárních výrazů používaných při analýze provozu moderních počítačových sítí. Z provedené analýzy vyplývá, že velká část regulárních výrazů je vhodná pro implementaci pomocí navržených architektur. Pro dosažení vysoké propustnosti vyhledávací jednotky práce navrhuje nový algoritmus transformace abecedy, který umožňuje, aby vyhledávací jednotka zpracovala více znaků v jednom kroku. Na rozdíl od současných metod, navržený algoritmus umožňuje konstrukci automatu zpracovávajícího libovolný počet symbolů v jednom taktu. Implementované architektury dosahují v porovnání se současnými metodami úspory paměti zlepšení až 200MB.
|
|
From Radioart to Musical Theatre
Jiřička, Lukáš ; KLÍMA, Miloslav (advisor) ; NOVOTNÝ, Pavel (referee)
This dissertation From Radioart to Musical Theatre aims at showing connections between seemingly different fields ? mainly sound-drama radioart, which in German is called Hörspiel, and musical theatre. In my dissertation, I try to define the characteristics as well as structural principles of text, space, sound, voice, acting, music and body in these transdisciplinary forms and genres, which have never retained any kind of purity in the traditional sense.In the analytical and introductory historical part of my dissertation, various seemingly different areas were introduced and discussed. These areas were musical or sound theatre in its general as well as specific form and its interrelation with sound installations, performance, radioart in form of Hörspiel, musical composition and sound art. In the following chapters, I used examples of several pivotal personalities from the German speaking area skilled in musical composition as well as directing and dramatics to present for instance the influence of musical structure on composition and other performing activities or the relationship of dramatic or literary model to its scenographic adaptation. The whole issue of relationships of disparate art forms is being showed on the examples of several artists ? directing composers who create these links thanks to their activity in various fields, as they intertwine musical and performing worlds on the level of structure, motifs and dramatics. The creators of such heterogeneous artworks using the strategy of the so-called negative dramatics are inherently split personalities - Heiner Goebbels, Helmut Oehring, Olga Neuwirth and Andreas Ammer. Goebbels as well as Oehring, Neuwirth and Ammer are able to make use of their experience with musical composition and/or work for the radio in the creation of musical performances in the way that they let particular composition techniques and staging be freely influenced by the knowledge of other media. Besides the above mentioned group of artists, I mention also other significant authors from the 20th and 21st century, who dealt with radioart, musical composition, collage and montage, performance and musical theatre - Bertolt Brecht, Dziga Vertov, Emil František Burian, Walter Ruttmann, John Cage, Karlheinz Stockhausen, Dieter Schnebel, Georg Katzer, Friedrich Schenker, FM Einheit či Laurie Anderson and Georges Aperghis. Without the influence of the last fifty year-history of radioart, musical theatre would certainly not be such an important form of alternative theatre and performing art as such. Especially nowadays, when thanks to the emancipation and stressing of sound at the expense of acting a new stage language is being created within musical theatre, and the form itself transforms into yet little analysed field of the so-called postspectacular or mechanical theatre without actors.
|
|
Project management in selected company
POKORNÝ, Radek
This work deals with project management in chosen company. It has two parts. The first part is theoretical, which is focused to theoretical treatment of the subject. It explains what is the project, management of projects, organizations of projects, processes of project management, what is target of project, communication, control, changes and risks and more. In the practical part I focused to concrete company and project management and than I analyzed concrete project. Name of the mentioned company is OHL ŽS, a.s. It is company from Spain, which acts all over the world. In the Czech Republic has the base in Brno. This company has several divisions and every of them is focused to different professional architecture. I have chosen division of structural engineering. This division builds all kinds of buildings. It could be construction of new buildings or reconstruction. To analysis of chosen project I used various business documents, contracts with investor or suppliers, document which include billing, timetable. I especially used my experience with projects of this company, and I was part of this project. Name of this project is Reconstruction of cladding including replacement windows and insulation. During the analysis of project I found a couple major gaps. If we could avoid these gaps, we could increase profit. These graphs is especially in management. At the beginning there were appointed two temporary construction managers. They doesn't care about result project, because they knew that they will not be to the end of the project. These gaps are because there is missing motivation system. Project manager can´t affect results of employees. It doesn´t depend on performance of employees, they always has the same wages. For elimination of these gaps I proposed several suggestions for improvement. The first suggestion is modification and extension of motivation system. New motivation system include personal evaluation. This evaluation depends on performance of employee. The second part is bonus from over profit. The next suggestion is make a new working position. This position would take care about controlling and project documentation. During the building project, especially at the end is construction manager very busy. It depend of decision of construction 63 manager what kind of activity will have prefer. Project documentation and administration or controlling of building works. If they are doing everything correct and technology are respect. Suggested position would take care about invoices, real work, which is done, project documentation, controlling of budget. The third suggestion is purchase of small machinery such as chipping hammers and drills. At this time they rent all devices. Rent is higher than purchase price. The last suggestion is use credit to restoration of fleet. At this time they have obsolete fleet, because the bought all cars by cash. It is not conveniently.
|