Особенности автоматизации синтеза булевых функций
7
Пусть
4
1 2
1 3
1 4
1 2
3
4
.
F x x x x x x x x x x
В данном случае просто учитываем, что появляется всего одна
остаточная подформула, а следовательно, увеличиваем значение
счетчика записи всего на единицу:
1 1
1
t t
.
Рассмотрены все актуальные частные случаи представления бу-
левой формулы в виде полинома Жегалкина, которые могут вызы-
вать проблемы при работе алгоритма [5]. Были внесены изменения в
алгоритм для корректной обработки этих случаев.
ЛИТЕРАТУРА
[1]
Поспелов Д.А.
Логические методы анализа и синтеза схем
. Москва,
Энергия, 1974, 342 с.
[2]
Чебурахин И.Ф.
Синтез дискретных управляющих систем и математи-
ческое моделирование: алгоритмы, программы
. Москва, Физматлит,
2004, 247 с.
[3]
Чебурахин И.Ф.
Математические модели для интеллектуализации син-
теза дискретных логических управляющих устройств на основе цифро-
вых интегральных схем
. Известия РАН. Теория и системы управления,
2008, № 1, с. 68—77.
[4]
Чебурахин И.Ф., Цурков В.И. Синтез дискретных логических устройств
обработки информации на основе теории агентов.
Мехатроника, авто-
матизация, управление
, 2011, № 3, с. 27—34.
[5]
Егорова Е.К., Чебурахин И.Ф. О минимизации сложности и автоматизации
эффективного представления булевых функций в классах формул и схем.
Известия РАН. Теория и системы управления
, 2013, № 3, с. 121—129.
[6]
Чебурахин И.Ф. Преобразования функциональных уравнений и показате-
ли сложности булевых функций.
Матер. IX Междунар. семинара
«Дис-
кретная математика и ее приложения». Москва, Изд-во МГУ, 2007,
с. 126—129.
[7]
Чебурахин И.Ф. Сложность симметрических полиномов Жегалкина.
Тр. XVII Междунар. школы-семинара «Синтез и сложность управляю-
щих систем» им. акад. О.Б. Лупанова.
Новосибирск, 2008, с. 180—185.
[8]
Кудpявцев В.Б., Гасанов Э.Э., Подколзин А.С.
Введение в теорию интел-
лектуальных систем
. Москва, Изд-во МГУ, 2006, 208 с.
[9]
Цурков В.И.
Декомпозиция в задачах большой размерности.
Москва,
Наука, 1981, 324 с.
[10]
Чебурахин И.Ф. Математические модели для минимизации и автомати-
зации синтеза дискретных управляющих систем.
Мехатроника, автома-
тизация, управление
, 2012, № 4, с. 5—13.
Статья поступила в редакцию 05.07.2013
Ссылку на эту статью просим оформлять следующим образом:
Гурченков А.А., Егорова Е.К. Особенности автоматизации синтеза булевых функ-
ций
.
Инженерный журнал: наука и инновации
,
2013, вып. 12. URL:
http:// engjournal.ru/
catalog/appmath/hidden/1167.html
