|
|
Change management v prostředí vybraných sportovních organizací
Kubková, Alexandra ; Kopáčková, Eva (oponent) ; Blahutková, Marie (vedoucí práce)
Bakalárska práca sa zaoberá aplikáciou change managementu – managementu zmeny pre vybranú športovú organizáciu Hokejový klub mesta Zvolen. Teoretická časť práce sa zameriava na všeobecnú teóriu change managementu, rôzne postupy a hodnotenia správneho procesu change managementu v danej organizácii. Súčasťou práce je aj analýza súčasného stavu HKM Zvolen, popis organizácie ako takej a na základe získaných teoretických poznatkov návrh inovácií a zmien vhodných pre danú organizáciu.
|
|
|
Visualization and verification of plans
Glinský, Radoslav ; Barták, Roman (vedoucí práce) ; Dvořák, Filip (oponent)
Názov: Vizualizácia a verifikácia plánov Autor: Radoslav Glinský Katedra: Katedra teoretickej informatiky a matematickej logiky Vedúci bakalárskej práce: Doc. RNDr. Roman Barták, Ph.D. Abstrakt: Analýza plánov je dôležitou sú as ou kompletných plánovacích systémov. Aby smeč ť umožnili užívate omľ orientovať sa aj vo vä ších plánoch, vytvorili sme program, ktorý pomáha s analýzou ač vizualizáciou plánov. Program sa volá VisPlan - Interactive Visualization and Verification of Plans. VisPlan je neoddelite nouľ sú as ouč ť bakalárskej práce, ke že prakticky implementuje jej vizualiza né aď č verifika né riešenia. VisPlan nachádza a zobrazuječ kauzálne väzby medzi akciami, identifikuje možné chyby v pláne (a tak overuje jeho korektnos ), zvýraz uje nájdenéť ň chyby v pláne a umož ujeň užívate om interaktívne modifikova plán, a teda opravi chyby v pláne alebo ho jednoducho vylepši .ľ ť ť ť K úľ ovč é slová: Plánovanie, Umelá inteligencia, PDDL, Verifikácia
|
|
|
Optimalizace spouštěcích konfigurací k-Wave úloh
Sasák, Tomáš ; Jaroš, Marta (oponent) ; Jaroš, Jiří (vedoucí práce)
Táto práca sa zaoberá plánovaním, resp. správnym odhadom spúšťacích konfigurácií úloh k-Wave na superpočítačoch infraštruktúry IT4Innovations. Presnejšie pre klastre Salomon a Anselm. Úloha predstavuje množinu simulácií, kde každá simulácia je spúšťaná pod toolboxom k-Wave. Pre spustenie jednotlivých simulácií je nutné správne vytvoriť konfiguráciu, ktorá sa skladá z množstva zdrojov (počet výpočtových uzlov, resp. jadier) a času rezervácie superpočítača, čo je pre neskúseného zložité odhadnúť. Zvolený problém odhadu je riešený na základe empirických dát, ktoré boli získané viacnásobným spúšťaním rôznych množín simulácií na klastroch. Tieto dáta sú uložené a spracované aproximátormi, ktoré konkrétne vykonávajú odhad týchto parametrov na základe metód interpolácie a regresie. V práci je popísaný a bol implementovaný systém predstavujúci plánovač, ktorý predstavuje rozhranie pre odhad. Experimentovaním bolo zistené že pre tento špecifický problém najpresnejšie odhady vykonáva trojica Akima spline, PCHIP interpolácia a kubický spline. Výsledky tejto práce umožňujú vykonávať istý odhad exekučného času a počtu vlákien pre ľubovolné simulácie automaticky a bez znalosti kódu k-Wave.
|
|
|
Algoritmy rozvrhování výroby s dynamickými rekonfiguracemi a údržbou
Halčin, Marián ; Kočí, Radek (oponent) ; Hrubý, Martin (vedoucí práce)
Diplomová práca sa zaoberá témou počítačového rozvrhovania výroby s dynamickými rekonfiguráciami a údržbou. Problém je formálne popísaný matematickým modelom s názvom Resource Constrained Project Scheduling Problem rozšíreným o prvky dynamickej rekonfigurácie a údržby. Podľa tohto modelu bolo navrhnutých niekoľko rôznych rozvrhovacích algoritmov. Taktiež boli popísané metódy optimalizácie riešenia založené na základe genetických algoritmov. V experimentálnej časti je uvedená typológia výrobných príkazov, z ktorých sú vytvorené rôzne typy úloh. Výsledkom experimentov je jednoznačné doporučenie rozvrhovacieho algoritmu na daný typ úlohy. Na záver sa práca zaoberá prípadovou štúdiou voľby vhodného riešenia pre konkrétne výrobne podniky.
|
|
|
Projektový management
Kollmann, Ladislav ; Prostredník, Daniel (oponent) ; Fiala, Alois (vedoucí práce)
Diplomová práca sa zaoberá témou Projektového manažmentu. V teoretickej časti je spracovaná literárna rešerš k danej problematike. Praktická časť analyzuje súčasný stav vedenia projektov vo firme ZETOR TRACTORS a.s. Na základe spoznania tohto stavu sú navrhnuté opatrenia vedúce k jeho zlepšeniu.
|
|
|
Planning systems in game level design and agent control
Tóth, Csaba ; Kadlec, Rudolf (vedoucí práce) ; Barták, Roman (oponent)
Plánovacie systémy sú vyspelé nástroje výpočtovej techniky, ale ich využitie v počítačových hrách je zatiaľ obmedzené. Rozhodli sme sa vytvoriť hru, ktorá je založená na týchto nástrojoch. Ak sa nám podarí dokázať, že voľne dostupné, obecné plánovače sú vhodnými náhradami špeciálnych riešení moderných hier, ukázali by sme nový smer malým vývojovým firmám a popularizovali nový typ hry, ktorý je riadený plánovačom. Pokúsili sme použiť plánovače v dvoch úlohách: vo vývoji, na čiastočnú automatizáciu designu levelov a počas skutočnej hry, vo vytváraní správania sa agentov. Náš program je hlavolam, kde má hráč za úlohu odhaľovať plány a zámery všetkých agentov, spoznať nebezpečia, a použitím získanej znalosti potom upraviť herný svet tak, aby donútil agentov k dosiahnutiu požadoného výsledku. Ďalšou súčasťou programu je generátor herných levelov. Dospeli sme k záveru, že určitými ohraničeniami dokážeme plánovač využiť vo vytváraní vierohodného správania sa agentov. Napriek tomu, že určité rozhodnutia plánovač nedokáže za nás vykonať, uľahčí prácu designera herných levelov.
|
|
|
Visualization and verification of plans
Glinský, Radoslav ; Barták, Roman (vedoucí práce) ; Dvořák, Filip (oponent)
Názov: Vizualizácia a verifikácia plánov Autor: Radoslav Glinský Katedra: Katedra teoretickej informatiky a matematickej logiky Vedúci bakalárskej práce: Doc. RNDr. Roman Barták, Ph.D. Abstrakt: Analýza plánov je dôležitou sú as ou kompletných plánovacích systémov. Aby smeč ť umožnili užívate omľ orientovať sa aj vo vä ších plánoch, vytvorili sme program, ktorý pomáha s analýzou ač vizualizáciou plánov. Program sa volá VisPlan - Interactive Visualization and Verification of Plans. VisPlan je neoddelite nouľ sú as ouč ť bakalárskej práce, ke že prakticky implementuje jej vizualiza né aď č verifika né riešenia. VisPlan nachádza a zobrazuječ kauzálne väzby medzi akciami, identifikuje možné chyby v pláne (a tak overuje jeho korektnos ), zvýraz uje nájdenéť ň chyby v pláne a umož ujeň užívate om interaktívne modifikova plán, a teda opravi chyby v pláne alebo ho jednoducho vylepši .ľ ť ť ť K úľ ovč é slová: Plánovanie, Umelá inteligencia, PDDL, Verifikácia
|
|
|
Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC
Palúch, Filip ; Podivínský, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
Cieľom je vytvorenie prehľadu mechanizmov plánovania úloh v jednoprocesorovom prostredí. Použitím týchto mechanizmov sú navrhnuté a implementované jednotlivé modely v nástroji UPPAAL, na ktorý sa táto práca orientuje. Výsledkom práce je overenie validity a vlastností mechanizmov získaných na základe implementovania modelov. Na porovnávanie výsledkov z nástroja UPPAAL sú využíté nástroje TimesTool a Cheddar.
|
|
|
Analýza výrobních procesů ve firmě za účelem jejich optimalizace
Šilon, Dávid ; Stromko, Pavel (oponent) ; Klčová, Hana (vedoucí práce)
Táto bakalárska práca sa zaoberá optimalizáciou výrobných procesov vo firme, jak informačných, tak i materiálových tokov prebiehajúcich v plánovanej výrobe v spoločnosti. V prvej časti sa zameriava na teoretický popis a východiská danej problematiky. V druhej, praktickej časti, bude táto práca rozoberať a nasledovne analyzovať proces výroby vybranej firmy. Podľa vypracovaného rozboru, analýz a teoretických východísk, stanoví táto práca problémy a nedostatky tohto procesu. V poslednej fázy poskytuje návrhy na zlepšenie nedostatkov a ich implementáciu do výroby.
|
|
|
Posouzení informačního systému firmy a návrh změn
Klaudíny, Matúš ; Cuninga, Michal (oponent) ; Koch, Miloš (vedoucí práce)
Bakalárska práca sa zaoberá návrhom zmien informačného systému pre konkrétny podnik. Na základe zvolených analýz a postupov ponúka možnosti zlepšenia organizácie práce v rámci výrobných procesov. Hlavným zámerom tak bude navrhnúť vhodné riešenia, ktoré by po zavedení mali subjektu dopomôcť ku lepšej produktivite, a tým dopomôcť k dosiahnutiu stanovených cieľov.
|
host ::
RSS.