Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО
Вахлаева, Клавдия Павловна
01.01.09
Кандидатская
2006
Саратов
114 с. : ил.
Стоимость:
499 руб.
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...
Название работы | Автор | Дата защиты |
---|---|---|
Тестовые задачи на графах | Дебрев, Евгений Валерьевич | 2004 |
О P-множествах автономных функций | Родин, Александр Алексеевич | 2013 |
Операторные преобразования и минимизация полиномиальных представлений булевых функций | Казимиров, Алексей Сергеевич | 2007 |