Пошук академічних текстів

Інформація × Реєстраційний номер 2119U007751, Матеріали видань та локальних репозитаріїв Категорія Опубліковано, Стаття Назва роботи ВЕРИФІКАЦІЯ ПРОТОКОЛІВ ТРИКУТНИХ КОМУНІКАЦІЙНИХ ҐРАТОК НЕСКІНЧЕННИМИ СІТКАМИ ПЕТРІ Автор Шмельова Т. Р.Shmeleva T. R. Дата публікації 18-01-2019 Постачальник інформації Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") Першоджерело https://ric.zp.edu.ua/article/view/154478 Видання National University "Zaporizhzhia Polytechnic" Опис Актуальність. Обчислювальні та комунікаційні ґратки є потужним засобом підвищення продуктивності і якості обслуговування сучасних мереж. У двовимірних ґратках основними формами осередку є трикутник, чотирикутник і шестикутник. Трикутні гратки застосовуються при вирішенні крайових задач з трикутними кінцевими елементами, в системах радіомовлення і телебачення. Найбільш прості та ефективні способи реалізації ґраток можуть володіти схованими дефектами і уразливостями з точки зору безпечного обміну інформацією. Таким чином, верифікація ґраток є актуальним завданням. Мета роботи – побудова моделей трикутних комунікаційних ґраток в формі нескінченних сітей Петрі та дослідження їх властивостей, для доказу коректності (верифікації) протоколів. Метод. Методи досліджень базуються на основних положеннях теорії графів, лінійної алгебри, теоретичних основах сітей Петрі, математичного та імітаційного моделювання. Результати. Побудовано параметричний опис трикутної комунікаційної ґратки на площині в прямій і двоїстої формі. Вузол комутації реалізує повнодуплексний режим роботи та буферизацію пакетів з обмеженим розміром внутрішнього буфера. Отримано аналітичні вирази для оцінки числа компонентів моделі. Рішення нескінченних системи лінійних рівнянь в параметричної формі дозволило довести інваріантність моделі довільного розміру. Інваріантність є одною з основних властивостей моделі ідеального протоколу, що визначає безпеку роботи мережі. Практична значимість отриманих результатів полягає в побудові схем безпечних ґраток для подальшої програмної і апаратної реалізації, що офіційно підтверджено включенням моделей трикутних ґраток в архів моделей сітей Петрі Лабораторії Інформатики університету Париж 6. Висновки. Вперше побудована математична модель трикутних комунікаційних ґраток з регулярною структурою довільного розміру в формі нескінченних сітей Петрі для верифікації протоколів передачі інформації в ґратках. Застосування методики для верифікації трикутних комунікаційних структур дозволяє виконати подальший розвиток теорії нескінченних сітей Петрі для побудови та дослідження моделей довільних ґраток з регулярною структурою. Додано в НРАТ 2026-02-09 Закрити