Функциональная структура процедуры преобразования позиционных условно отрицательных аргументов «-»[ni]f(2n) в структуру аргументов "дополнительный код" позиционно-знакового формата с применением арифметических аксиом троичной системы счисления f(+1,0,-1) (варианты)

Изобретение относится к вычислительной технике и может быть использовано при построении арифметических устройств для выполнения арифметических процедур суммирования позиционных аргументов [n_i]f(2ⁿ) и [m_i]f(2ⁿ). Техническим результатом является повышение быстродействия. В одном из вариантов функциональная структура выполнена с использованием элементов, реализующих логические функции И, ИЛИ, И-НЕ, НЕ. 5 н.п. ф-лы.

 

Текст описания приведен в факсимильном виде.

1. Функциональная структура процедуры преобразования позиционных условно отрицательных аргументов «-»[n_i]f(2ⁿ) в структуру аргументов «дополнительный код» позиционно-знакового формата с применением арифметических аксиом троичной системы счисления f(+1,0,-1), которая включает логическую функцию f₂(})-ИЛИ и логические функции f₁(})-ИЛИ и f₁(&)-HE, функциональные выходные связи которых являются функциональными входными связями логических функций f₁(&)-И, a функциональная выходная связь логической функции f₁(&)-И-HE является функциональной входной связью логической функции f₂(&)-И, отличающаяся тем, что введена дополнительная логическая функция f₂(&)-И-НЕ, а функциональные связи логических функций в структуре преобразователя выполнены в соответствии с математической моделью вида

- логическая функция f₁(&)-И; - логическая функция f₁(})-
ИЛИ; - логическая функция f₁(&)-И-HE;
«=&₁=» - логическая функция f₁(&)-HE изменения активности входных аналоговых сигналов.

2. Функциональная структура процедуры преобразования позиционных условно отрицательных аргументов «-»[n_i]f(2ⁿ) в структуру аргументов «дополнительный код» позиционно-знакового формата с применением арифметических аксиом троичной системы счисления f(+1,0,-1), которая включает логические функции f₂(})-ИЛИ, f₂(&)-И и f₁(}&)-ИЛИ-НЕ и логические функции f₁(})-ИЛИ и f₁(&)-HE, функциональные выходные связи которых являются функциональными входными связями логических f₁(}&)-И, отличающаяся тем, что введена дополнительная логическая функция f₃(&)-И, а функциональные связи логических функций в структуре преобразователя выполнены в соответствии с математической моделью вида

где - логическая функция f₁(}&)-ИЛИ-НЕ.

3. Функциональная структура процедуры преобразования позиционных условно отрицательных аргументов «-»[n_i]f(2ⁿ) в структуру аргументов «дополнительный код» позиционно-знакового формата с применением арифметических аксиом троичной системы счисления f(+1,0,-1), которая включает логические функции f₁(})-ИЛИ, f₂(})-ИЛИ, f₁(&)-И, f₂(&)-И, f₁(&)-HE и f₁(&)-И-HE, отличающаяся тем, что введена дополнительная логическая функция f₂(&)-И-НЕ, а функциональные связи логических функций в структуре преобразователя выполнены в соответствии с математической моделью вида

4. Функциональная структура процедуры преобразования позиционных условно отрицательных аргументов «-»[n_i]f(2ⁿ) в структуру аргументов «дополнительный код» позиционно-знакового формата с применением арифметических аксиом троичной системы счисления f(+1,0,-1), которая включает логические функции f₁(})-ИЛИ, f₁(&)-HE и f₃(&)-И-НЕ, отличающаяся тем, что введены дополнительные логические функции f₁(&)-И-HE, f₂(&)-И-НЕ, f₄(&)-И-НЕ и f₅(&)-И-НЕ, а функциональные связи логических функций в структуре преобразователя выполнены в соответствии с математической моделью вида

5. Функциональная структура процедуры преобразования позиционных условно отрицательных аргументов «-»[n_i]f(2ⁿ) в структуру аргументов «дополнительный код» позиционно-знакового формата с применением арифметических аксиом троичной системы счисления f(+1,0,-1), которая включает логические функции f₁(})-ИЛИ, f₂(})-ИЛИ, f₃(})-ИЛИ, f₁(&)-HE, f₁(&)-И и f₂(&)-И и f₁(&)-И-НЕ, отличающаяся тем, что функциональные связи логических функций в структуре преобразователя выполнены в соответствии с математической моделью вида