|
|
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)
|
|
|
School Timetabling
Všetička, Martin ; Barták, Roman (vedoucí práce) ; Müller, Tomáš (oponent)
V práci se zabýváme těžkým rozvrhovacím problémem jedné české střední školy. V tomto problému je potřeba vyučovací hodiny rozvrhnout do učeben tak, aby byla respektována všemožná omezení, jako například učební plány a disponibilita učitelů. Studujeme existující přístupy, které se používají v problémech školního rozvrhování a ukazujeme, jak reprezentovat uvedený problém v existujícím systému pro školní rozvrhování. Dále pak představujeme softwarový prototyp, který řeší uvedený problém pomocí programování s omezujícími podmínkami. Rozebíráme také problémy související s představenou úlohou, například reprezentaci a konverzi dat. Powered by TCPDF (www.tcpdf.org)
|
|
|
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)
|
|
|
Využití vícekriteriálního lineárního programování pro přípravu rozvrhu střední školy
Žítek, Jan ; Skočdopolová, Veronika (vedoucí práce) ; Kuncová, Martina (oponent)
Tato diplomová práce se zabývá přípravou rozvrhu pro střední školu. Za tímto účelem je sestaven matematický model založený na bivalentním programování. Model využívá také metod vícekriteriálního lineárního programování, protože při řešení rozvrhu je třeba uvažovat nejen to, aby byly splněny zákonem a školou kladené podmínky, ale rozvrh by měl být sestaven tak, aby co nejvíce vyhovoval studentům i vyučujícím. V této práci jsou nejprve položeny teoretické základy, následně je popsán ekonomický model s charakteristikou školy, pro kterou je rozvrh připravován, a na něj navazuje sestavení matematického modelu. Pro optimalizaci modelu je použit nástroj MPL for Windows s řešitelem Gurobi. Na závěr je výstup optimalizace převeden pomocí programovacího jazyku VBA do podoby určené koncovým uživatelům.
|
|
|
Modely cílového programování: teorie, aplikace, softwarová podpora
Skočdopolová, Veronika ; Jablonský, Josef (vedoucí práce) ; Brezina, Ivan (oponent) ; Šubrt, Tomáš (oponent)
Cílové programování je jedním z nástrojů pro řešení rozhodovacích úloh. Cílem této disertační práce je demonstrovat praktické využití tohoto nástroje při řešení reálných problémů. První kapitola je stručným úvodem do problematiky vícekriteriálního rozhodování a slouží především pro jasnější zařazení cílového programování. Druhá kapitola je věnována cílovému programování, jeho historii, teorii, kritice i přehledu jeho praktických aplikací. Třetí kapitola se zabývá popisem modelu pro optimalizaci nákupu surovin na výrobu bílých hmot. Tento model využívá principu cílového programování pro práci s odchylkami měření při zkoumání složení jednotlivých surovin. Součástí kapitoly je i představení aplikace OPTIPROT, která je implementací zmíněného modelu. Ve čtvrté kapitole jsou popsány tři matematické modely pro tvorbu rozvrhu na úrovni katedry, dva vícefázové a jeden komplexní model. Všechny tři modely jsou formulovány s využitím cílového programování. V této kapitole je také popsána aplikace implementující komplexní model tvorby rozvrhu.
|
host ::
RSS.