System Kalis and logic constraints in optimization
| Thesis title: | Systém Kalis a využitie logických podmienok v optimalizačných úlohách |
|---|---|
| Author: | Murčová, Veronika |
| Thesis type: | Bachelor thesis |
| Supervisor: | Jablonský, Josef |
| Opponents: | Borovička, Adam |
| Thesis language: | Slovensky |
| Abstract: | Práca sa zaoberá programovaním s obmedzujúcimi podmienkami (constraint programming) a prácou v systéme Kalis. Cieľom práce je poskytnúť informácie o riešení úloh programovania s obmedzujúcimi podmienkami, základných algoritmoch a priblížiť riešenie týchto úloh pomocou na to určeného softvéru. Práca je rozdelená do troch hlavných častí, prvá časť je venovaná popisu základných princípov, predstaveniu praktického využitia týchto úloh a prezentovaniu metód, ktoré sa používajú pri výpočte. Druhá časť sa venuje systému Xpress-Kalis a obsahuje základné informácie o produkte FICO Xpress Optimization Suite, ktorého súčasťou je aj systém Kalis. V tejto kapitole sa nachádza aj stručný popis základných zásad práce so systémom Kalis. Tretia časť je venovaná praktickej ukážke riešenia úlohy obchodného cestujúceho v systéme Kalis. |
| Keywords: | programovanie s obmedzujúcimi podmienkami; úloha obchodného cestujúceho; systém Kalis |
| Thesis title: | Systém Kalis a používání logických podmínek při řešení optimalizačních úloh |
|---|---|
| Author: | Murčová, Veronika |
| Thesis type: | Bakalářská práce |
| Supervisor: | Jablonský, Josef |
| Opponents: | Borovička, Adam |
| Thesis language: | Slovensky |
| Abstract: | Práce se zabývá programováním s omezujícími podmínkami a prací se systémem Kalis. Cílem práce je poskytnout informace o řešení úloh programování s omezujícími podmínkami, základních algoritmech a přiblížit řešení úloh pomocí specializovaného software. Práce je rozdělená na tři části, první část je věnována popisu základních přincipů, představení praktických aplikací úloh programování s omezujícími podmínkami a prezentaci metod používaných při výpočtech. Druhá část popisuje vlastnosti systému Kalis a představuje zásady práce v tomto systému. Třetí část je věnována praktické ukázce řešení úlohy obchodního cestujícího v systéme Kalis. |
| Keywords: | úloha obchodního cestujícího; systém Kalis; programování s omezujícími podmínkami |
| Thesis title: | System Kalis and logic constraints in optimization |
|---|---|
| Author: | Murčová, Veronika |
| Thesis type: | Bachelor thesis |
| Supervisor: | Jablonský, Josef |
| Opponents: | Borovička, Adam |
| Thesis language: | Slovensky |
| Abstract: | The paper describes principles of constraint programming and methodology of working with system Kalis. The aim of the paper is to introduce constraint programming as the method of the optimization, the algorithms of computing the problems of constraint programming and also to describe solving process in system Kalis. First part of the paper is dedicated to introduction to constraint programming. The examples of real-life applications are presented in this chapter followed by the description of the methods used for solving constraint programming problems. The second chapter introduces basic information about Xpress Kalis and describes the main characteristics of the system. The third part contains the example of travelling salesman problem solved with using Xpress Kalis. |
| Keywords: | travelling salesman problem; system Kalis; constraint programming |
Information about study
| Study programme: | Kvantitativní metody v ekonomice/Matematické metody v ekonomii |
|---|---|
| Type of study programme: | Bakalářský studijní program |
| Assigned degree: | Bc. |
| Institutions assigning academic degree: | Vysoká škola ekonomická v Praze |
| Faculty: | Faculty of Informatics and Statistics |
| Department: | Department of Econometrics |
Information on submission and defense
| Date of assignment: | 13. 2. 2013 |
|---|---|
| Date of submission: | 17. 5. 2013 |
| Date of defense: | 25. 6. 2013 |
| Identifier in the InSIS system: | https://insis.vse.cz/zp/41350/podrobnosti |