Пособие для работников АСУ тепловых электростанций. — М.: Изд-во МЭИ, 2001. — 72 с.: ил. — ISBN 5-7046-0649-0.Приведено описание основ математической логики, законов и свойств логических операций, методов оценки сложности логических форм и способов их упрощения. Рассматриваются примеры построения простых логических схем и их реализация. Показывается, что сегодня математическая логика является не только теоретической базой обоснованности алгоритмов управления, но и в значительной мере техническим средством их реализации. Особое внимание уделяется вопросам формализации всех стадий создания логических систем. Впервые к анализу работы автоматов привлечен структурный анализ систем.
Для работников АСУ тепловых электростанций, специализирующихся в областях, связанных с эксплуатацией и созданием логических систем управления, а также для студентов, обучающихся по соответствующим специальностям.Математические основы логических систем управления.
Логические возможности и таблицы истинности.
Понятия высказывания и лингвистической переменной.
Понятие предикат.
Операции над высказываниями.
Высказывательная форма или формула.
Законы и свойства логических операций.
Оценка сложности логических выражений и их упрощение.
Аналитическая запись логических функций.
Примеры решения логических задач.
Формализация автоматного описания.
Необходимость формализации.
Составление таблиц истинности.
Построение графа состояний.
Построение автоматных таблиц.
Анализ работы конечных автоматов.
Минимизация памяти автоматов.
Минимизация памяти неполных автоматов.
Геометрическая интерпретация логических функций.
Минимизация булевых функций.
Анализ структуры логических систем управления и их декомпозиция.
Специфичные состояния автомата.
Идентификация тупиковых и локальных состояний автомата.
Декомпозиция логических систем на подсистемы и ее формализация.
Построение структуры саязей подсистемы ЛСУ.
Автоматические системы защиты энергоблоков.
Назначение автоматических защит.
Обеспечение надежности действия защит.
Тепловые защиты основного оборудования.
Содержание технического задания на разработку логической системы управления.
