Ř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