Моделі і методи аналізу та верифікації телекомунікаційних протоколів на основі Е-мереж та формальних граматик
Розробка методу формалізації специфікації телекомунікаційних протоколів за допомогою темпоральних логік. Синтез формальної граматики, що дозволяє описати поведінку протоколу на основi моделi Е-мережі. Опис верифікації телекомунікаційних протоколів.
| Рубрика | Коммуникации, связь, цифровые приборы и радиоэлектроника |
| Вид | автореферат |
| Язык | украинский |
| Дата добавления | 30.07.2015 |
| Размер файла | 177,3 K |
Соглашение об использовании материалов сайта
Просим использовать работы, опубликованные на сайте, исключительно в личных целях. Публикация материалов на других сайтах запрещена.
Данная работа (и все другие) доступна для скачивания совершенно бесплатно. Мысленно можете поблагодарить ее автора и коллектив сайта.
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Вивчення головних методик оцінки показника Херста. Самоподібні процеси та їх фрактальний і мультифрактальний аналіз. Опис мобільних програм, протоколів мережевого рівня. Дослідження структури GPRS-трафіку. Побудова імітаційної моделі GPRS-мережі.
дипломная работа [5,6 M], добавлен 21.12.2012Еволюція телекомунікаційних послуг. Побудова телефонної мережі загального користування. Цифровізація телефонної мережі. Етапи розвитку телекомунікаційних послуг і мереж. Необхідність модернізації обладнання та програмного забезпечення на всіх АТС мережі.
реферат [236,4 K], добавлен 14.01.2011Проблема зростання ємності і трафіку телефонних мереж, збільшення кількості телекомунікаційних служб. Розробка міської телефонної мережі з використанням аналогових систем комутації. Схема і комутаційний граф двокаскадного комутаційного блоку ВПВП.
курсовая работа [1,9 M], добавлен 05.02.2015Проектування телекомунікаційних та інформаційних мереж. Ознайомлення з початковим етапом проектування мереж зв’язку. Набуття практичних навичок укладання технічних завдань для складних інфокомунікаційних систем та об’єктів.
лабораторная работа [195,8 K], добавлен 22.01.2007Визначення класичним, оперативним і спектральним методами реакції лінійного електричного кола на підключення джерела живлення. Використання цих методів при проектуванні нових телекомунікаційних пристроїв. Моделювання перехідного процесу за допомогою ЕОМ.
контрольная работа [419,6 K], добавлен 23.02.2012Загальні основи побудови мережі Інтернет і протоколу IP. Принципи пакетної передачі мови. Види з'єднань і організація вузла зв’язку у мережі IP-телефонії. Забезпечення якості IP-телефонії на базі протоколів RSVP та MPLS. Протокол встановлення сесії (SIP).
дипломная работа [2,2 M], добавлен 05.06.2019Огляд базових топологій телекомунікаційних мереж. Розрахунок регенераційної ділянки за енергетичними та часовими характеристиками. Обґрунтування вибору функціональних модулів обладнання мережі SDH. Розрахунок потоків вводу–виводу в населених пунктах.
курсовая работа [164,1 K], добавлен 20.11.2014Поняття інтернет-телефонії, її сутність, порядок роботи з використанням спеціального Інтернет-протоколу. Розробка нових стандартів і протоколів, пов'язаних з передачею мови по мережах з пакетною комутацією. Система розрахунків за послуги IP-телефонії.
реферат [32,0 K], добавлен 26.04.2009Порівняльна характеристика розповсюджених сучасних телекомунікаційних технологій, їх відмінності, переваги та недоліки: SDH, ADSL, Ethernet. Вибір топології проектованої мережі, його обґрунтування. Аналіз траси магістралі. Параметри оптичних секцій.
курсовая работа [782,4 K], добавлен 10.04.2014Аналіз пакетів, що передаються мережею при авторизації комп’ютера в системі Microsoft Windows. Захоплення зазначених пакетів. Протокол для передачі пакетів авторизації та обміну файлами. Вкладеність протоколів на різних рівнях функціонування мережі.
лабораторная работа [3,9 M], добавлен 05.02.2015Особливості міліметрового та субміліметрового діапазонів. Основні лінії передачі сигналу, їх переваги та недоліки. Розрахунок основних параметрів метало-діелектричної лінії передачі непарних хвиль на основі Т-подібного розгалуження плоских хвилеводів.
дипломная работа [2,4 M], добавлен 19.08.2011Предмет, мета та завдання курсу "Військова техніка електрозв’язку". Класифікація, конструкція та основні електричні характеристики направляючих систем електрозв'язку. Властивості симетричних ліній та коаксіального кабелю як системи електрозв'язку.
лекция [1,3 M], добавлен 17.02.2012Особливості аналогових і цифрових систем в телекомунікаційних системах зв’язку (комутації). Розробка структурної схеми МТМ. Розрахунок інтенсивності телефонного навантаження. Визначення кількості з’єднувальних ліній і групового тракту між станціями.
курсовая работа [639,8 K], добавлен 18.08.2014Історія розвитку і перспективи застосування IP-телебачення, його можливості, проблеми розвитку в Україні. Призначення і властивості стеків протоколів TCP/IP. Порівняльна характеристика методів передачі трафіку. Основні правила роботи протоколу IGMP.
реферат [247,4 K], добавлен 30.01.2010Загальна характеристика синхронного цифрового обладнання, основні методи перетворення та інформаційна структура, короткий опис апаратури мереж та основні аспекти архітектури. План побудови транспортної мережі на основі синхронного цифрового обладнання.
курсовая работа [677,0 K], добавлен 07.05.2009Види атак на безпровідні мережі. Обладнання для прослуховування та приглушення клієнтської станції. Киптографічні засоби забезпечення конфіденційності інформації. Стек протоколів і їх коротка характеристика. Аутентифікація в мережах мобільного зв'язку.
реферат [1,2 M], добавлен 30.01.2010Огляд мікрохвильового діапазону стосовно телекомунікаційних систем. Особливості міліметрового та субміліметрового діапазонів. Основні види ліній передач: мікрополоскова лінія, металевий, жолобковий, діелектричний хвилевід. Розрахунок критичної частоти.
дипломная работа [2,1 M], добавлен 10.06.2011Система управління мережами цифровою магістральною мережею. Архітектура мережі управління, її внутрішня структура та взаємозв’язок головних елементів. Головні стандарти для протоколів різноманітних рівнів, можливість і умови застосування платформ.
курсовая работа [958,9 K], добавлен 20.11.2014Вибір розміру мережі та її структури. Огляд і аналіз комп’ютерних мереж, використаних в курсовій роботі. Побудова мережі і розрахунок вартості. Недоліки мережі, побудованої на основі заданої модифікації мережної технології, рекомендації по їх усуненню.
курсовая работа [1,7 M], добавлен 20.09.2012Класифікація та сфери застосування лазерів. Аналогово-цифрове та цифро-аналогове перетворення сигналів. Сімейства, моделі та особливості лазерних систем зв'язку. Описання характеристики компаратора напруги. Алгоритм та програми передачі, прийому даних.
магистерская работа [1,7 M], добавлен 16.05.2019
