Синтез надежных неветвящихся программ с условной остановкой в полном конечном базисе, содержащем x[1] & x[2]

булевы функции неветвящиеся программы инверсные неисправности на выходах инверсные неисправности ненадежность схем асимптотически оптимальные схемы

Методы спектрального оценивания в задаче исследования степени воздействия геофизических процессов на электрическое поле приземного слоя атмосферы, К задаче стабилизации движений механических систем, стесненных геометрическими и кинематическими сервосвязями, ...

СИНТЕЗ НАДЕЖНЫХ НЕВЕТВЯЩИХСЯ ПРОГРАММ С УСЛОВНОЙ ОСТАНОВКОЙ В ПОЛНОМ КОНЕЧНОМ БАЗИСЕ, СОДЕРЖАЩЕМ 12&x x Аннотация. <...> Рассматривается реализация булевых функций неветвящимися программами с условной остановкой в полном конечном базисе ,B содержащем конъюнкцию 12&x <...> Предполагается, что функциональные операторы с вероятностью подвержены инверсным неисправностям на выходах. <...> Решается задача синтеза надежных неветвящихся программ в двух случаях: 1) оператор условной остановки абсолютно надежен; 2) оператор условной остановки ненадежен. <...> Программы с условной остановкой характеризуются наличием управляющей команды – команды условной остановки, дающей возможность досрочного прекращения работы при выполнении определенного условия. <...> Введем множества переменных Пусть X xx вем внутренними, переменные из множества Z – выходными переменными. <...> Переменную a назовем выходом вычислительной команды, переменные 1, ..., dbb – входами этой команды. <...> Последовательность Pr p p p команд и команд остановки, называется неветвящейся программой с условной остановкой, если при любом jL каждый вход команды jp есть 85 1 il 1, 2, , . <...> Поволжский регион либо независимая переменная, либо выход некоторой вычислительной команды , где t = 0, 1, 2, …, не изменяет значения независимых переменных и изменяет значения внутренних и выходных переменных. <...> Тогда через js будем обозначать j-ю команду остановки программы Pr , т.е. s j p . <...> Вычислительную команду ip (переменную lx ) назовем аргументом t j команды остановки js , ( )jks r , и обозначим через jq , если: <...> 1) выход команды ip (переменная lx ) является входом команды js ; <...> 2) среди команд программы Pr на наборе x , если () pt , it r нет команды, выход которой совпадает с выходом команды ip . <...> т.е. Prl ()x равно значению выходной переменной в момент остановки программы. <...> (2) Будем говорить, что программа Pr вычисляет n-местную булеву функPr x f x <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт