Запропоновано методи синтезу тестів, що виявляють задану несправність у нестаціонарних лінійних автоматах. Показано, що ці методи є менш трудомісткими, ніж відомі, які орієнтовані на класи довільних автоматів.

Показано, що з погляду принципової можливості розв'язку діагностичних задач для лінійних автоматів прості умовні і кратні експерименти не несуть нічого нового порівняно з простими безумовними експериментами.

Одержано необхідні та достатні умови існування синхронізуючих, встановлювальних і діагностичних послідовностей для звичайних систем із запізненням за станом і керуванням. Для систем, що синхронізуються, запропоновано методи побудови послідовностей, які виявляють дану несправність, а також послідовностей, що синхронізують систему до заданого стану.

Ключ. слова: устойчивость, синхронизируемость, линейный автомат
Індекс рубрикатора НБУВ: З815

Рубрики:

Теорія автоматів

Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ 

Исследована задача сокращения диагностической информации (ДИ), используемой при локализации неисправностей дискретных устройств. Для ее решения предложена модификация алгоритма Д. Квинлана, первоначально предназначенного для построения деревьев решений. Этот алгоритм выполняет поиск близкой к оптимальной маски, с помощью которой осуществляется сокращение ДИ. Приведены статистические данные, подтверждающие эффективность предложенного алгоритма.

Предложен генетический алгоритм для решения задачи синтеза тестов для линейных автоматов, являющихся математическими моделями широко распространенных на практике дискретных устройств. Задача решается в предположении, что реакции автоматов содержат неопределенности, выраженные в виде интервальных значений.