В процессе программирования исходная математическая модель объекта исследования заменяется вычислительной моделью из операционных блоков, параметры которых рассчитываются на основании условий подобия. При расчете параметров мы допускаем вычислительную погрешность, а при установке параметров в операционных блоках – дополнительную, случайную погрешность. Поэтому, получаемые в вычислительной модели решения для всех переменных будут иметь отклонения от точного аналитического решения, если таковые удалось бы получить. В этом случае говорят о возмущенных решениях. Возмущения вносят непреднамеренные отклонения параметров исходной математической модели, вызванные систематической, инструментальной и случайной погрешностями.
В общем виде математическую модель динамического объекта представляют в виде неявно записанной системы дифференциальных уравнений первого порядка:
,
где
- переменные состояния и их производные, являющиеся функциями времени.
Параметрами этой системы являются константы
, входящие в различные функциональные образования математической модели. В процессе преобразования исходной системы в систему с машинными переменными и выполнения условий подобия, структура исходной математической модели с ее реальными переменными будет воспроизведена точно, а в константы будут внесены погрешности. Общий вид возмущенной системы запишем так:
,
где
- параметры математической модели, получившие абсолютную
(относительную
) погрешность.
Решения преобразованной системы будут функциями времени
, зависящими от m параметров. Поэтому общее выражение возмущенной системы
необходимо рассматривать как функцию функций времени и параметров.
Частные производные по параметру от функций, являющихся решениями, называют функциями чувствительности:

Разложим неявную форму возмущенной системы
в ряд Тейлора по
-му параметру и ограничимся в нем лишь слагаемыми с первыми степенями приращений:
,
или
,
где
- значения функций соответственно при возмущенном
и невозмущенном
параметре.
Преобразованию Тейлора подвергается каждое уравнение или соотношение системы в отдельности. Частные производные в них берутся лишь от присутствующих в выражении переменных.
Частные производные
по переменным
можно заменить частными производными
, так как структуры систем уравнений
и
одинаковы. Из полученного ряда выделим приращение функции, вызванное изменением j-го параметра:
Подставив вместо приращения параметра
его абсолютную погрешность, получим выражение для оценки той части абсолютной погрешности вычислений, которая инициируется погрешностью этого параметра.
Производные функций чувствительности более высокого порядка появятся в выражении погрешности тогда, когда уравнения системы будут содержать переменные соответствующего порядка.
Разделим левую и правую части последнего выражения на приращение параметра. Устремляя величину приращения к нулю, получим в пределе частную производную функции по параметру
. Эта производная является функцией чувствительности и будет входить в другие дифференциальные выражения и соотношения между прочими функциями чувствительности исходной системы уравнений:
Дифференцирование исходной системы по параметру, влияние которого на точность вычислительной модели необходимо оценить, приводит к построению системы уравнений чувствительности. Совместное решение исходной системы и уравнений чувствительности позволяет в любой момент времени использовать текущие значения коэффициентов. С помощью функций чувствительности решают прямую и обратную задачу оценки погрешности:
- Какова погрешность результата, если известны погрешности установки исходных параметров?
- С какой точностью должны быть установлены параметры, чтобы погрешность результата не превысила заданной?