|
|
Algorithms for solving strong positional games with high symmetry
Novotná, Jitka ; Valla, Tomáš (vedoucí práce) ; Kit, Michal (oponent)
V této práce představujeme několik algoritmů pro počítačové řešení silných pozičních her a to především algoritmů založených na algoritmu PN-search. Zaměřujeme se na hry s vysokou symetrií herního plánu. Spojováním mnoha izomorfních pozic jsme dosáhli velkého zmenšení části herního strumu, kterou je potřeba prohledat. Představujeme již známa vylepšení a také navrhujeme vlastní. Ověřujeme jak tyto heuristiky funguji na příkladu klikové hry. K práci je přiložen software pro řešení silné klikové hry pro K=4 a N=5...8. Software zvládl vyřešit (6,4) a (7,4)-klikovou hru a dokázal, že druhý hráč má neprohrávající strategii, což se očekávalo, ale dosud nebylo potvrzeno.
|
|
|
Component-based engineering of Smart Cyber-Physical systems
Kit, Michal ; Bureš, Tomáš (vedoucí práce) ; Becker, Steffen (oponent) ; Carlson, Jan (oponent)
Smart cyber-physical systémy (SCPS) jsou distribuované otevřené systémy s dynamickou architekturou. Tyto systémy jsou složené z autonomních komponent, jejichž interakce skrze kooperativní akce dává vzniknout komplexním chováním celého systému (emergent behaviors), jež by jinak nebyly možné. Komponenty, ze kterých se jednotlivý SCPS skládá, jsou velmi často rozdílné co do účelu, chování i dostupných zdrojů. Tyto charakteristiky SCPS komponent (zejména kombinace jejich různorodosti a kooperace) přispívají k celkové odolnosti (resilience) takovýchto systémů, stejně jako k jejich souvislému fungování (availability) - což jsou klíčové vlastnosti, jejichž maximální splnění je očekáváno od moderních distribuovaných systémů. Jelikož jsou SCPS poměrně nový koncept, není pro ně podpora ve formě nástrojů pro návrh a vývoj, které by umožnily systematický inženýrský proces jejich tvorby. Cílem této práce je poskytnout metody, které se soustředí na fáze vývoje, verifikace a nasazení v rámci takového procesu. Zejména si práce klade za cíl poskytnout následující: (i) vhodné abstrakce pro modelování SCPS; (ii) běhové prostředí pro jejich nasazení a operaci; (iii) simulační nástroj umožňující verifikaci na systémové úrovni. Tyto prvky dohromady jsou dodány coby součásti frameworku DEECo, který je postaven na bázi...
|
|
|
Engine for Real-time Strategy (RTS) Games
Hanka, Adam ; Ježek, Pavel (vedoucí práce) ; Kit, Michal (oponent)
Realtimové strategie (RTS) jsou velmi populární žánr na poli počítačových her. Bohužel, komerční RTS hry jsou uzavřené a nerozšiřitelné, což znemožňuje jejich důkladné poznání na úrovni zdrojového kódu. V této práci prezentujeme velmi ilustrativní 2D RTS hru založenou na .NET Frameworku s objektově orientovaným návrhem, která je plně rozšiřitelná a publikována jako open-source. Hra podporuje jak single-player, tak i multiplayer mód s možností hry proti počítačovým hráčům, kteří jsou vedeni umělou inteligencí. Systém umělé inteligence je rozšiřitelný pomocí pluginů. Projekt obsahuje budovy a jednotky s jejich vlastní vnitřní umělou inteligencí, která jim umožňuje chovat se (částečně) nezávisle. Nové jednotky a budovy i vnitřní inteligence pro ně mohou být přidávány jako kompilované DLL binární soubory. V tomto projektu dále prezentujeme propracovaný koncept managementu surovin, který umožňuje snadnou rozšiřitelnost sběru, transportu a přeměny surovin.
|
|
|
Algorithms for solving strong positional games with high symmetry
Novotná, Jitka ; Valla, Tomáš (vedoucí práce) ; Kit, Michal (oponent)
V této práce představujeme několik algoritmů pro počítačové řešení silných pozičních her a to především algoritmů založených na algoritmu PN-search. Zaměřujeme se na hry s vysokou symetrií herního plánu. Spojováním mnoha izomorfních pozic jsme dosáhli velkého zmenšení části herního strumu, kterou je potřeba prohledat. Představujeme již známa vylepšení a také navrhujeme vlastní. Ověřujeme jak tyto heuristiky funguji na příkladu klikové hry. K práci je přiložen software pro řešení silné klikové hry pro K=4 a N=5...8. Software zvládl vyřešit (6,4) a (7,4)-klikovou hru a dokázal, že druhý hráč má neprohrávající strategii, což se očekávalo, ale dosud nebylo potvrzeno.
|
host ::
RSS.