РУсскоязычный Архив Электронных СТатей периодических изданий
Инженерный журнал: наука и инновации/2014/№ 5/

Автоматизация задачи определения сложности булевой функции

Основной задачей теории декомпозиции булевых функций являются разработка и исследование методов разложения произвольной булевой функции, зависящей от большого числа переменных, на систему функционально связанных булевых функций, каждая из которых зависит от меньшего числа переменных. С задачей декомпозиции тесно связана задача минимизации булевых функций, т. е. задача о нахождении такого аналитического представления функции, при котором число букв в нем минимально. Рассмотрена задача синтеза дискретных управляющих систем на основе формул. Разработан метод синтеза булевых формул, предназначенный для эффективного построения схем из функциональных элементов, в том числе и для схем минимальной сложности. Полученный алгоритм может быть реализован с помощью параллельного программирования.

Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
УДК 519.714 Автоматизация задачи определения сложности булевой функции А. <...> А.А. Дородницына РАН, Москва, 119991, Россия Основной задачей теории декомпозиции булевых функций являются разработка и исследование методов разложения произвольной булевой функции, зависящей от большого числа переменных, на систему функционально связанных булевых функций, каждая из которых зависит от меньшего числа переменных. <...> С задачей декомпозиции тесно связана задача минимизации булевых функций, т. е. задача о нахождении такого аналитического представления функции, при котором число букв в нем минимально. <...> Разработан метод синтеза булевых формул, предназначенный для эффективного построения схем из функциональных элементов, в том числе и для схем минимальной сложности. <...> Полученный алгоритм может быть реализован с помощью параллельного программирования. <...> В данной работе изучаются задачи минимальной по различным показателям сложности реализации булевых функций (БФ) в базисе Жегалкина (в классах формул или схем из функциональных элементов (ФЭ)), находящие многочисленные приложения в информационной индустрии. <...> Проводимые исследования в области математической кибернетики и дискретной математики показывают, что получение требуемого минимального решения по определенным показателям сложности неизбежно предполагает использование алгоритмов переборного характера. <...> В ряде работ созданы теория локальных алгоритмов оптимизации, алгоритмов вычисления оценок, алгебраическая теория алгоритмов и показано, что можно даже в явном виде строить экстремальные по качеству алгоритмы для решения очень широких классов трудно формализуемых задач, а также разрабатываются математические и прикладные аспекты теории интеллектуальных систем [1, 2]. <...> А.А. Гурченков, Е.К. Егорова необходимость в информационных и вычислительных ресурсах для образования, науки и техники сохраняется. <...> Следовательно, теория алгоритмов и их минимизация <...>
** - вычисляется автоматически, возможны погрешности

Похожие документы: