Řešení ne-lineárních podmínek na základě nad-aproximace lineárními ne-rovnicemi
| advisor: | Stefan Ratschan |
| e-mail: | show e-mail |
| type: | bachelor thesis, master thesis |
| branch of study: | MI_MM, II_SIMI, II_TS |
| key words: | Řešení ne-lineárních podmínek |
| link: | http://rsolver.sourceforge.net, http://www.cs.cas.cz/~ratschan |
| description: | 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ů. |
| references: | Arnold Neumaier: Complete Search in Continuous Global Optimization and Constraint Satisfaction, Acta Numerica, 2004, Chapter 16 |
| note: | Excelentního studenta bychom mohli pro implementační práci částečně finančně odměňovat. |
| last update: | 20.11.2017 21:53:30 |
administrator for this page:
Ľubomíra Dvořáková | last update: 09/12/2011