Введение
1. Определения, обозначения, обзор литературы 15
1.1. Устройства управления техническими объектами 15
1.1.1. Синтез цифровых устройств управления 15
1.1.2. Контроллеры 17
1.1.3. Корректировка алгоритма управления 22
1.2. Основные определения и обозначения 24
1.2.1. Конечные автоматы 24
1.2.2. Отношения между автоматами 30
1.2.3. Полностью определенные формы автомата 34
1.2.4. Синхронная композиция конечных автоматов 39
1.2.5. Пример конечно-автоматного компенсатора 44
1.2.6. Синтез компенсаторов и автоматные уравнения 45
1.3. Известные методы решения автоматных уравнений для топологии контроллера 46
1.3.1. Алгоритм нахождения наибольшего решения автоматного уравнения 47
1.3.2. Алгоритм решения автоматного уравнения на основе отношения моделирования 50
1.3.3. Сложность решения автоматного уравнения для топологии контроллера 52
1.3.4. Синтез оптимальных компенсаторов 53
1.3.5. Синтез тестов для конечно-автоматных компенсаторов 54
1.4. Выводы по ГЛАВЕ 57
2. Синтез оптимального компенсатора для абстрактных автоматов 58
2.1. Эквивалентность разрешимости уравнений для топологии контроллера и последовательной топологии 60
2.2. Синтез наибольшего решения для полностью определенных детерминированных автоматов 63
2.3. Синтез наибольшего согласованного конечно-автоматного компенсатора 67
2.4. Минимальные детерминированные редукции недетерминированных автоматов 72
2.4.1. Редукции и подавтоматы 72
2.4.2. r-несовместимые состояния 73
2.4.3. Сохраняемое покрытие автомата 77
2.4.4. Достаточное условие эквивалентности минимальной редукции некоторому подавтомату исходного автомата 80
2.4.5. Алгоритм построения редукции недетерминированного автомата с наименьшим числом состояний, эквивалентной подавтомату 81
2.5. Выводы по ГЛАВЕ 82
3. Синтез оптимального компенсатора для последовательной композиции автоматов 84
3.1. Синтез компенсатора для последовательной композиции абстрактных автоматов 84
3.2. Синтез компенсаторов для микропрограммных автоматов 90
3.2.1. Микропрограммные автоматы и композиции микропрограммных автоматов 90
3.2.2. Наибольший микропрограммный компенсатор 92
3.2.3. Оптимальный микропрограммный компенсатор 93
3.2.4. Эксперименты по синтезу оптимальных компенсаторов для микропрограммных автоматов 94
3.3. Синтез компенсатора для структурных автоматов 96
3.3.1. Решение уравнения для последовательной композиции комбинационных схем 96
3.3.2. Структурные автоматы и последовательная композиция структурных автоматов 99
3.3.3. Решение уравнения для последовательной композиции автоматов с памятью 101
3.4. Выводы по ГЛАВЕ 106
4. Синтез тестов для конечно-автоматных компенсаторов 107
4.1. Синтез проверяющих тестов при безусловном эксперименте с проверяемым автоматом 108
4.1.1. Отличающий автомат 108
4.1.2. Описание отличающего автомата 109
4.1.3. Построение проверяющего теста 111
4.1.4. Сокращение длины проверяющего теста 111
4.2. Результаты экспериментов 114
4.3. Метод тестирования на основе условного эксперимента с проверяемым автоматом 116
4.4. Сокращение функции неисправности 120
4.5. Выводы по главе 122
Заключение 122
Список литературы 126
