О. М. Копытова   Донецкий национальный технический университет, Донецк, Украина   Взадача

Вид материалаЗадача
Подобный материал:
ПРЕОБРАЗОВАНИЯ АВТОМАТОВ, ПОРОЖДАЮЩИХ КЛАССЫ ИХ НЕИСПРАВНОСТЕЙ

 

О.М. Копытова

 

Донецкий национальный технический университет, Донецк, Украина

 

В задачах теории экспериментов с автоматами, технической диагностики, синтеза дискретних систем важное место занимает задача описания и изучения класса автоматов, которому принадлежит исследуемый по поведению автомат. Традиционно контрольные и распознающие эксперименты строятся для случая класса всех автоматов с n состояниями или его подклассов. Многие такие классы можно описать как результат порождения автоматов класса из заданного автомата с помощью операции переброски дуг и/или изменения их вход-выходных отметок в графе переходов автоматов. Например, класс локально порожденных автоматов [1], классы автоматов, порождаемых константными неисправностями в их схемной реализации и ряд других можно описать указанным образом.

В работе исследуется операция переброски дуг графа переходов автомата Мили и ее влияние на изменение поведения автомата. Известно [2], что переброска ровно одной дуги или изменение ее отметки в приведенном автомате дают неизоморфный исходному автомат. Найдены условия, определяемые структурными свойствами графа переходов автомата, при которых переброски дуг приводят к эквивалентным исходному автоматам (т.е. к неотличимым по поведению неисправностям) и оценена «степень близости» по поведению инициального автомата, полученного из эталона перебросками дуг.

Список литературы

  1. Грунский И.С., Козловский В.А., Пономаренко Г.Г. Представление конечных автоматов фрагментами поведения. – Киев: Наукова думка, 1990. – 230 с.
  2. Грунский И.С., Копытова О.М. О структуре контрольного эксперимента для определенно-диагностируемого автомата// Теория управляющих систем.- К.: Наукова думка, 1987.- С.40-54