Известия Саратовского университета. Новая серия.

Серия Математика. Механика. Информатика

ISSN 1816-9791 (Print)
ISSN 2541-9005 (Online)


Для цитирования:

Сперанский Д. В. Тестирование нечетких линейных автоматов // Известия Саратовского университета. Новая серия. Серия : Математика. Механика. Информатика. 2019. Т. 19, вып. 2. С. 233-240. DOI: 10.18500/1816-9791-2019-19-2-233-240, EDN: JPNAKG

Статья опубликована на условиях лицензии Creative Commons Attribution 4.0 International (CC-BY 4.0).
Опубликована онлайн: 
28.05.2019
Полный текст:
(downloads: 318)
Язык публикации: 
русский
Рубрика: 
Тип статьи: 
Научная статья
УДК: 
517.11
EDN: 
JPNAKG

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

Авторы: 
Сперанский Дмитрий Васильевич, Российский университет транспорта
Аннотация: 

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

Список источников: 
  1. Zadeh L. A. Fuzzy sets // Information and Control. 1965. Vol. 8, iss. 3. P. 338–353. DOI: https://doi.org/10.1016/S0019-9958(65)90241-X
  2. Сперанский Д. В. Эксперименты с нечеткими автоматами // Автоматика и телемеханика. 2015. № 2. С. 107–124.
  3. Speranskiy D. V. Synchronization of fuzzy linear automata // Automatic Control and Computer Sciences. 2016. Vol. 50, iss. 2. P. 72–79. DOI: https://doi.org/10.3103/S014641161602005X
  4. Гилл А. Введение в теорию конечных автоматов. М. : Наука, 1966. 288 с.
  5. Сперанский Д. В. Лекции по теории экспериментов с конечными автоматами. М. : БИНОМ. Лаборатория знаний, 2010. 287 с.
  6. Сперанский Д. В. О тестировании линейных автоматов //Автоматика и телемеханика. 2000. № 5. С. 157–165.
  7. Агибалов Г. П., Юфат А. Г. О простых экспериментах для линейных инициальных автоматов // Автоматика и вычислительная техника. 1972. № 2. С. 17–19.
  8. Колесов Н. В. Построение проверяющего теста для линейного конечного автомата // Автоматика и телемеханика. 1982. № 2. С. 61–66.
Поступила в редакцию: 
25.02.2018
Принята к публикации: 
11.11.2018
Опубликована: 
28.05.2019
Краткое содержание:
(downloads: 96)