Запропоновано підхід до формалізації протоколів маршрутизації в комп'ютерних мережах. На базі математичного апарату систем алгоритмічних алгебр Глушкова формалізовано протокол OSPF. Отримано модифікацію алгоритму Дейкстри, оптимізовану за допомогою апарату систем алгоритмічних алгебр за часом виконання. Проведено моделювання алгоритмів, яке показало ефективність одержаного алгоритму для середньої кількості вузлів у нещільному графі.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"