Аннотация:
В статье рассматривается задача синтеза тестов для нечетких линейных автоматов (НЛА). Сейчас известно несколько разновидностей НЛА, используемых в качестве моделей реальных нечетких систем. В статье вводится и исследуется одна конкретная разновидность НЛА. Она предполагает проявление нечеткости поведения автомата за счет использования в характеристических матрицах элементов специального вида. Каждый такой элемент представляет собой некоторое множество элементов поля, над которым задан НЛА. В процессе функционирования автомата такой альтернативный элемент матрицы замещается случайным образом одним из элементов упомянутого множества на каждом такте. Для НЛА вводится понятие допустимой неисправности. Содержательно она состоит в замещении множества альтернативных элементов матриц одним элементом этого множества. Предложенный в статье метод синтеза тестов для обнаружения неисправностей указанного вида сводится к решению систем линейных алгебраических уравнений. Метод ориентирован на $\mu$-определенные и синхронизируемые НЛА и синтезирует тесты достаточно короткой длины, не превосходящей его размерности.
Ключевые слова:нечеткие линейные автоматы, обнаружение неисправностей, метод синтеза тестов.
УДК:
517.11
Поступила в редакцию: 25.02.2018 Исправленный вариант: 11.11.2018 Принята в печать: 28.05.2019