https://libeldoc.bsuir.by/handle/123456789/4663| Название: | Decomposibality and search for all solutions of a system of boolean functions |
| Другие названия: | Разложимость и поиск всех решений системы булевых функций |
| Авторы: | Taghavi, S. A. Pottosin, Y. V. |
| Ключевые слова: | Boolean functions;decomposition;cover map;compact table;булева функция;декомпозиция;карта покрытия;компактная таблица |
| Дата публикации: | 2013 |
| Издательство: | БГУИР |
| Описание: | Taghavi, S. A. Decomposibality and search for all solutions of a system of boolean functions / S. A. Taghavi, Y. V. Pottosin // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2013) : материалы III Междунар. научн.-техн. конф. (Минск, 21-23 февраля 2013г.) / редкол. : В. В. Голенков (отв. ред.) [и др.]. – Минск : БГУИР, 2013. – С. 579 – 584. |
| Аннотация: | The problem of series two-block decomposition of completely specified Boolean functions is considered. Analysis and investigation of such systems are very important in logical design context. Recently, a method for solving this problem was suggested based on using the ternary matrix cover approach. Using this method a computer program developed. This paper is focused on decomposability of a system of Boolean functions. In decomposable systems, the number of solutions and time elapsed to achieve them was investigated. |
| Аннотация на другом языке: | Рассматривается задача последовательной двухблочной декомпозиции полностью определенных булевых функций. Анализ и исследование таких систем является весьма важным для логического проектирования. Ранее был предложен метод решения этой задачи, основанный на использовании покрытия троичной матрицы. Разработана компьютерная программа, использующая этот метод. Основное внимание данной работы сосредоточено на разложимости систем булевых функций. Для разложимых систем исследовалось число решений и время, затрачиваемое на их получение. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/4663 |
| Располагается в коллекциях: | OSTIS-2013 |
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| Taghavi_Decomposibality.PDF | 675.82 kB | Adobe PDF | Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.