|
|
Propojení simulační knihovny SIMLIB s jazykem Prolog
Hrabcová, Petra ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Tato práce je zaměřena na oblast heterogenního modelování, zejména na modelování zaměřené na spolupráci programovacích jazyků C++ a Prolog. Výchozím bodem pro tuto práci je navázání na předchozí výzkum (semestrální projekt) v oblasti heterogenního modelování. Během tohoto výzkumu byl vyvinut prototyp knihovny, která umožňuje spolupráci výše zmíněných programovacích jazyků. Prototyp knihovny byl v rámci této diplomové práce dokončen a byly vytvořeny případové studie, které mají prokázat jeho použitelnost. Případové studie, které byly vytvořeny za použití simulační knihovny SIMLIB/C++, se zabývají zejména problémy z oblasti umělé inteligence jako je průchod stavovým prostorem. Hlavním přínosem práce je srovnání simulací provedených bez použití metod, které nám nabízí umělá inteligence (tedy algoritmů pro průchod stavovým prostorem), a simulací, při kterých jsme použili metod umělé inteligence (prostřednictvím knihovny).
|
|
|
Propojení simulační knihovny SIMLIB s jazykem Prolog
Hrabcová, Petra ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Tato práce je zaměřena na oblast heterogenního modelování, zejména na modelování zaměřené na spolupráci programovacích jazyků C++ a Prolog. Výchozím bodem pro tuto práci je navázání na předchozí výzkum (semestrální projekt) v oblasti heterogenního modelování. Během tohoto výzkumu byl vyvinut prototyp knihovny, která umožňuje spolupráci výše zmíněných programovacích jazyků. Prototyp knihovny byl v rámci této diplomové práce dokončen a byly vytvořeny případové studie, které mají prokázat jeho použitelnost. Případové studie, které byly vytvořeny za použití simulační knihovny SIMLIB/C++, se zabývají zejména problémy z oblasti umělé inteligence jako je průchod stavovým prostorem. Hlavním přínosem práce je srovnání simulací provedených bez použití metod, které nám nabízí umělá inteligence (tedy algoritmů pro průchod stavovým prostorem), a simulací, při kterých jsme použili metod umělé inteligence (prostřednictvím knihovny).
|
host ::
RSS.