Now showing items 1-6 of 6

  • Interpret Petriho sítí pro řídicí systémy s procesorem Atmel 

    Minář, Michal
    Práce se zabývá interpretací vnořených petriho sítí popsaných jazykem PNML na procesorech Atmel. Zahrnuje popis cílové architektury, jež je značně omezená, jak co se týčeoperační a úložní kapacity, tak i výkonu. A tedy ...
  • Model robota Trilobot 

    Štěpán, Miroslav
    Tato diplomová práce popisuje tvorbu modelu pohybu mobilního robota Trilobot, který je následně implementován do jednoduchého simulačního nástroje. Jsou zde popsány experimenty provedené s tímto robotem, stručně je popsán ...
  • Modelem řízený návrh konferenčního systému 

    Caha, Matěj
    Tato diplomová práce se zabývá problematikou modelem řízeného návrhu a aplikace simulací v návrhu systémů. V rámci uvedení do problematiky práce diskutuje historii procesu vývoje SW a nastiňuje jeho aktuální stav. Cílem ...
  • Řízení procesů s dynamickou optimalizací rozvrhu zdrojů 

    Šinkora, Jan
    Práce se zabývá mezioborovou problematikou na pomezí informačních technologií a~optimalizace procesů. Jsou zde využity a rozšířeny dříve navržené postupy pro modelování projektů a~zdrojů pomocí objektově orientovaných ...
  • Simulační server pro DEVS 

    Šimara, Michal
    Cílem této diplomové práce bylo navrhnout a implementovat simulační server pro DEVS využívající již existujícího systému SmallDEVS. V práci se budeme hlavně zabývat popisem DEVS formalismu, systému SmallDEVS a implementovaného ...
  • Webový prohlížeč pro Squeak Smalltalk 

    Šlemr, Martin
    Práce se zabývá popisem webového prohlížeče Scamper v prostředí Squeak Smalltalk, jeho dosavadního vývoje, nového návrhu a implementace, která respektuje CSS box model a vizuální formátovací model včetně tabulek. Také ...