Автоматизация логического проектирования программного обеспечения микропроцессорных систем управления технологическими процессами черной металлургии

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.Ч
Глава I. ОСОБЕННОСТИ ПРОЕКТИРОВАНИЯ СИСТЕМ УПРАВЛЕНИЯ
ТЕХНОЛОГИЧЕСКИМИ ПРОЦЕССАМ ЧЕРНОЙ МЕТАЛЛУРГИИ . .
1.1. Особенности объектов и систем управления технологическими процессами черной металлургии . .
1.2. Обзор и анализ современного состояния автоматизации проектирования АСУТП
1.3. Анализ структуры программного обеспечения
МСУТП черной металлургии
1.4. Задачи автоматизированного проектирования систем управления технологическими процессами черной металлургии, решаемые в диссертации . .
Выводы по первой главе.
Глава 2. ЛИНГВИСТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИСТЕМЫ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ МСУТП ЧЕРНОЙ МЕТАЛЛУРГИИ.
2.1. Послойное описание алгоритмов управления металлургическими процессаш .
2.2. Проблемноориентированный язык высокого
уровня УСЛОШЕ
2.3. Язык логического управления и анализа
ситуаций язык ЛУАС
Выводы по второй главе.
Глава 3. ВЫЯВЛЕНИЕ И УСТРАНЕНИЕ НЕДОПУСТИМЫХ ВРЕМЕННЫХ ЗАДЕРЖЕК В МИКРОПРОЦЕССОРНЫХ СИСТЕМАХ УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМИ ПРОЦЕССА.
3.1. Описание Тмодели и постановка задачи определения недопустимых временных задержек .
Стр.
3.2. Операции преобразования Тмодели
в Тмодель
3.3. Алгоритм А1 построения Тмодели по Тмодели . .
3.4. Использование Тмодели для Еыбора приоритетов параллельных алгоритмов
Выводы по третьей главе
Глава 4. ТЕХНОЛОГИЯ ПРОЕКШРОВАНИЯ ШКРОПРОЦЕССОРНЫХ
СИСТЕМ УПРАВЛЕНИЯ МЕТАЛЛУРГИЧЕСКИМИ ПРОЦЕССАМИ С ИСПОЛЬЗОВАНИЕМ САПР
4.1. Этапы технологии автоматизированного проектирования МСУТП
4.2. Программное обеспечение САПР ПО МСУТП
4.3. Автоматизированное проектирование МСУТП
канала дозирования доменной сихты.
Выводы по четвертой главе
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА