ДНФ-РЕАЛИЗАЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ МНОГИХ ПЕРЕМЕННЫХ
Аннотация
Предлагается эвристический метод минимизации частичных булевых функций многих переменных, ориентированный на компьютерную реализацию. В его основе лежит оригинальная технология параллельных операций над соседними элементами в булевом пространстве многих переменных. Приводятся результаты программной реализации метода и экспериментов на компьютере, в ходе которых оценивались эффективность программы и границы ее применимости.
Об авторах
А. Д. Закревский
Объединенный институт проблем информатики НАН Беларуси
Беларусь
Беларусь
Н. Р. Торопов
Объединенный институт проблем информатики НАН Беларуси
Беларусь
Беларусь
В. И. Романов
Объединенный институт проблем информатики НАН Беларуси
Беларусь
Беларусь
Список литературы
1. Quine, W.V. The problem of simplifying of truth functions / W.V. Quine // Am. Math.
2. Monthly. – 1952. – Vol. 59, № 8. – P. 521–531.
3. McCluskey, E.J. Minimization of Boolean functions / E.J. McCluskey // Bell System Tech. J. –
4. – Vol. 35, № 6. – P. 1417–1444.
5. Закревский, А.Д. Логический синтез каскадных схем / А.Д. Закревский. – М. : Наука,
6. – 415 c.
7. Zakrevskij, A.D. Minimization of Boolean functions of many variables – iterative algorithm /
8. A.D. Zakrevskij, N.R. Toropov // Internat. Workshop on Boolean Problems. – Freiberg, Germany,
9. – P. 175–182.
10. Закревский, А.Д. Векторный метод минимизации булевых функций многих перемен-
11. ных / А. Д. Закревский // Доклады НАН Беларуси. – 2009. – Т. 53, № 2. – С. 45–48.
12. Закревский, А.Д. Минимизация булевых функций многих переменных в классе ДНФ –
13. итеративный метод и программная реализация / А.Д. Закревский, Н.Р. Торопов // Прикладная дискретная математика. – 2009. – № 1 (3). – С. 5–14.
14. Закревский, А.Д. Реализация случайных событий с заданной вероятностью / А.Д. За-
15. кревский // Труды СФТИ. – 1965. – Вып. 47. – С. 56–59.
16. Zakrevskij, A.D. Parallel operations over neighbors in Boolean space / A.D. Zakrevskij //
17. Proceedings of the Sixth International Conference CAD DD-07. – Minsk, 2007. – Vol. 2. – P. 6–13.
18. Закревский, А.Д. Программирование вычислений в многомерном булевом пространст-
19. ве / А.Д. Закревский // Управление, вычислительная техника и информатика. Вестник Томского государственного университета. – 2008. – № 2 (3). – С. 94–105.
20. Романов, В.И. Программный комплекс для автоматизации исследований комбинатор-
21. ных алгоритмов логического проектирования / В.И. Романов // Информационные системы и технологии» (IST’2009) : материалы V Междунар. конф.-форума, Минск, 16–17 ноября 2009 г. В 2 ч. Ч. 1 ; редкол. : Н.И. Листопадов [и др.]. – Минск : А.Н. Вараксин, 2009. – С. 95–98.
Рецензия
Для цитирования:
Закревский А.Д., Торопов Н.Р., Романов В.И. ДНФ-РЕАЛИЗАЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ МНОГИХ ПЕРЕМЕННЫХ. Информатика. 2010;(1(25)):102-111.
Просмотров: 649
Послать статью по эл. почте 