Бинарные соответствия и обратная задача химической кинетики

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