Введение
1. Основные определения. Постановка задачи оптимизации на основе автоматной модели 20
1.1 Основные определения 20
1.1.1 Конечные автоматы 20
1.1.2 Операции над автоматами и полуавтоматами 26
1.1.3 Синхронная композиция двух автоматов 29
1.1.4 Многокомпонентная синхронная композиция 34
1.2 Постановка задачи оптимизации на основе решения автоматных
уравнений 36
1.2.1 Задача оптимизации 36
1.2.2 Определение автоматного уравнения для двухкомпонентной сети.. 38
1.3 Методы решения бинарных автоматных уравнений 41
1.3.1 Решение уравнения на основе безразличных последовательностей. 42
1.3.2 Решение уравнения на основе Е-автомата 43
1.3.3 Языковый подход к решению автоматных уравнений; 44
1.4 Критерии оптимизации 49
1.5 Выводы по главе 50
2. Использование автоматных уравнений для оптимизации многокомпонентной композиции 52
2.1 Многокомпонентная синхронная композиция 52
2.1.1 Методы построения многокомпонентной синхронной композиции. 52
2.1.2 Свойства многокомпонентной композиции 57
2.2 Автоматные уравнения для многокомпонентной композиции 61
2.2.1 Решение автоматных уравнений для многокомпонентной
композиции 61
2.2.2 Сведение автоматного уравнения для многокомпонентной композиции к бинарному автоматному уравнению 65
2.2.3 Разрешимость автоматного уравнения относительно различных алфавитов 67
2.3 Упрощенные методы решения автоматных уравнений для оптимизации
автоматных сетей 70
2.3.1 Комбинационное решение автоматного уравнения 71
2.3.2 Экспериментальные результаты по нахождению комбинационного решения 75
2.3.3 Решение автоматного уравнения на основе безразличных последовательностей 76
2.3.4 Экспериментальные результаты по нахождению безразличных последовательностей 79
2.4 Основные результаты главы 80
3. Покомпонентная оптимизация дискретных систем относительно различных критериев 82
3.1 Глобальная оптимизация 82
3.2 Локальная оптимизация 85
3.2.1 Локальная оптимизация посредством решения множества автоматных уравнений 86
3.2.2 Локальная оптимизация посредством решения системы уравнений 89
3.3 Критерии оптимизации 94*
3.3.1 Число связей в автоматной сети 95
3.3.1.1 О минимизации числа связей на основе решения автоматного уравнения 95
3.3.1.2 Нахождение наибольшего решения автоматного уравнения с заданным множеством входных алфавитов 97
3.3.1.3 Минимизация числа входных переменных компоненты 98
3.3.2 Отказоустойчивость компоненты 103
3.3.3 Число вентилей в логической реализации компоненты 106
3.4 Основные результаты главы 108
4. Прогрессивные решения автоматных уравнений и систем автоматных уравнений 109
4.1 Наибольшее прогрессивное решение автоматного уравнения 109
4.2 Характеризация прогрессивных решений 121
4.3 Прогрессивные решения системы уравнений 125
4.4 Экспериментальные результаты по существованию прогрессивных решений 129
4.5 Основные результаты главы 130
Заключение 132
Литература 134
Приложение ...144
