Введение
ГЛАВА 1. Состояние проблеммы и обзор методов автоматизированного проектирования 8
1.1.Моделирование систем управления 8
1.2. Методы автоматизированного проектирования систем логического управления 13
ГЛАВА 2 Нахождение размещения по стандартной составляющей 18
2.1. Нахождение изоморфного вложения графоида заданного автомата в декартово произведение графоидов заданного и стандартного автоматов 18
2.2. Расширение носителя графоида заданного автомата 27
2.3. Формирование подмножеств соцветных вершин на основе функционально несвязных пар состояний автомата 33
ГЛАВА 3. Построение графа условий соцветности вершин графоида заданного автомата и нахождение размещения его состояний по компонентам разложения 48
3.1. Нахождение системы ограничений на размещение состояний автомата 48
3.2. Нахождение нестандартной компоненты разложения 63
ГЛАВА 4. Разработка системы автоматизированного проектирования абстрактного этапа реализации устройств управления на стандартных составляющих и её имитационное моделирование 77
4.1. Состав и функционирование системы проектирования 77
4.2. Имитационная модель системы проектирования 80
4.3. Примеры решения задач проектирования с использованием разработанной САПР 109
Заключение 124
Литература
