Search academic texts

Information × Registration Number 0419U000451, Candidate dissertation Status Кандидат технічних наук Date 25-01-2019 popup.evolution o Title Models and methods for ensuring quality of service in virtualized networks Author Salim Mohammed Jamal, popup.head Duravkin Yevhen Volodymyrovych popup.opponent Harkusha Sergii popup.opponent Yevdokymenko Maryna Description Об'єкт дослідження - процеси формування та надання послуг у віртуалізованих мережах. Предмет дослідження - моделі та методи забезпечення необхідного рівня якості обслуговування у віртуалізованих мережах. Методи дослідження. Під час розв’язання поставлених задач було використано наступні математичні методи: лінійну та розгалужену темпоральні логіки, зокрема, використання їх синтаксису та семантики під час розробки методу формалізації вимог специфікації; апарат Е-мереж та теорію формальних граматик під час розробки методу аналізу розподілення мережевих ресурсів та коректності поведінки надання послуг; формальні методи перевірки відповідності готового NFV рішення вимогам специфікації, такі як символьний підхід та «перевірка на моделях», під час розробки методу визначення еквівалентності двох ланцюгів виводу, що належать моделі реалізації NFV та моделі специфікації відповідно; методи аналізу граничних показників якості, що ґрунтуються на засадах теорії мережевого обчислення, під час розробки методу оцінки якості надання послуг «із кінця в кінець» в інфраструктурі NFV. Теоритичні та практичні результати: отримав подальший розвиток математичний апарат темпоральних логік, зокрема розгалуженої темпоральної логіки; отримав подальший розвиток апарат Е-мереж як засіб моделювання процесів як на рівні управляння, так і на рівні надання послуг у віртуалізованих мережах; вперше розроблено метод перевірки відповідності реалізації виртуалізованої мережі з підтримкою технології NFV вимогам специфікації; вперше розроблено комплекс методів моделювання і подальшого аналізу зміни показників якості в процесі надання послуг в віртуалізованих мережах на основі теорії мережевого обчислення. Registration Date 2019-01-25 popup.nrat_date 2020-04-03 Close