Видеотека: М. А. Алехина, О. Ю. Барсукова, Асимптотически оптимальные по надежности схемы в базисе, состоящем из функции Вебба, при неисправностях типа 0 на выходах элементов

ВИДЕОТЕКА


Международная школа-семинар "Синтаксис и семантика логических систем" 11–16 августа 2019 г., Турбаза на берегу озера Хубсугул

Асимптотически оптимальные по надежности схемы в базисе, состоящем из функции Вебба, при неисправностях типа 0 на выходах элементов М. А. Алехина^a, О. Ю. Барсукова^b ^a Пензенский государственный технологический университет ^b Пензенский государственный университет
Аннотация: Рассматривается реализация функций $k$-значной логики ($k \ge 3$) схемами из ненадежных функциональных элементов в полном базисе, состоящем из функции Вебба. Предполагается, что элементы схемы переходят в неисправные состояния независимо друг от друга, подвержены однотипным константным неисправностям типа $0$ на выходах. Показано, что при неисправностях типа 0 почти любую функцию $k$-значной логики можно реализовать асимптотически оптимальной по надежности схемой, функционирующей с ненадежностью асимптотически равной ненадежности одного базисного элемента. Полученный результат справедлив в двойственном (относительно перестановки, порождаемой функцией Лукашевича) базисе при однотипных константных неисправностях типа $k-1$ соответственно.