| DC Field | Value | Language |
|---|
| dc.contributor.author | Taghavi, S. A. | - |
| dc.contributor.author | Pottosin, Y. V. | - |
| dc.date.accessioned | 2015-07-24T08:47:45Z | |
| dc.date.accessioned | 2017-07-18T09:06:51Z | - |
| dc.date.available | 2015-07-24T08:47:45Z | |
| dc.date.available | 2017-07-18T09:06:51Z | - |
| dc.date.issued | 2013 | - |
| dc.identifier.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. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/4663 | - |
| dc.description.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. | ru_RU |
| dc.language.iso | en | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | Boolean functions | ru_RU |
| dc.subject | decomposition | ru_RU |
| dc.subject | cover map | ru_RU |
| dc.subject | compact table | ru_RU |
| dc.subject | булева функция | ru_RU |
| dc.subject | декомпозиция | ru_RU |
| dc.subject | карта покрытия | ru_RU |
| dc.subject | компактная таблица | ru_RU |
| dc.title | Decomposibality and search for all solutions of a system of boolean functions | ru_RU |
| dc.title.alternative | Разложимость и поиск всех решений системы булевых функций | ru_RU |
| dc.type | Article | ru_RU |
| local.description.annotation | Рассматривается задача
последовательной двухблочной декомпозиции
полностью определенных булевых функций. Анализ
и исследование таких систем является весьма
важным для логического проектирования. Ранее
был предложен метод решения этой задачи,
основанный на использовании покрытия троичной
матрицы. Разработана компьютерная программа,
использующая этот метод. Основное внимание
данной работы сосредоточено на разложимости
систем булевых функций. Для разложимых систем
исследовалось число решений и время,
затрачиваемое на их получение. | - |
| Appears in Collections: | OSTIS-2013
|
