Témakiírások
Formális adatleírás alapú többnyelvű szoftver szintézis algoritmusok és szoftverek kidolgozása
témakiírás címe
Formális adatleírás alapú többnyelvű szoftver szintézis algoritmusok és szoftverek kidolgozása
intézmény
doktori iskola
témakiíró
tudományág
témakiírás 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.
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 fő
helyszín
Pannon Egyetem, Veszprém, Egyetem u. 10., Műszaki Informatikai Kar, Rendszer- és Számítástudományi Tanszék
jelentkezési határidő
2020-02-28