Знайдено документів: 1
Інформація × Реєстраційний номер 0416U004577, Кандидатська дисертація На здобуття к.т.н. Дата захисту 26-10-2016 Статус Запланована Назва роботи Моделі і методи аналізу та верифікації протоколів управління у програмно-конфігурованих мережах, що базуються на алгебрі комутаційних розподілених ресурсів та графах досяжності Здобувач Іссам Саад, Керівник Дуравкін Євген Володимирович Опонент Гаркуша Сергій Володимирович Опонент Кирик Мар'ян Іванович Опис Об'єкт - процес розробки, аналізу та верифікації протоколу OpenFlow. Методи - апарат алгебри комунікаційних розподілених ресурсів, апарат Е-мереж, теорія графів, формальні методи верифікації, теорія множин. Результати - вперше запропоновано використання математичного апарату алгебри комунікаційних розподілених ресурсів у якості інструмента формалізації вимог специфікації протоколів управління; розвиток апарату Е-мереж шляхом застосування управляючих переходів для моделювання функціональних властивостей протоколу OpenFlow та впровадження кількісних значень атрибутів переходів; розробка методу верифікації, що дозволяє уникнути ефекту "комбінаторного вибуху" простору досліджу-ваних станів. Впроваджено - у навчальному процесі Харківського національного університету радіоелектроніки в ході виконання держбюджетної НДР № 299-1. Галузь використання - телекомунікаційні мережі Дата реєстрації 2016-10-26 Додано в НРАТ 2020-04-03 Закрити
Дисертація кандидатська
Моделі і методи аналізу та верифікації протоколів управління у програмно-конфігурованих мережах, що базуються на алгебрі комутаційних розподілених ресурсів та графах досяжності
1
Іссам Саад. Моделі і методи аналізу та верифікації протоколів управління у програмно-конфігурованих мережах, що базуються на алгебрі комутаційних розподілених ресурсів та графах досяжності : к.т.н. : спец.. 05.12.02 - Телекомунікаційні системи та мережі : дата захисту 2016-10-26; Статус: Захищена; Харківський національний університет радіоелектроніки. – , 0416U004577.
Знайдено документів: 1

Оновлено: 2026-03-16


Роздрукувати цю сторінку