Функциональное восстановление автоматов-перечислителей с обобщенными временными характеристиками линейного типа

• Автор: Вахлаева, Клавдия Павловна
• Шифр специальности: 01.01.09
• Научная степень: Кандидатская
• Год защиты: 2006
• Место защиты: Саратов
• Количество страниц: 114 с. : ил.

1 Исследование специфики функционирования автоматов Медведева с обобщенными временными характеристиками

1.1 Основные понятия и определения

1.2 Автоматы с обобщенными временными характеристиками и их

функционирование

1.3 Применение представляющих автоматов для решения задачи ФВП

систем, моделируемых автоматами с обобщенными временными характеристиками

1.4 Основные результаты раздела

2 Восстановление поведения системы, моделируемой КДА Медведева произвольного временного типа, на основе анализа универсального автомата с обобщенными временными характеристиками

2.1 Анализ универсального автомата с обобщенными временными

характеристиками

2.2 ФВП системы, моделируемой КДА Медведева типа (ОДг), при

изменении начального порядка расположения состояний автомата
2.3 Основные результаты раздела
3 Восстановление поведения системы, моделируемой семейством автоматов произвольных временных типов, на основе синтеза универсального автомата
3.1 Синтез универсального автомата с обобщенными временными
характеристиками для семейства автоматов произвольных временных типов
3.2 Восстановление поведения системы, моделируемой семейством {АДіеі
автоматов Медведева типа (0,1)
3.3 Основные результаты раздела

Заключение
Список использованных источников

Список принятых сокращений
КДА - конечный детерминированный автомат ФВП — функциональное восстановление поведения СВ - средства восстановления ВСВ - встроенные средства восстановления

s° -> s1 -> s2 -»
s? s} ->sf -»
соответственно.
По определению 1.15 автомат а(л) является универсальным
перечислителем для семейства автоматов {a(Ai)}.е/, /е/, если (Vis/)
Проверим справедливость этого утверждения для случаев а) и б) из формулировки теоремы.
Для случая а) покажем что, когда г2 = t2 перечисление одинакового множества выходных последовательностей автоматами a(À) и а(Л,-), i е
возможно, если 5,° является перестановкой состояний слова 5°
Запишем начальное состояние s° автомата а(л) в виде перестановки [30, 46, 63]:
£ = (prls°pr2s° ...prt2s°). (2.1)
Аналогично запишем в виде перестановки начальное состояние s° автомата а(А(), / е I :
£ = [рг srPr2 A — Pr,2 )• (2-2)
Согласно условию а) теоремы, перестановка получается из £ в результате применения операции перестановки а :
сг = {crxa2...