Intervalový solver nelineárních podmínek
| Thesis title in thesis language (Slovak): | Intervalový solver nelineárních podmínek |
|---|---|
| Thesis title in Czech: | Intervalový solver nelineárních podmínek |
| Thesis title in English: | Interval solver for nonlinear constraints |
| Key words: | problém splňování omezujících podmínek, intervalová data, propagační techniky, SIVIA |
| English key words: | constraint satisfaction problem, interval data, propagation techniques, SIVIA |
| Academic year of topic announcement: | 2013/2014 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | slovenština |
| Department: | Department of Applied Mathematics (32-KAM) |
| Supervisor: | prof. Mgr. Milan Hladík, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 30.10.2013 |
| Date of assignment: | 30.10.2013 |
| Confirmed by Study dept. on: | 05.11.2013 |
| Date and time of defence: | 16.06.2014 00:00 |
| Date of electronic submission: | 22.05.2014 |
| Date of submission of printed version: | 23.05.2014 |
| Date of proceeded defence: | 16.06.2014 |
| Opponents: | RNDr. Martin Pergel, Ph.D. |
| Guidelines |
| Zásady pro vypracování:
- Intervalový branch & bound pro spojité CSP - Implementace základních propagačních technik - Optimalizace na intervalových boxech |
| References |
| [1] Gilles Chabert and Luc Jaulin. Contractor programming. Artificial Intelligence 173 (2009) 1079-1100.
[2] Luc Jaulin, Michel Kieffer, Olivier Didrit, and Éric Walter. Applied interval analysis. Springer, London, 2001. [3] Francesca Rossi, Peter van Beek, and Toby Walsh (eds.). Handbook of constraint programming. Elsevier, Amsterdam, 2006. |
| Preliminary scope of work |
| Metody založené na principu branch & bound pro rigorózní aproximaci dané množiny generují velké množství intervalových dat (boxů). Cílem práce je vytvořit v Matlabu/Intlabu základní řešič pro spojité CSP s možným vylepšením pomocí vhodných propagací a efektivně zpracovat velké množství boxů. |
| Preliminary scope of work in English |
| Methods based on branch & bound scheme for rigorous approximation of a set generate huge number of interval data. The goal of the project is to write a Matlab/Intlab solver for continuous CSP, to make it more efficient by implementing some propagation techniques, and to effectively process the huge number of boxes. |