8 июля 2003 года в Новосибирском Академгородке в рамках Пятой международной конференции "Перспективы систем информатики" будет проведено однодневное рабочее совещание "Интервальная математика и методы распространения ограничений".

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

Тематика совещания

Тематика докладов рабочего совещания включает (но не ограничивается только ими) следующие научные направления:

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

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

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

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

1. Кашеварова Тамара Петровна, Институт систем информатики СО РАН (Новосибирск)
2. Лакеев Анатолий Валентинович, Институт динамики систем и теории управления СО РАН (Иркутск)
3. Шарый Сергей Петрович, Институт вычислительных технологий СО РАН (Новосибирск)

Публикации

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

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

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

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

Для участия в рабочем совещании необходимо прислать до 25 мая 2003 года в Оргкомитет обычной или электронной почтой.

• заявку;
• тезисы докладов.

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

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

На рабочем совещании предполагается два вида докладов - короткие и полные. Для коротких докладов достаточно подать краткие тезисы объемом от 1 до 4 страниц, для полных докладов - расширенные, объемом до 10 страниц.

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

Организационный взнос

Для участия в рабочем совещании требуется внесение оргвзноса, направленного на покрытие организационных расходов и печать трудов. Предполагаемая сумма взноса - 200 рублей. Студенты от уплаты оргвзноса освобождаются.

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

Семенов А.Л.
ИСИ СО РАН
Проспект Лаврентьева, 6
г. Новосибирск, 630090
e-mail: semenov@iis.nsk.su, semenov@sib3.ru

Важные даты

• 25 мая 2003 г.: последний срок представления тезисов.
• 15 июня 2003 г.: уведомление о принятии доклада.
• 7 июля 2003 г.: день прибытия на совещание.
• 8 июля 2003 г.: заседания рабочего совещания.
• 9-12 июля 2003 г.: проведение основной конференции PSI'2003.

Предварительная программа

8-9 июля, 2003 г., Новосибирск, Академгородок конференц-зал НЦИТ "УниПро"

Вторник, 8 июля

9:20 - 9:50 Регистрация участников совещания в холле здания НЦИТ "УниПро".

9:50 - 10:00 Открытие совещания.

10:00 - 11:30 Сессия обзорных докладов. Председатель - Киншт Н.В.

10:00 - 10:30 Решение интервальных линейных систем со связями. Шарый С.П. (Новосибирск)

10:30 - 11:00 Иммунокомпьютинг для сложных интервальных систем. Соколова С. П. (Санкт - Петербург)

11:00 - 11:30 Методы распространения ограничений: обзор. Семенов А.Л. (Новосибирск)

11:30 - 11:45 Перерыв на чай и кофе

11:45 - 13:15 Сессия "Приложения". Председатель - Перцев Н.В.

11:45 - 12:05 Интервальный алгоритм определения статического давления грунта на жесткие круглые трубы в высокой насыпи в несколько ниток. Бозоров М. Б. (Навои, Узбекистан)

12:05 - 12:35 Возможности описания схемы соединения интервальной электрической цепи. Киншт Н.В., Петрунько Н.Н. (Владивосток)

12:35 - 12:55 Программный комплекс для графического представления процесса и результатов работы интервальных алгоритмов. Колдаков В.В., Панов Н. В. (Новосибирск)

12:55 - 13:15 О спектральной задаче Орра-Зоммерфельда. Проскурин А.В., Сагалаков А.М. (Барнаул)

13:15 - 14:30 Обед в столовой ВЦ

14:30 - 16:30 Сессия "Интервальные алгебраические задачи". Председатель - Шарый С.П.

14:30 - 14:50 Оптимальное внешнее оценивание множеств решений интервальных линейных. Джаныбеков Б.С., Шарый С.П. (Новосибирск)

14:50 - 15:20 Интервальная техника в задаче параметрического оценивания. Назин С.А., Поляк Б.Т. (Москва)

15:20 - 15:40 Точечная аппроксимация множества решений интервальной системы линейных алгебраических уравнений. Носков С.И. (Иркутск)

