|
|
Solving over-constrained problems
Kasl, Tomáš ; Barták, Roman (advisor) ; Zlomek, Josef (referee)
Constraint hierarchies belong to techniques for solving over-constrained problems, that is, constraint satisfaction problems where it is not possible to satisfy all the constraints. The idea of constraint hierarchy is to label each constraint by a preference level describing how much the constraint should be satisfied. Currently, there exist two classes of constraint hierarchy solvers: local propagation solvers that can handle more or less equality constraints only and refining solvers that are a bit cumbersome and non-incremental. The theoretical framework of constraint hierarchy solvers combines advantages of both above mentioned classes but no algorithm exploiting the power of this framework has been proposed so far. The thesis describes a new algorithm for solving constraint hierarchies based on this framework.
|
|
|
Solving over-constrained problems
Kasl, Tomáš ; Barták, Roman (advisor) ; Zlomek, Josef (referee)
Constraint hierarchies belong to techniques for solving over-constrained problems, that is, constraint satisfaction problems where it is not possible to satisfy all the constraints. The idea of constraint hierarchy is to label each constraint by a preference level describing how much the constraint should be satisfied. Currently, there exist two classes of constraint hierarchy solvers: local propagation solvers that can handle more or less equality constraints only and refining solvers that are a bit cumbersome and non-incremental. The theoretical framework of constraint hierarchy solvers combines advantages of both above mentioned classes but no algorithm exploiting the power of this framework has been proposed so far. The thesis describes a new algorithm for solving constraint hierarchies based on this framework.
|
|
|
Development of internal management information system in Dolphin Consulting, s.r.o.
Církovský, Tomáš ; Maryška, Miloš (advisor) ; Kasl, Tomas (referee)
Main goal of this master thesis is to create Management Information System for company Dolphin consulting, s.r.o. based on technologies available within its infrastructure. Next goal is conduct preliminary verification of the created Management Information System. Generally, the Management Information System is created in accordance with resources including but not limited to Business Intelligence, Management Information Systems literature and experiences of the author. The most important assets of this thesis are creating of the system for Dolphin consulting, s.r.o. and initial verification of created system for its further development and highlight issues that arise. This master thesis is divided into two logical parts. The first part is purely theoretical and describes the issues of data warehousing according to Kimball and Inmon, OLAP Cubes and Management Information Systems. Practical part of thesis describes implementation of Business Intelligence tools as a part of created Management Information System in company Dolphin consulting, s.r.o. At the end of this part is the above stated preliminary verification of the Management Information System with list of recommendations for improving the system.
|
guest ::
