Systém Kalis a používání logických podmínek při řešení optimalizačních úloh
| Název práce: | Systém Kalis a využitie logických podmienok v optimalizačných úlohách |
|---|---|
| Autor(ka) práce: | Murčová, Veronika |
| Typ práce: | Bakalářská práce |
| Vedoucí práce: | Jablonský, Josef |
| Oponenti práce: | Borovička, Adam |
| Jazyk práce: | Slovensky |
| Abstrakt: | 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. |
| Klíčová slova: | programovanie s obmedzujúcimi podmienkami; úloha obchodného cestujúceho; systém Kalis |
| Název práce: | Systém Kalis a používání logických podmínek při řešení optimalizačních úloh |
|---|---|
| Autor(ka) práce: | Murčová, Veronika |
| Typ práce: | Bakalářská práce |
| Vedoucí práce: | Jablonský, Josef |
| Oponenti práce: | Borovička, Adam |
| Jazyk práce: | Slovensky |
| Abstrakt: | 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. |
| Klíčová slova: | úloha obchodního cestujícího; systém Kalis; programování s omezujícími podmínkami |
| Název práce: | System Kalis and logic constraints in optimization |
|---|---|
| Autor(ka) práce: | Murčová, Veronika |
| Typ práce: | Bachelor thesis |
| Vedoucí práce: | Jablonský, Josef |
| Oponenti práce: | Borovička, Adam |
| Jazyk práce: | Slovensky |
| Abstrakt: | 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. |
| Klíčová slova: | travelling salesman problem; system Kalis; constraint programming |
Informace o studiu
| Studijní program / obor: | Kvantitativní metody v ekonomice/Matematické metody v ekonomii |
|---|---|
| Typ studijního programu: | Bakalářský studijní program |
| Přidělovaná hodnost: | Bc. |
| Instituce přidělující hodnost: | Vysoká škola ekonomická v Praze |
| Fakulta: | Fakulta informatiky a statistiky |
| Katedra: | Katedra ekonometrie |
Informace o odevzdání a obhajobě
| Datum zadání práce: | 13. 2. 2013 |
|---|---|
| Datum podání práce: | 17. 5. 2013 |
| Datum obhajoby: | 25. 6. 2013 |
| Identifikátor v systému InSIS: | https://insis.vse.cz/zp/41350/podrobnosti |