Проведен анализ оценки достоверности контроля результатов, направленный на повышение достоверности методов рабочего диагностирования в обработке приближенных данных. Для получения высокой достоверности контроля приближенных результатов выделены две области с высокой и низкой вероятностью появления существенной ошибки. Методы рабочего диагностирования должны обеспечивать в этих областях такие же высокие и низкие вероятности обнаружения ошибки. Показана невозможность решения этой задачи традиционными методами рабочего диагностирования. Предложены методы рабочего диагностирования, использующие положения контроля по модулю для повышения достоверности контроля приближенных результатов в обеих выделенных областях. Метод контроля по модулю сокращенных операций сочетает высокую вероятность обнаружения ошибки с высокой вероятностью появления существенной ошибки в сокращенных операциях. Метод контроля по упрощенной операции использует возможности контроля по модулю для ограничения множества входных слов, на которых проверяется результат. Это упрощает контролируемую операцию и снижает вероятность обнаружения ошибки. Ключевые слова: рабочее диагностирование, достоверность контроля результатов, вычислительные устройства, приближенные вычисления, сокращенные операции, контроль по модулю, контроль по упрощенной операции.
