|
Inkrementální induktivní pokrytelnost pro alternující konečné automaty
Vargovčík, Pavol ; Lengál, Ondřej (oponent) ; Holík, Lukáš (vedoucí práce)
V tejto práci navrhujeme špecializáciu algoritmu inductive incremental coverability, ktorá rieši problém prázdnosti alternujúcich konečných automatov. Experimentujeme s rôznymi návrhovými rozhodnutiami, analyzujeme ich a dokazujeme ich korektnosť. Aj keď je známe, že problém je sám o sebe PSpace-ťažký, zameriavame sa na to, aby bolo rozhodovanie prázdnosti výpočetne prijateľné v niektorých triedach automatov s praktickým využitím. Dosiahli sme niekoľko zaujímavýcch výsledkov v porovnaní so špičkovými algoritmami, predovšetkým v porovnaní s algoritmami založenými na protireťazcoch.
|
|
Řídicí jednotka výrobní linky
Vargovčík, Pavol ; Richter, Miloslav (oponent) ; Petyovský, Petr (vedoucí práce)
V tejto práci som sa venoval vývoju riadiacej jednotky výrobnej linky. Pre jej implementáciu som zvolil vstavané zariadenie Raspberry Pi. Riadiaca jednotka komunikuje s centrálnym administrátorským systémom, ktorý prideľuje jednotlivým riadiacim jednotkám programy. Tieto programy popisujú interakciu s periférnymi zariadeniami, ako aj komunikáciu s databázovým systémom dohľadateľnosti (Traceability).
|
|
Inkrementální induktivní pokrytelnost pro alternující konečné automaty
Vargovčík, Pavol ; Lengál, Ondřej (oponent) ; Holík, Lukáš (vedoucí práce)
V tejto práci navrhujeme špecializáciu algoritmu inductive incremental coverability, ktorá rieši problém prázdnosti alternujúcich konečných automatov. Experimentujeme s rôznymi návrhovými rozhodnutiami, analyzujeme ich a dokazujeme ich korektnosť. Aj keď je známe, že problém je sám o sebe PSpace-ťažký, zameriavame sa na to, aby bolo rozhodovanie prázdnosti výpočetne prijateľné v niektorých triedach automatov s praktickým využitím. Dosiahli sme niekoľko zaujímavýcch výsledkov v porovnaní so špičkovými algoritmami, predovšetkým v porovnaní s algoritmami založenými na protireťazcoch.
|
|
Řídicí jednotka výrobní linky
Vargovčík, Pavol ; Richter, Miloslav (oponent) ; Petyovský, Petr (vedoucí práce)
V tejto práci som sa venoval vývoju riadiacej jednotky výrobnej linky. Pre jej implementáciu som zvolil vstavané zariadenie Raspberry Pi. Riadiaca jednotka komunikuje s centrálnym administrátorským systémom, ktorý prideľuje jednotlivým riadiacim jednotkám programy. Tieto programy popisujú interakciu s periférnymi zariadeniami, ako aj komunikáciu s databázovým systémom dohľadateľnosti (Traceability).
|