Prehľad bakalárskych prác súvisiacich so študijným programom
Prehľad bakalárskych prác súvisiacich so študijným programom
Prehľad bakalárskych prác súvisiacich so študijným programom
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Ing. Michal Michal ŽARNAY ŽARNAY, ŽARNAY PhD.<br />
Michal.Zarnay@fri.uniza.sk | tel. 041/5134 224 | číslo dverí A216<br />
Zjednodušený Zjednodušený editor editor vodnej vodnej cesty<br />
cesty<br />
Cieľ Cieľ <strong>prác</strong>e<br />
<strong>prác</strong>e<br />
Obsah Obsah<br />
Obsah<br />
Pre simulačný nástroj na nácvik dispečerského riadenia na vodnej ceste WWSim<br />
vytvoriť zjednodušený editor vodnej cesty.<br />
Editor dokáže:<br />
• zobraziť vodnú cestu vo zvolenej mierke,<br />
• vybrať prvok na spracovanie myšou na obrázku,<br />
• pridávať a rušiť prvky a editovať atribúty prvkov vodnej cesty textovo,<br />
• spracovať a uložiť údaje v určených formátoch na báze XML a XLS.<br />
Práca editora bude predvedená na vodnej ceste rozsahu podobnom vodnej ceste na<br />
rieke Dunaj. Integrácia editora s nástrojom WWSim a použitie v ňom existujúcich<br />
údajových štruktúr sú vítané.<br />
Konvertor Konvertor údajov údajov údajov o o Petriho Petriho Petriho sieťach<br />
sieťach<br />
Cieľ Cieľ <strong>prác</strong>e<br />
<strong>prác</strong>e<br />
Obsah<br />
Obsah<br />
Vytvorte konvertor údajov o Petriho sieťach do štandardného formátu PNML z<br />
formátov používaných v špecializovaných aplikáciách EBZ a CoBA (diplomové <strong>prác</strong>e:<br />
Branislav Zríny, Jozef Marek).<br />
Splnenie úlohy si vyžaduje naštudovanie všetkých formátov, pričom pri formáte PNML<br />
sa očakáva aj jeho stručný opis v slovenskom jazyku podľa cudzojazyčnej literatúry.<br />
Okrem toho preverte aj možnosť konverzie údajov o farbenej Petriho sieti vo formáte<br />
CPN, používanom všeobecným nástrojom CPN Tools, na formát PNML. V prípade, že<br />
konverzia je možná, realizujte ju v konvertore.<br />
Splnenie úlohy si vyžaduje pochopenie základov fungovania Petriho siete, ktoré<br />
možno získať v rámci rovnomenného predmetu.<br />
Formálna Formálna analýza analýza zvoleného zvoleného systému<br />
systému<br />
Cieľ Cieľ <strong>prác</strong>e<br />
<strong>prác</strong>e<br />
Obsah<br />
Obsah<br />
Použitím Petriho siete vykonajte formálnu analýzu Vami zvoleného dynamického<br />
systému <strong>so</strong> súbežnými procesmi.<br />
Analýza zahrnie vlastnosti správania i štruktúry Petriho siete. Výsledkom bude súbor<br />
pravidiel pre zvolený systém na predchádzanie neželaným stavom alebo<br />
udalostiam.Triedu Petriho siete a modelovací nástroj si zvoľte podľa potreby. Nutnou<br />
podmienkou zvládnutia úlohy je úspešné štúdium predmetu 5IA05 Petriho siete.
Change language