|
|
Knihovna pro práci s objekty ve sdílené paměti
Dudka, Kamil ; Herout, Adam (oponent) ; Španěl, Michal (vedoucí práce)
Tato bakalářská práce se zabývá problematikou meziprocesové komunikace v moderních operačních systémech. Důraz je kladen na využití sdílené paměti pro meziprocesovou komunikaci v objektově orientovaném jazyku C++. Součástí práce je popis návrhu a implementace knihovny, která umožňuje sdílenou paměť jednoduše a efektivně používat. Knihovna umožňuje sdílet přímo objekty jazyka C++ mezi procesy. Kromě toho vytváří knihovna platformově nezávislé rozhraní pro práci se sdílenou pamětí v operačních systémech Linux a Microsoft Windows. V závěru práce je zhodnocena efektivita využití sdílené paměti jako způsobu meziprocesové komunikace.
|
|
|
Virtuální zprovoznění robotizovaného výrobního systému
Sláma, Martin ; Vetiška, Jan (oponent) ; Bražina, Jakub (vedoucí práce)
Diplomová práce se zabývá virtuálním zprovozněním robotizovaného výrobního systému, který se nachází v dílně Ústavu výrobních strojů, systémů a robotiky VUT v Brně. Teoretická část práce obsahuje přehled současného stavu poznání v oblasti virtuálního zprovoznění a popis prvků k jeho dosažení. Dále jsou popsány zařízení nacházející se v zadané robotizované výrobní buňce. V praktické části je poté popsán postup tvorby simulačního modelu v programu RobotStudio a jeho následné propojení s řídícím PLC v TIA Portálu přes SIMIT, a tím provedeno virtuální zprovoznění pracoviště.
|
|
|
Support of Run-time Monitoring of Processes in ANaConDA Framework
Mužikovská, Monika ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
This work extends ANaConDA framework for dynamic analysis of multi-threaded programs with support for multi-process monitoring. This thesis summarizes ANaConDA's approach to analysis and differences between threads and processes. The most important ones involve inter-process communication, separate logical address spaces, and synchronisation with general semaphores. The implemented extension provides API for inter-process communication via shared memory, monitors operations with shared memory in order to translate virtual addresses to their unique representation among processes, and monitors synchronisation operations with semaphores and provides information about them to analysers. The extension significantly simplifies the development of multi-process analysers. This is shown on implementation of two analysers for data race detection, AtomRace and FastTrack, which were, until now, available for multi-threaded programs only. The implementation of FastTrack algorithm uses happens-before relation for general semaphores which is also defined in this thesis. Proposed and implemented solutions were verified on a set of automatic tests and the two analysers were used for experiments on a set of students' projects. Experiments showed that ANaConDA framework is now able to detect concurrency-related errors in multi-process programs and, as such, provide support with implementation of large category of parallel programs.
|
|
|
Virtuální zprovoznění robotického pracoviště pro aditivní výrobu
Žanda, Martin ; Štěpánek, Vojtěch (oponent) ; Bražina, Jakub (vedoucí práce)
Diplomová práce se zabývá virtuálním zprovozněním robotického pracoviště pro aditivní výrobu. Cílem této práce je virtuální zprovoznění řešeného pracoviště a vytvoření simulačního modelu pro simulaci výrobního procesu, včetně zajištění bezpečnosti robotického pracoviště. Tato práce je rozdělena na 6 částí. První část se věnuje rozboru současného stavu poznání v oblasti dané problematiky. Druhá část je věnována analýze technologií aditivní výroby. Třetí část představuje řešené pracoviště a popisuje jednotlivé komponenty. Následující 2 kapitoly popisují proces tvorby modelu, řídicích algoritmů a virtuálního zprovoznění ve zvolených softwarech – RobotStudio, SIMIT SP a TIA Portal. V poslední části je provedena zjednodušená analýza rizik a následně jsou navržena bezpečnostní opatření.
|
|
|
Virtuální zprovoznění robotizovaného výrobního systému
Sláma, Martin ; Vetiška, Jan (oponent) ; Bražina, Jakub (vedoucí práce)
Diplomová práce se zabývá virtuálním zprovozněním robotizovaného výrobního systému, který se nachází v dílně Ústavu výrobních strojů, systémů a robotiky VUT v Brně. Teoretická část práce obsahuje přehled současného stavu poznání v oblasti virtuálního zprovoznění a popis prvků k jeho dosažení. Dále jsou popsány zařízení nacházející se v zadané robotizované výrobní buňce. V praktické části je poté popsán postup tvorby simulačního modelu v programu RobotStudio a jeho následné propojení s řídícím PLC v TIA Portálu přes SIMIT, a tím provedeno virtuální zprovoznění pracoviště.
|
|
|
Support of Run-time Monitoring of Processes in ANaConDA Framework
Mužikovská, Monika ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
This work extends ANaConDA framework for dynamic analysis of multi-threaded programs with support for multi-process monitoring. This thesis summarizes ANaConDA's approach to analysis and differences between threads and processes. The most important ones involve inter-process communication, separate logical address spaces, and synchronisation with general semaphores. The implemented extension provides API for inter-process communication via shared memory, monitors operations with shared memory in order to translate virtual addresses to their unique representation among processes, and monitors synchronisation operations with semaphores and provides information about them to analysers. The extension significantly simplifies the development of multi-process analysers. This is shown on implementation of two analysers for data race detection, AtomRace and FastTrack, which were, until now, available for multi-threaded programs only. The implementation of FastTrack algorithm uses happens-before relation for general semaphores which is also defined in this thesis. Proposed and implemented solutions were verified on a set of automatic tests and the two analysers were used for experiments on a set of students' projects. Experiments showed that ANaConDA framework is now able to detect concurrency-related errors in multi-process programs and, as such, provide support with implementation of large category of parallel programs.
|
|
|
Knihovna pro práci s objekty ve sdílené paměti
Dudka, Kamil ; Herout, Adam (oponent) ; Španěl, Michal (vedoucí práce)
Tato bakalářská práce se zabývá problematikou meziprocesové komunikace v moderních operačních systémech. Důraz je kladen na využití sdílené paměti pro meziprocesovou komunikaci v objektově orientovaném jazyku C++. Součástí práce je popis návrhu a implementace knihovny, která umožňuje sdílenou paměť jednoduše a efektivně používat. Knihovna umožňuje sdílet přímo objekty jazyka C++ mezi procesy. Kromě toho vytváří knihovna platformově nezávislé rozhraní pro práci se sdílenou pamětí v operačních systémech Linux a Microsoft Windows. V závěru práce je zhodnocena efektivita využití sdílené paměti jako způsobu meziprocesové komunikace.
|
|
|
Monitorovací systém mobilních jednotek
Ševčík, Pavel ; Fojtík, Pavel (oponent) ; Kučera, Pavel (vedoucí práce)
Tato práce se zabývá zpracováním obrazu v reálném čase, jeho předzpracováním, segmentací a klasifikací. Na základě klasifikace je určeno natočení a pozice objektů. Cílem práce je vytvořit modulární aplikaci, která budu sledovat mobilní jednotky a určovat jejich natočení a pozici v reálném čase.
|
host ::
RSS.