Синтез логических структур большой размерности на основе расширенных булевых матриц : На примере САУ технологическими установками

• Автор: Муравьева, Елена Александровна
• Шифр специальности: 05.13.06
• Научная степень: Кандидатская
• Год защиты: 2001
• Место защиты: Уфа
• Количество страниц: 177 с.

ОГЛАВЛЕНИЕ

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

ПРИЛОЖЕНИЕ А ПРИЛОЖЕНИЕ Б

Эвристический метод Espresso предназначен для оптимизации логических структур, преимущественно реализованных на ПЛМ. Не гарантирует нахождения оптимальной формы, однако позволяет находить более простые логические структуры. По сравнению с Presto обеспечивает более высокий уровень оптимизации, а для компиляции требует меньше времени, но больше памяти.
Компьютизированный метод Блека (Presto) Г141. 1081. Оптимизирует булевы функции, представленные в виде двоичных аналогов ДНФ, разбитых на включающий, отключающий и безразличный наборы. По алгоритму Presto в двоичном представлении ДНФ выполняются все возможные преобразования в соответствии с законом обобщенного склеивания до тех пор, пока получение новых членов с помощью этого закона станет невозможным. Затем специальная программа подвергает полученное выражение операции поглощения, в результате которой находится сокращенная форма булевой функции, которая в алгоритме Presto считается окончательно оптимизированной формой булевой функции.
Между тем из теории оптимизации булевых функций известно, что булева функция считается оптимизированной, если найдена не сокращенная, а минимальная тупиковая форма, которая, как правило, меньше сокращенной формы. Кроме того, классический метод Блека вручную оправдано использовать для оптимизации булевых функций с размерностью 5-6 аргументов [139]. В алгоритме Presto за счет компьютеризации процесса оптимизации удалось этот показатель увеличить до 12, что для оптимизации реальных логических структур недостаточно.
Проблема большой размерности в алгоритме Presto решена путем декомпозиции исходной логической структуры большой размерности на эквивалентный ряд логических структур с размерностью, меньшей или равной 12. Это существенно расширяет область применения алгоритма Presto для синтеза логических структур большой размерности.