БЕСПЛАТНАЯ БИБЛИОТЕКА РОССИИ

НАУЧНО-ПРАКТИЧЕСКИЕ КОНФЕРЕНЦИИ

<< ГЛАВНАЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ


Pages:     || 2 | 3 | 4 | 5 |   ...   | 16 |

«8-9 июля 2003 года, Новосибирск, Академгородок, Россия Рабочее совещание Интервальная математика и методы распространения ограничений Доклады и тезисы Настоящий сборник трудов ...»

-- [ Страница 1 ] --

Пятая международная конференция

ПЕРСПЕКТИВЫ СИСТЕМ ИНФОРМАТИКИ

8-9 июля 2003 года, Новосибирск, Академгородок, Россия

Рабочее совещание

Интервальная математика

и методы распространения ограничений

Доклады и тезисы

Настоящий сборник трудов составлен из кратких аннотаций и полных текстов докладов,

представленных на международное рабочее совещание «Интервальная математика и методы распространения ограничений» (ИМРО'03) проходившее в Новосибирском Академгородке 8–9 июля 2003 года под крышей Новосибирского Центра Информационных Технологий «УниПро». Совещание организовано Институтом систем информатики им. А. П. Ершова Сибирского Отделения РАН. Содержание сборника охватывает широкий круг тем, принадлежащих собственно интервальной математике и молодым быстро развивающимся методам распространения ограничений.

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

Председатель рабочего совещания Семенов А. Л.

Институт систем информатики им. А. П. Ершова СО РАН (Новосибирск) Программный комитет Кашеварова Т. П.

Институт систем информатики им. А. П. Ершова СО РАН (Новосибирск) Лакеев А. В.

Институт динамики систем и теории управления СО РАН (Иркутск) Шарый С. П.

Институт вычислительных технологий СО РАН (Новосибирск) ii Andrei Ershov Fifth International Conference

PERSPECTIVES OF SYSTEM INFORMATICS

8–9 July 2003, Novosibirsk, Akademgorodok, Russia Workshop “Interval Mathematics and Constraint Propagation Methods” Proceedings iii This volume comprises of both abstracts and full texts of the talks presented at International Workshop “Interval Mathematics and Constraint Propagation Methods'” (IMCP'03) held in Novosibirsk, Akademgorodok, on July 8-9, 2003, at Novosibirsk Center of Information Technologies “UniPro”. The workshop is organized by A. P. Ershov Institute of Informatics Systems of Siberian Branch of Russian Academy of Sciences. The content covers a wide range of topics from interval mathematics proper and young rapidly developing areas of constraint propagation methods: interval algebraic problems, differential equations and dynamic systems with interval uncertainty, applications of interval methods to natural sciences and engineering, constraint propagation / constraint satisfaction techniques in continuous and discrete optimization, constructing cooperative solvers for complex and mixed-structure problems.

The book is addressed to researchers, engineers, postgraduates and students, who study and apply interval methods and constraint propagation techniques, as well as to all those interested in the above promising and fascinating scientific areas.

Workshop chair Alexander Semenov A. P. Ershov Institute of Informatics System of SB RAS (Novosibirsk) Program committee Tamara Kashevarova A. P. Ershov Institute of Informatics System of SB RAS (Novosibirsk) Anatoly Lakeyev Institute of System Dynamics and Control Theory of SB RAS (Irkutsk) Sergey Shary Institute of Computational Technologies of SB RAS (Novosibirsk) Предисловие

Программа совещания

Program of the Workshop

Шарый С.П. Метод дробления параметров для интервальных линейных систем со связями

Соколова С.П., Соколова Л.А. Иммунокомпьютинг для сложных интервальных систем

Семенов А.Л. Методы распространения ограничений: основные концепции

Бозоров М.Б. Интервальный алгоритм определения статического давления грунта на жёсткие круглые трубы в высокой насыпи в несколько ниток

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

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

Проскурин А.В., Сагалаков А.М. О спектральной задаче Орра-Зомерфельда

Джаныбеков Б.С., Шарый С.П. Об оптимальном внешнем оценивании обобщенных множеств решений интервальных линейных систем

Назин С.А., Поляк Б.Т. Интервальная техника в задаче параметрического оценивания

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

Пушков С.Г., Кривошапко С.Ю. О проблеме реализации в пространстве состояний для интервальных динамических систем

Бревнов Е.В. Интервальный подход к решению оптимизационной задачи удовлетворения ограничений

Кашеварова Т, Семенов А О решениях систем нелинейных уравнений

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

Бозоров М.Б., Бердиев Б.Х. К вопросу сравнения по эффективности интервальных алгоритмов решения систем нелинейных уравнений

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

Ивлев Р.С. Экспоненциальная устойчивость одного класса нелинейных интервальных динамических систем

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

Утюбаев Г.Ш. Об интервальных методах для дифференциальных задач с неопределенностями в виде выпуклых множеств

Ахмеров Р. Р. Интервально-аффинная арифметика с управляемой точностью

Ершов А.Г. Гарантированно субоптимальные решения задач линейной оптимизации

Петров Е.С. Символьно-интервальная эвристика для минимизации при краевых ограничениях

Козина Г.Л., Кудерметов Р. Линейный критерий для задачи оптимизации на графах с интервальными параметрами

Кунташев П.А. О выборе портфеля инвестиционных проектов

Меньшиков Г.Г. К проблеме узкой предварительной локализации отрезка интегральной кривой

Орлов А.И. Статистика интервальных данных

Терехов Л. С. Интервальная природа числа в физике как следствие минимизации погрешности измерения

Abstracts of the papers of the volume

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

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

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

На Совещании представлены доклады, отражающие различные аспекты интервальной математики и методов распространения ограничений:

- решение интервальных линейных систем уравнений;

- решение нелинейных алгебраических систем уравнений;

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

- решение оптимизационных задач с использованием методов распространения ограничений;

- вопросы построения кооперативных решателей.

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

Вторник, 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 Демонстрация матобеспечения для интервальных вычислений Tuesday, July 9:20–9:50 Registering the participants of the workshop in the hall of NCIT “UniPro” 9:50–10:00 Opening the workshop 10:00–11:30. Session “Survey presentations”. Chairman: Nikolai V. Kinsht 10:00–10:30 Sergey P. Shary Solving interval linear systems with tied data 10:30–11:00 Svetlana P. Sokolova Immunocomputing for complex interval systems 11:00–11:30 Alexander L. Semenov Constraint propagation methods: basic concepts 11:30–11:45 Tea/coffee break 11:45–13:15. Session “Applications”. Chairman: Nikolai V. Pertsev 11:45–12:05 Mamurjon B. Bozorov An interval algorithm for determining soil static pressure on multilined stiff round pipes in a 12:05–12:35 Nikolai V. Kinsht, Nataliya N. Petrunko On possibilities to describe a connection diagram of an interval electrical 12:35–12:55 Vladimir V. Koldakov, Nikita V. Panov A software for graphically representing the process and results of running 12:55–13:15 Alexander V. Proskurin, A.M. Sagalakov On spectral Orr-Sommerfeld problem 13:15–14:30 Lunch 14:30–16:30. Session “Interval algebraic problems”. Chairman: Sergey P. Shary 14:30–14:50 Bakyt S. Janybekov, Sergey P. Shary Optimal outer estimation of the solution sets to interval linear systems 14:50–15:20 Sergey A. Nazin, Boris T. Polyak Interval technique in the parameter estimation problem 15:20–15:40 Sergey I. Noskov A point approximation of the solution set to interval system of linear algebraic equation 15:40–16:10 Sergey G. Pushkov, Svetlana Yu. Krivoshapko On the state space realization problem for interval dynamic systems 16:10–16:30 Elena A. Strelnikova Constructing interval hulls of the solution sets to interval linear algebraic systems 16:30–16:45 Tea/coffee break 16:45–18:35. Session “Constraint propagation”. Chairman: Alexander L. Semenov 16:45–17:15 Evgenii V. Brevnov Interval approach to the solution of the interval constraint satisfaction problem 17:15–17:45 Tamara P. Kashevarova On the solutions to systems of nonlinear equations 17:45–18:15 Alexander E. Kleimenov Constructing cooperative solvers on the basis of constraint propagation methods 18:15–18:35 Mamurjon B. Bozorov, Bakhriddin Kh. Berdiev Towards the efficiency comparison of interval algorithms solving 19:00–22:00 Friendly party.

