Моделирование и исследование работы узлов коммутации и контроля с использованием программы Electronics Workbench, страница 13


        В этих выражениях X=xn-1 xn-2 x1 x0  и Y=yn-1 yn-2 y1 y0  - сравниваемые коды.  Схема определения равенства кодов показана на рисунке 8.13. 

Схема определения равенства двух из трех одинаковых

кодов

      В бортовых вычислительных комплексах  для повышения надежности их работы осуществляется резервирование входящих в комплекс вычислительных устройств, выполняющих одну и ту же программу решения задачи и обеспечивающих получение одного и того же результата. В случае совпадения результатов от двух или трех независимо работающих БЦВМ полученный результат считается достоверным. На рисунке 8.14 показаны выходные регистры  трех БЦВМ, одноименные разряды полученного результата которых сравниваются между собой по мажоритарному принципу.

 


xi= xi1 xi2 + xi1 xi3  + xi2 xi3.

 
       Схема поразрядного сравнения по принципу два из трех представляет собой схему  И-ИЛИ на три входа  с одним выходом, на котором формируется сигнал при совпадении, по крайней мере, двух из трех поступивших на входы сигналов. Схема реализует логическую функцию

Схема определения большего (меньшего) из двух кодов

      Схема используется для определения неравенств ½X½>½Y½ или ½Y½ >½X½. В схемах подобного типа осуществляется последовательное поразрядное сравнение, начиная со старших разрядов. Если старшие разряды не равны  xn-1 ¹yn-1, то для ½X½>½Y½ значение функции                                Если же старшие разряды равны xn =yn , то выполняется равенство                                            При равенстве разрядов сравниваются следующие по старшинству разряды кодов, т.е. разряды xn-2 иyn-2 . При этом, если ½X½>½Y½, то                        .