Моделі і методи аналізу та верифікації телекомунікаційних протоколів на основі Е-мереж та формальних граматик
Розробка методу формалізації специфікації телекомунікаційних протоколів за допомогою темпоральних логік. Синтез формальної граматики, що дозволяє описати поведінку протоколу на основi моделi Е-мережі. Опис верифікації телекомунікаційних протоколів.
Подобные документы
Підходи щодо аналізу ефективності протоколів обміну інформацією в телекомунікаційних системах за комплексним показником, швидкістю та вірністю передачі. Наведено вирази для їх розрахунків. Показано ефективність різних протоколів організації обміну.
статья, добавлен 29.01.2019Ефективність та доступність використання сучасних телекомунікаційних мереж. Запропоновано аналіз залежності відносної швидкості від стану каналів для протоколів обміну інформацією в телекомунікаційних системах, наведено вирази для її розрахунків.
статья, добавлен 29.01.2019Розробка методики підвищення ефективності телекомунікаційних мереж на базі методів багатокритеріальної оптимізації. Синтез об’єкта за допомогою декомпозиції моделі, що дозволяє здійснити ефективне дослідження окремих компонентів різнорідної мережі.
автореферат, добавлен 14.09.2015Розробка методів управління трафіком в телекомунікаційних мережах за критеріями диференціального обслуговування із застосовуванням принципів розподілу ресурсів для підвищення продуктивності роботи мереж. Аналіз критеріїв якості телекомунікаційних послуг.
автореферат, добавлен 27.07.2015Модернізація програмних та апаратних засобів системи аналізу і моніторингу IP-протоколів сигналізації. Виявлення недоліків під час тестування елементів телекомунікаційних мереж, аналіз їх впливу на експлуатацію інформаційного та сигнального навантаження.
статья, добавлен 29.02.2024Розробка комплексу методів, засобів прогностичного контролю сучасних мультисервісних телекомунікаційних мереж на стадії їх конвергенції. Розгляд алгоритмів прогнозування технічного стану телекомунікацій. Контроль мультисервісних телекомунікаційних мереж.
автореферат, добавлен 25.07.2015Аналіз стану й перспектив розвитку мережних концепцій, технологій і протоколів, підвищення якості обслуговування мультисервісних телекомунікаційних систем. Розробка й удосконалення тензорних моделей і формулювання умов забезпечення якості обслуговування.
автореферат, добавлен 25.07.2015Розробка математичного апарату для кількісної оцінки функціональної стійкості інформаційної телекомунікаційної мережі автоматизованих систем управління спеціального призначення. Обґрунтування й аналіз вимог до інформаційних телекомунікаційних мереж.
статья, добавлен 14.08.2016Дослідження математичної моделі оптимізації обладнання у вузлах телекомунікаційної мережі при заданій якості наданих послуг за критерієм максимального використання мережевих ресурсів. Розробка методів оптимізації трафіку в телекомунікаційних мережах.
автореферат, добавлен 26.08.2015Підвищення ефективності телекомунікаційних систем та мереж. Дослідження існуючих методів дисперсійного аналізу і розробка алгоритму їх застосування для надійного визначення ступеню впливу на певну телекомунікаційну ознаку (показник) декількох чинників.
автореферат, добавлен 26.08.2015Способи поліпшення показників якості роботи мережі СКС7 в умовах конвергенції телекомунікаційних мереж. Фактори, які впливають на показники роботи мереж. Розрахунок інтенсивності сигнального навантаження при взаємодії телефонної мережі з мобільною.
автореферат, добавлен 29.09.2015Розробка методу компактного представлення відеоданих без внесення похибки на основі скорочення тривимірної комбінаторної надмірності для зменшення часу обробки та передачі даних в телекомунікаційних системах. Методи стиснення і відновлення зображень.
автореферат, добавлен 26.08.2015- 13. Ключові параметри ефективності безпроводових телекомунікаційних мереж та методи їх ідентифікації
Методи отримання поточної інформації про характеристики мережного і термінального обладнання каналів передачі сигналів, принцип роботи безпроводових телекомунікаційних мереж. Поєднання вимірювального, інформаційного сигналів в каналі за часом і спектром.
статья, добавлен 30.07.2016 Представлення огляду програмного забезпечення для проведення імітаційного моделювання телекомунікаційних мереж. Переваги застосування такого типу програм в порівнянні з побудовою мережі. Сучасний програмний продукт Riberbed Modeler Academic Edition.
статья, добавлен 27.07.2016Розгляд методів управління мережними ресурсами з описанням процедур управління імітаційними моделями на базі нечітких е-мереж, що враховує виникаючу в мультисервісних телекомунікаційних системах невизначеність. Методи управління мережними ресурсами.
статья, добавлен 19.06.2018Огляд програмного забезпечення для проведення імітаційного моделювання телекомунікаційних мереж. Переваги застосування програм в порівнянні з побудовою мережі. Сучасний програмний продукт Riberbed Modeler Academic Edition, що доступний безкоштовно.
статья, добавлен 27.07.2016Аналіз структури і особливостей функціонування сучасних телекомунікаційних систем та методів управління параметрами, станом мережі і її елементами в умовах нестаціонарності. Розробка пропозицій по створенню алгоритмів управління в нестаціонарних умовах.
автореферат, добавлен 26.07.2014Опис сучасного стану, перспектив розвитку та архітектури мультисервісних телекомунікаційних систем, їх структурний та параметричний синтез. Характеристика та специфіка системи математичних моделей мультисервісної накладеної телекомунікаційної мережі.
автореферат, добавлен 29.07.2015Аналіз мережних технологій, що використовуються в мультисервісних телекомунікаційних мережах, формулювання вимог до моделей і методів контролю та запобігання перевантаження. Методи аналізу стійкості та оптимізації ТСР-сеансів у мультисервісних мережах.
автореферат, добавлен 20.07.2015Огляд програмного забезпечення для проведення імітаційного моделювання телекомунікаційних мереж. Представлення переваг застосування такого типу програм в порівнянні з побудовою мережі. Аналіз програмного продукта Riberbed Modeler Academic Edition.
статья, добавлен 27.07.2016Методи аналізу і синтезу структурно-складних систем розподілу інформації, телекомунікаційних та інфокомунікаційних мереж, що функціонують в умовах мультисервісного трафіка. Методи теорії масового обслуговування. Моделі трафіка мультисервісних мереж.
автореферат, добавлен 12.07.2015Забезпечення інформаційної безпеки - одна з найважливіших функцій телекомунікаційних послуг. Захист інформації, яка передається по мережі, захист від хакерських атак і вірусів. Необхідність вирішення проблеми збереження цілісності мереж та з’єднань.
статья, добавлен 18.04.2024Аналіз структури і особливостей функціонування сучасних телекомунікаційних систем. Удосконалення методів керування параметрами, станом мережі та її елементами в умовах нестаціонарності шляхом використання оптимальних методів стохастичного управління.
автореферат, добавлен 26.09.2015Представлення математичної моделі визначення відносного показника загроз інформаційній безпеці держави на основі методу експертних оцінок. Джерела загроз у інформаційно-телекомунікаційних системах спеціального призначення, оцінка стану за кожною сферою.
статья, добавлен 25.12.2016Удосконалення засобів забезпечення та розв'язання завдань багатошляхової маршрутизації і динамічного розподілу пропускної здатності трактів передачі що дозволяє знизити обсяг використаних мережних ресурсів в мультисервісних телекомунікаційних мережах.
автореферат, добавлен 30.08.2014