(Національний технічний університет "Харківський політехнічний інститут", 2023) Мірошник, М. А.; Шкіль, О. С.; Рахліс, Д. Ю.; Мірошник, А. М.; Лобойченко, Д. А.
Розроблено методи синтезу перевіряючих послідовностей інтеративних комп'ютерних мереж з використанням циклічних, відмінних і характеристичних символів автоматної моделі комірки мережи. Розроблено та обґрунтовано новий метод модифікації автоматної діаграми комірки, яка не має відмінної послідовності і передбачає введення додаткового вхідного символу та використання кодів станів, що породжує Гамільтонів цикл у послідовності переходів. Розроблено методи та процедури синтезу одновимірних і двовимірних мережі з розподіленим управлінням конфігурацією.
