Heindlová, Tina - Výsledky hledání - Digitální repozitář

host :: přihlásit Digitální repozitář
		Hledej		Nový záznam		Nápověda		O repozitáři

Hlavní stránka > Výsledky hledání: Heindlová, Tina

Hledej:

Tipy pro vyhledávaní :: Rozšířené hledání

Hledej ve sbírkách:

Seřadit podle:	Zobrazit výsledky:	Výstupní formát:

	Ověřování správnosti herních prostředí pomocí davu autonomních agentů Heindlová, Tina ; Nečasová, Gabriela (oponent) ; Zbořil, František (vedoucí práce) Tato práce se věnuje práci s enginem Enfusion a jak s ním začít pracovat. Popisuje, jak v něm vytvořit minihru pro seznámení s enginem. Dále je zde navržen a popsán algoritmus zpětného navrácení, který byl použit pro detekci nekonzistentních stavů v herním světem. Práce popisuje tvorbu takového světa a testování na něm. Práce tento algoritmus testuje a diskutuje dosažené výsledky. V závěru jsou navrženy další možné metody řešení. Úplný záznam
	Inference skákajících formálních modelů Heindlová, Tina ; Bidlo, Michal (oponent) ; Křivka, Zbyněk (vedoucí práce) Práce se věnuje gramatické inferenci z hlediska evolučních algoritmů pro skákající formální modely. Nejdříve vysvětluje skákající formální modely, které se dělí na skákající gramatiky a skákající automaty. Poté popisuje gramatickou inferenci, evoluční algoritmy a všechny jejich důležité části, jako je generování řetězců a zjišťování členství řetězce do jazyka definovaného automatem. Daný algoritmus se pak aplikuje na vybrané druhy skákajících konečných automatů. Těmi jsou skákající konečné automaty, zobecněné skákající konečné automaty a doprava jednosměrně skákající konečné automaty. Testovány byly čtyři typy skákajících automatů a celkem bylo provedeno šestnáct experimentů. Z výsledků vyplývá, že inference fungovala nejlépe pro automaty bez větvení, a pro ty obsahující malé množství stavů a malou vstupní abecedu. Úplný záznam
	Inference skákajících formálních modelů Heindlová, Tina ; Bidlo, Michal (oponent) ; Křivka, Zbyněk (vedoucí práce) Práce se věnuje gramatické inferenci z hlediska evolučních algoritmů pro skákající formální modely. Nejdříve vysvětluje skákající formální modely, které se dělí na skákající gramatiky a skákající automaty. Poté popisuje gramatickou inferenci, evoluční algoritmy a všechny jejich důležité části, jako je generování řetězců a zjišťování členství řetězce do jazyka definovaného automatem. Daný algoritmus se pak aplikuje na vybrané druhy skákajících konečných automatů. Těmi jsou skákající konečné automaty, zobecněné skákající konečné automaty a doprava jednosměrně skákající konečné automaty. Testovány byly čtyři typy skákajících automatů a celkem bylo provedeno šestnáct experimentů. Z výsledků vyplývá, že inference fungovala nejlépe pro automaty bez větvení, a pro ty obsahující malé množství stavů a malou vstupní abecedu. Úplný záznam
	Ověřování správnosti herních prostředí pomocí davu autonomních agentů Heindlová, Tina ; Nečasová, Gabriela (oponent) ; Zbořil, František (vedoucí práce) Tato práce se věnuje práci s enginem Enfusion a jak s ním začít pracovat. Popisuje, jak v něm vytvořit minihru pro seznámení s enginem. Dále je zde navržen a popsán algoritmus zpětného navrácení, který byl použit pro detekci nekonzistentních stavů v herním světem. Práce popisuje tvorbu takového světa a testování na něm. Práce tento algoritmus testuje a diskutuje dosažené výsledky. V závěru jsou navrženy další možné metody řešení. Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.

Digitální repozitář :: :: :: ::
Powered by v1.1.2
Spravuje

Tato stránka je dostupná také v následujících jazycích:
Česky English