Ř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á:
Pavel Strachota | naposledy změněno: 9.9.2021