témavezető: Bertók Botond
helyszín (magyar oldal): Pannon Egyetem, Veszprém, Egyetem u. 10., Műszaki Informatikai Kar, Rendszer- és Számítástudományi Tanszék helyszín rövidítés: PE
A kutatási téma leírása:
A kutatási téma ismertetése:
Ipari folyamatok optimalizálásában számos publikáció és sikeres alkalmazás mutatja az alkalmazási terület specifikus modell minták alapján épített optimalizálási modellek hatékonyságát. Mindemellett a kutatás és fejlesztés előrehaladását korlátozza, hogy az újabb modellek felépítéséhez a generálást biztosító programkódok megírására van szükség. Alternatív lehetőségként felmerül modelltranszformációs eljárások és motorok bevonása. A kutatás célja, hogy olyan axiomatikusan megalapozott módszertant dolgozzon ki modelltranszformációs szabályok fejlesztéséhez, mely matematikailag bizonyíthatóan helyes eredményre vezet, tehát a generált matematikai modell biztosan tartalmazza a gyakorlati feladat legalább egy optimális megoldását.
A kutatás lépései:
- Az ipari folyamatszintézis komponens feladatainak és azok matematikai modelljeinek megismerése
- Modelltranszformációs módszerek és eszközök megismerése
- Sablon alapú modellszintézis szabályinak formális definíciója
- Modellgeneráló algoritmusokkal ekvivalens modelltranszformációs szabályok kidolgozása ipari optimalizálási feladatok modell sablon alapú megoldásához
- A szabályhalmaz helyességének bizonyítása
A kutatási téma előzményei:
• Bertok, Botond, and Aniko Bartos. "Renewable energy storage and distribution scheduling for microgrids by exploiting recent developments in process network synthesis." Journal of Cleaner Production 244 (2020): 118520.
• Konig, Eva, and Botond Bertok. "Process graph approach for two-stage decision making: Transportation contracts." Computers & Chemical Engineering 121 (2019): 1-11.
• Production line balancing by P-graphs
• Barany, Mate, Botond Bertok, Zoltan Kovacs, Ferenc Friedler, and Liang T. Fan. "Solving vehicle assignment problems by process-network synthesis to minimize cost and environmental impact of transportation." Clean Technologies and Environmental Policy 13, no. 4 (2011): 637-642.
• Heckl, István, Ferenc Friedler, and L. T. Fan. "Solution of separation-network synthesis problems by the P-graph methodology." Computers & Chemical Engineering 34, no. 5 (2010): 700-706.
felvehető hallgatók száma: 1
Jelentkezési határidő: 2020-09-30
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
Bejelentkezés
