О. М. Копытова Донецкий национальный технический университет, Донецк, Украина Взадача
Вид материала | Задача |
- Олимпиада для студентов старших курсов и выпускников вузов, поступающих в магистратуру, 32.2kb.
- Концепция технологической безопасности механического оборудования металлургических, 127.37kb.
- Уважаемый коллега!, 100.29kb.
- В. А. Яковлева Донецкий национальный технический университет, 49.48kb.
- C5- разработка энергосберегающей технологии производства магнитно-абразивных порошков, 31.2kb.
- Методологія літературознавства як актуальна проблема, 1300.39kb.
- И науки Украины Донецкий национальный университет Кафедра государственно- правовых, 988.71kb.
- Программа конференции 18 20 мая 2010 г. Киев, Украина, 944.72kb.
- Донецкий национальный технический университет факультет экономики и менеджмента, 29.53kb.
- Информационное письмо международная научно-практическая конференция «актуальные проблемы, 37.7kb.
ПРЕОБРАЗОВАНИЯ АВТОМАТОВ, ПОРОЖДАЮЩИХ КЛАССЫ ИХ НЕИСПРАВНОСТЕЙ
О.М. Копытова
Донецкий национальный технический университет, Донецк, Украина
В задачах теории экспериментов с автоматами, технической диагностики, синтеза дискретних систем важное место занимает задача описания и изучения класса автоматов, которому принадлежит исследуемый по поведению автомат. Традиционно контрольные и распознающие эксперименты строятся для случая класса всех автоматов с n состояниями или его подклассов. Многие такие классы можно описать как результат порождения автоматов класса из заданного автомата с помощью операции переброски дуг и/или изменения их вход-выходных отметок в графе переходов автоматов. Например, класс локально порожденных автоматов [1], классы автоматов, порождаемых константными неисправностями в их схемной реализации и ряд других можно описать указанным образом.
В работе исследуется операция переброски дуг графа переходов автомата Мили и ее влияние на изменение поведения автомата. Известно [2], что переброска ровно одной дуги или изменение ее отметки в приведенном автомате дают неизоморфный исходному автомат. Найдены условия, определяемые структурными свойствами графа переходов автомата, при которых переброски дуг приводят к эквивалентным исходному автоматам (т.е. к неотличимым по поведению неисправностям) и оценена «степень близости» по поведению инициального автомата, полученного из эталона перебросками дуг.
Список литературы
- Грунский И.С., Козловский В.А., Пономаренко Г.Г. Представление конечных автоматов фрагментами поведения. – Киев: Наукова думка, 1990. – 230 с.
- Грунский И.С., Копытова О.М. О структуре контрольного эксперимента для определенно-диагностируемого автомата// Теория управляющих систем.- К.: Наукова думка, 1987.- С.40-54