Королева, Я. Ю.Рыжикова, М. Г.2018-03-122018-03-122008Королева Я. Ю. Синтез тестов для сетей клеточных автоматов на основе характеристических последовательностей / Я. Ю. Королева, М. Г. Рыжикова // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Автоматика и приборостроение. – Харьков : НТУ "ХПИ", 2008. – № 57. – С. 114-125.https://repository.kpi.kharkov.ua/handle/KhPI-Press/34921Пропонується метод та алгоритм синтезу тестів для мереж клітинних автоматів, побудований на використанні характеристичних та синхронізуючих послідовностей автоматних моделей клітин мережі. Отримана верхня межа довжини перевіряючих тестів, які виявляють множину несправності в класу.The method and algorithm deriving antest sequences for the cellular automata arrays are proposed. The method is based on using synchronizing and characteristic sequences deriving from state table of cellular automata. The greatest lower bound of the test sequences that detect all functional fault of cellular automata arrays is found.ruтриггеркомбинационная схемафункция возбужденияправило настройки КАавтомат МураArticle