Институт вычислительной математики
и математической геофизики

Тезисы докладов

Вычислительная алгебра

В докладе представляется обзор современных интервальных тестов существования решений систем нелинейных уравнений в конечномерных пространствах. Для ряда интервальных тестов, базирующихся на теореме Брауэра о неподвижной точке, мы предлагаем модификации, которые основаны, во-первых, на идее бицентрированного интервального расширения функций, и, во-вторых, на ограничении области тестирования только границей рассматриваемого бруса. Будучи применёнными как по-отдельности, так и в комбинации друг с другом, они позволяют существенно повысить эффективность вычислительных процедур глобального доказательного решения систем уравнений с помощью интервальных методов, основанных на идее адаптивного исчерпывания области определения.

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии Обратная связь

[Головная страница] [Конференции]

© 1996-2000, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск
    Дата последней модификации: 06-Jul-2012 (11:52:06)