Синтез асимптотически оптимальных по надежности схем
Рассматривается задача синтеза асимптотически оптимальных по надежности схем, реализующих булевы функции, при инверсных неисправностях на выходах элементов в некоторых полных неприводимых базисах из двухвходовых функциональных элементов. Доказано, что в рассматриваемых базисах все булевы функции можно реализовать асимптотически оптимальными по надежности схемами, причем почти для всех функций эти схемы функционируют с ненадежностью, асимптотически равной 2? при ? >0 (? - вероятность инверсной неисправности на выходе базисного элемента). Сложность этих схем асимптотически не больше чем в три раза превышает сложность минимальных схем, построенных из абсолютно надежных элементов.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
Рассматривается задача синтеза асимптотически оптимальных по
надежности схем, реализующих булевы функции, при инверсных неисправностях
на выходах элементов в некоторых полных неприводимых базисах из
двухвходовых функциональных элементов. <...> Доказано, что в рассматриваемых
базисах все булевы функции можно реализовать асимптотически оптимальными
по надежности схемами, причем почти для всех функций эти схемы
функционируют с ненадежностью, асимптотически равной 2ε при ε0 (ε – вероятность
инверсной неисправности на выходе базисного элемента). <...> Сложность
этих схем асимптотически не больше чем в три раза превышает сложность
минимальных схем, построенных из абсолютно надежных элементов. <...> Впервые задачу синтеза надежных комбинационных схем из ненадежных
функциональных элементов (ФЭ) рассматривал Дж. фон Нейман [1]. <...> Основной недостаток
метода Дж. фон Неймана в том, что сложность схемы с ростом числа
итераций увеличивается экспоненциально (примерно в 3k раз, где k – число
итераций). <...> Ненадежность
()
Ln L S , характеризующая
S
p
f
PS p , а максимум – по всем бупри
любом входном наборе значений переменных не превосходит c1 (c1 –
некоторая константа, зависящая от базиса). <...> В частности, если базис содерPS
схемы S определяется как максимальная вероятность
ошибки на выходе схемы при всевозможных входных наборах. <...> Асимптотически оптимальные по надежности
схемы можно строить со сложностью, по порядку равной сложности минимальных
схем, состоящих только из надежных элементов. <...> Далее сложность
схемы – число функциональных элементов (ФЭ) в ней, поэтому веса всех
элементов равны единице. <...> В других (отличных от {x1x2} и {x1x2}) полных
неприводимых базисах из двухвходовых ФЭ до сих пор были известны
лишь верхние оценки ненадежности схем [6]. <...> Ответ на эти вопросы для некоторых полных
неприводимых базисов из двухвходовых ФЭ получен в этой работе. <...> Информатика, вычислительная техника
Будем считать, что схема реализует функцию <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: