Thesis (Selection of subject)Thesis (Selection of subject)(version: 285)
Assignment details
   Login via CAS
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
Type of assignment: Bachelor's thesis
Thesis language: slovenština
Department: Department of Applied Mathematics (32-KAM)
Supervisor: doc. 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
Reviewers: 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.
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html