|
|
Aplikace APS systému pro plánování a rozvrhování výroby
Zápotočný, Václav ; Hromková, Ivana (oponent) ; Simeonov, Simeon (vedoucí práce)
Diplomová práce, vypracovaná na ústavu výrobních strojů, systémů a robotiky, si klade za cíl, vyhodnotit stávající výrobu svahových sekaček firmy Dvořák - svahové sekačky s.r.o., dále provést sběr dat pro získání úplných technologických postupů výroby. S pomocí APS (Advanced planning and scheduling) systému, simulovat a navrhnout optimalizované řešení výroby, s ohledem na požadované výrazné snížení nynějších skladovacích zásob vyráběných dílů pro montáž zmíněné svahové sekačky.
|
|
|
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)
|
|
|
Skupinový plánovač úkolů
Nguyen Cong, Thang ; Kopecký, Michal (vedoucí práce) ; Žemlička, Michal (oponent)
Práce popisuje návrh a implementaci nástroje, podporujícího skupinové plánování úkolů. Systém svým uživatelům prostřednictvím webového rozhraní umožňuje kontrolu nad úkoly svými a úkoly dalších lidí ve svých skupinách. Uživatelé si mohou vytvářet více kalendářů a sdílet je s ostatními uživateli. Systém je navržen modulárně tak, aby byl v budoucnosti snadno rozšiřitelný.
|
|
|
Rozvrhování zdrojů na letišti jako časově omezený rozvrhovací problém
Vandas, Marek ; Petříčková, Zuzana (vedoucí práce) ; Pangrác, Ondřej (oponent)
V této práci jsou identifikovány požadavky na bezpečný pozemní letištní provoz, který se skládá z přidělování ranvejí, taxi operací a přidělování bran. Je ukázáno, jak je možné tento problém modelovat jako problém splňování omezujících podmínek a vyřešit jej pomocí technik rozvrhování. Součástí práce je aplikace, která tyto techniky ilustruje a umožňuje následnou vizualizaci výsledků. Pro účely této aplikace byl vytvořen obecný řešič podmínek, který je snadno rozšiřitelný a využitelný i na jiný druh problémů. Další výhodou tohoto řešiče je, že umožňuje snadnou změnu prohledávací strategie.
|
|
|
Combinatorial algorithms for online problems: Semi-online scheduling on related machines
Ebenlendr, Tomáš ; Sgall, Jiří (vedoucí práce) ; Barták, Roman (oponent) ; Epstein, Leah (oponent) ; Woeginger, Gerhard (oponent)
Mgr. Tomáš Ebenlendr Kombinatorické algoritmy se zaměřením na online problémy: Semi-online rozvrhování na strojích s různými rychlostmi Abstrakt disertační práce Hlavním výsledkem této práce je konstrukce optimálních algoritmů pro celou třídu rozvrhovacích problémů. Tato třída zahrnuje většinu zkoumaných semi-online vari- ant preemptivního rozvrhování na strojích s různými rychlostmi s cílem minimali- zovat délku rozvrhu. Takto zkonstruované algoritmy jsou deterministické, nicméně dosahují optimální kompetitivní poměr i mezi pravděpodobnostními algoritmy. Navíc jsou optimální i pro libovolnou pevnou kombinaci rychlostí strojů, proto lze naši konstrukci uplatnit i na veškeré dříve studované speciální případy. Ukážeme nový dolní odhad 2.112 pro obecné online rozvrhování. Deterministický horní odhad e ≈ 2.718 pak plyne z dřívější existence e-kompetitivního pravděpodob- nostního algoritmu. Zmíněnou konstrukci lze aplikovat ve všech semi-online variantách, které jsou založeny na znalosti o vstupní sekvenci. Ty lze chápat jako omezení množiny plat- ných vstupů. Tuto konstrukci pak použijeme ke studiu dříve zkoumaných omezení, čímž získáme nové odhady kompetitivního poměru. Jmenovitě zkoumáme známou sumu...
|
|
|
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)
|
|
|
Integrating Planning and Scheduling
Dvořák, Filip
Název práce: Integrace plánování a rozvrhování Autor: Mgr. Filip Dvořák Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce: prof. RNDr. Roman Barták, Ph.D., KTIML MFF UK Abstrakt: Hlavním tématem práce je navržení a vývoj plánovacího systému FAPE, který integruje explicitní reprezentaci času, rozhodování s diskrétními zdroji a rezervoáry, a hierarchické dekompozice. FAPE je první plánovací systém, který akceptuje jazyk ANML a podporuje většinu jeho hlavních vlastností. V práci se zabýváme různými aspekty integrace zmíněných konceptů, také navrhneme novou techniku pro reformulaci plánovacích problémů do reprezentace pomocí stavových proměnných a identifikujeme přechod výkonosti mezi používaním řídkých a minimálních časových sítí. FAPE dále rozšíříme o schopnosti konání a exper- imentálně vyhodnotíme výkonnost a výhody jeho vysoké expresivity. Na závěr předvedeme FAPE jako systém, který umí plánovat i konat v experimentech v realném světě, kdy FAPE ovládá robota PR2. Klíčová slova: plánování, rozvrhování, temporální podmínky, HTN, robotika
|
|
|
Fixed interval scheduling problems with endogenous uncertainty
Hamerníková, Iva ; Branda, Martin (vedoucí práce) ; Lachout, Petr (oponent)
V této práci se zaměřujeme na úlohy s pevnými intervaly prací (dále FIS problémy). V první kapitole zadefinujeme FIS problémy a endogenní a exogenní náhodu, následně v další kapitole shrneme výsledky zabývající se FIS problémy a jejich vztahem k robust- nímu obarvování grafů. Na ty navážeme představením nového modelu FIS s údržbou. Jde o specifický případ problému s náhodou ovlivněnou rozhodnutím. Představíme nový typ práce - údržbu, která nám umožňuje pozitivně ovlivnit pravděpodobnostní rozdělení zpoždění prací. Zadeifnujeme nejprve problém, kdy údržbu lze použít pouze na začátku, poté představíme obecný problém, kdy se údržba může vyskytnout kdykoliv i později rozvrhu prací. Ukážeme, že tento přístup vede na optimální řešení, zároveń přidáme ilustrativní příklad a budeme diskutovat některá možná rozšířemí problému. Na závěr uvedem výsledky numerické studie, kdy řešíme představený FIS problém s údržbou pomocí solveru Cplex. Ukážeme, že údržba se projevuje pouze při určtých nastaveních, jako velký nepoměr mezi cenou outsourcingu a údržby nebo v případě prací s velkou pravděpodobností zpoždění. Bohužel se ukáže, že už pro středně velké rozměry úloh je problém výpočetně příliš náročný. 1
|
|
|
Automatizované rozvrhování v průmyslové výrobě
Bucher, Michal ; Kočí, Radek (oponent) ; Hrubý, Martin (vedoucí práce)
Bakalářská práce se zabývá tématem automatizovaného rozvrhování v průmyslové výrobě. Problém je formálně popsaný matematickým modelem Resource Constrained Project Scheduling Problem. Na základě tohoto modelu byl vytvořený systém na rozvrhování, který využívá optimalizátor založený na principu Genetických algoritmů. V části práce o testování se věnuje využití systému nad vybraným reálným výrobním podnikem. Výsledný systém umožňuje i vykreslovat rozvrh v podobě Ganttova diagramu.
|
|
|
Plánovač výroby testbedu Industry 4.0
Kubásek, Martin ; Chromý, Adam (oponent) ; Burian, František (vedoucí práce)
Tato bakalářská práce se zabývá tvorbou plánovače výroby pro testbed Industry 4.0. Tvorbě předchází vysvětlení pojmů souvisejících s plánováním výroby – MES, ERP a Industry 4.0. Poté je nastíněna problematika plánování pro tento testbed a vysvětleno možné řešení tohoto problému, které bylo dodáno v rámci zadání. Následně je popsána struktura a algoritmy plánovače, který vznikl v rámci této práce a který toto řešení používá. Plánovač je realizován jako aplikace v jazyce C#, která na základě dodaných vstupů z MES vyrobí plán operací na strojích. Vstupy z MES jsou načítány přes REST spojení, výstup je realizován jako soubor JSON. Na konci práce jsou ukázány výsledky plánovače jako report v tabulce xlsx. Plánovač je schopný vytvořit výrobní plán pro testbed Industry 4.0.
|
host ::
RSS.