Разработка и оптимизация графовых моделей САПР систем управления

• Автор: Дедегкаева, Лариса Магометовна
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 1999
• Место защиты: Владикавказ
• Количество страниц: 147 с. : ил.

СОДЕРЖАНИЕ

Введение
1. Состояние вопроса и постановка задачи
1.1. Обзор методов автоматизированного проектирования систем управления
1.2. Преобразование ДСМ в детерминированный автомат
1.3. Задача декомпозиционного синтеза
1.4. Выводы
2. Анализ функционирования автоматов по входным векторам
2.1. Структуры автономного функционирования систем
логического управления
2.2. Анализ пересекающихся контуров
2.3. Определение номера вершины контура по ее спектру
2.4. Пересекающиеся контуры с прерывистой общей
частью
2.5. Преобразование структур графоидов к стандартному
виду
2.6. Выводы
3. Разработка системы проектирования абстрактной декомпозиции и ее имитационное моделирование

3.1. Выделение контуров автономного функционирования
3.2. Генератор графоидов с заданными параметрами
3.3. Выводы
4. Абстрактная декомпозиция систем управления (на примерах системы управления промышленной автоматики и системы управления информационными процессами)
4.1. Построение автомата управления установкой
очистки воды
4.2. Построение автомата управления локальной вычислительной сетью
4.3. Выводы
Заключение
Литература
Приложения
ВВЕДЕНИЕ
Современные достижения научно-технического прогресса сопровождаются усложнением задач управления многосвязными технологическими процессами. Это делает невозможным управление без использования средств автоматизации. В свою очередь, время разработки автоматизированной системы управления вручную, на основе только инженерной интуиции, соизмеримо со сроками морального старения проектируемых устройств. Это обусловило необходимость создания систем автоматизации проектирования (САПР) высокой производительности, позволяющих в приемлемые сроки оценивать большое число проектных решений и выбирать наиболее удовлетворительное.
Системы управления представляются конечно-автоматными моделями, дискретно-событийными моделями (ДСМ), как вероятностными, так и детерминированными, пакетами прикладных программ. Идеи конечноавтоматной интерпретации систем управления получили большое развитие в трудах ряда отечественных и зарубежных ученых, таких как Глуш-ков В.А., Гаврилов М.А., Горбатов В.А., Поспелов Д.А., Кобринский Н.Е., Трахтенброт Б.А., Лазарев В.Г., Хафман Д., Ангер С., Мак-Класки И., Полл М., Миллер Р.
С середины 80-х годов большое внимание разработке и анализу ДСМ, состоящим из взаимодействующих модулей дискретных событий, таких как производственные системы и сети связи, системы с непрерывными переменными. Различным аспектам разработки и анализа ДСМ посвящены работы Зиглера Б.П., Цао С. (США), Рамаджа П.Дж., Уонема У.М. (Канада), Коэна Г., Моллера П., Кадра Ж.-П. (Франция), Горбатовой М.В., Захарова В.А., Крицкого С.П.(Россия) и др. ДСМ позволяют достаточно полно учитывать воздействия внешней среды, однако они имеют большое количество физических состояний, что затрудняет обработку сложных технологических систем. Вследствие этого представляется целесообраз-

Рис. 2.1 Структуры-прообразы полных подграфов графа зацепления.