ОБОБЩЕНИЕ РАЗЛОЖЕНИЯ ШЕННОНА ДЛЯ ЧАСТИЧНО ОПРЕДЕЛЕННЫХ ФУНКЦИЙ: ТЕОРИЯ И ПРИМЕНЕНИЕ

Полный текст:




Аннотация

Известное разложение Шеннона не применимо к не полностью определенным булевым функциям. Предлагается теория, связывающая булеву и частичную алгебры, позволяющая построить новые представления и разложения частично определенных функций. Замечательным свойством разложений является сокращение степени определенности продуктов разложения, что служит источником расширения возможностей при решении задач синтеза, распараллеливания и оптимизации полностью и частично определенных логических программно-аппаратных систем. Результатом предложенной теории является новый тип двоичных диаграмм решений. На примере распараллеливания сумматоров показано значительное увеличение быстродействия системы при незначительном увеличении ее сложности.


Об авторе

А. А. Прихожий
Белорусский национальный технический университет
Беларусь

Доктор технических наук, профессор



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

1. Prihozhy, A.A. Methods of Partial Logic and If-Decision Diagrams for Synthesis and Formal Verification of Digital Circuits / A.A. Prihozhy, B. Becker // DAAD Research Report. – Freiburg University, Germany, 2000. – 30 P.

2. Prihozhy, A.A. If-Diagrams: Theory and Application / A.A. Prihozhy // Proc. of the European Conference PATMOS’97. – UCL, Belgium, 1997. – P. 369 – 378.

3. Prihozhy, A.A. Parallel Computing with If-Decision-Diagrams / A.A. Prihozhy, P.U. Brancevich // Proc. of the Int. Conference PARELEC’98. – Poland, Technical University of Bialystok, 1998. – P. 179 – 184.

4. Prihozhy, A.A. If-Decision Diagram Based Modeling and Synthesis of Incompletely Specified Digital Systems / A.A. Prihozhy, B. Becker // Electronics and communications, Special Issue on Electronics Design. – Kyiv, 2005. – P. 103 – 108.

5. Прихожий, А.А. Преобразование ifдиаграмм решений в пространстве параметров время-сложность / А.А. Прихожий // Автоматизация проектирования дискретных систем, Материалы Седьмой межд. конф. CAD’10. – Минск: ОИПИ НАН Беларуси, 2010. С. 15-22.


Дополнительные файлы

Для цитирования: Прихожий А.А. ОБОБЩЕНИЕ РАЗЛОЖЕНИЯ ШЕННОНА ДЛЯ ЧАСТИЧНО ОПРЕДЕЛЕННЫХ ФУНКЦИЙ: ТЕОРИЯ И ПРИМЕНЕНИЕ. «Системный анализ и прикладная информатика». 2013;(1-2):6-11.

For citation: Prikhozhy A.A. GENERALIZATION OF THE SHANNON EXPANSION FOR INCOMPLETELY SPECIFIED FUNCTIONS: THEORY AND APPLICATION. «System analysis and applied information science». 2013;(1-2):6-11. (In Russ.)

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

Обратные ссылки

  • Обратные ссылки не определены.


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


ISSN 2309-4923 (Print)
ISSN 2414-0481 (Online)