|
|
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).
|
|
|
Optimalizační metody pro knihovnu SIMLIB/C++
Chlebík, Jakub ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Práce se věnuje metodám optimalizace parametrů simulačních modelů. Seznamuje se základy matematické optimalizace a jejím využitím v operačním výzkumu. Dále navrhuje rozšíření knihovny SIMLIB/C++ modulem pro optimalizační metody. Několik vybraných metod teoreticky popisuje, implementuje v jazyce C++, demonstruje jejich použití na několika příkladech a zhodnocuje jejich úspěšnost.
|
|
|
Numerické metody pro SIMLIB/C++
Němec, Zbyšek ; Martinek, David (oponent) ; Peringer, Petr (vedoucí práce)
Ve své práci se zabývám problematikou užití numerických metod a jejich implementace v objektově orientované simulační knihovně SIMLIB/C++. Navrhnul a realizoval jsem úpravu rozhraní a podsystému numerických integračních metod knihovny SIMLIB s cílem umožnit její snadnější rozšiřitelnost o externí integrační metody. Díky tomu jsem mohl simulační knihovnu SIMLIB obohatit o sadu nových metod z knihovny GSL(GNU Scientific Library) a některé zajímavé metody v jazyce Fortran uvedené v databázi Netlib. Nové i existující metody jsem řádně otestoval a porovnal jejich vlastnosti z hlediska efektivity, stability a přesnosti.
|
|
|
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).
|
|
|
Optimalizační metody pro knihovnu SIMLIB/C++
Chlebík, Jakub ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Práce se věnuje metodám optimalizace parametrů simulačních modelů. Seznamuje se základy matematické optimalizace a jejím využitím v operačním výzkumu. Dále navrhuje rozšíření knihovny SIMLIB/C++ modulem pro optimalizační metody. Několik vybraných metod teoreticky popisuje, implementuje v jazyce C++, demonstruje jejich použití na několika příkladech a zhodnocuje jejich úspěšnost.
|
|
|
Numerické metody pro SIMLIB/C++
Němec, Zbyšek ; Martinek, David (oponent) ; Peringer, Petr (vedoucí práce)
Ve své práci se zabývám problematikou užití numerických metod a jejich implementace v objektově orientované simulační knihovně SIMLIB/C++. Navrhnul a realizoval jsem úpravu rozhraní a podsystému numerických integračních metod knihovny SIMLIB s cílem umožnit její snadnější rozšiřitelnost o externí integrační metody. Díky tomu jsem mohl simulační knihovnu SIMLIB obohatit o sadu nových metod z knihovny GSL(GNU Scientific Library) a některé zajímavé metody v jazyce Fortran uvedené v databázi Netlib. Nové i existující metody jsem řádně otestoval a porovnal jejich vlastnosti z hlediska efektivity, stability a přesnosti.
|
host ::
RSS.