Wednesday, July 9:00–10:50. Session “Differential equations and dynamical systems”. Chairwoman: Tamara P. Kashevarova 9:00–9:30 Alexey N. Rogalev Problems of practical (interval) stability with a given set of marginary deviations 9:30–10:00 Ruslan S. Ivlev Exponential stability of a class of nonlinear interval dynamical systems 10:00–10:30 Nikolai B. Pertsev Construction of the attracting sets for stable solutions of differential equations with the use of monotone technique and M-matrices 10:30–10:50 Gabdulrakhim Sh. Utyubaev On interval methods for differential problems with data uncertainty in the form of 10:50–11:05 Tea/coffee break 11:05–12:35. Session “Optimization problems”. Chairwoman: Svetlana S. Sokolova 11:05–11:35 Ramil R. Akhmerov Interval-affine arithmetic with controlled accuracy 11:35–12:05 Alexei G. Ershov Guaranteed suboptimal solutions for linear optimization problems 2:05–12:35 Evgenii S. Petrov A symbolic-interval heuristic for minimization under bound constraints 12:40–13:20 General discussion and closing the workshop 13:20–14:30 Lunch 14:30–16:00 Demonstrating software for interval computations Иммунокомпьютинг для сложных интервальных систем Санкт-Петербургский институт информатики и автоматизации РАН В докладе предложено дальнейшее развитие подхода иммунокомпьютинга на класс сложных систем с параметрической неопределенностью интервального типа. С использованием правил и терминологии интервальной математики разработаны процедуры сингулярного разложения (SVD) интервальных матриц, обучения с экспертом и самообучения, классификации и представления результатов исследования в пространстве образов. Статья включает примеры интервальных иммунных систем для мониторинга проблемы чумы и информационной безопасности.

Иммунокомпьютинг (ИК) как новый подход к вычислениям был предложен в работах [7, 8]. В его основе лежит биологический прототип иммунных сетей и строгие математические понятия формального протеина и формальной иммунной сети. В частности, подход к распознаванию образов на основе иммунокомпьютинга использует понятие сингулярного разложения матриц для определения экстремальных значений энергии связи между формальными протеинами. Этот подход с успехом применялся для информационной безопасности компьютерных сетей, интеллектуальных систем охраны сложных объектов, мониторинга биологических систем (на примере проблемы чумы в Средней Азии) и т.д.



Pages:     || 2 | 3 | 4 | 5 |   ...   | 16 |
 


Похожие материалы:

«Международная научно-практическая конференция Ценности и интересы современного общества Материалы конференции (Часть 2) Москва, 2013 УДК 316.3 C 232 Материалы конференции. Международная научно- С 232 практическая конференция Ценности и интересы современно- го общества. Часть 2 // Московский государственный универ- ситет экономики, статистики и информатики – М., 2013. – 322 c. ISBN 978-5-7764-0817-5 В сборнике научных трудов конференции представлены доклады ученых государственных ...»

«За достоверность сведений, изложенных в статьях, ответственность несут авторы. Мнение редакции может не совпадать с мнением авторов материалов. При перепечатке ссылка на сборник обязательна. Материалы публикуются в авторской редакции. ~1~

«ПАЛЕОСТРАТ-2014 ГОДИЧНОЕ СОБРАНИЕ (НАУЧНАЯ КОНФЕРЕНЦИЯ) СЕКЦИИ ПАЛЕОНТОЛОГИИ МОИП И МОСКОВСКОГО ОТДЕЛЕНИЯ ПАЛЕОНТОЛОГИЧЕСКОГО ОБЩЕСТВА ПРИ РАН МОСКВА, 27–29 января 2014 г. ТЕЗИСЫ ДОКЛАДОВ Под редакцией А.С. Алексеева Москва 2014 ПАЛЕОСТРАТ-2014. Годичное собрание (научная конференция) секции палеонтологии МОИП и Московского отделения Палеонтологического общества при РАН. Москва, 27–29 января 2014 г. Тезисы докладов. Алексеев А.С. (ред.). М.: Палеонтологический ин-т им. А.А. Борисяка РАН, 2014. ...»

«МОЛОДЕЖНАЯ НАУКА ГОРНОЗАВОДСКОГО РЕГИОНА ПЕРМСКОГО КРАЯ – 2010 Сборник тезисов докладов студентов Пермь 2011 1 УДК 378:001 М75 Приведены тезисы докладов, представленных на VIII региональной на- учно-практической конференции студентов и учащихся Молодежная наука Горнозаводского региона Пермского края – 2010 (19–23 апреля 2010 г.). Представлены материалы по технологии, экологии, информатике и вы- числительной технике, экономике, автотранспорту, гуманитарной подготовке специалистов. Предназначено ...»






 

© 2013 www.kon.libed.ru - «Бесплатная библиотека научно-практических конференций»