Разработан метод получения аналитических описаний вычислительных алгоритмов на примере задачи идентификации. Традиционные алгоритмы неработоспособны в условиях плохо обусловленных почти вырожденных систем уравнений, типичных для идентификации динамических процессов. Был разработан более устойчивый алгоритм, который не применялся из-за математических трудностей его реализации. Они были преодолены за счет использования символьной комбинаторной (СК) модели, позволяющей формировать аналитические описания алгоритмов, элементы обратной матрицы были выражены как функции параметров динамического процесса. Доказано, что СК- модели являются эффективным средством понижения сложности алгоритмов и их аналитических описаний. Результаты могут быть рекомендованы для процедур имитационного моделирования с целью проверки работоспособности алгоритмов в задачах обработки полетной информации аэрокосмических комплексов.