RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика // Архив

Изв. Сарат. ун-та. Нов. сер. Сер.: Математика. Механика. Информатика, 2019, том 19, выпуск 2, страницы 233–240 (Mi isu804)

Эта публикация цитируется в 2 статьях

Научный отдел
Информатика

Тестирование нечетких линейных автоматов

Д. В. Сперанский

Российский университет транспорта (МИИТ), Россия, 125993, Москва, ул. Часовая, д. 22/2

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

Ключевые слова: нечеткие линейные автоматы, обнаружение неисправностей, метод синтеза тестов.

УДК: 517.11

Поступила в редакцию: 25.02.2018
Исправленный вариант: 11.11.2018
Принята в печать: 28.05.2019

DOI: 10.18500/1816-9791-2019-19-2-233-240



Реферативные базы данных:


© МИАН, 2024