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



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

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


О М Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 2009 реферат С К И Й Ф И Л И А Л


УТВЕРЖДАЮ:

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

______________ В.А. Топчий

« » ______________2009 г.


ОТЧЕТ

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


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


Омск - 2009


РЕФЕРАТ


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


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


Директор д.ф.-м.н., доктор Валентин Алексеевич Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 2009 реферат Топчий

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

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

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


http://ofim.okno.ru


ОГЛАВЛЕНИЕ

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

II. ИТОГИ Исследований 5

2.1. Важные научные результаты 5

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

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

3.1. Проекты Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 2009 реферат, имеющие поддержку на международном, федеральном и региональном уровнях 16

3.2. Черта интернациональных научных связей и совместной деятельности с забугорными научными учреждениями 17

3.3. Роль в работе научных мероприятий 19

3.4. Работа в Университетах 21

3.6. Перечень научных публикаций 23

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

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

4.2. Роль в работе конференций, совещаний и т.д. 33

4.3. Научные публикации служащих по годам 33



^ I. ВВЕДЕНИЕ

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


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

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

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

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

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

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

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


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

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

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


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


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


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


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


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


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

^ II. ИТОГИ Исследований


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


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


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


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

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

  1. C принадлежит Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 2009 реферат квазимногообразию, порождённому алгеброй B;

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

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

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

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

  6. C есть Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 2009 реферат алгебра, определённая полным атомарным типом квазиэквациональной теории алгебры B в языке L;

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


Итог размещен:


  1. Daniyarova E Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 2009 реферат., 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 Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 2009 реферат 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 Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 2009 реферат 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 Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 2009 реферат algebraic structures”, Omsk, 2009, p. 14–15.


Итог доложен:


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

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



Создатель результата: старший научный сотрудник, к.ф.-м.н., доцент Еремеев А Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 2009 реферат.В.


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


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

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


Итог размещен:


  1. Borisovsky P., Dolgui A., Eremeev A. Genetic Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 2009 реферат 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 Отчет результаты научно-организационной деятельности утвержден Ученым Советом 07. 12. 2009 Омск 2009 реферат. 16 N 1, 2008, P. 127-147.



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




otchet-po-vistavke-nazhezhdi-gerasimenko.html
otchet-po-word97-referat.html
otchet-po-zakupkam-podtverzhdaetsya-nakladnimi-i-chekami.html