Řešení ne-lineárních podmínek na základě nad-aproximace lineárními ne-rovnicemi

školitel: Stefan Ratschan
e-mail: zobrazit e-mail
typ práce: bakalářská práce, diplomová práce
zaměření: MI_MM, II_SIMI, II_TS
klíčová slova: Řešení ne-lineárních podmínek
odkaz: http://rsolver.sourceforge.net, http://www.cs.cas.cz/~ratschan
popis: Práce zahrnuje rozšíření existujícího řešiče RSolver (http://rsolver.sourceforge.net) o nad-aproximaci ne-lineárních podmínek lineárními ne-rovnicemi. Výsledek budeme používat v rámci Evropského projektu pro verifikaci počítačových systémů.
literatura: Arnold Neumaier: Complete Search in Continuous Global Optimization and Constraint Satisfaction, Acta Numerica, 2004, Chapter 16
poznámka: Excelentního studenta bychom mohli pro implementační práci částečně finančně odměňovat.
naposledy změněno: 19.03.2012 17:07:17

za obsah této stránky zodpovídá: Radek Fučík | naposledy změněno: 12.9.2011
Trojanova 13, 120 00 Praha 2, tel. 224 358 540, pevná linka 224 923 098, fax 234 358 643
České vysoké učení technické v Praze | Fakulta jaderná a fyzikálně inženýrská | Katedra matematiky