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