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. |