https://libeldoc.bsuir.by/handle/123456789/4663| Title: | Decomposibality and search for all solutions of a system of boolean functions |
| Other Titles: | Разложимость и поиск всех решений системы булевых функций |
| Authors: | Taghavi, S. A. Pottosin, Y. V. |
| Keywords: | Boolean functions;decomposition;cover map;compact table;булева функция;декомпозиция;карта покрытия;компактная таблица |
| Issue Date: | 2013 |
| Publisher: | БГУИР |
| Citation: | 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. |
| Abstract: | 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. |
| Alternative abstract: | Рассматривается задача последовательной двухблочной декомпозиции полностью определенных булевых функций. Анализ и исследование таких систем является весьма важным для логического проектирования. Ранее был предложен метод решения этой задачи, основанный на использовании покрытия троичной матрицы. Разработана компьютерная программа, использующая этот метод. Основное внимание данной работы сосредоточено на разложимости систем булевых функций. Для разложимых систем исследовалось число решений и время, затрачиваемое на их получение. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/4663 |
| Appears in Collections: | OSTIS-2013 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Taghavi_Decomposibality.PDF | 675.82 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.