Evolutionary Design of Ultrasound Treatment Plans

Tato práce se zabývá studiem vybraných evolučních systémů pro jejich použití při návrhu plánu pro ultrazvukové operace. Tyto algoritmy statisticky analyzuje a dle vhodných kritérií je experimentálně srovnává a diskutuje přínos pro klinickou praxi.The thesis studies selected evolution systems to use in planning of high intensity focused ultrasound surgeries. Considered algorithms are statistically analyzed and compared by appropriate criteria to find the one that adds the most value to the potential real world medical problems.

Optimization Methods for SIMLIB/C++ Simulation Library

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.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.

A space-indexed formulation of packing boxes into a larger box

Current integer programming solvers fail to decide whether 12 unit cubes can be packed into a 1×1×11 box within an hour using the natural relaxation of Chen/Padberg. We present an alternative relaxation of the problem of packing boxes into a larger box, which makes it possible to solve much larger instances