Real-Time Optimizations in Industrial Production

Tato diplomová práce se zabývá rozvrhováním výrobních operací v průmyslové výrobě. Tento problém je formálně popsán jako Resource-Constrained Project Scheduling Problem, jehož cílem je nalezení optimálního přiřazení množiny operací na omezené zdroje. V této práci byl nejprve vytvořen základní optimalizátor výrobních operací založený na genetickém algoritmu. Následně byl navržen model poruch a byl vytvořen systém zahrnující real-time optimalizátor, který je schopen plynule reagovat na vznikající problémy ve výrobě. V real-time optimalizátoru bylo implementováno několik metod řešení a byly s nimi prováděny četné experimenty. Zmíněný systém rovněž umožňuje simulovat provádění výrobních operací a vykreslovat Ganttův diagram.The thesis deals with the scheduling problem of manufacturing operations in industrial production. This problem is described as the well-known the Resource-Constrained Project Scheduling Problem. The objective of this problem is to find an optimal assignment of operations to limited resources. Optimizer created for the thesis uses a genetic algorithm to solve the scheduling problem. For the purpose of a dynamic scheduling, a failures model was designed and a system with real-time optimizer, that is able to repair the original schedule fluently, was created. In the real-time optimizer, several solution methods were implemented and these solution methods underwent a number of experiments. The system thus created is also able to simulate manufacturing operations and draw a Gantt chart.

Generator of Instruction Set Manual

Tato bakalářská práce se zabývá vytvořením generátoru manuálu instrukční sady, který je součástí projektu Lissom. Model mikroprocesoru je popsán v jazyce ISAC pro popis architektury mikroprocesoru i instrukční sady, kde si vývojář k jednotlivým deklaracím doplní speciálně formátované komentáře. Na základě těchto údajů jsou do manuálu vybrány pouze patřičné informace a nalezeny vztahy mezi nimi. Pro generování instrukcí je využit mezijazyk pro generátor překladače jazyka C. Výsledný dokument manuálu je uložen ve formátu RTF a obsahuje dvě části. V první je uveden přehled všech zdrojů procesoru a ve druhé je seznam všech instrukcí.This bachelor thesis describes the design and implementation of a generator of instruction set manual, that is a part of the Lissom project. Model of microprocessor is described using architecture and instruction set description language ISAC with added special marked comments to each one declaration. From this source of data useful information and relationships between them are selected for manual. The source of data for generating of instructions is the intermediate-language for generator of C language compiler. The output generated manual document is saved as RTF file and it contains two parts. First part includes summary of all microprocessor's resources and second part contains the list of all instructions.

Impact of the Ukrainian conflict on population mobility

Since spring 2014, an armed conflict has been taking place in the eastern part of Ukraine between the Pro-Russian separatists and the Ukrainian state. As a result of this armed conflict, there was a stream of forced migration. The statistics speak up to about 1.7 million people internally displaced and about a hundred other hundreds of people seeking international protection abroad. Of those seeking international protection, more than 200,000 have been granted temporary asylum in Russia. This thesis examines the impact of the Ukrainian armed conflict on the mobility of these displaced persons. The first way to study the impact of a selected conflict on population mobility is quantitative data analysis. In this analysis are compared the data on conflict intensity with data on internal migration in Ukraine and international migration to the states Russia, Poland and Czechia. The second way this diploma thesis examines the impact of the conflict on population mobility is based on the research of ten Ukrainians who left for Czechia from conflict areas and whose primary reason was the military conflict. The results show that there are links between the intensity of the military conflict and the migration strategy of the people of Eastern Ukraine.Od jara 2014 probíhá ve východní části Ukrajiny ozbrojený konflikt mezi proruskými separatisty a ukrajinským státem. Následkem tohoto ozbrojeného konfliktu byl proud nucené migrace. Statistiky hovoří až o 1,7 milionu vnitřně vysídlených osob a o dalších statisících osob, kteří hledali mezinárodní ochranu v zahraničí. Z těchto osob, hledajících mezinárodní ochranu, jich více než 200 tisíc získalo dočasný azyl v Rusku. Předložená diplomová práce zkoumá vlivy ukrajinského ozbrojeného konfliktu na mobilitu těchto vysídlených osob. První způsob, kterým je zkoumán vliv vybraného konfliktu na mobilitu obyvatelstva, je kvantitativní analýza dat. V této analýze jsou dána do souvislosti data o intenzitě konfliktu s daty o vnitřní migrací na Ukrajině a mezinárodní migraci do států Rusko, Polsko a Česko. Druhý způsob, jak tato diplomová práce prověřuje vliv konfliktu na mobilitu obyvatelstva, je postaven na výzkumu deseti Ukrajinců, kteří odešli do Česka z oblastí, kde probíhá konflikt a zároveň jejichž primární důvod k odchodu byl vojenský konflikt. Výsledky prokazují propojení intenzity vojenského konfliktu s migrační strategií obyvatel východní Ukrajiny.Department of Social Geography and Regional Develop.Katedra sociální geografie a region. rozvojePřírodovědecká fakultaFaculty of Scienc