|
|
Osobní rozvrhování
Doležal, Lukáš ; Barták, Roman (vedoucí práce) ; Duša, Vladimír (oponent)
Přes pokroky na poli umělé inteligence stále postrádáme široce dostupný nástroj pro automatizaci organizace osobního času. Jednou z překážek je velká individuálnost problému a z toho důvodu složité splnění všech očekávání uživatele. V této práci jsme se zaměřili na vytvoření nástroje, který by uživateli dokázal nabídnout pomoc při organizaci svého času. Navrhli jsme model popisující osobní aktivity uživatele s preferencemi a formulovali hledání rozvrhu osobních aktivit jako optimalizační problém. Nad modelem jsme implementovali algoritmus rozvrhující tyto aktivity. Při jeho návrhu jsme se zaměřili na umožnění rozvrhování aktivit s přesností na sekundy. S využitím uvedeného modelu a algoritmu jsme vytvořili prototyp kalendářové webové aplikace, který jsme navrhli s cílem přehledného zobrazení času uživatele a snadného vkládání aktivit pro automatickérozvržení. Jádrem webové aplikace je RESTful API umožňující implementaci aplikací pro různé platformy a zařízení. Powered by TCPDF (www.tcpdf.org)
|
|
|
Analýza rozvrhů
Novák, Ladislav ; Barták, Roman (vedoucí práce) ; Duša, Vladimír (oponent)
Cílem této diplomové práce bylo věnovat se formální analýze rozvrhů, tj. identifikaci slabých míst a následné navržení metod, jak tato slabá místa opravit. Tato diplomová práce navíc řeší metodu, jak z navržených oprav vybrat vhodnou podmnožinu, tj. portfolio. Výsledný softwarový prototyp Analyzer je integrován do projektu FlowOpt, jež představuje komplexní řešení od modelování pracovních procesů, přes vytváření rozvrhů až po zobrazování rozvrhů pomocí Ganttova diagramu. Analyzer byl vyvíjen především jako doprovodné dílo, které softwarově ilustruje formální proces analýzy. Powered by TCPDF (www.tcpdf.org)
|
|
|
Analýza rozvrhů
Novák, Ladislav ; Barták, Roman (vedoucí práce) ; Duša, Vladimír (oponent)
Cílem této diplomové práce bylo věnovat se formální analýze rozvrhů, tj. identifikaci slabých míst a následné navržení metod, jak tato slabá místa opravit. Tato diplomová práce navíc řeší metodu, jak z navržených oprav vybrat vhodnou podmnožinu, tj. portfolio. Výsledný softwarový prototyp Analyzer je integrován do projektu FlowOpt, jež představuje komplexní řešení od modelování pracovních procesů, přes vytváření rozvrhů až po zobrazování rozvrhů pomocí Ganttova diagramu. Analyzer byl vyvíjen především jako doprovodné dílo, které softwarově ilustruje formální proces analýzy. Powered by TCPDF (www.tcpdf.org)
|
|
|
Dynamic Scheduling
Vlk, Marek ; Barták, Roman (vedoucí práce) ; Duša, Vladimír (oponent)
Jedním z problémů rozvrhování výroby v reálném životě je dynamičnost výrobních prostředí zahrnující nové výrobní požadavky a rozbíjející se zařízení během vykonávání rozvrhu. Prosté přerozvržení od nuly v reakci na neočekávané události, které nastávají v provozu, může vyžadovat nadměrný výpočetní čas. Obnovený rozvrh může být navíc neúnosně odchýlený od toho probíhajícího. Tato práce podává přehled o stávajících přístupech v oblasti dynamického rozvrhování a navrhuje postupy jak upravit rozvrh při vyrušení, jako je například selhání zdroje, příchod naléhavé objednávky nebo její zrušení. Důraz je kladen na rychlost navržených procedur i na minimální modifikaci původního rozvrhu. Rozvrhovací model vychází z projektu FlowOpt, který je založen na temporálních sítích s alternativami. Algoritmy jsou napsány v jazyce C#.
|
|
|
Osobní rozvrhování
Doležal, Lukáš ; Barták, Roman (vedoucí práce) ; Duša, Vladimír (oponent)
Přes pokroky na poli umělé inteligence stále postrádáme široce dostupný nástroj pro automatizaci organizace osobního času. Jednou z překážek je velká individuálnost problému a z toho důvodu složité splnění všech očekávání uživatele. V této práci jsme se zaměřili na vytvoření nástroje, který by uživateli dokázal nabídnout pomoc při organizaci svého času. Navrhli jsme model popisující osobní aktivity uživatele s preferencemi a formulovali hledání rozvrhu osobních aktivit jako optimalizační problém. Nad modelem jsme implementovali algoritmus rozvrhující tyto aktivity. Při jeho návrhu jsme se zaměřili na umožnění rozvrhování aktivit s přesností na sekundy. S využitím uvedeného modelu a algoritmu jsme vytvořili prototyp kalendářové webové aplikace, který jsme navrhli s cílem přehledného zobrazení času uživatele a snadného vkládání aktivit pro automatickérozvržení. Jádrem webové aplikace je RESTful API umožňující implementaci aplikací pro různé platformy a zařízení. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.