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

Інформація × Реєстраційний номер 0506U000566, Докторська дисертація На здобуття д.т.н. Дата захисту 06-10-2006 Статус Запланована Назва роботи Методи аналізу і синтезу моделей телекомунікаційних систем на основі функціональних сіток Петрі Здобувач Зайцев Дмитро Анатолійович, Керівник Воробієнко Петро Петрович Опонент Савченко Олексій Якович Опонент Поляков Петро Федорович Опонент Ящук Леонід Омелянович Опонент Балашов Віталій Олександрович Опис Дисертаційна робота присвячена вирішенню наукової проблеми доведення коректності та оцінки ефективності телекомунікаційних систем. Викладено основи нової теорії функціональних сіток Петрі та кланів систем лінійних алгебраїчних рівнянь. Розроблено методи синтезу моделей Петрі телекомунікаційних протоколів за їх стандартними специфікаціями з використанням проміжної мови взаємодіючих послідовних процесів Хоара та методи верифікації протоколів за допомогою композиційного аналізу сіток Петрі. Викладено важливі для проектування телекомунікаційних мереж питання побудови моделей Петрі за структурними схемами мереж, а також методи оцінки функціональних характеристик мереж в процесі імітаційного моделювання. Дата реєстрації 2006-10-06 Додано в НРАТ 2020-04-04 Закрити