ФУНКЦИОНАЛЬНО-ПОЛНЫЙ ТОЛЕРАНТНЫЙ ЛОГИЧЕСКИЙ ЭЛЕМЕНТ ОТНОСИТЕЛЬНО КОМБИНИРОВАННОЙ МОДЕЛИ ОТКАЗОВ

Аннотация

Рассматривается получение вектора булевой функции четырёх переменных, обладающего функциональной полнотой в смысле теоремы Поста и сохраняющего полноту в случае отказов. В отличие от известного подхода, учитывающего модель однократных константных отказов, уравнение толерантности строится с учётом и модели замыканий переменных. Доказывается, что в этом случае уравнение толерантности изменяется. Тем не менее, ранее полученная функционально-полная толерантная функция также является решением. В комбинированной модели отказов имеются 6 решений, в отличие от модели однократных константных отказов, в которой было 20 решений. Такой подход к элементной базе (например, к программируемым логическим схемам – ПЛИС) соответствует тенденциям своего рода ресурсосбережения в области отказоустойчивости – использование даже ограниченных функциональных возможностей аппаратуры с отказами с целью адаптации к ним. Результаты исследования могут быть интересны широкому кругу специалистов в области проектирования и эксплуатации цифровых устройств.