Об 'испанской версии' формального подхода к внешнему оцениванию множеств решений интервальных линейных систем

摘要

Исследуется версия формального (алгебраического) подхода к внешнему оцениванию множеств решений рштервальных линейных систем уравнений, в основу которой положена известная из математического анализа теорема Миранды. Рассматриваются способы ее численной реализации, условия применимости и качество оценивания. Представлены результаты численных экспериментов и рекомендации по практическому использованию предлагаемой методики.