Аннотацiя: |
Рассмотрены особенности рабочего диагностирования цифровых компонентов в системах критического применения, обеспечивающих функциональную безопасность объектов повышенного риска, включая криогенную технику. Показана целесообразность развития рабочего диагностирования для поразрядных конвейерных узлов цифровых компонентов. В рамках модели приближенных данных получили дальнейшее развитие методы контроля по неравенствам, обеспечивающие рабочее диагностирование поразрядных конвейеров. Предложены модели результата, служащие ему границами, в пределах которых результат определяется достоверным. Для трех типов поразрядных конвейерных умножителей определены модели доступа к данным в контроле. |