15:40 - 16:10 О проблеме реализации в пространстве состояний для интервальных динамических систем. Пушков С.Г., Кривошапко С.Ю. (Бийск)

16:10 - 16:30 Построение интервальных оболочек множества решений ИСЛАУ. Стрельникова Е.А. (Красноярск)

16:30 - 16:45 Перерыв на чай и кофе

16:45 - 18:35 Сессия "Распространение ограничений". Председатель - Семенов А.Л.

16:45 - 17:15 Интервальный подход к решению оптимизационной задачи удовлетворения ограничений. Бревнов Е.В. (Новосибирск)

17:15 - 17:45 О корнях систем нелинейных уравнений. Кашеварова Т.П. (Новосибирск)

17:45 - 18:15 Построение кооперативных решателей на основе методов распространения ограничений. Клейменов А.Е. (Новосибирск)

18:15 - 18:35 К вопросу сравнения по эффективности интервальных алгоритмов решения систем нелинейных уравнений. Бозоров М. Б., Бердиев Б.Х. (Навои, Узбекистан)

19:00 - 22:00 Товарищеский ужин

Среда, 9 июля

9:00 - 10:50 Сессия "Дифференциальные уравнения и динамические системы". Председатель - Кашеварова Т.П.

9:00 - 9:30 Задачи практической (интервальной) устойчивости с заданной областью предельных отклонений. Рогалев А.Н. (Красноярск)

9:30 - 10:00 Экспоненциальная устойчивость одного класса нелинейных интервальных динамических систем. Ивлев Р.С. (Алматы, Казахстан)

10:00 - 10:30 Построение областей притяжения устойчивых решений дифференциальных уравнений с помощью монотонного метода и М-матриц. Перцев Н.В. (Омск)

10:30 - 10:50 Об интервальных методах для задач с неопределенностями из выпуклых множеств. Утюбаев Г.Ш. (Красноярск)

10:50 - 11:05 Перерыв на чай и кофе

11:05 - 12:35 Сессия "Задачи оптимизации". Председатель - Соколова С.П.

11:05 - 11:35 Интервально-аффинная арифметика с управляемой точностью. Ахмеров Р.Р. (Барнаул)

11:35 - 12:05 Гарантированно субоптимальные решения задач линейной оптимизации. Ершов А.Г.. (Новосибирск)

12:05 - 12:35 Символьно-интервальная эвристика для минимизации при краевых ограничениях. Петров Е. С. (Нант, Франция)

12:40 - 13:20 Общая дискуссия и закрытие совещания.

13:20 - 14:30 Обед в столовой ВЦ

14:30 - 16:00 Демонстрация матобеспечения для интервальных вычислений.

Проезд до Академгородка:

От аэропорта

От аэропорта до Академгородка ходит автобус номер 608. К сожалению, из-за ремонта проезда по дамбе Обского моря большинство рейсов этого маршрута разорваны, то есть автобус доходит до дамбы, затем пешком надо перейти через нее (это около 200 метров) и затем сесть в автобус или маршрутное такси, идущие в Академгородок. Есть несколько рейсов маршрута 608, которые идут в Академгородок через город. Поэтому надо спрашивать водителя, как идет данный автобус. Время в пути - около 1ч.30 мин.

Также для участников конференции PSI'03 будет организована встреча в аэропорту с доставкой в Академгородок на специальных автобусах. В основном это будет 8 июля, но несколько рейсов будет также и 7 июля. В частности, будет специальный транспорт к рейсу 541 из Санкт-Петербурга, а также, возможно, к рейсу 721 из Москвы.

От железнодорожного вокзала

От железнодорожного вокзала до Академгородка можно доехать маршрутным такси номер 15. Время в пути - около 1 часа. Надо предупредить водителя такси, чтобы он остановился около гостиницы "Золотая долина".

Поселение

Те, кто забронировал места в гостинице "Золотая долина" СО РАН, должны обратиться в гостиницу и представиться участниками конференции PSI'03. Их имена будут в списке участников с указанием соответствующих дат.

Для забронировавших места в гостинице НГУ информация о поселении будет выслана до 30 июня.