|
|
Mezinárodní hudební festival Pražské jaro v roce 1990
Januszová, Anežka ; Havelková, Tereza (vedoucí práce) ; Kratochvíl, Matěj (oponent)
Bakalářská práce pojednává o fungování Mezinárodního hudebního festivalu Pražské jaro v období po sametové revoluci. V květnu a červnu roku 1990 se konal 45. ročník festivalu v atmosféře kulturně-politických změn, které zásadně ovlivnily vyjednávání o jeho nové podobě a následném směřování v nadcházejících letech, a to nejen po stránce dramaturgické, ale i finanční a personální. Tyto proměny bylo možné sledovat na základě změn v programu festivalu, jehož několik verzí je uchováno v Archivu Pražského jara, dále dle studia archiválií a dobového tisku. Pro potřeby této práce byl vytvořen i finální revidovaný program 45. ročníku festivalu, který opravuje a doplňuje údaje uvedené na webových stránkách festivalu. Práce vsazuje získaný materiál do širších teoretických rámců ekonomické transformace, změn v oblasti firemní kultury, ale i muzikologické reflexe vývoje hudebních festivalů a institucí. Nezanedbatelné místo při utváření obrazu minulosti měly vzpomínky jak organizátorů, tak účastníků festivalu z řad hudebníků, se kterými byly vedeny rozhovory. Proměny v dramaturgii jsou sledovány na příkladu několika koncertů, které se zapsaly do vzpomínek pamětníků nebo se jinak výrazně objevovaly v dobovém tisku. Změny v oblasti financování, které se dle archivních dokumentů podařilo vysledovat a identifikovat,...
|
|
|
Abstract interpretation of pandas
Hrubý, Jan ; Petříček, Tomáš (vedoucí práce) ; Parízek, Pavel (oponent)
Pandas je oblíbená knihovna pro manipulaci a analýzu dat v Pythonu. Kód napsaný s Pandas nemá žádné typové kontroly a vše je rozhodováno za běhu programu. To může být zdrojem chyb a pádu celého programu za běhu. Jeden ze způsobů jak tento problém řešit je použít jiný, staticky typovaný, jazyk a knihovnu se silnějšími bezpečnostními záru- kami a kompilačními kontrolami. Takové řešení se však nerozšířilo kvůli horší uživatelské přívětivosti. Alternativní cesta by mohla být použítí metody Abstraktní Interpretace ke kontrole programu před jeho během. Cílem této práce je navrhnout způsob jak vyu- žít Abstraktni Interpretaci k analýze programů pro manipulaci s daty, a implementovat analyzátor pro knihovnu Pandas. Schopnosti implementovaného analyzátoru budou zhod- noceny na několika malých avšak realistických případových studiích.
|
|
|
Energy optimization in a family house
David, Jakub ; Fink, Jiří (vedoucí práce) ; Švancara, Jiří (oponent)
Cílem této práce je porovnat různé optimalizační algoritmy pro optimalizaci spotřeby energie v domácnostech. Uvažujeme model domácnosti s kogenerací tepla a elektřiny, fixní spotřebou elektřiny a horké vody a se zařízenímy s ovladatelným začátkem provozu. K řešení tohoto problému používáme řešič smíšeně celočíselných lineárních úloh a imple- mentovali jsme lokální prohledávání, evoluční algoritmus a optimalizaci hejnem částic. Tyto algoritmy provnáváme na datech naměřených v různých domácnostech.
|
|
|
Combining effects with dependent types
Mückenschnabel, Maya ; Petříček, Tomáš (vedoucí práce) ; Šefl, Vít (oponent)
Dependent type systems provide a novel way of reasoning about program correctness, by embedding behavior of the program into the more expressive type system. Correctness is achieved by not allowing incorrect states to be representable. Languages like Idris show that dependent type systems are practically useful, not only for formal proofs, but also for creating fewer bugs in production. But the purity of computation poses a problem for composability of stateful computations and of side effects. Effect handlers provide one possible solution for this problem. In this thesis we propose an effect extension of depen- dent type systems. The resulting system not only makes it possible to provide guarantees about correctness of a program, but also make it easy to compose such guarantees using effects. We formalize the type system and present a prototype implementation.
|
|
|
CSV file validator according to the CSV on the Web W3C recommendations
Kolcun, Michal ; Klímek, Jakub (vedoucí práce) ; Svoboda, Martin (oponent)
Cieľom práce bolo vytvorenie validátoru CSV súborov podľa odporúčaní CSV on the Web, ktoré bližšie špecifikujú dátový formát CSV. Takáto validácia je potrebná pre zvýšenie kvality dát na webe. Validátor poskytuje používateľom viacero prívetivých používateľských rozhraní v podobe CLI aplikácie, webovej služby a webovej aplikácie. Validačná funkcionalita je implementovaná v podobe knižnice v populárnom objektovo- orientovanom jazyku C#. V texte práce priblížime vývoj validátora a všetkých jeho po- užívateľských rozhraní od samotných doporučení CSV on the Web, analýzy existujúcich riešení, návrhu architektúry, až po samotnú implementáciu, testovanie a evaluáciu vý- sledného softvérového diela. 1
|
|
|
Approximate Techniques for Dynamic Vehicle Routing Problems
Zeman, David ; Barták, Roman (vedoucí práce) ; Fink, Jiří (oponent)
Tato práce studuje dynamický problém rozvozu s omezenou kapacitou a měnící se dos- tupností vozidel. Motivací pro studium tohoto problému je rostoucí poptávka po rychlých a spolehlivých doručovacích službách v posledních letech. V první části práce analyzujeme problém a vytvoříme jeho formální model. Poté navrhneme a implementujeme strategie pro vypořádání se s dynamickou podstatou problému. Dále implementujeme exaktní a heuristické algoritmy, jako je heuristika vkládáním, celočíselné programování, evoluční algoritmy a optimalizace kolonií mravenců. Nakonec porovnáme algoritmy s různými strategiemi a parametry na Kilbyho datové sadě. 1
|
|
|
Application of Auditory Masking based Speech Denoising in Automotive Environments
Malucha, Jan
This paper presents an application experiment of denoising speech in the automotive field. An algorithm based on the auditory masking phenomenon was programmed and deployed for this purpose. Synthetic composite recordings of speech and vehice interior noise were used for three types of vehicles equipped with internal combustion engines - truck, jeep and sports car. The final results after denoising process are evaluated by four speech quality metrics. The trend of quality improvement depending on the SNR of the input noisy signal is examined. A possibility of using denoised speech signals for further speech features analysis is briefly discussed.
|
|
|
Innovative Control Systém for Water Supply Management at a Farm
Doležal, Aleš
The thesis deals with the implementation of an innovative control system for the management and supply of water to the farm. The innovation focuses on all areas of the control system such as hardware part as well as software part. In the hardware part, it is mainly about the communication between the PLC and the pumps in the boreholes Where contact switching has been replaced by fiber optic communication. Furthermore, the non-compliant components were replaced by components that are more suitable for this placation. In the software area, tools have been used to simplify both the programming and the actual operation of the control system. The use of structures, the use of equations, and, more efficient sampling of measured data. A PLC from Unitronics was selected to control the entire application. The program for the PLC was written in the UniLogic programming environment from Unitronics.
|
|
|
Android Tracking Application Based on LTE Timing Advance
Michálek, Jakub
This article introduces a novel Android application developed in the Kotlin programming language, which enables users to tracking the location of their devices through the implementation of a custom algorithm. The focal point of this innovation lies in leveraging the Timing Advance parameter derived from the Long-Term Evolution (LTE) network to ascertain the most optimal track for location tracking. The technical overview describes the technologies used, while the tracking application chapter offers a detailed look at the architecture and implementation details. Special emphasis is placed on the use of Timing Advance and its role in the position tracking algorithm. The testing results confirm the efficiency and accuracy of the proposed solution. The article further deals with possible problems and proposed future extensions of the application. This work provides a comprehensive view of an innovative approach to location tracking in mobile devices.
|
|
|
Integration of Simulator into AAS for Heat Transfer Station
Černocký, Petr ; Arm, Jakub
This work examines the Asset Administration Shell (AAS) in the role of modern management of production units, which is one of the key enablers of the Industry 4.0 phenomenon. The main idea is to connect the simulator with AAS and create a functional architecture that will correspond with the real system. The next step would then be to connect this system with the real one and manage it using this architecture. The open-source program OpenModelica was chosen for the simulation because of its versatile command line use. As an example, a heat transfer system is modeled and simulated. As the results indicate, the OpenModelica simulator takes time to run a simulation that depends on hyperparameters such as samples per interval. Also, submodel for simulation adapter could be templated.
|
host ::
RSS.