Моделі і методи аналізу та верифікації телекомунікаційних протоколів на основі Е-мереж та формальних граматик
Розробка методу формалізації специфікації телекомунікаційних протоколів за допомогою темпоральних логік. Синтез формальної граматики, що дозволяє описати поведінку протоколу на основi моделi Е-мережі. Опис верифікації телекомунікаційних протоколів.
Подобные документы
Аналіз методу автоматизованого об'єктивного розподілу елементів параметрів кадрів вихідних мовних сигналів кодерів мови за ступенем впливу на якість сигналу, що дозволив підвищити ступінь відповідності результатів автоматизованих об'єктивних оцінок.
автореферат, добавлен 26.09.2015Застосування сервіс-орієнтованої архітектури для підтримки міжкомп'ютерної взаємодії в інформаційно-телекомунікаційних мережах. Вирішення задачі по шифруванню відкритого трафіку між Web-клієнтом і Web-сервісом для мереж спеціального призначення.
статья, добавлен 20.02.2016Переваги застосування середовищ моделювання в порівнянні з виконанням експериментів над реальною системою. Класифікація систем моделювання за їх функціональністю. Розгляд програмного продукту, доступного для навчальних закладів за безкоштовною ліцензією.
статья, добавлен 27.07.2016- 104. Захисні поліетиленові труби для оптоволоконних кабелів зв’язку з внутрішнім антифрикційним шаром
Зменшення вартості, енергозатрат прокладання, мінімізації кількості з’єднань телекомунікаційних оптоволоконних мереж - один з напрямків розвитку інформаційних технологій. Принципова схема прокладки оптоволоконного кабелю методом пневматичної укладки.
статья, добавлен 03.12.2020 Характеристика плезіосинхронної цифрової ієрархії. Основа побудови телекомунікаційних мереж - системи передачі плезіосинхронної і синхронної цифрової ієрархії. Узагальнена схема мультиплексування потоків. Правила формування транспортного модуля STM-1.
реферат, добавлен 10.03.2011Аналіз нелінійних ефектів в аналогових і цифрових телекомунікаційних системах. Комп’ютерна діагностика спотворень з використанням рядів Вольтерри, синтез нелінійних схем і систем. проектування компенсаторів еха в основній смузі частот та телетрансмісій.
автореферат, добавлен 29.07.2014Дослідження методів підвищення продуктивності функціонування інтелектуальних мереж. Розробка оптимальних методів керування навантаженням. Аналіз ефективності та порівняльний аналіз розроблених методів керування навантаженням в інтелектуальній мережі.
автореферат, добавлен 27.12.2015Дослідження стану пристроїв та систем електроживлення телекомунікаційних систем України. Формулювання принципів побудови, розробка функціональної схеми комплексу програмного забезпечення, розробка алгоритмів і створення програмного забезпечення.
автореферат, добавлен 22.07.2014Використання методів компактного представлення зображень з контрольованою втратою якості. Розробка методів стиснення і відновлення зображень для зниження часу доведення достовірної інформації в умовах обмежень на швидкодію обчислювальних систем.
автореферат, добавлен 20.07.2015Використання недвійкових первинних кодів у телекомунікаційних системах та мережах і системах телемеханіки. Методи виявлення помилки у кодовій комбінації. Застосування кода Ріда-Соломона для передачі інформації по каналах з високою інтенсивністю завад.
лекция, добавлен 30.05.2013Аналіз впливу системних помилок адаптивного управління на рівень втрат пакетів в комутаторі. Створення інформаційної технології управління вузловим обладнанням. Використання модифікованого алгоритму згладження для короткострокового прогнозування трафіку.
автореферат, добавлен 20.07.2015Пошук і визначення методичних підходів до створення в галузі телекомунікацій матеріального резерву для забезпечення технічної реалізації рішень під час ліквідації наслідків надзвичайних ситуацій. Створення об'єктового резерву у сфері телекомунікацій.
статья, добавлен 30.07.2016Аналіз змінення спектральної густини парціальних сигналів унаслідок обмеження тривалості парціального сигналу. Перспективність апроксимації парціальних сигналів узагальненими вейвлетами Хаара. Дослідження спектральних характеристик скінченних реалізацій.
автореферат, добавлен 27.07.2015Дослідження критерію пропускної здатності системи управління телекомунікаційною мережею. Визначення вимог до системи управляння телекомунікаційними мережами з врахуванням її структури. Ознайомлення з формалізованим описом телекомунікаційних мереж.
статья, добавлен 03.10.2022Дослідження параметрів і властивостей потоків викликів сучасних телекомунікаційних систем та мереж. Встановлення залежності ймовірності втрат викликів від коливання інтенсивності навантаження і виду закону розподілу тривалості їх обслуговування.
автореферат, добавлен 13.07.2014Дослідження методів і протоколів сучасних модемів. Аналіз алгоритмів оптимального когерентного, некогерентного та автокореляційного прийомів. Розробка методів обробки багатопозиційних фазомодульованих сигналів та алгоритму виявлення сигналу на фоні завад.
автореферат, добавлен 28.10.2015Особливість розробки способу управління мережними процесами із широким діапазоном зміни навантаження. Оцінка основних часових параметрів передачі даних у телекомунікаційних мережах. Опрацювання методу розподілу трафіку на граничних вузлах сітки MPLS.
автореферат, добавлен 28.08.2015В межах правил системної політики та Traffic Engineering, забезпечення управління резервом смуг частот, самими смугами, маршрутами та їх плануванням, використання КЕШ-технологій та черг. Використання марковської стохастичної диференціальної моделі.
автореферат, добавлен 06.07.2014Програмні, криптографічні, організаційні засоби, методи і заходи, призначені для захисту інформації та кібербезпеки. Пошук підходів до оцінювання ефективності функціонування кібербезпеки в інформаційно-телекомунікаційних системах Збройних Сил України.
статья, добавлен 23.03.2023Дослідження задачі захисту цілісності інформаційних об’єктів телекомунікаційних мереж. Основні способи забезпечення цілісності інформації в умовах природних дій (проблема завадостійкості) для каналів ТКМ. Узагальнений завадостійкий код умовних лишків.
статья, добавлен 29.01.2019Підвищення точності та швидкодії двозв’язаних систем фазового автопідстроювання в пристроях синхронізації телекомунікаційних систем. Синтез цифрових основних та коригуючих систем ФАП і зв’язок між ними при детермінованих та випадкових задавальних діяннях.
автореферат, добавлен 28.07.2014Розробка механізму динамічної адаптації дерева синхронізації, що дозволяє забезпечити працездатність мережі тактової синхронізації при збільшенні зв'язності мережі і кількості аварійних ситуацій. Методи запобігання виникненням петель синхронізації.
автореферат, добавлен 30.07.2015Аналіз стану, тенденцій розвитку, принципів побудови і функціонування систем електропостачання і пристроїв електроживлення радіотехнічних, телевізійних і телекомунікаційних систем. Виявлення шляхів підвищення їхніх техніко-економічних показників.
автореферат, добавлен 30.10.2015Шляхи підвищення якості отримання мовного сигналу користувача на тлі зовнішніх просторово-анізотропних шумових завад. Аналіз методів аутентифікації користувачів телекомунікаційних систем. Визначення недоліків цих методів. Пропозиції по їх усуненню.
автореферат, добавлен 19.06.2018З’ясування закономірностей управління в оптимальних за швидкодією веденими пристроями синхронізації з фазовим автопідстроюванням частоти. Методика оптимізації структур об’єктів управління на підставі застосування методів еквівалентних перетворень.
автореферат, добавлен 30.07.2014