Россия
Россия
В статье рассматривается задача синтеза обнаруживающих тестов для дискретных устройств с памятью, представленных математической моделью нечеткого автомата. В ранее опубликованных работах были предложены методы для решения аналогичной задачи для двух типов нечетких автоматов (линейных и с конечной памятью). Эти методы базировались на использовании их особенности, заключающейся в линейности законов их функционирования. В работе рассматриваются произвольные нечеткие автоматы, задаваемые в виде нечетких графов и в табличной форме. Предполагается, что нечеткость функционирования автомата проявляется в необходимости выбора альтернативных траекторий движения при переходах между некоторыми состояниями автомата. Предложена концепция построения тестов для произвольных нечетких автоматов, основанная на преобразовании модели заданного автомата в виде нечеткого графа в четкий граф. Такое преобразование выполняется по предложенному в статье алгоритму. Показано, что любой обнаруживающий неисправность тест в полученном четком графе (автомате) обнаруживает однозначно соответствующую ей неисправность в заданном нечетком графе (автомате).
нечеткие автоматы; нечеткие графы; преобразования нечетких автоматов в четкие; методы синтеза тестов для четких автоматов; константные неисправности; концепция синтеза обнаруживающих тестов
1. Zadeh L. A. Fuzzy sets / L. A. Zadeh // Information and Control. — 1965. — Vol. 8. — Iss. 3. — Pp. 338–353.
2. Сперанский Д. В. Эксперименты с нечеткими автоматами / Д. В. Сперанский // Автоматика и телемеханика. — 2015. — № 2. — С. 107–124. — EDN: https://elibrary.ru/TOBFFF
3. Сперанский Д. В. Тестирование нечетких линейных автоматов // Известия Саратовского университета. Серия «Математика. Механика. Информатика». — 2019. — Т. 19. — Вып. 2. — С. 233–241. — DOI:https://doi.org/10.18500/1816- 9791-2019-192-233-240. — EDN: https://elibrary.ru/JPNAKG
4. Сперанский Д. В. Синтез обнаруживающих тестов для нечетких автоматов с конечной памятью / Д. В. Сперанский // Вестник Томского государственного университета. — Управление, вычислительная техника и информатика. — 2024. — № 66. — С. 120–127. — DOI:https://doi.org/10.17223/19988605/66/12. — EDN: https://elibrary.ru/PLAEMB.
5. Курбанмагомедов К. Д. Анализ поведения абстрактного нечеткого автомата и основные процедуры решения установочной, контролирующей и диагностирующей задач / К. Д. Курбанмагомедов // Известия Дагестанского государственного педагогического университета. — Естественные и точные науки. — 2011. — № 1(14). — С. 55–58.
6. Сперанский Д. В. Поиск состязаний сигналов в нечетких асинхронных автоматах / Д. В. Сперанский, С. А. Лунев // Автоматика на транспорте. — 2024. — № 2. — С. 178– 189. — DOI:https://doi.org/10.20295/2412-9186-2024-10-02-178-18. — EDN: https://elibrary.ru/JANKXY.
7. Закревский А. Д. Логические основы проектирования дискретных устройств / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова. — М.: ФИЗМАТЛИТ, 2007. — 592 с.
8. Пархоменко П. П. Основы технической диагностики / П. П. Пархоменко, Е. С. Согомонян; под ред. П. П. Пархоменко. — М.: Энергоиздат, 1981. — 320 с.
9. Скобцов Ю. А. Моделирование, тестирование и диагностика цифровых устройств / Ю. А. Скобцов, Д. В. Сперанский, В. Ю. Скобцов. — М.: Национальный Открытый Университет «ИНТУИТ», 2012. — 439 с. — EDN: https://elibrary.ru/RYSHKX.
10. Кофман А. Введение в теорию нечетких множеств / А. Кофман. — М.: Радио и связь, 1982. — 432 с.
11. Нечеткие множества в моделях управления и искусственного интеллекта / Под ред. Д. А. Поспелова. — М.: Наука, 1986. — 312 с.
12. Норвич А. М. Построение функции принадлежности и теория вероятностей. Последние достижения: пер. с англ. / А. М. Норвич, И. Б. Турсон; под ред. Р. Р. Ягера. — М.: Радио и связь, 1986. — 408 с.
13. Шопин А. Г. Построение функции принадлежности нечеткого множества и оценка его вероятностных характеристик / А. Г. Шопин // Исследования в России: электронный ресурс. — URL: http://zhurnal.ape.relarn/ ru/articles/2003/040.pdf.
14. Gill A. Introduction to the theory of finite — state machine / А. Gill. — Mc Graw-Hill company, 1962. — 207 p.
15. Марценюк М. А., Селетков И. П. Приведение конечного автомата к нечеткой комбинационной схеме с блоком памяти / М. А. Марценюк, И. П. Селетков // Научно- технические ведомости СПбГПУ. — № 6 (210). — 2014. — . 67–80. — EDN: https://elibrary.ru/TEWVZN
