В математике анализ ошибок - это изучение вида и количества ошибок или неопределенностей, которые могут присутствовать в решении проблемы. Этот вопрос особенно актуален в прикладных областях, таких как численный анализ и статистика .
Анализ ошибок при численном моделировании
При численном моделировании или моделировании реальных систем анализ ошибок связан с изменениями выходных данных модели, поскольку параметры модели изменяются примерно в среднем .
Например, в системе, моделируемой как функция двух переменных . Анализ ошибок имеет дело с распространением численных ошибок в а также (около средних значений а также ) к ошибке в (около среднего ). [1]
В численном анализе анализ ошибок включает как прямой анализ ошибок, так и обратный анализ ошибок .
Прямой анализ ошибок
Прямой анализ ошибок включает в себя анализ функции которое является приближением (обычно конечным многочленом) к функции определить границы погрешности аппроксимации; т.е. найти такой, что . Оценка прямых ошибок желательна в проверенных числах . [2]
Обратный анализ ошибок
Обратный анализ ошибок включает анализ аппроксимирующей функции , чтобы определить границы параметров так что результат . [3]
Обратный анализ ошибок, теория которого была разработана и популяризирована Джеймсом Х. Уилкинсоном , может быть использована для установления числовой устойчивости алгоритма, реализующего числовую функцию. [4] Основной подход состоит в том, чтобы показать, что хотя вычисленный результат из-за ошибок округления не будет в точности правильным, это точное решение ближайшей проблемы со слегка измененными входными данными. Если требуемое возмущение невелико, порядка неопределенности входных данных, то результаты в некотором смысле являются настолько точными, насколько данные «заслуживают». В этом случае алгоритм определяется как обратный устойчивый . Стабильность - это мера чувствительности к ошибкам округления данной численной процедуры; Напротив, число обусловленности функции для данной проблемы указывает на внутреннюю чувствительность функции к небольшим возмущениям на ее входе и не зависит от реализации, используемой для решения проблемы. [5]
Приложения
Спутниковая система навигации
Анализ ошибок вычисляются с использованием глобальной системы позиционирования важен для понимания того, как GPS работает, и зная , что ошибки магнитуды следует ожидать. Глобальная система позиционирования исправляет ошибки часов приемника и другие эффекты, но остаются остаточные ошибки, которые не исправляются. Система глобального позиционирования (GPS) была создана Министерством обороны США в 1970-х годах. Он стал широко использоваться для навигации как военными США, так и населением.
Моделирование молекулярной динамики
В моделировании молекулярной динамики (МД) есть ошибки из-за неадекватной выборки фазового пространства или редко происходящих событий, которые приводят к статистической ошибке из-за случайных флуктуаций в измерениях.
Для серии M измерений флуктуирующего свойства A среднее значение равно:
Когда эти M измерения являются независимыми, дисперсия среднего < А > является:
но в большинстве МДА, существует корреляция между величиной А в разное время, так что дисперсия среднего < А > будет недооценивать , как эффективное число независимых измерений на самом деле меньше , чем М . В таких ситуациях мы перепишем дисперсию как:
где это функция автокорреляции определяется
Затем мы можем использовать функцию автокорреляции для оценки шкалы ошибок . К счастью, у нас есть гораздо более простой метод, основанный на усреднении блоков . [6]
Проверка научных данных
Измерения обычно имеют небольшую погрешность, а повторные измерения одного и того же объекта обычно приводят к незначительным различиям в показаниях. Эти различия можно анализировать, и они следуют определенным известным математическим и статистическим свойствам. Если набор данных кажется слишком точным для гипотезы, т. Е. Количество ошибок, которые обычно были бы в таких измерениях, не появляется, можно сделать вывод, что данные могли быть сфальсифицированы. Одного анализа ошибок обычно недостаточно, чтобы доказать, что данные были сфальсифицированы или сфабрикованы, но он может предоставить подтверждающие доказательства, необходимые для подтверждения подозрений в неправомерном поведении.
Смотрите также
Рекомендации
- ^ Джеймс В. Хэфнер (1996). Моделирование биологических систем: принципы и приложения . Springer. С. 186–189. ISBN 0412042010.
- Перейти ↑ Tucker, W. (2011). Подтвержденные числа: краткое введение в строгие вычисления. Издательство Принстонского университета.
- ^ Фрэнсис Дж. Шейд (1988). Очерк теории и проблем численного анализа Шаума . McGraw-Hill Professional. С. 11 . ISBN 0070552215.
- ^ Джеймс Х. Уилкинсон; Энтони Ральстон (редактор); Эдвин Д. Рейли (редактор); Дэвид Хеммендингер (редактор) (8 сентября 2003 г.). «Анализ ошибок» в Энциклопедии компьютерных наук. С. 669–674 . Вайли. ISBN 978-0-470-86412-8. Проверено 14 мая 2013 года . CS1 maint: параметр не рекомендуется ( ссылка ) CS1 maint: дополнительный текст: список авторов ( ссылка )
- ^ Бо Эйнарссон (2005). Точность и надежность в научных вычислениях . СИАМ. С. 50–. ISBN 978-0-89871-815-7. Проверено 14 мая 2013 года . CS1 maint: обескураженный параметр ( ссылка )
- ^ DC Rapaport, Искусство моделирования молекулярной динамики , Cambridge University Press.
Внешние ссылки
- [1] Все об анализе ошибок.