Россия
Россия
Статья посвящена задаче поиска и ликвидации состязаний сигналов в электронных устройствах. Объектами исследования являются дискретные устройства с памятью, работа которых описывается с использованием математической модели нечеткого автомата. Предложена модель нечеткого автомата, которая учитывает специфику рассматриваемой задачи. В этой модели феномен нечеткости проявляется в переходах между состояниями нечеткого автомата. Как и в случае классического (четкого) автомата, задача сводится к противогоночному кодированию состояний нечеткого автомата. В статье предложена концепция построения методов такого кодирования для нечеткого автомата. Идея его состоит в преобразовании заданного нечеткого автомата в виде нечеткого графа в некоторый специальный четкий граф. Дается описание процедуры такого преобразования. Показано, что все возможные состязания, возникающие на нечетком графе, задающем нечеткий автомат, являются подмножеством состязаний, возникающих на преобразованном упомянутым методом четком графе. Поскольку для поиска состязаний сигналов в четких автоматах разработан обширный арсенал методов, он может быть применен к нечетким автоматам.
надежность электронных устройств, состязания сигналов, модели нечетких устройств, нечеткие автоматы и графы, преобразования нечетких графов в четкие, методы противогоночного кодирования для нечетких автоматов
1. Сагалович Ю. Л. Метод повышения надежности конечного автомата / Ю. Л. Сагалович // Проблемы передачи информации. 1965. Т. 1, вып. 1. С. 27–35.
2. Закревский А. Д., Поттосин Ю. В., Черемисинова Л. Д. Логические основы проектирования дискретных устройств / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова. М.: ФИЗМАТЛИТ, 2007. 592 с.
3. Фомичев В. С. Формальные языки, грамматики и автоматы: / Курс лекций [Сайт] / СПб. 2006. URL: https://old.etu.ru/misc/LGA_2007 FINAL/Index/html.
4. Буркатовская Л. И., Буркатовская Ю. Б. Логическое проектирование дискретных устройств / Л. И. Буркатовская, Ю. Б. Буркатовская. Томск: Томский госуниверситет. 2011. 172 с.
5. Zadeh L. A. (1965) Fuzzy sets. Information and Control. Vol. 8, iss. 3. P. 338–353.
6. Кофман А. Введение в теорию нечетких множеств / А. Кофман. М.: Радио и связь. 1982. 432 с.
7. Сперанский Д. В. Эксперименты с нечеткими автоматами / Д. В. Сперанский // Автоматика и телемеханика. 2015. № 2. С. 107–124. EDN: TOBFFF.
8. Santos E. Maximin automata/ E. Santos // Information and Control. 1968. Vol. 13. P. 363–377.
9. Topencharov V., Stoeva S. Fuzzy-topological automata / V. Topencharov, S. Stoeva // Fuzzy Sets and Systems. 1985. Vol. 16, iss. 1. P. 65–74.
10. Reyneri L. M. An Introduction to Fuzzy State Automata. Biological and Artificial Computation: From Neuroscience to Technology / L. M. Reyneri // Lecture Notes in Computer Science. 1997. Vol. 1240. P. 273–283.
11. Сперанский Д. В. Синтез обнаруживающих тестов для нечетких автоматов с конечной памятью / Д. В. Сперанский // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2024. № 66. С. 120–127. DOI:https://doi.org/10.17223/19988605/66/12. EDN: PLAEMB.
12. Сперанский Д. В. О задаче обращения выходов нечетких дискретных систем / Д. В. Сперанский // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2022. Т. 22, № 1. С. 112–122. DOI:https://doi.org/10.18500/1816– 9791-2022-22-1-112-122. EDN: VMOPOL.
13. Горелик А. В., Журавлев И. А., Орлов А. В. и др. Тестирование систем с нечеткими дискретными компонентами / А. В. Горелик, И. А. Журавлев, А. В. Орлов, Д. В. Сперанский // Автоматика на транспорте. 2020. Т. 6, № 4. С. 518–531. DOI:https://doi.org/10.20295/2412-9186- 2020-6-4-518-531. EDN: ZXTJIM.
14. Сперанский Д. В. Тестирование нечетких линейных автоматов / Д. В. Сперанский // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2019. Т. 19, № 2. С. 233–240. DOI:https://doi.org/10.18500/1816-9791-2019-19- 2-233-240. EDN: JPNAKG
15. Сперанский Д. В. Синтез тестов для нечетких линейных автоматов // Танаевские чтения: Доклады Восьмой Международной научной конференции — НАН Беларуси, Объединенный институт проблем информатики, Институт математики, Белорусский госуниверситет. 2018. Минск. С. 161–165.
