РАЗВИТИЕ ТАБЛИЧНОГО МЕТОДА ДЕКОМПОЗИЦИИ СИСТЕМЫ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ
Abstract
Предлагается метод решения задачи последовательной декомпозиции системы полностью определенных булевых функций, являющийся дальнейшим развитием метода декомпозиции по сокращенной компактной таблице. Этот метод менее трудоемкий и, согласно проведенным экспериментальным исследованиям, превосходит последний по быстродействию.
References
1. Ashenhurst R.L. The decomposition of switching functions // Proc. of an International symposium on the theory of switching. – USA, April 1957. – P. 74–116.
2. Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981. – 416 с.
3. Бибило П.Н., Енин С.В. Синтез комбинационных схем методом функциональной декомпозиции. – Мн.: Наука и техника, 1987. – 189 с.
4. Шестаков Е.А. Декомпозиция системы полностью определенных булевых функций по покрытию аргументов // АВТ. – 1994. – № 1. – С. 12–20.
5. Поттосин Ю.В., Шестаков Е.А. Компактное табличное представление систем полностью определенных булевых функций и его использование в декомпозиции // Новые информационные технологии в исследовании дискретных структур: докл. 3-й Всерос. конф. с междунар. участием. – Томск, 2000. – С. 261–266.
6. Pottosin Yu., Shestakov E. Decomposition of systems of completely specified Boolean functions using their compact table representation // 4th International workshop «Boolean Problems». – Freiberg (Sachsen), 2000. – P. 135–142.
7. Поттосин Ю.В., Шестаков Е.А. О табличном задании систем полностью определенных булевых функций // Информатика. – 2004. – № 1. – С. 139–147.
8. Поттосин Ю.В., Шестаков Е.А. Декомпозиция систем полностью определенных булевых функций по их заданию в виде компактных таблиц // Информатика. – 2004. – № 2. – С. 35–44.
9. Поттосин Ю.В., Шестаков Е.А., Садников Д.В. Сравнение двух методов декомпозиции системы полностью определенных булевых функций // Методы логического проектирования: сб. науч. тр. – Мн.: ОИПИ НАН Беларуси, 2003. – С. 79–94.
10. Садников Д.В. Исследование разложимости систем полностью определенных булевых функций // Методы логического проектирования: cб. науч. тр. – Мн.: ОИПИ НАН Беларуси, 2003. – С. 95–102.
Review
For citations:
. Informatics. 2005;(2(6)):43-53. (In Russ.)
Views: 462
Email this article 