Моделі і методи аналізу та верифікації телекомунікаційних протоколів на основі Е-мереж та формальних граматик
Розробка методу формалізації специфікації телекомунікаційних протоколів за допомогою темпоральних логік. Синтез формальної граматики, що дозволяє описати поведінку протоколу на основi моделi Е-мережі. Опис верифікації телекомунікаційних протоколів.
Подобные документы
Необхідність проведення досліджень з метою окреслення напрямків і шляхів подальшого розвитку телекомунікаційних мереж загального користування України. Визначити номенклатуру та якість послуг, які надаються споживачам. Забезпечення життєздатності мережі.
статья, добавлен 30.07.2016Підвищення ефективності управління військами шляхом автоматизації процесів управління. Визначення доцільності застосування технології WiMAX у телекомунікаційних мережах спеціального призначення. Застосування широкосмугового доступу у Mesh-мережі.
статья, добавлен 26.07.2016Аналіз сучасного стану цифрових методів управління параметрами каналів зв`язку телекомунікаційних систем та інформаційних сигналів. Розробка методів і схем побудови цифрових регуляторів для телекомунікаційних каналів з можливістю їх масштабування.
автореферат, добавлен 04.03.2014Розгляд проблеми підвищення ефективності систем моніторингу телекомунікаційної мережі за рахунок розробки методів та моделей класифікації та прогнозування станів, як елементів, так і всієї мережі в цілому. Оцінка ефективності класів нейронних мереж.
автореферат, добавлен 29.07.2015Розроблення теоретичних основ компактного виду зображень на основі швидкого та усічено-зв’язаного біноміально-поліадичного стиску відеоданих в тривимірному просторі без внесення погрішностей. Вдосконалення систем передачі даних телекомунікаційних систем.
автореферат, добавлен 25.08.2014Розробка моделей у формі нескінченних сітей Петрі з деревоподібною структурою для верифікації протоколів Ethernet. Огляд фрагментів для параметричних моделей і методики оцінки продуктивності і якості обслуговування в процесі імітаційного моделювання.
автореферат, добавлен 25.09.2015Складові інформаційної безпеки телекомунікаційних мереж загального користування. Функціонально-вартісний аналіз системи забезпечення захисту інформації на прикладі цифрової автоматичної телефонної станції. Оцінка витрат на її створення і впровадження.
автореферат, добавлен 08.09.2013- 33. Метод захисту ліній зв’язку телекомунікаційних мереж від потужних імпульсних електромагнітних завад
Робота кабельних ліній зв’язку інформаційних мереж та параметри сигналу в умовах дії електромагнітних перешкод. Вплив багатокаскадних нелінійних параметрів пристроїв захисту телекомунікаційних систем на якість та завадостійкість інформаційного сигналу.
автореферат, добавлен 29.07.2014 Розробка методу ітеративного декодування турбокодів, орієнтованого на застосування в телекомунікаційних системах, що функціонують в умовах малого енергетичного відношення сигнал-шум. Зменшення кількості операцій декодування на один інформаційний символ.
автореферат, добавлен 30.10.2015Виявлення та аналіз найбільш значущих факторів, що впливають на структуру мережі під час модернізації з урахуванням їх можливої кореляції. Розробка методу взаємозв’язаного розташування двох типів комутаційного обладнання: опорного та виносного.
автореферат, добавлен 14.09.2014Підхід щодо визначення характеристик цілісності інформаційних об’єктів для багаторівневих телекомунікаційних систем та для їхніх окремих рівнів. Забезпечення цілісності інформації на фізичному, канальному рівні, мережному та транспортному рівнях.
статья, добавлен 29.01.2019Принципи побудови комп'ютерної інформаційно-вимірювальної системи для оперативного моніторингу обладнання телекомунікаційних мереж волоконно-оптичних ліній зв'язку під час аварійно-відновлювальних робіт. Послуги систем мобільного зв'язку покоління 3G.
статья, добавлен 27.12.2016Дослідження структур мультисервісних мереж на основі тензорного та фрактального аналізу для розрахунку параметрів визначення шляхів переходу до конвергентних мереж. Використання структур міських телефонних мереж для переходу до конвергентних мережах.
автореферат, добавлен 27.07.2015Створення методів стиску для підвищення ступеня стиску зображень з різною насиченістю дрібними деталями без внесення погрішностей і для зменшення часу обробки і передачі даних в телекомунікаційних системах на основі біноміально-поліадичного представлення.
автореферат, добавлен 28.10.2015Аналіз способів розвитку тактових синхросигналів в цифрових системах передачі. Оптимізація за швидкодією прецизійних формувачів періодичних відліків часу з кільцем фазового автопідстроювання виокремлених пристроїв синхронізації телекомунікаційних мереж.
автореферат, добавлен 28.08.2015Аналіз стану і перспектив розвитку систем контролю та управління сучасних телекомунікаційних мереж. Оптимальна сукупність ознак для оцінки стану вузлів телекомунікаційної мережі. Методи визначення імовірності відмови контрольованих елементів в мережі.
автореферат, добавлен 26.08.2015Сучасні досягнення в галузі методів інформаційної підтримки процесів відеоспостереження. Структурна адаптація телекомунікаційних мереж відеоспостереження до подій на об’єкті. Інформаційна технологія фрактального кодування різницевих кадрів відеопотоків.
автореферат, добавлен 20.07.2015Методи стиску та відновлення відеоданих з можливістю зниження сумарного часу обробки і передачі в існуючих телекомунікаційних системах із заданим рівнем якості відновлення. Метод взаємооднозначного відновлення зображень із заданим рівнем достовірності.
автореферат, добавлен 20.07.2015Аналіз моніторингу телекомунікаційних систем та приклади побудови систем контролю вимірювань. Особливості використання базового модуля збору інформації на базі АСТС з різним програмним забезпеченням і з єдиним центром обробки інформації про стан мережі.
статья, добавлен 29.01.2016Аналіз принципів аналітичного опису математичної моделі динамічних систем синхронізації. Розробка питань синтезу оптимальних систем синхронізації захищених телекомунікаційних каналів передачі інформації. Структурна схема телекомунікаційної системи.
статья, добавлен 27.07.2016Методи визначення оптимальних значень пропускної здатності каналів зв’язку. Підвищення ефективності проектування мультисервісних телекомунікаційних систем, які базуються на застосуванні властивостей інформаційних потоків як самоподібних процесів.
автореферат, добавлен 29.09.2015Вивчення інформаційно-телекомунікаційних мереж. Аналіз обслуговування потоків у гетерогенному телекомунікаційному середовищі, який забезпечить гнучкість та масштабованість системи керування процесом обслуговування гібридних телекомунікаційних сервісів.
статья, добавлен 02.10.2018Тенденції розвитку телекомунікаційних систем в умовах бурхливого інформаційного становлення. Обґрунтування доцільності створення інтегрованих мереж зв’язку з використанням волоконно-оптичних ліній. Методи забезпечення роботи абонентської ділянки.
автореферат, добавлен 29.08.2014Аналіз методів організації захищених протоколів передачі даних у рамках мережі стандарту 5G, що характеризується великою кількістю інформаційних вузлів та високим рівнем перепускності інформаційних каналів. Розширення функціоналу мобільних мереж.
статья, добавлен 16.07.2023Порівняльний аналіз методів побудови телекомунікаційної мережі, що входить у глобальну інформаційну структуру, особливості її багатокритерійної оптимізації. Доцільність використання елемента конвергентної мережі та надсучасної технології з радіодоступом.
автореферат, добавлен 30.10.2014