Title: | Ортогонализация системы ДНФ булевых функций |
Other Titles: | Orthogonalization of the DNF system of boolean functions |
Authors: | Кардаш, С. Н. |
Keywords: | материалы конференций;дизъюнктивные нормальные формы;ортогонализация;disjunctive normal forms;orthogonalization |
Issue Date: | 2021 |
Publisher: | БГУИР |
Citation: | Кардаш, С. Н. Ортогонализация системы ДНФ булевых функций / С. Н. Кардаш // BIG DATA and Advanced Analytics = BIG DATA и анализ высокого уровня: VII Международная научно-практическая конференция [Электронный ресурс] : сборник материалов VII Международной научно-практической конференции, Минск, 19-20 мая 2021 года / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: В. А. Богуш [и др.]. – Минск, 2021. – С. 26–30. – Режим доступа : http://bigdataminsk.bsuir.by/files/2021_materialy.pdf. |
Abstract: | Для решения многих задач синтеза, диагностики и анализа надежности технических систем используется представление булевых функций в виде дизъюнктивных нормальных форм (ДНФ). Часто бывает полезно иметь такие ДНФ, в которых все входящие в них элементарные конъюнкции взаимно ортогональны. Для получения таких ДНФ необходимо проводить ортогонализацию исходных систем ДНФ. В настоящей работе приводится новый алгоритм решения задачи ортогонализации. Сообщается о разработке компьютерной программы, решающей задачу ортогонализации системы ДНФ. Приводятся результаты экспериментального исследования, подтверждающие эффективность разработанного алгоритма. |
Alternative abstract: | To solve many problems of synthesis, diagnostics and analysis of the reliability of technical systems, the representation of Boolean functions in the form of disjunctive normal forms (DNF) is used. It is often useful to have such DNFs in which all elementary conjunctions included in them are mutually orthogonal. To obtain such DNFs, it is necessary to orthogonalize the original DNF systems. In this paper, we present a new algorithm for solving the orthogonalization problem. The development of a computer program that solves the problem of orthogonalization of the DNF system is reported. The results of an experimental study are presented that confirm the effectiveness of the developed algorithm. |
URI: | https://libeldoc.bsuir.by/handle/123456789/43815 |
Appears in Collections: | BIG DATA and Advanced Analytics = BIG DATA и анализ высокого уровня : материалы конференции (2021)
|