Поттосин Ю.В.

Табличные методы декомпозиции систем полностью определенных булевых функций

Поттосин Ю.В., 2006

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

Поттосин Ю.В.

Книги

Художественная литература

Фантастика

Детектив

Детская литература

Юмор. Комиксы.

Кулинария

Эротика и секс (18+)

Семья