Search academic texts

Information × Registration Number 2119U007751, Article popup.category Опубліковано, Стаття Title VERIFICATION OF THE TRIANGULAR COMMUNICATION GRIDS PROTOCOLS BY INFINITE PETRI NETS popup.author Шмельова Т. Р.Shmeleva T. R. popup.publication 18-01-2019 popup.source_user Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") popup.source https://ric.zp.edu.ua/article/view/154478 popup.publisher National University "Zaporizhzhia Polytechnic" Description Актуальність. Обчислювальні та комунікаційні ґратки є потужним засобом підвищення продуктивності і якості обслуговування сучасних мереж. У двовимірних ґратках основними формами осередку є трикутник, чотирикутник і шестикутник. Трикутні гратки застосовуються при вирішенні крайових задач з трикутними кінцевими елементами, в системах радіомовлення і телебачення. Найбільш прості та ефективні способи реалізації ґраток можуть володіти схованими дефектами і уразливостями з точки зору безпечного обміну інформацією. Таким чином, верифікація ґраток є актуальним завданням. Мета роботи – побудова моделей трикутних комунікаційних ґраток в формі нескінченних сітей Петрі та дослідження їх властивостей, для доказу коректності (верифікації) протоколів. Метод. Методи досліджень базуються на основних положеннях теорії графів, лінійної алгебри, теоретичних основах сітей Петрі, математичного та імітаційного моделювання. Результати. Побудовано параметричний опис трикутної комунікаційної ґратки на площині в прямій і двоїстої формі. Вузол комутації реалізує повнодуплексний режим роботи та буферизацію пакетів з обмеженим розміром внутрішнього буфера. Отримано аналітичні вирази для оцінки числа компонентів моделі. Рішення нескінченних системи лінійних рівнянь в параметричної формі дозволило довести інваріантність моделі довільного розміру. Інваріантність є одною з основних властивостей моделі ідеального протоколу, що визначає безпеку роботи мережі. Практична значимість отриманих результатів полягає в побудові схем безпечних ґраток для подальшої програмної і апаратної реалізації, що офіційно підтверджено включенням моделей трикутних ґраток в архів моделей сітей Петрі Лабораторії Інформатики університету Париж 6. Висновки. Вперше побудована математична модель трикутних комунікаційних ґраток з регулярною структурою довільного розміру в формі нескінченних сітей Петрі для верифікації протоколів передачі інформації в ґратках. Застосування методики для верифікації трикутних комунікаційних структур дозволяє виконати подальший розвиток теорії нескінченних сітей Петрі для побудови та дослідження моделей довільних ґраток з регулярною структурою. popup.nrat_date 2026-02-09 Close