Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 200 9 icon

Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 200 9


Смотрите также:
Отчет результаты научно-организационной деятельности утвержден Ученым Советом 20. 12...
Отчет результаты научно-организационной деятельности утвержден Ученым Советом 22. 12...
Отчет результаты научно-организационной деятельности утвержден Ученым Советом 24. 12...
Отчет результаты научно-организационной деятельности в 2006 г. Утвержден Ученым Советом 20. 11...
Отчет о научно-исследовательской и научно-организационной деятельности за 2000 год...
Отчет о научной и научно-организационной деятельности института языка...
Отчет о научной и научно-организационной деятельности Института геофизики Уро ран...
Годовой отчет 200 7 год Предварительно утвержден Советом директоров 25 апреля 2008г. Содержани е...
Отчет о результатах самообследования по состоянию на 01. 06...
Положение о декане факультета...
Отчет о результатах научно-исследовательских работ и научно-организационной деятельности в 2009...
Отчет о результатах самообследования деятельности...



Загрузка...
страницы:   1   2   3   4   5
скачать


Сибирское отделение Российской Академии наук

И Н С Т И Т У Т М А Т Е М А Т И К И им. С. Л. С о б о л е в а


О М С К И Й Ф И Л И А Л


УТВЕРЖДАЮ:

Директор д.ф-м.н., профессор

______________ В.А. Топчий

« » ______________2009 г.


ОТЧЕТ

РЕЗУЛЬТАТЫ НАУЧНО-ОРГАНИЗАЦИОННОЙ ДЕЯТЕЛЬНОСТИ


Утвержден Ученым Советом 07.12.2009


Омск - 2009


РЕФЕРАТ


Отчет содержит 32 стр. текста и 131 название публикаций. В отчете представлены результаты фундаментальных и прикладных исследований и разработок, проведенных в 2009 г. Омским филиалом Института математики им. С.Л. Соболева СО РАН. Дана краткая информация о научно-организационной деятельности в СО РАН, в Омском регионе и в рамках международных контактов.


^ Ключевые слова: комбинаторная алгебра, теория вероятностей, математическое моделирование, начально-краевые задачи гидродинамики, методы оптимизации, информационные модели.


Директор д.ф.-м.н., профессор Валентин Алексеевич Топчий

т. (3812) 236567, admin@ofim.oscsbras.ru

Ученый секретарь Валентина Александровна Планкова

т. (3812) 247041, plankova@ofim.oscsbras.ru


http://ofim.okno.ru


ОГЛАВЛЕНИЕ

^ I. ВВЕДЕНИЕ 6

II. ИТОГИ НАУЧНЫХ ИССЛЕДОВАНИЙ 7

2.1. Важнейшие научные результаты 7

2.2. Научная работа лабораторий 10

III. НАУЧНО-ОРГАНИЗАЦИОННАЯ ДЕЯТЕЛЬНОСТЬ 19

3.1. Проекты, имеющие поддержку на международном, федеральном и региональном уровнях 19

3.2. Характеристика международных научных связей и совместной деятельности с зарубежными научными учреждениями 20

3.3. Участие в работе научных мероприятий 22

3.4. Работа в ВУЗах 24

3.6. Список научных публикаций 27

^ IV. СПРАВОЧНАЯ ИНФОРМАЦИЯ 37

4.1. Основные количественные показатели 2009 г. 37

4.2. Участие в работе конференций, совещаний и т.д. 37

4.3. Научные публикации сотрудников по годам 37



^

I. ВВЕДЕНИЕ



Структурные подразделения


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

Лаборатория теоретико-вероятностных методов

Лаборатория математического моделирования в механике

Лаборатория моделирования сложных систем

Лаборатория методов преобразования и представления информации

Лаборатория дискретной оптимизации

Информационно-вычислительный центр


Основные задания к плану научно-исследовательских работ

Института математики им. С.Л. Соболева

Сибирского отделения Российской Академии наук


НИР ИМ СО РАН: ПСО № 40 от 12.02.07. 1.1.1.1. Исследования в области некоммутативной алгебры, рук. – Мазуров В.Д., исп. – Ремесленников В.Н., Есып Е.С., Даниярова Э.Ю., Лопатин А.А., Берестовский В.Н., Носков Г.А., Рыбалов А.Н., 2007-2011 гг.


НИР ОФ ИМ СО РАН: ПСО № 40 от 12.02.07. 1.1.3.2. Стохастические модели биологических систем, рук. – Топчий В.А., исп. – Перцев Н.В., Клоков С.А., Гольтяпин В.В., Пичугин Б.Ю., Планкова В.А., 2007-2011 гг., № гос. регистрации – 0120.0 710366.


НИР ИМ СО РАН: ПСО № 40 от 12.02.07. 1.3.1.3. Теория и приложения сплайн-функций и методы математического моделирования в механике сплошной среды и биологии, рук. – Блохин А.М., Фадеев С.И., исп. – Задорин А.И., Горелов Д.Н., Паничкин А.В., Зобнин А.И., Харина О.В., 2007-2011 гг.


НИР ИМ СО РАН: ПСО № 40 от 12.02.07. 1.2.1.2. Дифференциальные уравнения в задачах естествознания, рук. – Демиденко Г.В., исп. – Нартов Б.К., Чуканов С.Н., Гичев В.М., Мещеряков В.А., Зачатейский Д.Е., 2007-2011 гг.


НИР ИМ СО РАН: ПСО № 40 от 12.02.07. 1.5.1.1. Математические методы распознавания образов и прогнозирования, рук. – Загоруйко Н.Г., Лбов Г.С., исп. – Зыкин С.В., Филимонов В.А., Чанышев О.Г., Пуртов А.М., 2007-2011 гг.


