Синтез обнаруживающих тестов для нечетких автоматов с конечной памятью

Синтез обнаруживающих тестов для нечетких автоматов с конечной памятью

Предложен и проиллюстрирован метод синтеза тестов, обнаруживающих неисправности в нечетких автоматах с конечной памятью (АКП). В качестве АКП рассмотрены μ-определенные и синхронизируемые автоматы. Поскольку любой линейный автомат (ЛА) имеет конечную память, то рассматриваемая задача может быть...

Полное описание

Библиографическая информация
Опубликовано в: :	Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 66. С. 120-127
Главный автор:	Сперанский, Дмитрий Васильевич 1939-
Формат:	Статья в журнале
Язык:	Russian
Предметы:	автоматы нечеткие автоматы с конечной памятью синтез тестов обнаружение неисправностей сведение задачи к аналогу с четкими линейными автоматами статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001139576 Перейти в каталог НБ ТГУ

Похожие документы

Лекции по теории экспериментов с конечными автоматами учебное пособие : [для студентов и аспирантов математических и инженерных специальностей]
по: Сперанский, Дмитрий Васильевич 1939-
Публикация: (2012)

Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
по: Куфарева, Ирина Борисовна
Публикация: (2000)

Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01
по: Кушик, Наталья Геннадьевна
Публикация: (2016)

Автоматы с распределенной памятью: /
по: Захаров, В. Н. Валерий Николаевич
Публикация: (1975)

Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов

Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
по: Кушик, Наталья Геннадьевна
Публикация: (2013)

К синтезу тестов по мутационному автомату
по: Громов, Максим Леонидович

Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата
по: Коломеец, Антон Владимирович

К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов
по: Акеньшина, Екатерина Алексеевна

Различающие эксперименты с неинициальными недетерминированными автоматами
по: Громов, Максим Леонидович

Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов
по: Форостьянова, Мария Сергеевна

Refining specifications in adaptive testing of nondeterministic finite state machines
по: Petrenko, Alexandre F.

Корректирующие устройства с конечной памятью в системах автоматического регулирования: /
по: Дуванов, С. Г. Станислав Григорьевич, et al.
Публикация: (1973)

Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
по: Ермаков, Антон Дмитриевич

Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
по: Громов, Максим Леонидович
Публикация: (2009)

Модификация метода построения тестов для конечных автоматов относительно неразделимости
по: Акеньшина, Е. А.

Адаптация H-метода для тестирования недетерминированных автоматов относительно редукции
по: Дорофеева, Маргарита Юрьевна

К минимизации автоматов с таймаутами
по: Твардовский, Александр Сергеевич

Минимизация автоматов с таймаутами и временными ограничениями
по: Твардовский, Александр Сергеевич

Об обратимости конечных автоматов с конечной задержкой
по: Катеринский, Денис Аркадьевич

Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
по: Твардовский, Александр Сергеевич

Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01
по: Дорофеева, Маргарита Юрьевна
Публикация: (2007)

Методы синтеза полных проверяющих тестов для детерминированных автоматов учебно-методическое пособие
Публикация: (2004)

О возможностях автоматного описания параллельной композиции временных автоматов
по: Твардовский, Александр Сергеевич

Использование свойств мутационных автоматов для минимизации проверяющих тестов
по: Эль-Факи, Калед

Введение в теорию автоматов, языков и вычислений Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [под ред. А. Б. Ставровского ; пер. с англ. О. И. Васылык и др.]
по: Хопкрофт, Джон Э.
Публикация: (2008)

О криптоаналитической обратимости с конечной задержкой конечных автоматов
по: Агибалов, Геннадий Петрович 1939-2020

Криптографические методы защиты информации учебно-методическое пособие : [для студентов вузов по специальности 080801 "Прикладная информатика" и другим междисциплинарным специальностям]
по: Бабаш, Александр Владимирович
Публикация: (2014)

Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
по: Твардовский, Александр Сергеевич

Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов

Синтез условных тестов для верификации цифровых контролеров
по: Ветрова, Мария Викторовна

О верхней оценке длины разделяющей последовательности
по: Евтушенко, Нина Владимировна

Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов
по: Жигулин, Максим Владимирович

Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
по: Коломеец, Антон Владимирович
Публикация: (2010)

К тестированию недетерминированных автоматов с таймаутами относительно неразделимости
по: Шабалдина, Наталия Владимировна

Синтез тестов для контроля систем логического управления методами теории экспериментов с автоматами диссертация на соискание ученой степени доктора технических наук : 05.13.01
по: Евтушенко, Нина Владимировна
Публикация: (1990)

Синтез установочных последовательностей для автоматов с таймаутами
по: Твардовский, Александр Сергеевич

Введение в теорию автоматов, языков и вычислений Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [под ред. А. Б. Ставровского ; пер. с англ. О. И. Васылык и др.]
по: Хопкрофт, Джон Э.
Публикация: (2002)

Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
по: Прокопенко, Светлана Анатольевна
Публикация: (2000)

Криптографические методы защиты информации учебно-методическое пособие : [для студентов вузов по специальности 080801 "Прикладная информатика" и другим междисциплинарным специальностям]
по: Бабаш, Александр Владимирович
Публикация: (2014)