Проектирование логических структур систем противоаварийной защиты на основе последовательностных уравнений

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