1. Объединенный институт проблем информатики Минск, Сурганова, 6

УДК: 518.5

Реферат:

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