Témakiírások
Számítógépes hálózatok optimalizációja formális módszerekkel
témakiírás címe
Számítógépes hálózatok optimalizációja formális módszerekkel
intézmény
doktori iskola
témakiíró
tudományág
témakiírás leírása
A számítógépes hálózatok üzemeltetésének az energiahatékonysága prioritás, különösképpen adatközpontok hálózatai (DCN, Data Center Network) esetén. Legalább ilyen fontos a hálózatok biztonságos üzemeltetése, különös tekintettel a kritikus rendszerekben üzemeltetett hálózatokra. A formális módszerek (pl. SMT megoldók, modellellenőrzők) segítségével képesek vagyunk olyan rendszerek verifikációját is megvalósítani, melyek esetén a kimerítő tesztelés nem megoldható és/vagy nem nyújt megfelelő garanciát. Míg a verifikáció azt garantálja, hogy létezik a hálózatunk üzemeltetésének egy biztonságos modellje, addig az optimalizáció egy olyan optimális modellt garantál, mely mellett a hálózat a lehető leginkább energiahatékony. Ennek vizsgálatára használhatunk pl. MaxSAT és OMT megoldókat, de – természetes módon – kombinatorikus optimalizálókat, pl. MILP optimalizálókat is. Ezek további ötvözése heurisztikus módszerekkel és mesterséges intelligencia modellekkel kifejezetten nagy potenciállal kutatási és alkalmazási potenciállal bír.
Irodalom:
• G. Kovásznai, Cs. Biró, B. Erdélyi. Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers. 15th International Workshop on Satisfiability Modulo Theories (SMT 2017), aff. to CAV 2017, CEUR, Vol. 1889, pp. 15-27, 2017.
• M. Nsaif, G. Kovásznai, A. Malik, R. de Fréin, “Survey of Routing Techniques-Based Optimization of Energy Consumption in SD-DCN,” in Infocommunications Journal, vol. 15 (SI), pp. 35-42, 2023. https://doi.org/10.36244/ICJ.2023.5.6
• M. Nsaif, G. Kovásznai, A. Malik, R. de Fréin, "SM-FPLF: Link-State Prediction for Software-Defined DCN Power Optimization," in IEEE Access, vol. 12, pp. 79496-79518, 2024. https://doi.org/10.1109/ACCESS.2024.3408672
• G. Kovásznai, M. Nsaif. Integer Programming Based Optimization of Power Consumption for Data Center Networks. Acta Cybernetica. vol. 26, pp. 563-579, 2024. https://doi.org/10.14232/actacyb.299115
• M. Nsaif, G. Kovásznai, A. Malik, R. de Fréin, "QoS-Aware Power-Optimized Path Selection for Data Center Networks (Q-PoPS)," in Electronics, vol. 13(15), pp. 1-26, 2024. https://doi.org/10.3390/electronics13152976
Irodalom:
• G. Kovásznai, Cs. Biró, B. Erdélyi. Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers. 15th International Workshop on Satisfiability Modulo Theories (SMT 2017), aff. to CAV 2017, CEUR, Vol. 1889, pp. 15-27, 2017.
• M. Nsaif, G. Kovásznai, A. Malik, R. de Fréin, “Survey of Routing Techniques-Based Optimization of Energy Consumption in SD-DCN,” in Infocommunications Journal, vol. 15 (SI), pp. 35-42, 2023. https://doi.org/10.36244/ICJ.2023.5.6
• M. Nsaif, G. Kovásznai, A. Malik, R. de Fréin, "SM-FPLF: Link-State Prediction for Software-Defined DCN Power Optimization," in IEEE Access, vol. 12, pp. 79496-79518, 2024. https://doi.org/10.1109/ACCESS.2024.3408672
• G. Kovásznai, M. Nsaif. Integer Programming Based Optimization of Power Consumption for Data Center Networks. Acta Cybernetica. vol. 26, pp. 563-579, 2024. https://doi.org/10.14232/actacyb.299115
• M. Nsaif, G. Kovásznai, A. Malik, R. de Fréin, "QoS-Aware Power-Optimized Path Selection for Data Center Networks (Q-PoPS)," in Electronics, vol. 13(15), pp. 1-26, 2024. https://doi.org/10.3390/electronics13152976
helyszín
ITDI
jelentkezési határidő
2026-01-15