|
|
Real-Time optimalizace operací v průmyslové výrobě
Křen, Michal ; Kočí, Radek (oponent) ; Hrubý, Martin (vedoucí práce)
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.
|
|
|
Diachronní srovnání synchronních korpusů
Křen, Michal ; Čermák, František (vedoucí práce) ; Kučera, Karel (oponent) ; Králík, Jan (oponent)
Práce představuje metodu pro diachronní srovnání synchronních korpusů zachycu- jících blízké stavy jazyka. Cílem práce je především zhodnotit možnosti a meze de- tekce vývojových tendencí v jazyce na materiálu synchronních psaných korpusů řady SYN. Metodologicky jde o corpus-driven přístup založený na statistickém vyhodno- cení rozdílů mezi normalizovanými průměrnými redukovanými frekvencemi lemmat a lexikálních kombinací. Metoda je aplikována v několika variantách na různě definované subkorpusy korpusu SYN a podrobně vyhodnocena. Provedené srovnání ztěžuje především vliv složení jednotlivých korpusů a provázanost změn v jazyce se změnami společenskými. Protože neumíme spolehlivě odlišit zárodky diachronních posunů od přirozeně existující synchronní variability, je statisticky zjištěná významnost frekvenčních rozdílů jednotlivých výrazů zpětně ověřována na korpusech a interpretace výsledků korigována znalostí jejich přesného složení. Závěry jsou založeny především na publicistice, která je z psaného jazyka nejvíce otevřená změnám. Změny v jazyce publicistiky lze charakterizovat jako tematický od- klon od původní politické a ekonomické orientace směrem k tématům týkajícím se praktického života a využívání volného času spojený se zvyšující se neformálností, která způsobuje posuny ve frekvencích...
|
|
|
Diachronní srovnání synchronních korpusů
Křen, Michal ; Čermák, František (vedoucí práce) ; Kučera, Karel (oponent) ; Králík, Jan (oponent)
Práce představuje metodu pro diachronní srovnání synchronních korpusů zachycu- jících blízké stavy jazyka. Cílem práce je především zhodnotit možnosti a meze de- tekce vývojových tendencí v jazyce na materiálu synchronních psaných korpusů řady SYN. Metodologicky jde o corpus-driven přístup založený na statistickém vyhodno- cení rozdílů mezi normalizovanými průměrnými redukovanými frekvencemi lemmat a lexikálních kombinací. Metoda je aplikována v několika variantách na různě definované subkorpusy korpusu SYN a podrobně vyhodnocena. Provedené srovnání ztěžuje především vliv složení jednotlivých korpusů a provázanost změn v jazyce se změnami společenskými. Protože neumíme spolehlivě odlišit zárodky diachronních posunů od přirozeně existující synchronní variability, je statisticky zjištěná významnost frekvenčních rozdílů jednotlivých výrazů zpětně ověřována na korpusech a interpretace výsledků korigována znalostí jejich přesného složení. Závěry jsou založeny především na publicistice, která je z psaného jazyka nejvíce otevřená změnám. Změny v jazyce publicistiky lze charakterizovat jako tematický od- klon od původní politické a ekonomické orientace směrem k tématům týkajícím se praktického života a využívání volného času spojený se zvyšující se neformálností, která způsobuje posuny ve frekvencích...
|
|
|
Generátor manuálu instrukční sady
Křen, Michal ; Přikryl, Zdeněk (oponent) ; Hruška, Tomáš (vedoucí práce)
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í.
|
|
|
Real-Time optimalizace operací v průmyslové výrobě
Křen, Michal ; Kočí, Radek (oponent) ; Hrubý, Martin (vedoucí práce)
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.
|
host ::
RSS.