Ř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: | 20.11.2017 21:53:30 |
za obsah této stránky zodpovídá:
Čestmír Burdík | naposledy změněno: 9.9.2021