Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>ID=201206180000007525<.>) |
Загальна кількість знайдених документів : 1
|
| Коровченко О. Б. Моделі і методи аналізу та верифікації телекомунікаційних протоколів на основі Е-мереж та формальних граматик : автореф. дис. ... канд. техн. наук : 05.12.02 / О. Б. Коровченко ; Харк. нац. ун-т радіоелектрон. — Х., 2011. — 19 с. — укp.Вдосконалено темпоральні логіки як засіб формалізації специфікації телекомунікаційних протоколів. Визначено, що на відміну від існуючих засобів формалізації використання темпоральних логік дозволяє вирішити задачу виявлення протиріч у специфікації протоколу. Висвітлено алгебраїчні методи аналізу телекомунікаційних протоколів. Встановлено використання формальних граматик, що дозволяє вирішити задачу перевірки коректності поведінки й оцінки якості розподілу ресурсів телекомунікаційними протоколами. Вперше розроблено метод верифікації телекомунікаційних протоколів, що дозволяє не тільки виділити набір станів, що не задовольняють специфікації, але й на основі побудови контрприкладу визначити необхідний набір змін у реалізації протоколу щодо усунення не відповідності специфікації. Завантажити Індекс рубрикатора НБУВ: З970.3-016.5 Шифр НБУВ: РА384357 Пошук видання у каталогах НБУВ
Рубрики:
|
|
|