Моделі і методи аналізу та верифікації телекомунікаційних протоколів на основі Е-мереж та формальних граматик
Розробка методу формалізації специфікації телекомунікаційних протоколів за допомогою темпоральних логік. Синтез формальної граматики, що дозволяє описати поведінку протоколу на основi моделi Е-мережі. Опис верифікації телекомунікаційних протоколів.
Подобные документы
Розробка моделей визначення показника якості послуг, залежного від структурної надійності та семантичної прозорості мережі. Визначення величини похибки оцінки якості послуг при зміні первинних параметрів мережі з використанням імітаційного моделювання.
автореферат, добавлен 28.08.2015Можливості різних підходів до організації роботи мереж передачі даних. Розробка протоколів множинного доступу процедур абонентів, ретранслятора для покращення значення оптимальної середньої швидкості передач у каналі з паралельною пакетною обробкою.
автореферат, добавлен 22.06.2014Групоутворення в цифрових системах передачі плезіохронної ієрархії. Побудова радіорелейних систем передачі. Захищеність сигналу від перешкод. Розрахунок довжини підсилювальної ділянки. Технічне обслуговування телекомунікаційних систем. Види мереж зв’язку.
учебное пособие, добавлен 24.06.2014Розробка моделі планарних антен на основі штучних нейронних мереж. Методи синтезу, які поєднують штучні нейронні мережі в якості ефективної моделі і алгоритми глобальної оптимізації. Ефективність конструктивного синтезу планарних та мікросмужкових антен.
автореферат, добавлен 20.07.2015Аналіз стану, задач, переваг і недоліків у протоколах взаємодії вузлів мережі WiMAX для управління передачею пакетів у загальному каналі зв'язку. Методики розрахунку характеристик показників якості передачі потокового трафіку на основі стеку протоколів.
автореферат, добавлен 30.07.2015Розробка методу зменшення кількості тестових наборів на основі звуження області можливих значень, що дозволяє зменшити загальний термін верифікації. Процеси автоматизованого проектування цифрових пристроїв, поданих мовами опису апаратури високого рівня.
автореферат, добавлен 29.09.2014Оцінка впливу складових параметрів мереж радіодоступу на пропускну здатність при використанні різних технологій множинного доступу. Аналіз технології просторової обробки сигналів, частотного розділення за рахунок обслуговування декількох користувачів.
статья, добавлен 14.01.2017Розгляд особливостей застосування та розвитку систем багатоточєчного відеоконференцзв’язку. Знайомство з можливостями застосування технології P2P-MCU в телекомунікаційних мережах спеціального призначення при реалізації багатоточечної відео конференції.
статья, добавлен 11.03.2020Вивчення питання витоку інформації в різних каналах зв’язку та розробка способів усунення таких негараздів. Основні методи оцінки загроз у каналах супутникового зв’язку. Оцінка стану систем захисту телекомунікаційних мереж від впливу техногенних загроз.
статья, добавлен 12.06.2024Вирішення завдання організації та практичного втілення механізму запровадження інформаційно-телекомунікаційних систем в оперативно-службову діяльність Державної прикордонної служби України. Автоматизація управління органами та підрозділами служби.
статья, добавлен 26.04.2023- 86. Дослідження характеристик функціонування телекомунікаційних мереж в сфері інфокомунікаційних послуг
Визначення параметрів надання інфокомунікаційних послуг. Аналіз методів класифікації та зниження розмірності і супутнього їм математичного апарату. Класифікація інфокомунікаційних послуг, виявлення вимог кожного з одержаних класів до мереж і устаткування.
автореферат, добавлен 14.07.2015 Основні етапи розвитку телекомунікаційних мереж спеціального призначення у провідних країнах світу. Вивчення досвіду розвитку систем і засобів зв'язку в збройних силах зарубіжних держав. Використання технологій багатопротокольної комутації міток.
статья, добавлен 26.01.2018Обґрунтування необхідності і можливості розробки динамічних моделей реструктуризації ТКС за різних умов невизначеності структурних і функціональних параметрів. Оцінка ефективності розроблених моделей, рекомендації щодо їх практичного використання.
автореферат, добавлен 23.08.2014Аналіз існуючих, розробка нових моделей пакетних мереж, що є придатними для використання в задачах оцінювання коефіцієнту завантаженості мережного обладнання за різних умов його застосування. Вплив пакетного навантаження на рівень якості мережних послуг.
автореферат, добавлен 23.10.2013Аналіз будови та характеристик інфокомунікаційних мереж передачі мультимедійних даних. Реалізація структури кодерів мовних сигналів з нерівномірною дискретизацією, дослідження їх якості в аспекті психоакустичного сприйняття мови і об’єктивних критеріїв.
автореферат, добавлен 27.09.2014Розробка імітаційної моделі мережі, яка оцінює пропускну спроможність станцій абонентів у безпровідній мережі стандарту IEEE 802.11 на основі технології когнітивного радіо. Основні методи підвищення якості обслуговування когнітивних Mesh Wi-Fi.
дипломная работа, добавлен 28.11.2013Функціонування системи персонального радіовиклику. Вивчення поведінки за часом логіко-динамічної стохастичної мережі. Пропозиції щодо впорядкованої системи аналітичних процедур як методу оцінювання ефективності такого класу телекомунікаційних систем.
статья, добавлен 29.01.2019Розгляд функцій SIP протоколу для встановлення, зміни та припинення сесій з одним чи декількома учасниками в CDMA мережах. Розробка математичного апарату моделі станів протоколу ініціалізації. Удосконалення алгоритму керування сигнальним трафіком.
статья, добавлен 29.01.2016Проблеми безпеки в мережах стільникового зв'язку різних поколінь. Вразливості, вимоги безпеки, підходи для забезпечення приватності абонентів на фізичному рівні, рівнях підключення та обслуговування. Проблеми безпеки протоколів різних рівней моделі OSI.
статья, добавлен 12.06.2024Синтез системи тактової синхронізації. Процеси, які впливають на завадостійкість приймання цифрових кодованих сигналів. Використання модифікованих способів синхронізації на основі врахування впливу завад сусідніх символів на фазовий критерій тракту.
статья, добавлен 29.09.2016Моделі та структурні схеми прихованого передавання інформації із використанням генераторів хаотичних коливань, що описуються неперервною функцією відображення. Змоделювання процесів проходження самоподібного трафіку у телекомунікаційних системах.
автореферат, добавлен 28.03.2016Дослідження процесу з організації операторської діяльності. Порядок розгляду заяв операторів про виділення номерного ресурсу. Продовження терміну використання номеру. Огляд правил взаємоз’єднання телекомунікаційних мереж загального користування України.
учебное пособие, добавлен 22.06.2014Аналіз базових підходів по організації архітектури сучасної радіосистеми на основі відкритого стандарту цифрового мобільного радіозв’язку DMR. Модель ієрархічно організованого набору мережевих протоколів системи радіозв’язку на базі DMR-сервісу.
статья, добавлен 21.05.2023Головна особливість дослідження протоколів управління мережею LTE. Основна характеристика мінімізації помилкових тривог за допомогою ранжування. Аналіз розробки методики розрахунку завадостійкості синтезованого алгоритму для конкретних систем сигналів.
автореферат, добавлен 30.07.2015Розробка адаптивної системи автоматичного регулювання (стабілізації) рівнів потужності на вході приймального тракту базової станції системи широкосмугового радіодоступу. Вимоги до надання високошвидкісних послуг з підтримкою заданої якості обслуговування.
автореферат, добавлен 19.07.2015