|
|
Lidské rozhraní k automatovým knihovnám nástroje MONA
Pyšný, Radek ; Šimáček, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
Konečné stromové automaty jsou formalismem používaným v mnoha různých oblastech informatiky, mimo jiné v oblasti formální verifikace. V současné době existuje několik nástrojů pro práci s konečnými stromovými automaty, avšak knihovny nástroje MONA jsou pro tyto účely nejlepší. Právě konečné stromové automaty jsou častým nástrojem pro formální verifikaci počítačových systémů, které pracují s dynamickými datovými strukturami. Způsob, jakým je realizováno zadávání konečných stromových automatů pro knihovny nástroje MONA , je pro člověka značně náročný, protože je nutné funkci přechodu konečného stromového automatu zadat ve formě několika multiterminálních binárních rozhodovacích diagramů. Cílem této diplomové práce je navrhnout a implementovat nástroj pro převod konečných stromových automatů zapsaných výčtem pravidel do interního formátu nástroje MONA .
|
|
|
Čtečka čárového kódu a RFID čipů s AVR mikrokontrolerem
Barka, Marek ; Daněček, Vít (oponent) ; Šilhavý, Pavel (vedoucí práce)
Práce pojednává o návrhu řešení čtečky čárových kódu a Rfid čipů, jejichž nasnímaná data jsou zpracována mikroprocesorem a odeslána na vstup klávesnice do osobního počítače. Zařazuje čárový kód a Rfid čip do tematického oblasti automatické identifikace. Součásti a cílem práce je realizace celého hardwarového řešení a přenesení aktuálně nasnímaných dat do aplikace v počítači. Zahrnuje v sobě metody komunikace s danými integrovanými obvody, včetně podrobného popisu a testování jejich připojení k použitým rozhraním.
|
|
|
Lidské rozhraní k automatovým knihovnám nástroje MONA
Pyšný, Radek ; Šimáček, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
Konečné stromové automaty jsou formalismem používaným v mnoha různých oblastech informatiky, mimo jiné v oblasti formální verifikace. V současné době existuje několik nástrojů pro práci s konečnými stromovými automaty, avšak knihovny nástroje MONA jsou pro tyto účely nejlepší. Právě konečné stromové automaty jsou častým nástrojem pro formální verifikaci počítačových systémů, které pracují s dynamickými datovými strukturami. Způsob, jakým je realizováno zadávání konečných stromových automatů pro knihovny nástroje MONA , je pro člověka značně náročný, protože je nutné funkci přechodu konečného stromového automatu zadat ve formě několika multiterminálních binárních rozhodovacích diagramů. Cílem této diplomové práce je navrhnout a implementovat nástroj pro převod konečných stromových automatů zapsaných výčtem pravidel do interního formátu nástroje MONA .
|
|
|
Čtečka čárového kódu a RFID čipů s AVR mikrokontrolerem
Barka, Marek ; Daněček, Vít (oponent) ; Šilhavý, Pavel (vedoucí práce)
Práce pojednává o návrhu řešení čtečky čárových kódu a Rfid čipů, jejichž nasnímaná data jsou zpracována mikroprocesorem a odeslána na vstup klávesnice do osobního počítače. Zařazuje čárový kód a Rfid čip do tematického oblasti automatické identifikace. Součásti a cílem práce je realizace celého hardwarového řešení a přenesení aktuálně nasnímaných dat do aplikace v počítači. Zahrnuje v sobě metody komunikace s danými integrovanými obvody, včetně podrobného popisu a testování jejich připojení k použitým rozhraním.
|
host ::
RSS.