|
|
Aplikace pro vzdálenou editaci DEVS modelů a řízení simulace na simulačním serveru
Kolařík, Jan ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá návrhem a samotnou implementací klient-server aplikace pro vzdálený přístup k modelům systémů uloženým na serveru. Aplikace umožňuje tyto modely také editovat a provádět nad nimi simulace. Součástí práce je i navržení samotného komunikačního protokolu mezi klientem a serverem. Klient je implementován pomocí knihovny Qt, stejně jako prototyp serveru. Server je realizován jako součást existujícího simulačního jádra (SmallDEVS), které je implementováno v jazyce Smalltalk.
|
|
|
Interpret Petriho sítí pro řídicí systémy s procesorem Atmel
Minář, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
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 značně ovlinila návrh a implentaci samotného interpretu. Ten je hlavní náplní této práce a bude tedy detailně popsán z obou zmíněných pohledů. Protože při všech krocích byl kladen důraz na možnost verifikace a simulace samotného interpretu, byl pro implementaci použit jazyk smalltalk na platformě squeak. Ten nám umožnil testovat interpret na PC a následně jej přeložit pro cílovou architekturu v nezměněné podobě. Motivace k tomuto řešení a podrobný popis převodu jsou rovněž předmětem této práce.
|
|
|
Aplikace pro vzdálenou editaci DEVS modelů a řízení simulace na simulačním serveru
Kolařík, Jan ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá návrhem a samotnou implementací klient-server aplikace pro vzdálený přístup k modelům systémů uloženým na serveru. Aplikace umožňuje tyto modely také editovat a provádět nad nimi simulace. Součástí práce je i navržení samotného komunikačního protokolu mezi klientem a serverem. Klient je implementován pomocí knihovny Qt, stejně jako prototyp serveru. Server je realizován jako součást existujícího simulačního jádra (SmallDEVS), které je implementováno v jazyce Smalltalk.
|
|
|
Interpret Petriho sítí pro řídicí systémy s procesorem Atmel
Minář, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
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 značně ovlinila návrh a implentaci samotného interpretu. Ten je hlavní náplní této práce a bude tedy detailně popsán z obou zmíněných pohledů. Protože při všech krocích byl kladen důraz na možnost verifikace a simulace samotného interpretu, byl pro implementaci použit jazyk smalltalk na platformě squeak. Ten nám umožnil testovat interpret na PC a následně jej přeložit pro cílovou architekturu v nezměněné podobě. Motivace k tomuto řešení a podrobný popis převodu jsou rovněž předmětem této práce.
|
host ::
RSS.