Preview

Информатика

Расширенный поиск

РЕШЕНИЕ БОЛЬШИХ СИСТЕМ БУЛЕВЫХ УРАВНЕНИЙ

Аннотация

Многие проблемы анализа, синтеза и диагностики неисправностей логических схем, а также проблемы дедуктивного вывода, распознавания образов и защиты информации сводятся к решению комбинаторных задач с неизбежным перебором вариантов. Значительная часть таких задач формулируется на языке логических уравнений. В статье рассматриваются два класса систем, содержащих сотни булевых уравнений и переменных: большие системы логических уравнений с ограниченным числом переменных в каждом из них (БСЛУ) и системы линейных логических уравнений (СЛЛУ). Для решения таких систем в лаборатории логического проектирования ОИПИ НАН Беларуси разработана серия комбинаторных методов. Результаты испытаний этих методов на потоке псевдослучайных систем свидетельствуют об их высокой практической эффективности.

Для цитирования:


Закревский А.Д. РЕШЕНИЕ БОЛЬШИХ СИСТЕМ БУЛЕВЫХ УРАВНЕНИЙ. Информатика. 2004;(4(04)):42-53.

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


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


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)