Программа II
–го Международного Совещания по
Интервальной
математике и методам распространения ограничений ИМРО’04
21-22 июня 2004, г. Новосибирск, Академгородок, Дом Учёных
Понедельник, 21 июня
8:30 – 9:30. Регистрация в холле малого зала Дома Ученых СО РАН.
9:30 – 11:30. Совместное заседание isiCAD и ИМРО’04.
9:30 – 10:15. The next 100 papers about Geometric Constraint Solving.
MICHELUCCI D. (Dijon, France)
10:15 – 11:00. New technology for solving
large-scale geometrical networks.
CLEMENT A., RIBIERE A., SERRE P. (Paris,
France)
11:00 – 11:30. Перерыв на чай и кофе.
11:30 – 13:10. Сессия. “Программирование в
ограничениях”. Председатель – Шарый С.П.
11:30 – 12:10. Приглашенный доклад. Recent applications
of interval constraint programming.
BENHAMOU F, GRANVILLIERS L. (Nantes, France)
12:10 – 12:40. Quantified set
inversion algorithm.
HERRERO P., SAINZ M., VEHI J., JAULIN L.
(Girona, Spain)
12:40 – 13:10. Метод глобальной оптимизации на основе метода ветвей и границ.
ДОЛГОВ Ю. Г. (Новосибирск, Россия)
13:10 –
14:30. Перерыв
на обед.
14:30 – 16:10. Сессия “Задачи анализа данных”.
Председатель Нестеров В.М.
14:30 – 15:10. Приглашенный доклад. Задачи анализа с неопределенными данными - интервальность и/или случайность?
ВОЩИНИН А.П. (Москва, Россия)
15:10 – 15:40. О построении зависимостей по эмпирическим данным с интервальной ошибкой.
ЖИЛИН С.И. (Барнаул, Россия)
15:40 – 16:10.
Модификация метода граничных реализаций для интервальных импульсных
последовательностей смешанного типа.
КАЛИНКИНА С.Ю.,
ПУШКОВ С.Г. (Бийск, Россия)
16:00
– 16:30. Перерыв на чай и кофе.
16:30 – 18:00. Сессия “Линейные алгебраические
задачи”. Председатель – Меньшиков Г.Г.
16:30 – 17:00.
Интервально-аффинный метод Гаусса для систем со связанными коэффициентами.
АХМЕРОВ Р. Р. (Барнаул,
Россия)
17:00
– 17:30. Критерий неограниченности допустимого множества решений.
ШАРАЯ И. А. (Новосибирск, Россия)
17:30 – 18:00. О методе Хаусхолдера для интервальных линейных систем.
ДЖАНЫБЕКОВ Б. С., ШАРЫЙ С.П.
(Новосибирск, Россия)
19:00 – Welcome party.
Вторник, 22 июня
9:30 –
11:30. Совместное заседание isiCAD и ИМРО’04.
9:30 – 10:15. Validated constraint solving -
practicalities, pitfalls, and new developments.
KEARFOTT R. B. (Lafayette, USA)
10:15 – 10:35. Interval/set based collaborative
engineering design.
TELERMAN V., PREIS S., SNAYTNIKOV N., USHAKOV
D. (Paris, France/Novosibirsk, Russia)
10:35 – 11:00. A reliable curve tracing
method.
MICHELUCCI D., FAUDOT D. (Dijon, France)
11:00 – 11:30. Перерыв на чай и кофе.
11:30 – 13:00. Сессия “Нелинейные задачи”.
Председатель – Кашеварова Т.П..
11:30 – 12:00. An interval algorithm
combining symbolic rewriting and componentwise Newton method applied to control
a class of queuing systems.
KUBICA B.J., MALINOWSKI K. (Warsaw, Poland)
12:00 – 12:30. Krawczyk operator revised.
SHARY S.P. (Novosibirsk, ,Russia)
12:30 – 13:00. Средство
для решения полиномиальных ограничений в решателе Sibcalc.
МАНКЕВИЧ П.В. (Новосибирск,
Россия)
13:00
– 14:30. Перерыв на обед.
14:30 – 16:00. Сессия “Методы доказательных
вычислений”. Председатель Вощинин А.П.
14:30 – 15:00. Example of Babuška, Práger and
Vitásek in interval computations.
MEN’SHIKOV G.G. (Saint-Petersburg, Russia)
15:00 – 15:30. Интервальная математическая библиотека, основанная на разложениях в ряды Чебышева и Тейлора.
ЕРШОВ А.Г., КАШЕВАРОВА
Т.П. (Новосибирск, Россия)
15:30 – 16:00. Ансамбли систем дифференциальных уравнений с интервальными данными.
РОГАЛЕВ А.Н. (Красноярск,
Россия)
16:00 – 16:30. Перерыв на чай и кофе.
16:30 – 18:10. Сессия “Разное”.
Председатель – Семенов А.Л.
16:30 – 17:00. Методы финансово-экономических расчётов в условиях неполной информации.
ДРОНОВ В С.. (Барнаул, Россия)
17:00 – 17:30. Interval iterative methods with high order of
convergence, which use only first derivative, for solving nonlinear systems of
equations.
SENYO P.S., HNATYSHIN M.V. (Lviv, Ukraine)
17:30 – 17:45. Закрытие
конференции и выступление Нестерова В.М.: “Reliable Сomputing” – состояние и
перспективы.