Интервальный анализ

и его приложения

14:10       Понедельник    18 Декабрь 2017

Программа 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” – состояние и перспективы.