témavezető: Csendes Tibor
helyszín (magyar oldal): SZTE TTIK Matematika- és Számítástudományok Doktori Iskola 6720 Szeged, Aradi vértanúk tere 1. helyszín rövidítés: MatDI
A kutatási téma leírása:
A tervezett kutatás célja az utóbbi években létrejött új algoritmikus eszközök hasznosíthatóságának tisztázása a megbízható optimalizálás területén. Ezen új paradigmák a DAG (directed acyclic graph) reprezentációja és alkotó használata
a befoglaló függvények pontos meghatározásában, a DAG mentén való feltétel-kezelés
(constraint propagation), a deriváltak automatikus előállítása, slope befoglalások, és a
bizonytalanság leírására szolgáló "cloud" modell. Ide tartozik ezek hatékony együttes
használati lehetőségei tisztázása is.
A jelentkező feladata olyan hatékony adatszerkezet kialakítása, amely a fent említett
eszközöket kényelmesen de hatékonyan engedi alkalmazni (operátor túltöltés, új adattípusok stb.). A munka alapját megteremti a Bécsi Egyetemmel folytatott közös kutatás, illetve az általuk már kidolgozott eszköztár és módszertan is. A kutatás mind számítógépes tesztelést, algoritmus fejlesztést, mind az új eljárások elméleti vizsgálatát célozza.
A szakirodalom ez esetben is angolul érhető el többségében. Az egyik fő olvasmány a
- H. Schichl and A. Neumaier, Interval Analysis on Directed Acyclic Graphs for Global
Optimization, J. Global Optimization 33 (2005), 541-562:
általános alapozásként ismét a korábbi két fontos könyv:
- Bazara, M.S., H.N. Sherali and C.M. Shetty: Nonlinear Programming, John Wiley & Sons, New York, 1993
- Horst, R. and P.M. Pardalos (eds.): Handbook of Global Optimization. Kluwer, Dordrecht, 1995