Preview

Информатика

Расширенный поиск

РАЗВИТИЕ ТАБЛИЧНОГО МЕТОДА ДЕКОМПОЗИЦИИ СИСТЕМЫ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ

Аннотация

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

Об авторе

Д. В. Садников
Объединенный институт проблем информатики НАН Беларуси
Беларусь


Список литературы

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.


Рецензия

Для цитирования:


Садников Д.В. РАЗВИТИЕ ТАБЛИЧНОГО МЕТОДА ДЕКОМПОЗИЦИИ СИСТЕМЫ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ. Информатика. 2005;(2(6)):43-53.

Просмотров: 426


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)