НИР ИМ СО РАН: ПСО № 40 от 12.02.07. 1.5.1.3. Модели и методы дискретной оптимизации в исследовании операций, рук. – Береснев В.Л., исп. – Колоколов А.А., Адельшин А.В., Еремеев А.В., Забудский Г.Г., Заозерская Л.А., Косарев Н.А., Леванова Т.В., Сервах В.В., 2007-2011 гг.

^

II. ИТОГИ НАУЧНЫХ ИССЛЕДОВАНИЙ




2.1. Важнейшие научные результаты




Авторы результата: д.ф.-м.н., зав. лаб. Ремесленников В.Н., к.ф.-м.н. Даниярова Э.Ю.


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


Приведём для иллюстрации одну из доказанных теорем.

Теорема С. Пусть B нётерова по уравнениям алгебра языка L без предикатов. Тогда для любой конечно порождённой алгебры C языка L следующие условия эквивалентны:

  1. C принадлежит квазимногообразию, порождённому алгеброй B;

  2. C принадлежит предмногообразию, порождённому алгеброй B;

  3. C вкладывается в прямую степень алгебры B;

  4. C аппроксимируется алгеброй B;

  5. C подпрямо вкладывается в конечную прямую сумму предельных алгебр над B;

  6. C есть алгебра, определённая полным атомарным типом квазиэквациональной теории алгебры B в языке L;

  7. C является координатной алгеброй некоторого алгебраического множества над алгеброй B, определённого системой уравнений в языке L.


Результат опубликован:


  1. Daniyarova E., Miasnikov A., Remeslennikov V. Unification theorems in algebraic geometry, Algebra and Discrete Mathematics, 1 (2008), arXiv:0808.2522v1 [math.AG].

  2. Daniyarova E., Miasnikov A., Remeslennikov V. Unification theorems in algebraic geometry // Abstracts of Intern. Algebraic Conference on the Occasions of the 100th Anniversary of Professor A.G. Kurosh, Moscow, 2008, 284–285.

  3. Daniyarova E., Miasnikov A., Remeslennikov V. Universal algebraic geometry // Abstracts of Intern. Algebraic Conference “New algebraic-logical methods in solutions for systems of equations in algebraic structures”, Omsk, 2009, 8–9.

  4. Remeslennikov V. Limit algebras // Abstracts of Intern. Algebraic Conference “New algebraic-logical methods in solutions for systems of equations in algebraic structures”, Omsk, 2009, p. 14–15.


Результат доложен:


  1. Ежегодная научная сессия ОФ ИМ СО РАН, 28 сентября 2009 г.

  2. Конференции в Италии Китае, Омске, Новосибирске.



Автор результата: старший научный сотрудник, к.ф.-м.н., доцент Еремеев А.В.


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


Рассмотрена оптимизационная задача, состоящая в отыскании наилучшего по целевой функции решения-потомка из множества всех возможных потомков на выходе оператора рекомбинации в генетическом алгоритме (ГА). Пара родительских решений при этом считается заданной. Оптимальная рекомбинация исследуется в случае, когда решения задачи представляются бинарными векторами. С использованием эффективных сводимостей задач оптимальной рекомбинации нами установлена полиномиальная разрешимость подзадачи оптимальной рекомбинации для взвешенных задач упаковки и разбиения множества и простейшей задачи размещения производства, сформулированных как задачи булевого линейного программирования. Кроме того, показана полиномиальная разрешимость оптимальной рекомбинации на классе задач булевого линейного программирования, имеющих не более двух переменных в каждом ограничении. Установлена NP-трудность ряда задач оптимальной рекомбинации.

Проведены экспериментальные исследования операторов оптимальной рекомбинации, основанных на решении вспомогательных задач частично целочисленного линейного программирования. Для задачи управления поставками с ограничениями снизу на объем заказа разработано два варианта ГА. В первом алгоритме используется двоичное представление решений и оператор оптимальной рекомбинации. Второй ГА основан на представлении решений с использованием перестановок и на "жадном" декодере. Проведенные эксперименты показали, что ГА с оператором оптимальной рекомбинации имеет преимущество в стоимости получаемых решений по сравнению со вторым ГА, а также по сравнению с коммерческим пакетом решения частично целочисленных задач CPLEX. Аналогичные результаты получены для задач балансировки производственной линии и составления расписаний.


Результат опубликован:


  1. Borisovsky P., Dolgui A., Eremeev A. Genetic algorithms for a supply management problem: MIP-recombination vs greedy decoder // European Journal of Operational Research. Vol. 195 N 3, 2009, P. 770-779.

  2. Eremeev A.V. On complexity of optimal recombination for binary representations of solutions // Evolutionary Computation, Vol. 16 N 1, 2008, P. 127-147.



Результат доложен на ежегодной научной сессии ОФ ИМ СО РАН, 28 сентября 2009 г.






Скачать 0.53 Mb.
оставить комментарий
страница1/5
Дата29.09.2011
Размер0.53 Mb.
ТипОтчет, Образовательные материалы
Добавить документ в свой блог или на сайт

страницы:   1   2   3   4   5
Ваша оценка этого документа будет первой.
Ваша оценка:
Разместите кнопку на своём сайте или блоге:
rudocs.exdat.com

Загрузка...
База данных защищена авторским правом ©exdat 2000-2017
При копировании материала укажите ссылку
обратиться к администрации
Анализ
Справочники
Сценарии
Рефераты
Курсовые работы
Авторефераты
Программы
Методички
Документы
Понятия

опубликовать
Загрузка...
Документы

Рейтинг@Mail.ru
наверх