ЗАСТОСУВАННЯ ФОРМАЛІЗОВАНОГО ЛОГІКО-ЙМОВІРНІСНОГО МЕТОДУ ДЛЯ ВИЗНАЧЕННЯ ПОКАЗНИКІВ ЖИВУЧОСТІ БАГАТОЗВ'ЯЗНИХ МЕРЕЖ

1
Національний університет «Львівська політехніка»
2
Національний університет "Львівська політехніка", кафедра програмного забезпечення
3
Lviv Polytechnic National University
4
Lviv Polytechnic National University

На прикладі LORA MESH мережі представлено можливості методу логіко-ймовірнісного траекторного моделювання для визначення показників живучості систем відповідального призначення з сітковою структурою мережі зв’язку. Запропонований метод формалізовано і на його основі можна реалізувати програмне забезпечення, яке дасть змогу проектантові отримати кількісні значення показників живучості на етапі системотехнічного проектування, коли системи ще немає в «залізі» за допомогою моделювання. Аналіз відомих методів розрахунку індексів парної зв’язності показує, що використання певних організованих проміжних структур даних дозволяє підвищити обчислювальну ефективність алгоритмів. У кореляційному методі такими структурами є набори шляхів для i-ї ітерації. У методі декомпозиції відносно ключового елемента з індексованим маскуванням елементів у множині простих шляхів ці структури включають індексований масив елементів мережі, який визначає їх упорядкування за обраним критерієм, вектор рівнів маскування для елементів у набір простих шляхів і стек ймовірностей для неповних шляхів. Тому постає питання про можливість побудови та застосування інших допоміжних структур та дослідження ефективності відповідних алгоритмів. У ході проведених досліджень виникла ідея використовувати «родове дерево» простих шляхів як таку допоміжну структуру, за допомогою якої можна керувати проходженням «імовірнісних пакетів». Методи оцінки живучості з сітковою структурою мереж зв'язку характеризуються високою обчислювальною складністю. Така обчислювальна складність перешкоджає аналізу багатоваріантного аналізу проектних рішень. Формалізація імовірнісного методу комутації пакетів дозволила знизити обчислювальну складність для користувача (дозволила реалізувати цей метод програмно, оскільки більшість обчислень виконується багаторазово автоматично, крім того, при зміні конфігурації мережі функція для обчислення пар з'єднань формується з меншими витратами часу). Це дозволить проводити багатоваріантний аналіз проектних рішень, підвищити ефективність проектування систем та суттєво зменшити часові затрати.

[1]   Бачинський, І. В. Термінологічний словник з інформаційної безпеки [Текст] / І. В. Бачинський, В. Б. Дудикевич, В. С. Зачепило, Л. Т. Пархуць, В. В. Хома, О. В. Яструбецький. – Львів, 2005. – 140 с. – ISBN 966-8041-34-8.

[2]   ДСТУ 2860-94 Надійність техніки. Терміни та визначення

[3]   Freitag, F. & Miquel Solé, Joan & Meseguer, Roc. (2023). Position Paper: LoRa Mesh Networks for Enabling Distributed Intelligence on Tiny IoT Nodes, doi:10.3233/AISE230026.

[4]   Mohamed Saban, Otman Aghzout, Leandro D. Medus, Alfredo Rosado, Experimental Analysis of IoT Networks Based on LoRa/LoRaWAN under Indoor and Outdoor Environments: Performance and Limitations, IFAC-PapersOnLine, Volume 54, Issue 4, 2021, Pages 159-164, doi:10.1016/j.ifacol.2021.10.027.

[5]   Beichelt F., Franken P., Zuverlässigkeit & Instandhaltung-Math. Methoden, 1983, Technik, Berlin – 392 p.

[6]   Frank Beichelt, Peter Tittmann Reliability and Maintenance. Networks and Systems, Chapman and Hall/CRC, 2012. – 344p, doi: 10.1201/b12095.

[7]   Aguilar-Alarcón, Jhon & Hernández-Gómez, Juan & Romero-Valencia, Jesús. The Clustering Coefficient for Graph Products. Axioms. 2023, doi: 10.3390/axioms12100968

[8]   Touli, Elena & Lindberg, Oscar. (2022). Relative Clustering Coefficient. JAC: A Journal of Composition Theory, doi: 10.22059/JAC.2022.88373.

[9]   Metz, Fernando & Peron, Thomas. Mean-field theory of vector spin models on networks with arbitrary degree distributions, 2022, doi: 10.1088/2632-072X/ac4bed.

[10]Namtirtha, Amrita & Dutta, Animesh & Dutta, Biswanath. (2019). Weighted kshell degree neighborhood: A new method for identifying the influential spreaders from a variety of complex network connectivity structures. Expert Systems with Applications, doi: 139. 112859. 10.1016/j.eswa.2019.112859.

[11]Reliability and Maintenance - an Overview of Cases Edited by Leo Kounis, IntechOpen, 2020. – 191p., doi: 10.5772/intechopen.77493.

[12]Dudnik, B., Reliability and survivability of communication systems, Radio and Communication, 1984. - 215 p.

[13]Belyaev, V., Volochii, B., Ozirkovskyy, L., Pavliv, M., Evaluation of the effectiveness of methods for calculating the indicators of connectivity in the structural analysis of radioelectronic complex systems;Theoretical Electrical Engineering;,Svit Publishing House, Issue 54, 1998, p. 87-93