Перегляд за Автор "А. В. Дрозд, М. М. Аль-Даби, М. А. Дрозд, И. Н. Николенко"
Зараз показуємо 1 - 1 з 1
Результатів на сторінці
Налаштування сортування
- ДокументПовышение достоверности контроля цифровых компонентов в системах критического применения(2017) А. В. Дрозд, М. М. Аль-Даби, М. А. Дрозд, И. Н. НиколенкоРассмотрены возможности повышения достоверности методов рабочего диагностирования в контроле результатов, вычисляемых в цифровых компонентах информационных управляющих систем критического применения, широко используемых в энергетике, включая криогенные приложения. Предложен подход к повышению достоверности контроля результатов на основе различения существенных и несущественных ошибок, вызываемых в приближенном результате неисправностями цифровых схем с повышенной функциональной контролепригодностью. Для операций умножения и деления мантисс предложены модели результата, являющиеся его верхней и нижней границами. На множестве моделей результата определены и оценены методы контроля по неравенствам, обеспечивающие различение существенных и несущественных ошибок для матричных умножителей и делителей с функциональной контролепригодностью, повышенной сокращением матричных структур.