|
|
An Interconnection of SIMLIB Simulation Library with the Prolog Language
Hrabcová, Petra ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
This MSc Thesis is focused on the multimodeling area, especially on the cooperation of the C++ language and the Prolog language. The recent research is established on my semester study, which also dealt with the multimodeling area. During this research a prototype of interconnection library for cooperation of above mentioned programming languages was developed. This prototype of the library was finished within the scope of this thesis and some case-studies were created, too, using also another simulation library - SIMLIB/C++. These case-studies have their focus in the problems of artificial intelligence. The main benefit of this thesis is the confrontation of methods with and without using artificial intelligence.
|
|
|
Optimization Methods for SIMLIB/C++ Simulation Library
Chlebík, Jakub ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This thesis addresses the topic of parametric optimization of simulation models. It introduces theoretical foundation of optimization and its uses in simulation analysis. Furthermore, it suggests the extension of SIMBLI/C++ library by module for optimization methods. Some of the chosen methods are then theoretically described, implemented in C++ language, demonstrates its uses and evaluates their success.
|
|
|
Numerical Methods for SIMLIB/C++
Němec, Zbyšek ; Martinek, David (referee) ; Peringer, Petr (advisor)
In my thesis I deal with design and implementation of numerical integration methods in object-oriented simulation library SIMLIB/C++. I have proposed and implemented modification of application interface and subsystem of numerical integration methods in SIMLIB library to allow easier extension with external methods. I also added a set of new external methods from GSL(GNU Scientific Library) and some of the interesting methods written in Fortran language from Netlib repository into SIMLIB. I have tested the new and the existing methods and I have compared their properties from the viewpoint of efficiency, stability and accuracy.
|
|
|
An Interconnection of SIMLIB Simulation Library with the Prolog Language
Hrabcová, Petra ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
This MSc Thesis is focused on the multimodeling area, especially on the cooperation of the C++ language and the Prolog language. The recent research is established on my semester study, which also dealt with the multimodeling area. During this research a prototype of interconnection library for cooperation of above mentioned programming languages was developed. This prototype of the library was finished within the scope of this thesis and some case-studies were created, too, using also another simulation library - SIMLIB/C++. These case-studies have their focus in the problems of artificial intelligence. The main benefit of this thesis is the confrontation of methods with and without using artificial intelligence.
|
|
|
Optimization Methods for SIMLIB/C++ Simulation Library
Chlebík, Jakub ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This thesis addresses the topic of parametric optimization of simulation models. It introduces theoretical foundation of optimization and its uses in simulation analysis. Furthermore, it suggests the extension of SIMBLI/C++ library by module for optimization methods. Some of the chosen methods are then theoretically described, implemented in C++ language, demonstrates its uses and evaluates their success.
|
|
|
Numerical Methods for SIMLIB/C++
Němec, Zbyšek ; Martinek, David (referee) ; Peringer, Petr (advisor)
In my thesis I deal with design and implementation of numerical integration methods in object-oriented simulation library SIMLIB/C++. I have proposed and implemented modification of application interface and subsystem of numerical integration methods in SIMLIB library to allow easier extension with external methods. I also added a set of new external methods from GSL(GNU Scientific Library) and some of the interesting methods written in Fortran language from Netlib repository into SIMLIB. I have tested the new and the existing methods and I have compared their properties from the viewpoint of efficiency, stability and accuracy.
|
guest ::
