Пошук академічних текстів

Інформація × Реєстраційний номер 0401U001446, Кандидатська дисертація На здобуття к.т.н. Дата захисту 26-04-2001 Статус Запланована Назва роботи Логічний аналіз протоколів мереж ЕОМ на основі моделі взаємодіючих автома тів Здобувач Потапов Ігор Геннадійович, Керівник Скобцов Ю.О. Опонент Слєпцов А.I. Опонент Болдак А.О. Опис Об'єктом дослідження є протокол інформаційно-обчислювальних мереж. Ме тою роботи є підвищення ефективності мереж ЕОМ на усіх етапах їх життєвого цикл у від проектування до експлуатації шляхом розробки нових методів та алгоритмів а налізу протоколів інформаційно-обчислювальних мереж. Для вирішення поставлених з адач в роботі використовуються методи теорії автоматів, формальних мов, гра фів та алгоритмів. В роботі вирішуються відкриті задачі логічної коректності п ротоколів інформаційно-обчислювальних мереж; розроблені методи та алгоритми,що д озволяють перевіряти властивості логічної коректності протоколів з обмеженою та необмеженою взаємодією через канали зв'язку, а також суттєво скоротити часові та ємністні витрати процесу аналізу. В результаті досліджень отримана програмна ре алізація запропонованих методів. Сферою використання є системи автоматичного про ектування та реалізації протоколів інформаційно-обчислювальних мереж. Дата реєстрації 2001-04-26 Додано в НРАТ 2020-04-04 Закрити