Потапов І. Г. Логічний аналіз протоколів мереж ЕОМ на основі моделі взаємодіючих автома тів

Об'єктом дослідження є протокол інформаційно-обчислювальних мереж. Ме тою роботи є підвищення ефективності мереж ЕОМ на усіх етапах їх життєвого цикл у від проектування до експлуатації шляхом розробки нових методів та алгоритмів а налізу протоколів інформаційно-обчислювальних мереж. Для вирішення поставлених з адач в роботі використовуються методи теорії автоматів, формальних мов, гра фів та алгоритмів. В роботі вирішуються відкриті задачі логічної коректності п ротоколів інформаційно-обчислювальних мереж; розроблені методи та алгоритми,що д озволяють перевіряти властивості логічної коректності протоколів з обмеженою та необмеженою взаємодією через канали зв'язку, а також суттєво скоротити часові та ємністні витрати процесу аналізу. В результаті досліджень отримана програмна ре алізація запропонованих методів. Сферою використання є системи автоматичного про ектування та реалізації протоколів інформаційно-обчислювальних мереж.