|
Model Based Design of the Conference System
Caha, Matěj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the topic of model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.
|
| |
|
Registrace obrazových korespondencí získaných z více zdrojů
Cáha, Matěj ; Buriánek, Jan (advisor) ; Pelikán, Josef (referee)
In the present work we study use of graph matching algorithms for registration of important image points obtained from di erent sources. We especially focus on acquiring more precise data for nal 3D model reconstruction from a large set of images with already known corresponding points. We give a short overview of graph matching problem including de nitions, computational complexity and various approaches and examples of using graph matching algorithms for solving various problems in many elds. Then we propose our algorithm for approximation of attributed relational minimum cost sub{graph isomorphism problem that is able to match a large number of huge graphs in reasonable time. We also give a short overview of point correspondence problem and we implement suitable edge and vertex metrics for matching partial 2D and 3D model geometry and we test proposed algorithm on both real and synthetic data. We restrict our work to weak point correspondences supposing the nal reconstructed 3D model is built-up from faces.
|
|
Registrace obrazových korespondencí získaných z více zdrojů
Cáha, Matěj ; Pelikán, Josef (referee) ; Buriánek, Jan (advisor)
In the present work we study use of graph matching algorithms for registration of important image points obtained from di erent sources. We especially focus on acquiring more precise data for nal 3D model reconstruction from a large set of images with already known corresponding points. We give a short overview of graph matching problem including de nitions, computational complexity and various approaches and examples of using graph matching algorithms for solving various problems in many elds. Then we propose our algorithm for approximation of attributed relational minimum cost sub{graph isomorphism problem that is able to match a large number of huge graphs in reasonable time. We also give a short overview of point correspondence problem and we implement suitable edge and vertex metrics for matching partial 2D and 3D model geometry and we test proposed algorithm on both real and synthetic data. We restrict our work to weak point correspondences supposing the nal reconstructed 3D model is built-up from faces.
|
|
Model Based Design of the Conference System
Caha, Matěj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the topic of model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.
|
| |