Моделі і методи аналізу та верифікації телекомунікаційних протоколів на основі Е-мереж та формальних граматик
Розробка методу формалізації специфікації телекомунікаційних протоколів за допомогою темпоральних логік. Синтез формальної граматики, що дозволяє описати поведінку протоколу на основi моделi Е-мережі. Опис верифікації телекомунікаційних протоколів.
Подобные документы
Фактори впливу на завадостійкість цифрових телекомунікаційних систем. Задача оптимізації забезпечення максимальної пропускної здатності системи передавання інформації. Параметри фільтрів передавання та приймання на основі фазоманіпульованих сигналів.
статья, добавлен 18.02.2016Розробка адекватного опису телекомунікаційної мережі, що містить структурну та функціональну моделі процесів інформаційного обміну відповідно до сформульованих вимог. Вибір системи показників якості маршрутизації на підставі її математичного опису.
автореферат, добавлен 27.07.2014Загальна характеристика теоретичних основ управління мережними ресурсами з використанням тензорних математичних моделей телекомунікаційних систем. Знайомство з процесами управління мережними ресурсами в мультисервісних телекомунікаційних системах.
автореферат, добавлен 30.07.2014Пропонується ідея використання біноміальних систем числення при розробці завадостійких і відмовостійких біноміальних цифрових пристроїв, що дозволить покращити характеристики роботи телекомунікаційних систем та побудувати нову концепцію їх роботи.
научная работа, добавлен 13.01.2020Розробка моделі оптимізації надання кількості портів і основних видів телекомунікаційних послуг різним групам абонентів з врахуванням їх окупності та прибутковості підприємства-оператора, що базується на прямонапрямленому чотиришаровому персептроні.
автореферат, добавлен 14.09.2014Класифікація пристроїв синхронізації телекомунікацій. Розробка прикладних ведених пристроїв синхронізації засобів електричного зв’язку та впровадження їх в телекомунікаційні мережі з періодичними задаючими впливами, управляючими діями і величинами.
автореферат, добавлен 27.09.2014Концепції побудови телекомунікаційних мереж. Ефективність функціонування внутрішньої локальної системи та роботи серверів мережі Інтернет. Розгляд основних складностей визначення тайм-ауту ПП. Дослідження взаємодії та продуктивності з’єднання ТСР.
автореферат, добавлен 24.07.2014Сутність сучасних і перспективних мережних технологій, їх використання та значення в телекомунікаціях. Розробка та опис динамічних математичних моделей управління мережевими ресурсами, характеристика та специфіка інтелектуальної багатоагентної системи.
автореферат, добавлен 30.07.2015Оптимізація основних параметрів телекомунікаційних каналів передавання даних з використанням розроблених математичних моделей середовища типу "скручена пара". Підвищення та покращення їх пропускної здатності шляхом удосконалення методів модуляції сигналу.
автореферат, добавлен 29.07.2014- 60. Методика самодіагностування телекомунікацйних мереж на основі гнучких структур перевірочних зв’язків
Алгоритми оперативного самодіагностування з блукаючим діагностичним ядром для телекомунікаційних мереж, що складаються із великого числа модулів, здатних виконувати перевірки один одного. Характеристика гнучкої структури перевірочних зв'язків мереж.
статья, добавлен 30.10.2016 Розрахунок перепускної здатності каналу провідної структурованої кабельної системи в офісному або промисловому приміщенні. Розрахунок балансу (бюджету) потужності каналу оптоволоконної кабельної системи локальної мережі або мережі доступу Ethernet.
контрольная работа, добавлен 04.06.2018Характеристика радіолінії як невід’ємної складової сучасних телекомунікаційних систем середовищ передачі різних видів інформації. Аналіз концепції персонального радіо виклику та її забезпечення одностороннім радіозв’язком з центральною базовою станцією.
статья, добавлен 27.07.2016Аналіз алгоритму визначення характеристики телекомунікаційних радіосистем для підвищення ефективності забезпечення оптимального сигналу. Розрахунок коефіцієнту інформаційно-енергетичної ефективності для ряду радіосистем. Аналіз останніх досліджень.
статья, добавлен 14.07.2016Теоретико-експериментальне обґрунтування науково-методичного забезпечення проведення експертизи телекомунікаційних систем спеціального призначення. Критичний аналіз методів та перспективних напрямків експертизи з використанням кластеризації інформації.
статья, добавлен 18.02.2016Методика перевірки технічного стану аеронавігаційної апаратури. Забезпечення надійності та ремонтопридатності телекомунікаційних і радіоелектронних систем. Обчислення щільності розподілу ймовірності для показника ефективності діагностування обладнання.
статья, добавлен 11.07.2022Методи стиснення двійкових даних на основі скорочення структурно-комбінаторної надмірності без внесення помилок. Програмні, апаратні засоби реалізації, верифікація й тестування. Моделі процесів імплементації у силіконовий кристал запропонованих методів.
автореферат, добавлен 26.09.2015- 67. Дослідження багатофазних імпульсних перетворювачів радіотехнічних і телекомунікаційних пристроїв
Аналіз принципів побудови і функціонування систем електропостачання і пристроїв електроживлення радіотехнічних і телекомунікаційних систем. Сутність роботи імпульсних перетворювачів електричної енергії із силовими каналами конденсаторів резонансного типу.
автореферат, добавлен 26.08.2014 Методи резервування обладнання та способи захисту інформаційних потоків у синхронних транспортних мережах. Виявлення і виправлення помилок, якість синхросигналу та умови його перерозподілу між елементами мережі. Врахування роботу транспортного рівнів.
автореферат, добавлен 22.07.2014Аналіз параметрів інформаційного трафика в каналах зв’язку, що виникає у мультисервісної мережі при розподілу вхідних потоків з ефектом самоподоби. Розробка методу визначення пропускних здатностей каналів зв’язку для самоподібних інформаційних потоків.
автореферат, добавлен 29.09.2014Розробка методу стиску зображень на основі змішаного поліадичного кодування довжин серій та колірних координат та методу відновлення зображень на основі декодування поліадичних кодів колірних координат і довжин серій в змішаному поліадичному просторі.
автореферат, добавлен 25.08.2015Методи підвищення ефективності функціонування інтелектуальних мереж зв'язку за показниками продуктивності, якості обслуговування користувачів і прибутку оператора. Розробка алгоритмів і програмних засобів аналізу з використанням апарата мереж Петрі.
автореферат, добавлен 28.08.2014Принципи розвитку телекомунікаційних мереж та приймальних систем міліметрового діапазону. Оригінальні рішення організації з'єднання елементів замість дротяного з'єднання. Забезпечення високої вибірковості трактів і лінійності групового часу запізнювання.
автореферат, добавлен 29.09.2015Розробка модифікованого методу ітеративного декодування турбокодів зі зменшеною складністю декодування. Створення і перевірка методу оцінки дисперсії шуму каналу та методу формування структури перемежувача для перемеження послідовностей різної довжини.
автореферат, добавлен 27.08.2014Зв’язок між комп’ютерами через комунікаційний порт. Ознайомлення з засобом мережного моніторингу Ultra Sniffer. Програма моделювання телекомунікаційних мереж Netcraker Pro. Методика розрахунку мережі Ethernet, аналіз і оцінка її головних параметрів.
методичка, добавлен 29.04.2014- 75. Підвищення якості управління системами телекомунікацій на основі модернізації мережних протоколів
Модель локальної безпроводової мережі при довільному навантаженні. Підвищення пропускної спроможності, завадостійкості та надійності систем передачі дискретних повідомлень у каналах радіозв’язку з постійними, змінними та випадковими параметрами.
автореферат, добавлен 18.07.2015