Одержано оцінки, які свідчать про суттєве зниження достовірності контролю результатів для сучасних методів функціонального діагностування (ФД) сучасних обчислювальних пристроїв (ОП), що демонструють нову властивість відбраковувати достовірні результати приблизних обчислень. Запропоновано пороговий та імовірнісний підходи для підвищення достовірності контролю результатів. Сформульовано концепцію використання природних ресурсів контролю (ПРК). Виділено клас скорочених арифметичних операцій та розроблено поширений на них узагальнений метод контролю за модулем з підвищенням достовірності контролю результатів. Запропоновано методи ФД, що використовують ПРК з метою спрощення засобів контролю та підвищення його достовірності.

  Завантажити