Методы обращения дискретных функций с применением двоичных решающих диаграмм

Содержание
Введение .
Глава 1. Дискретные функции, логические уравнения и двоичные диаграммы решений
1.1. Общие сведения из теории булевых функций. Логические
уравнения .
1.2. Э АТподход к задачам обращения дискретных функций краткое описание
1.2.1. Основа БАТподхода.
1.2.2. Основные алгоритмы решения БАТзадач.
1.3. Двоичные решающие диаграммы.
1.3.1. Базовые понятия
1.3.2. Основные алгоритмы работы с ВББ
Глава 2. Алгоритмы решения логических уравнений и обращения дискретных функций, использующие
2.1. Алгоригмика ИОВЕЮиодхода к решению систем логических
уравнений .
2.1.1. Специальные представления формул ИВ
2.1.2. Разбиение системы на слои и использование шаблонов
2.2. Процедуры изменения порядка означивания переменных в
ПО В ОБ
2.3. Основы гибридного БАТ ЯОВББ подхода к задачам обращения дискретных функций.
2.4. Логический вывод на 1ЮВББ основные алгоритмы
Глава 3. Реализация и тестирование параллельных алгоритмов обращения дискретных функций, использующих ЕШ1
3.1. Реализация и тестирование ГЮВООрешателя логических
уравнений .
3.1.1. Базовые структуры данных.
3.1.2. Организация работы с памятью при работе ЛОВИИ
3.1.3. Применение ИОВОЮрешателя логических уравнений к исследованию дискретноавтоматных моделей генных сетей
3.2. Параллельная реализация гибридного БАТ0ВООподхода
к решению задач обращения дискретных функций
3.2.1. Реализация и тестирование последовательного гибридного БАТН.ОВИИрешателя
3.2.2. Реализация и тестирование параллельного гибридного БАТЬ0 ВИИрешателя, функционирующего в МР1среде.
Заключение
Литература