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

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

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

Интервальная математика
и методы распространения ограничений

Второе международное рабочее совещание ИМРО'04 «Интервальная математика и методы распространения ограничений», сопутствующее международной научно-практической конференции isiCAD «Интеллектуализация САПР и систем компьютерной графики на основе программирования в ограничениях: от методов к приложениям», состоится в период 21-23 июня 2004 г. в Новосибирском Академгородке.

На этом совещании предполагается обсудить теоретические и практические вопросы интервального анализа, его использования в методах распространения ограничений над непрерывными областями и их практического применения в различных областях.  Тематика докладов рабочего совещания включает следующие научные направления (но не ограничивается только ими):

интервальные алгебраические задачи и задачи приближения функций, методы решения интервальных дифференциальных уравнений, как обыкновенных, так и в частных производных,

интервальные методы в математическом программировании, исследовании операций и автоматическом управлении, использование интервальных методов в вычислениях с гарантированной точностью и доказательных вычислениях на ЭВМ, использование методов интервальной математики в методах распространения ограничений над непрерывными областями, теоретические и практические аспекты создания решателей, основанных на комбинации методов интервальной математики и распространения ограничений,

Ø     приложение интервальных методов распространения ограничений в задачах моделирования и проектирования,

Ø     вопросы объединения математического обеспечения на основе интервальных методов и классических вычислительных методов,

Ø     приложение интервальных методов распространения ограничений для решения сложных вычислительных задач.

 

Участники совещания также могут принять участие в работе конференции isiCAD (www.isicad.ru) и проходящей параллельно Конференции по вычислительной математике МКВМ-2004 (http://www-sbras.nsc.ru/ws/iccm-2004/index.en.html).

 

Председатель рабочего совещания

Семенов Александр Леонидович  -  Институт систем информатики СО РАН (Новосибирск)                 

 

 

Программный комитет

Бенаму Фредерик  - Университет Нанта (Нант, Франция)

Кашеварова Тамара Петровна - Институт систем информатики СО РАН (Новосибирск, Россия)

Кирфотт Бэйкер -  Университет Луизианы (Лафайет, США)

Крейнович Владик  -  Техасский Университет (Эль Пасо, США)

Лакеев Анатолий Валентинович  - Институт динамики систем и теории управления СО РАН (Иркутск, Россия)

Шарый Сергей Петрович  - Институт вычислительных технологий СО РАН (Новосибирск, Россия)

 

 

Приглашенные доклады

 

(Будет определен позже)

 

Бенаму Фредерик (Университет Нанта)

 

 

Гарантированное решение систем ограничений - практические стороны, недостатки и новые разработки

Кирфотт Бэйкер (Университет Луизианы)

 

Задачи анализа с неопределенными данными - интервальность и/или случайность?

Вощинин Александр Павлович (ФГУП «ЦНИИАТОМИНФОРМ»)

 

 

Время и место проведения

 

21-23 июня 2004 года. Академгородок, Новосибирск, Россия.

 

 

Публикации

Принятые тезисы докладов будут напечатаны в трудах рабочего совещания перед началом заседаний. 

 

 

Рабочий язык совещания

Русский и английский в равной мере.

 

 

Участие в рабочем совещании

 

Для участия в рабочем совещании необходимо прислать до 4 мая 2004г. года

в Оргкомитет электронной почтой заявку и тезисы доклада

В заявке укажите Ваши фамилию, имя, отчество, место работы, адреса для контактов и предполагаемые даты Вашего приезда и отъезда. Также весьма желательно сообщить предпочтительный вид поселения - гостиница СО РАН или гостиница Новосибирского госуниверситета. Если Вы желаете участвовать в работе вышеуказанных основных конференций, то также отметьте это в заявке.

 

 

Требования к тезисам докладов

На совещании предполагается два вида докладов - короткие и полные. Для коротких докладов достаточно подать краткие тезисы объемом от 1 до 4 страниц, для полных докладов - расширенные, объемом до 10 страниц. Так как рабочими языками совещания являются русский и английский, то возможно представление тезисов на любом из них. Однако представление английского варианта предпочтительнее. Тезисы должны быть поданы по e-mail и должны содержать пригодный для печати файл в формате PostScript и файл с исходным текстом, набранном в процессоре Latex или MS Word версии не ниже 98. Бумажная версия тезисов не требуется. Тезисы должны быть набраны шрифтом размера 12 пунктов в соответствующем текстовом процессоре. В заголовке тезисов необходимо указать фамилии авторов, их место работы, почтовый и электронный адрес (если есть).  Тезисы должны сопровождаться аннотацией на английском и русском языках размером не более 150 слов.

 

 

Адреса для переписки

semenov@iis.nsk.su, asm@nbsp.nsk.su,

shary@ict.nsc.ru

 

 

Важные даты

4 мая 2004  - последний срок представления тезисов

20 мая 2004  - уведомление о принятии доклада

20 июня 2004  - день прибытия на совещание

21-22 июня 2004  - заседания рабочего совещания

21-23 июня 2004  - проведение основной конференции isiCAD