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

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

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

УТВЕРЖДАЮ:

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

______________ В.А. Топчий

« » ______________2008 г.

ОТЧЕТ

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

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

Омск - 2008

РЕФЕРАТ

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

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

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

т. (3812) 236567, [email protected]

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

т. (3812) 247041, [email protected]

http://ofim.oscsbras.ru

ОГЛАВЛЕНИЕ

I. ВВЕДЕНИЕ 4

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

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

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

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

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

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

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

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

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

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

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

4.1. Почетные звания, премии, стипендии 26

4.2. Основные количественные показатели 2008г. 26

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

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

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 гг.

НИР ИВТ СО РАН: ПСО № 40 от 12.02.07. 4.5.1.2. Развитие и поддержка сети передачи данных Сибирского отделения РАН, рук. – чл.-к. РАН Федотов А.М., исп. – В.А. Алгазин, Хрущев С.А., Чисникова Г.Э., Грицай Е.И., Черенкова С.Ю., Фенглер А.И.

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

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

Автор результата: д.ф.-м.н., зав. лаб. ОФ ИМ СО РАН, Задорин А.И., (3812) 23-67-39

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

Аннотация:

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

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

1. Задорин А.И. Метод интерполяции для задачи с пограничным слоем // Сибирский журнал вычислительной математики, 2007, т. 10, № 3, с. 267- 275.
2. Задорин А.И. Метод интерполяции для функции двух переменных с погранслойной составляющей // Вычислительные технологии, 2008, т. 13, № 3, с. 45-53.
3. Задорин А.И. Метод интерполяции на сгущающейся сетке для функции с погранслойной составляющей // Журнал вычислительной математики и математической физики, 2008, т. 48, № 9, с. 1673-1684.
4. L.G. Vulkov, A.I. Zadorin Two-grid Interpolation Algorithms for Difference Schemes of Exponential Type for Semilinear Diffusion Convection-Dominated Equations. // American Institute of Physics, Conference proceedings, 2008, v. 1067, p. 284- 292.

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

1. Международная конференция “Вычислительные и информационные технологии в науке, технике и образовании “, Алматы, Казахский национальный университет, сентябрь, 2008, (пленарный доклад).
2. Международная конференция, посвященная 100-летию С.Л. Соболева, ИМ СО РАН, октябрь, 2008 (секционный доклад).
3. Ежегодная научная сессия ОФ ИМ СО РАН, 13 октября 2008 года.

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

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

(заведующий – д.ф.-м.н. Ремесленников В.Н.)

В рамках плана научных работ лаборатории и гранта РФФИ выполнен цикл работ по созданию универсальной алгебраической геометрии для произвольных алгебраических систем. Написаны две работы. Первая из них посвящена доказательству так называемых «объединяющих теорем». В них формулируются и обосновываются различные подходы: алгебраический, геометрический, теоретико-модельный и логический к описанию алгебраических множеств, задаваемых системами уравнений над данной алгебраической системой, и их координатных алгебр. (Ремесленников В.Н., Даниярова Э.Ю.).

Один из языков при описании координатных алгебр есть язык предельных алгебр. Эти общие теоремы уже нашли применение к конкретным алгебраическим системам. Полностью описаны предельные моноиды для моноида натуральных чисел по сложению (Морарь П.В, Шевляков А.Н.).

Получен ряд результатов по частично коммутативным нильпотентным и свободным группам. Построена теория ортогональности для конечных графов, при помощи которой получен ряд структурных результатов для свободных частично-коммутативных групп. Исследована проблема универсальной эквивалентности для групп (Ремесленников В.Н., Казачков И.В., Данкен Э.).

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

Описаны порождающие элементы для групп автоморфизмов частично-коммутативных групп ступени нильпотентности 2. Доказана теорема о структуре этих групп (Трейер А.В.).

Развита теория делимости для известной полугруппы Томпсона (Есып Е.С.).

Было продолжено изучение алгебраической геометрии для свободной метабелевой алгебры Ли над полем и для свободной антикоммутативной алгебры (Э. Ю. Даниярова). Оказалось, что многие результаты, полученные ранее Данияровой Э.Я. для случая конечного поля, верны и для бесконечного поля, для бесконечного поля исследования будут продолжены в будущем.

Дано завершение классификации -однородных компактных односвязных римановых многообразий в совместной работе Берестовского В.Н. и Никонорова Ю.Г.

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

Получены теоремы по описанию геодезических в группах Гейзенберга. В рамках интеграционного проекта получены результаты по геометриям Гильберта и их приложениям (Носков Г.А.).

В рамках исследований по инвариантам представлений классических алгебраических групп подготовлен и напечатан обзор об инвариантах представлений колчанов и их обобщений. Часть результатов этого сборника являются новыми, полученными в 2008 г. В первой части обзора описаны порождающие и определяющие соотношения для групп GL(n) и O(n). Во второй части представлены результаты по представлениям колчанов, а третья часть посвящена обобщениям представлений колчанов (Лопатин А.А., Зубков А.Н.).

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

Написан обзор «Вычислимость над алгебраическими системами» (Вестник ОмГУ, 2008, с.107-129) (Ашаев И.В.).

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

(заведующий – д.ф.-м.н. Топчий В.А.)

Продолжено исследование многомерных симметрических случайных блужданий по решетке с ветвлением в нуле. Описана асимптотика средней численности частиц в нуле и вероятности наличия частиц в нуле для размерностей 1 и 2 при произвольном выборе интенсивностей переходов в нуле и на остальной решетке. Ранее аналогичные результаты были получены для размерностей больше 3 (Топчий В.А.).

Получены верхние оценки среднего времени вырождения популяции с постоянной биологической ёмкостью среды и для ветвящейся популяции с фиксированным надкритическим размножением и уничтожением частиц, не помещающихся на заданное число мест (Клоков С.А., Топчий В.А.).

Построена и исследована стохастическая модель динамики популяции с учетом ограниченности мест репродукции и различной длительности сезонов между размножением особей (Перцев Н.В., Логинов К.К.). Построена и исследована модель динамики двух конкурирующих популяций, развивающихся в условиях воздействия вредных веществ (Перцев Н.В., Царегородцева Г.Е.). Построена индивидуум-ориентированная модель распространения туберкулеза, учитывающая контакты индивидуумов и произвольные законы распределения длительностей различных стадий заболевания (Перцев Н.В., Пичугин Б.Ю.).

В рамках предложенного ранее подхода к определению оптимальной структуры тестов на основе математических моделей разработаны алгоритмы для решения одной задачи компьютерного тестирования. Усовершенствована версия автоматизированной тестирующей системы (Заозерская Л.А., Планкова В.А.).

Произведена обработка для выявления биофизических характеристик электроэнцефалограмм пациентов с венознососудистой дистонией вейвлет преобразованием Морле и получены новые пространственно-временные представления соответствующих ЭКГ. По полученным пространственно-временным представлениям можно проводить предварительную визуальную диагностику заболеваний (Гольтяпин В.В.).

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

(заведующий – д.ф.-м.н. Задорин А.И.)

Предложен способ сплайн-интерполяции функций одной переменной с большими градиентами, основанный на выделении составляющей решения, задающей основной рост. Исследован вопрос интерполяции функции с быстро растущей погранслойной составляющей. Построена формула, точная на погранслойной составляющей, доказан первый порядок точности построенной интерполяционной формулы независимо от градиентов решения. На основе предложенной интерполяции получена формула для вычисления производных. Показано, что данная интерполяция применима к функциям, соответствующих решению краевых задач с экспоненциальным и степенным пограничными слоями. В случае экспоненциального пограничного слоя получено обобщение построенной формулы на случай функции двух переменных (Задорин А.И.).

Предложен и исследован двухсеточный метод решения сингулярно возмущенной нелинейной краевой задачи. Рассмотрена сингулярно возмущенная краевая задача для нелинейного ОДУ второго порядка. Доказано, что схема А.М. Ильина для данной задачи обладает свойством равномерной сходимости с первым порядком по шагу сетки. Для разрешения нелинейной разностной схемы исследуются итерационные методы Ньютона и Пикара. Для уменьшения числа итераций предложено использовать двухсеточный метод, когда разностная схема выписывается и на грубой сетке. Тогда хорошее начальное приближение для итераций на исходной сетке находится на основе итераций на грубой сетке. Для интерполяции решения с грубой сетки на мелкую используется предложенная нами равномерно точная интерполяционная формула (Задорин А.И.).

Исследован численный метод решения краевой задачи для эллиптического уравнения с малым параметром при старших производных и сосредоточенным источником в полосе. На основе метода прямых эллиптическая задача сведена к системе ОДУ второго порядка на бесконечном интервале. Для сведения задачи к конечному интервалу применен метод выделения устойчивого многообразия решений, удовлетворяющих предельному условию на бесконечности. Равномерная сходимость разностной схемы достигается сгущением сетки у границ полосы и в окрестности линейного источника (Харина О.В.).

Построена разностная схема с учетом внутренних пограничных слоев для моделирования струйных течений в задачах тепло-массопереноса. В расчетах течений вязкой несжимаемой жидкости при больших числах Рейнольдса исследовано ускорение сходимости к стационарным решениям на основе введения искусственной «нелинейной вязкости» в разностную схему. При этом исходная схема обладает малой схемной вязкостью за счет введения одномерных интерполяций для внутренних пограничных слоев. Проведена разработка двумерных интерполяций для расчета внутренних пограничных слоев (Паничкин А.В.).

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

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

(заведующий – д.т.н. Чуканов С.Н.)

Предложена конструкция сферических гармоник, имеющих заданные нули на сфере. Для двумерной сферы оно приводит к почти однозначному представлению гармоник в виде определителя. Получены верхние и нижние границы для длин узловых множеств и для внутренних радиусов узловых областей; верхние границы точны. Дана точная оценка сверху числа общих нулей двух сферических гармоник на двумерной сфере. Кроме того, найдены средние значения мер Хаусдорфа пересечений узловых множеств нескольких гармоник разных степеней на сфере любой размерности (в частности, среднее количество общих нулей k гармоник на k-мерной сфере) (Гичев В.М.).

Разработан алгоритм формирования характеристик векторных полей динамических систем, инвариантных по отношению к аффинной группе преобразований вектора состояния, основанный на преобразовании Фурье функции 3D изображения, инвариантному к действию групп вращения, переноса и масштабирования. Преобразование Фурье функции 3D изображения основано на разложении в ряд сферических функций (Чуканов С.Н.).

Исходная основа результата 2008-го года – полученное ранее обобщение радиолокационного соотношения неопределённостей (СН) и его следствия. Одно из следствий обобщённого СН состоит в том, что минимум неопределённости измерения макроскопической величины достигается при её измерении в оптимальном интервале неопределённости. Интервал, как следствие СН, в отличие от определения интервала в математике, есть бесструктурное целое, квант. Величина кванта неопределённости не является фундаментальной константой, как в микромире, а определяется локальными макроскопическими параметрами физического и/или вычислительного процесса. Предложен адаптивный алгоритм минимизации неопределённости измерения, который приводит к расширению понятия и содержания измерения: измерение - это единый измерительно-вычислительный адаптивный процесс. Новизна понятия измерения состоит в пошаговой адаптации параметров измерителя к параметрам измеряемого объекта. Указанный алгоритм включает новый метод прямого построения адаптивной одномерной сетки, являющийся альтернативным по отношению к основанным на вариационном принципе методам (Терехов Л.С.).

Разработан алгоритм пакетной передачи информации в системе коротковолновой радиосвязи, предполагающей параллельную передачу информационных пакетов через сеть ретрансляторов малой мощности. Предложены алгоритмы маршрутизации пакетов в предлагаемой системе связи. Проведены вычислительные эксперименты по оценке характеристик ионосферного распространения радиоволн на радиолиниях дальностью от 100 до 2000 км, подтверждающие работоспособность предлагаемых способов передачи информации на магистральных радиолиниях КВ связи. Для радиолиний малой дальности предложены алгоритмы выбора оптимальных рабочих частот. Результаты исследований используются при разработках новой техники радиосвязи в Омском НИИ приборостроения (Зачатейский Д.Е.).

Продолжена разработка системы для решения задач нейросетевого управления (Мещеряков В.А.).

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

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

(заведующий – д.т.н. Зыкин С.В.)

Разработаны методы формирования контекстов приложений и контекстов ограничений на данные при формировании гиперкубов для проведения аналитической обработки данных. Предложенные методы использованы для анализа эффективности лечения больных почечной недостаточностью в МСЧ № 10 г. Омска. Решена задача построения гиперкубического представления данных при наложении контекстных ограничений на исходное реляционное представление данных. В основе построения лежит формальное определение промежуточной и целевой моделей данных (Зыкин С.В., Полуянов А.Н.).

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

Разработана промежуточная технология работы ситуационных центров, которая предполагает ориентацию на эффективное использование доступных ресурсов (Филимонов В.А.).

Разработан проект учебно-исследовательского комплекса «Ген-Гуру» (общая структура, функции, методы создания и эксплуатации) на основе использования строгого формального аппарата и способов мобилизации творческих возможностей человека. Разработаны модули маркетинговой информационной системы, предназначенные для анализа развития объекта сферы сервиса как аналога механического движения; цены и спроса с использованием лингвистической переменной (Филимонов В.А., Маренко В.А.).

Проведена реструктуризация базы данных ГИС «Археологические памятники Омской области» с целью обеспечения интерфейса с методами анализа данных. Проведена классификация археологических объектов по существенным паспортным параметрам. Формализовано описание системы анализа транспортных сетей (на примере сетей передачи данных и автомобильных сетей) на базе технологий ГИС, таксономии и имитационного моделирования (Пуртов А.М.).

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

(заведующий – д.ф.-м.н. Колоколов А.А.)

Предложен подход к построению верхних оценок среднего числа итераций для ряда алгоритмов целочисленного линейного программирования, основанных на использовании непрерывной оптимизации (отсечения, ветвей и границ, перебора L-классов), получены полиномиальные оценки указанного типа при решении задачи об упаковке множества (Заозерская Л.А., Колоколов А.А).

Построены алгоритмы решения задачи календарного планирования с критериями числа незавершенных в срок заданий и максимального запаздывания работ (Сервах В.В., Щербинина Т.А.).

Предложен полиномиальный алгоритм решения задачи построения циклических расписаний при отсутствии простоев между операциями (Сервах В.В., Романова А.А.).

Разработаны точные алгоритмы решения взвешенной задачи максимальной выполнимости на основе перебора L-классов и метода ветвей и границ, выполнена их программная реализация, проведены экспериментальные расчеты (Адельшин А.В., Кучин А.К.).

Исследованы свойства L-периодических расписаний при выпуске однотипных деталей (Сервах В.В., Межецкая М.А.).

Предложены алгоритмы, основанные на декомпозиции Бендерса, переборе
L-классов и ряде эвристических процедур, для решения двухстадийной задачи размещения предприятий, проведены экспериментальные исследования (Колоколов А.А., Леванова Т.В., Федоренко А.С.).

Разработан и реализован алгоритм ветвей и границ для решения минимаксной задачи размещения взаимосвязанных объектов на плоскости с запрещенными зонами. Проведен вычислительный эксперимент (Забудский Г.Г., Решетникова А.А.).

Построена модель целочисленного программирования для составления схемы разделения труда при проектировании технологической подготовки производства с заданным сетевым графиком выполнения работ (Забудский Г.Г., Алексеенко И.В.).

В рамках предложенного ранее подхода к определению оптимальной структуры тестов на основе моделей дискретной оптимизации разработаны алгоритмы перебора L-классов для решения одной задачи компьютерного тестирования. Усовершенствована версия автоматизированной тестирующей системы по одной из тем учебного курса «Экономико-математические методы» для студентов экономических специальностей. (Заозерская Л.А., Планкова В.А.).

Предложен гибридный генетический алгоритм для задачи балансировки производственной линии, проведен вычислительный эксперимент, показавший преимущество данного алгоритма на задачах большой размерности по сравнению с другими известными методами (Гущинская О.Н., Долгий А.Б, Еремеев А.В.).

Предложен гибридный алгоритм для задачи составления расписаний многопродуктового производства с использованием методов частично целочисленного программирования и генетического алгоритма, показавший пригодность к использованию на производстве (Борисовский П.А., Еремеев А.В., Флудас К.А., Муновар А.Ш., Калльрат И.).

Центр информационного обеспечения научных исследований

(заведующий – к.ф.-м.н. Алгазин В.А.)

Заказной интеграционный проект № 3 СО РАН «Развитие мультимедийных приложений в сети передачи данных Сибирского отделения РАН», рук. – академик РАН Ю.И. Шокин, руководитель от ОФ ИМ – В.А. Алгазин, исполнители - В.А. Алгазин, С.А. Хрущев, 2006 – 2009 гг.

Работы 2008г. были направлены на введение в эксплуатацию и настройку оборудования для проведения видеоконференций, полученного по Распоряжению Президиума СО РАН № 15000-140 от ИВТ и проведения настройки оборудования видеоконференций Polycom VSX 7800e Presenter MP.

В Омский научный центр СО РАН было передано оборудование для проведения видеоконференций. В список переданного оборудования входят:

1. групповой видеотерминал Huaweu ViewPoint 8066 с встроенной видеокамерой;
2. плазменный дисплей Pioneer PLD50;
3. внешняя видеокамера фирмы Sony;

В связи с ремонтом помещения Президиума ОНЦ СО РАН полученное оборудование, за исключением плазменной панели, было установлено в помещении библиотеки Омского филиала Института математики им. С.Л. Соболева СО РАН и была проведена его настройка. Для проведения видеоконференций СО РАН был предоставлен канал 10Мбит/с до ИВТ СО РАН. До конца года планируется развернуть систему видеоконференций на базе Huaweu ViewPoint 8066.

Проведена настройка оборудования видеоконференций Polycom VSX 7800e Presenter MP. Функциональность системы расширена за счёт активации возможности проведения многоточечной конференции. Также добавлена возможность трансляции с компьютера через ImageShare. Проведены опытные сеансы видеоконференций с Новосибирском (ИВТ СО РАН) и Самарой (Самарский государственный аэрокосмический университет имени академика С.П.Королева). Проведена видеоконференция заседания Президиума СО РАН с участием региональных центров СО РАН (Иркутск, Томск, Омск, Красноярск и др.). В Омске видеоконференция проводилась из ОФИМ.

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

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

1. Программа ОМН РАН «Математические и алгоритмические проблемы информационных системного поколения», проект 1.4.2 «Методы и алгоритмы построения интеллектуальных и распределенных информационно-вычислительных процессов», рук. – д.т.н. Зыкин С.В., 2008 г.
2. Программа ОМН РАН «Вычислительные и информационные проблемы решения больших задач», проект 1.3.2. «Разработка численных методов решения начально-краевых задач с сингулярными особенностями», – рук. – д.ф.-м.н. Задорин А.И., 2006-2008 гг.
3. Программа ОМН РАН 1.1 «Современные проблемы теоретической математики в ИМ СО РАН», рук. – д.ф.-м.н. В.А. Топчий, 2008 г.
4. Заказной интеграционный проект № 3 СО РАН «Развитие мультимедийных приложений в сети передачи данных Сибирского отделения РАН», рук. – академик РАН Ю.И. Шокин, рук. омской группы – к.ф.-м.н. В.А. Алгазин, 2006 – 2009 гг.
5. Комплексный интеграционный проект 1.5. «Разработка и исследование алгоритмов оптимизации для решения дискретных задач размещения и распознавания образов» (совместно с Институтом математики СО РАН (Новосибирск), Институтом математики и механики УрО РАН (Екатеринбург), Институтом систем энергетики СО РАН (Иркутск): рук. омской группы – д.ф.-м.н. Колоколов А.А., 2006-2008 гг.
6. Интеграционный проект СО РАН 1.9. «Некоммутативная алгебра, группы и дискретные структуры с приложениями в информатике», рук. омской группы. – д.ф.-м.н. Ремесленников В.Н.
7. Программа ОМН РАН 14.4 «Новые методы дискретного анализа и дискретной оптимизации», рук. омской группы – д.ф.-м.н. Колоколов А.А., 2006-2008 гг.
8. Интеграционный проект СО РАН 117. «Актуальные проблемы теории функций и гидродинамика», рук. – академик Решетняк Ю.Г., ответственный исп. – д.т.н. Горелов Д.Н., 2006-2008 гг.
9. Грант РФФИ 06-01-00127, «Асимптотические свойства зависимых случайных последовательностей и процессов с ветвлением, рук. – д.ф.-м.н. Топчий В.А., 2006-2008 гг.
10. Грант РФФИ 08-01-00067, «Алгебраические комбинаторные структуры: задания, структурные свойства и алгоритмическая сложность», рук. – д.ф.-м.н. Ремесленников В.Н., 2008-2010 гг.
11. Грант РФФИ 07-01-00729-a «Робастные численные методы для многомасштабных задач с пограничными слоями и дополнительными особенностями», рук. – д.ф.-м.н. Шишкин Г.И., ИММ УрО РАН, исп. – д.ф.-м.н. Задорин А.И., 2007-2009 гг.
12. Грант РФФИ 06-07-89051а «Система визуализации векторного поля и формирования инвариантных характеристик динамических систем», рук. – д.т.н. Чуканов С.Н., 2006-2008 гг.
13. Грант РФФИ 08-01-05007, «Развитие МТБ для проведения исследований по области знаний», рук. – д.ф.-м.н. Топчий В.А., 2008 г.
14. РФФИ 08-01-01803, Экстренная поддержка материально-технической базы (МТБ) научных исследований по поддержанным ранее проектам в области знаний 01, рук. – В.А. Топчий, 2008 г.
15. Грант РФФИ 06-08-01403а «Метод чередования прямой и обратной задач в оптимизации начального размещения управляемых подвижных объектов», рук. – к.ф.-м.н. Нартов Б.К., 2006-2008 гг.
16. Грант РФФИ 07-01-00410 «Генетические алгоритмы в проектировании и управлении сложными системами», рук. – к.ф.-м.н. Еремеев А.В., 2007-2008 гг.
17. Грант национального фонда Болгарии HS-MI-106/2005 «Численные методы для дифференциальных уравнений с переходными и граничными слоями», исп. – д.ф.-м.н. Задорин А.И., 2006-2008 г.
18. Фонд Президента РФ, научная школа (Боровков А.А.) – 3695.2008.1,, исп. – д.ф.-м.н. Топчий В.А., к.ф.-м.н. Клоков С.А., 2008-2009 гг.
19. Договор № 1086300769/579/L по разработке гибридных методов частично целочисленного линейного программирования. Заказчик: BASF Aktiengesellschaft (Германия, г. Людвигзхафен), отв. исполнитель – Еремеев А.В., 2008 г.
20. Программа «Информационно-телекоммуникационные ресурсы СО РАН», руководитель программы – академик РАН Шокин Ю.И., исп. –Алгазин В.А., Хрущев С.А., Чисникова Г.Э., Грицай Е.И., Черенкова С.Ю., Фенглер А.И.
21. Грант РФФИ 07-01-00392, исп – к.ф.-м.н. Лопатин А.А., 2007 – 2008 гг.
22. «Ведущие научные школы» 5682.2008.1, – исп. д.ф.-м.н. Берестовский В. Н.
23. Грант DFG для проведения исследований в университете г. Билефельд, Германия, рук. – к.ф.-м.н. Лопатин А.А., 2008 г.

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

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

Д.ф.-м.н. Ремесленников В.Н. выезжал в США (Стивенс) для проведения совместной научной работы.

Д.ф.-м.н. Берестовский В.Н. выезжал в США для проведения совместной научной работы.

К.ф.-м.н. Носков Г.А. выезжал в Германию (Университет Билефельд) для проведения совместной научной работы.

К.ф.-м.н. Лопатин А.А. выезжал в Германию (г. Билефельд) для проведения совместной научной работы.

Д.ф.-м.н. Ремесленников В.Н., к.ф.-м.н. Даниярова Э.Ю. выезжали в Италию для выступления с докладами на конференции.

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

К.ф.-м.н. Еремеев А.В. выезжал в Германию (г. Дагштул, г. Бад-Хонеф, г. Людвигсхафен); Италию (г. Бертиноро) для участия в семинарах"Theory of Evolutionary Algorithms", "Matheuristics 2008", "Scheduling in Process Industry", cовещания по проекту No 002 в BASF SE

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

К.ф.-м.н. Харина О.В. выезжала в Болгарию (г. Лозенец) для участия в конференции.

Д.ф.-м.н. Задорин А.И., к.ф.-м.н. Паничкин А.В. выезжали в Казахстан (г. Алматы) для участия в конференции.

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

Д.ф.-м.н. Ремесленников В.Н., к.ф.-м.н. Лопатин А.А., к.ф.-м.н. Даниярова Э.Ю. выступили с докладами на Международной алгебраической конференции, посвященной 100-летию А. Г. Куроша, Москва, май-июнь 2008 г.;

К.ф.-м.н. Носков Г.А. выступил с докладом на Workshop: Buildings: Interactions with Algebra and Geometry, 20-26 января 2008 г.

Д.ф.-м.н. Ремесленников В.Н., к.ф.-м.н. Рыбалов А.Н., к.ф.-м.н. Носков Г.А., Трейер А.В., Мищенко А.А., Шевляков А.В. выступили с докладами на Международной конференции «Мальцевские чтения», Новосибирск, ноябрь 2008 года.

К.ф.-м.н. Рыбалов А.Н. выступил с пленарным докладом на Международной конференции «Methods of logic in mathematics», Saint-Petersburg, Russia, June 1-7, 2008.

Д.ф.-м.н. Перцев Н.В. и к.ф.-м.н. Пичугин Б.Ю., д.ф.-м.н. Топчий В.А. и к.ф.-м.н. Клоков С.А. выступили с докладами на Joint Indo-Russian workshop “Systems biology and genome informatics of M. Tuberculosis and other infectious diseases”, Novosibirsk, Institute of Cytology and Genetics SB RAS, 12-14 October, 2008. Organizers: Institute of Cytology and Genetics SB RAS, Institute of Genomics and Integrative Biology, New Delhi, India. Russian organizer: Prof. N. Kolchanov, Acad., IC&G SB RAS.

Д.ф.-м.н. Задорин А.И. выступил с докладом «Дифференциальные уравнения, функциональные пространства, теория приближений», Новосибирск, 5-12 октября 2008 г.

Д.ф.-м.н. Задорин А.И. с пленарным и секционным докладами, к.ф.-м.н. Паничкин А.В. с докладом выступили на Международная конференция «Вычислительные и информационные технологии в науке, технике и образовании», Алматы, 10-14 сентября 2008 года.

К.ф.-м.н. Харина О.В. приняла участие в 4-ой Международной конференции «Численный анализ и приложения», Лозенец, Болгария, 16-20 июня 2008 года.

Д.т.н. Горелов Д.Н. выступил с докладом на Международной конференции «Гидродинамика, механика, энергетические установки», Чебоксары, 10-14 сентября 2008 года.

К.ф.-м.н. Чанышев О.Г. выступил с докладом на Десятой Всероссийской научной конференции «Электронные библиотеки: перспективные методы и технологии, электронные коллекции» (RCDL-2008), Россия, Дубна, 7-11 октября 2008 года

Д.т.н. Филимонов В.А. выступил с пленарным докладом на 2-ой Всероссийской конференции «Рефлексивный театр ситуационного центра», г. Омск, Омский государственный институт сервиса, 2008 г.

К.т.н. Маренко В.А. выступила с докладами на V всесибирском конгрессе женщин-математиков, г. Красноярск, СФУ, М-во науки и образ.РФ, СО РАН, ИВМ СО РАН, январь 2008 г., Междун. научн.-практ. конф. «Совершенствование технологий обеспечения качества образования», Омск, ОГИС, апрель, 2008, Междун. конф. «Неделя вузовской науки». Фонд развития отечественного образования, у-т Росс. акад. образ., октябрь 2008 (презентация книги), Сочи.

Д.ф.-м.н. Колоколов А.А. сделал пленарный доклад, д.ф.-м.н. Забудский Г.Г., к.ф.-м.н. Еремеев А.В., к.ф.-м.н. Адельшин А.В., к.ф.-м.н. Леванова Т.В., к.ф.-м.н. Косарев Н.А., к.ф.-м.н. Заозерская Л.А. и к.ф.-м.н. Сервах В.В. и Мархоцкая Н.В. сделали доклады на XIV Байкальской международной школе-семинаре «Методы оптимизации и их приложения», Иркутск - Северобайкальск, 2-8 июля 2008 г.

Д.ф.-м.н. Колоколов А.А. сделал пленарный доклад на Международной конференции «Алгоритмический анализ неустойчивых задач», посвященной 100-летию со дня рождения В.К. Иванова, Екатеринбург, 1-6 сентября 2008 г., доклад на XV Международной конференции «Проблемы теоретической кибернетики», Казань, 2-7 июня 2008 г., сделал доклад на 7-ой Международ.науч.-практ.конф.-выставке «Единая образовательная среда: проблемы и пути развития», Омск, 22-25 сентября 2008 г.

Д.ф.-м.н. Колоколов А.А. был членом оргкомитета и прочитал лекцию, к.ф.-м.н. Сервах В.В. прочитал лекцию, Федоренко А.С. сделал доклад на 4-ой азиатской международной школе-семинаре «Проблемы оптимизации сложных систем», Республика Алтай, 20-30 июня 2008.

К.ф.-м.н. Еремеев А.В. выступил с докладами на Международном семинаре «Theory of Evolutionary Algorithms», Дагштул, Германия, 27 января - 1 февраля 2008 г., Международном семинаре «Matheuristics 2008», Бертиноро, Италия, 16 - 18 июня 2008 г., Международном семинаре GOR Workshop «Scheduling in the Process Industry», Бад Хоннеф, Германия, 20-21 ноября 2008 г., Совещании по проекту N002 с BASF SE, Людвигсхафен, Германия, 25 января, 21 июля, 25-26 ноября 2008 г.

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

Адельшин А.В. – старший преподаватель кафедры естественнонаучных и математических дисциплин Омского гуманитарного института.

Алгазин В.А. – доцент кафедры средств связи и защиты информации ОмГТУ.

Берестовский В.Н. – профессор кафедры математического моделирования ОмГУ.

Гичев В.М. – доцент кафедры математического анализа ОмГУ.

Гольтяпин В.В. – доцент кафедры микроэлектроники и медицинской физики ОмГУ.

Горелов Д.Н. – профессор кафедры математического моделирования ОмГУ.

Задорин А.И. – профессор кафедры математического моделирования ОмГУ.

Зачатейский Д.Е. – доцент каф. философии и социальных коммуникаций ОмГТУ.

Зобнин А.И. – доцент кафедры высшей математики ОмГТУ.

Зыкин С.В. – доцент кафедры Про ЭВМ ОмГУ и кафедры АСОИУ ОмГТУ.

Клоков С.А. – старший преподаватель кафедры математического анализа ОмГУ.

Колоколов А.А. – зав. кафедрой, Забудский Г.Г., Сервах В.В., Леванова Т.В. и Заозерская Л.А. – доценты, Еремеев А.В., Адельшин А.В. – старшие преподаватели кафедры прикладной и вычислительной математики ОмГУ.

Колоколов А.А. – профессор кафедры прикладной математики и информационных систем ОмГТУ.

Маренко В.А. – доцент кафедры высшей математики и информатики ОГИС.

Мещеряков В.А. – доцент кафедры «Дорожные машины» СибАДИ.

Паничкин А.В. – старший преподаватель кафедры прикладной и вычислительной математики ОмГУ.

Перцев Н.В. – профессор кафедры математического моделирования ОмГУ и профессор кафедры математического анализа ОмГПУ.

Пичугин Б.Ю. – старший преподаватель, Харина О.В. – доцент кафедры математического моделирования ОмГУ.

Пуртов А.М. – доцент кафедры АСОИУ ОмГТУ и доцент кафедры ПИЭ СибАДИ.

Ремесленников В.Н. – профессор, Рыбалов А.Н. – доцент, Даниярова Э.Ю. – ассистент кафедры математической логики и логического программирования ОмГУ.

Топчий В.А. – профессор кафедры математического анализа ОмГУ.

Филимонов В.А. – профессор кафедры Про ЭВМ ОмГУ и кафедры ВМИ ОГИС.

Чанышев О.Г. –. доцент кафедры Про ЭВМ ОмГУ

Чуканов С.Н. – профессор кафедры АСОИУ ОмГТУ.

Аспирантура готовит 19 молодых ученых.

Работает совет молодых ученых (СМУ), председатель – к.ф.-м.н., Адельшин А.В., куратор – д.ф.-м.н., профессор Колоколов А.А.

Защитили диссертации

- Мещеряков В.А.

- Адаптивное управление рабочими процессами землеройно-транспортных машин

- д.т.н., специальность 05.05.04.

- Омск, СибАДИ, утверждена ВАК 23 мая 2008 г.

- Мещеряков Е.А.

- Полные плоские строго причинные лоренцевы многообразия

- канд. ф.-м. наук, специальность 01.01.04.

- Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 04 сентября 2008.

- Гичев В.М.

Научные семинары

• Общегородской алгебраический семинар (рук. – проф., д.ф.-м.н. Ремесленников В.Н.).
• Алгебраическая геометрия над алгебраическими системами (рук. – проф., д.ф.-м.н. Ремесленников В.Н.).
• Сложность алгоритмов (рук. – проф., д.ф.-м.н. Ремесленников В.Н.).
• Теоретико-вероятностные и статистические методы (рук. – проф., д.ф.-м.н. Топчий В.А.).
• Математическое моделирование и вычислительные методы (рук. – проф., д.ф.-м.н. Задорин А.И.).
• Моделирование сложных систем (рук. – проф., д.т.н. Чуканов С.Н.).
• Математическое моделирование и дискретная оптимизация (рук. – проф., д.ф.-м.н. Колоколов А.А.).
• Проблемы развития и функционирования Омского фрагмента корпоративной СПД СО РАН (КС ОКНО) (рук. – к.ф.-м.н. Алгазин В.А.).

Просветительская деятельность

При участии ОФ ИМ с привлечением других организаций проводятся междисциплинарные семинары и конференции.

Ведется преподавание в летних лагерях научного общества учащихся, принимается участие в работе комиссии окружной и городской олимпиад.

Подготовлена и проведена научная сессия.

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

Статьи в центральных российских журналах

1. Duncan AJ., Kazachkov I.V., Remeslennikov V.N. Orthogonal systems infinite graphs // SEMR, 5, 2008, p. 151-175.
2. Noskov, G.A. Geogesics in the Heisenberg: An Elementary Approarch. Сибирские электронные математические известия, т.5, 2008, с. 177--188.
3. Берестовский В.Н.,.Никоноров Ю.Г. Киллинговы векторные поля постоянной длины на римановых многообразиях. // Сибирский математический журнал, 2008, т. 49, 3, с. 497-514.
4. Берестовский В.Н., Никоноров Ю.Г. О римановых многообразиях, однородных по Клиффорду-Вольфу. // ДАН. 2008. Т. 423. 1. с. 7--10.
5. Гичев В.М. Несколько замечаний о сферических гармониках.// Алгебра и Анализ/ - 2008. - Т. 20, N. 4. - С. 64--86.
6. Горелов Д.Н., Кривоспицкий В.П. Перспективы развития ветроэнергетических установок с ортогональным ротором // Теплофизика и аэромеханика. 2008. Т. 15, № 1, с. 163-167.
7. Горелов Д.Н. Расчет давления на контур на режимах нестационарного отрывного обтекания // ПМТФ. 2008. Т. 49, № 3, с. 109-113.
8. Гуселетова О.Н., Колоколов А.А. Решение задач дискретной оптимизации с логическими ограничениями при проектировании сложных изделий // Автоматика и телемеханика, 2008, № 10, С. 176-182.
9. Даниярова Э.Ю. Метабелевы U-алгебры Ли // Сибирские электронные математические известия, 2008, т.5, 355--382.
10. Девятерикова М.В., Колоколов А.А., Колосов А.П. Об одном подходе к решению дискретной задачи планирования производства с интервальными данными // Труды института математики и механики. УрО РАН, Т. 14, № 2, 2008, С. 48-57.
11. Еремеев А.В., Ковалев М.Я., Кузнецов П.М. Приближенное решение задачи управления поставками со многими интервалами и вогнутыми функциями стоимости // Автоматика и телемеханика, 2008, № 7, С. 90-97.
12. Забудский Г.Г., Алексеенко И.В. Оптимизация проектирования технологических схем процессов изготовления изделий из меха // Научный вестник Новосибирского государственного технического госуниверситета, № 1(30), 2008, С. 25-32.
13. Забудский Г.Г., Алексеенко И.В. Применение методов дискретной оптимизации при проектировании технологических схем процессов швейного производства // Системы управления и информационные технологии, № 2(32), 2008, С. 88-93.
14. Задорин А.И. Метод интерполяции для функции двух переменных с погранслойной составляющей // Вычислительные технологии, 2008, т. 13, № 3, с. 45-53.
15. Задорин А.И. Метод интерполяции на сгущающейся сетке для функции с погранслойной составляющей // Журнал вычислительной математики и математической физики, 2008, т. 48, № 9, с. 1673-1684.
16. Заозерская Л.А., Планкова В.А. Применение моделей дискретной оптимизации при разработке автоматизированной тестирующей системы // Вестник Новосибирского государственного университета, Серия: Информационные технологии, 2008, С. 47-52.
17. Леванова Т.В., Федоренко А.С. Локальный поиск с чередующимися окрестностями для двухстадийной задачи размещения//Дискретный анализ и исследование операций, 2008, Т. 15, № 3, C.43-57.
18. Маренко В.А., Горчаков А.В. Разработка информационной системы для маркетинговых исследований с элементами нечеткой логики //Приборы и системы. Управление, контроль, диагностика. - 2008. - № 7. - С. 59 - 61.
19. Перцев Н.В., Лаптева Н.С. О решении задачи регулирования численности сотрудников предприятия в условиях заключения трудового договора на фиксированный срок // Системы управления и информационные технологии, 2008, № 3(33), с. 96-100.
20. Перцев Н.В., Ласунов А.С. Индекс заинтересованности молочного комбината в потребителях молочной продукции // Системы управления и информационные технологии, 2008, № 3.1(33), с. 172-175.
21. Перцев Н.В., Романюха А.А., Касаткина В.С. Нелинейная стохастическая модель распространения туберкулеза // Системы управления и информационные технологии, 2008, № 1.2(31), с. 246-250.
22. Полуянов А.Н. Автоматизация формирования гиперкубического представления данных // Системы управления и информационные технологии, 2.2(32), 2008. - C. 289-293.
23. Сервах В.В., Романова А.А. Оптимизация выпуска однотипных деталей на основе циклических расписаний// Дискретный анализ и исследование операций, 2008, T.15, № 5, С. 47-60.
24. Сервах В.В., Щербинина Т.А. О сложности задачи календарного планирования проектов. Вестник НГУ. Серия: математика, механика, информатика.- 2008, Т.8, Вып. 3, C. 105-111.
25. Терехов Л.С. Оценка производной на основе обобщённого соотношения неопределённостей // Изв. вузов. Сер «Физика». – 2008. - № 9/2. С. 84-89.
26. Чуканов С.Н. Меры управляемости и наблюдаемости взаимодействующих систем управления // Авиакосмическое приборостроение. - 2007. - № 12. – стр. 18-20.
27. Чуканов С.Н. Преобразование Фурье функции 3D изображения, инвариантное к действию групп вращения и переноса. // Автометрия. - 2008. - № 3. – стр. 9-15.
28. Чанышев О.Г. Автоматическое извлечение кандидатов в термины предметной области из представляющих ее текстов //Информационные технологии, №2, 2008, Стр. 2-7.

Статьи в иностранных журналах (оригинальные непереводные)

1. Berestovskiy V.N., Nikonorov Yu.G. Killing vector fields of constant length on locally symmetric Riemannian manifolds. // Transformation Groups. V. 13, No. 1, 2008, p. 25-45.
2. Berestovskiy V.N., Nikonorov Yu.G. On delta-homogenous Riemannian manifolds. Diff. Geom. // Appl. DOI 10.1016/j.difgeo.2008.04.003. (Электронная версия статьи в журнале «Journal of Differential Geometry and its applications»).
3. Borisovsky P.A., Eremeev A.V. Comparing Evolutionary Algorithms to the (1+1)-EA // Theoretical Computer Science. 2008. V. 403, № 1, PP. 33-41.
4. Duncan AJ., Kazachkov I.V., Remeslennikov V.N. Parabolic and quasiparabolic subgroups of free partially commutative groups // J of Algebra, 318, №2, 2007, p. 918-932.
5. Eremeev A. On complexity of optimal recombination for binary representations of solutions // Evolutionary Computation. 2008. V. 16, № 1, PP. 127-147.
6. Fernandez-Alcober G.A., Kazachkov I.V., Remeslennikov V.N., Symonds P. Comparison of the discrete and continuous cohomology groups of a pro-p group // Algebra and Analysis, 19, №6, 2007, p. 126-142.
7. Fine B., Kharlampovich O.G., Myasnikov A.G., Remeslennikov V.N., Rosenberger G.On the surface group conjecture // umversidad Tecnica Fedenco santa Marfa, Valparaiso, Chile, Scientia, Ser. A: Mathematical Sciences, 15, 2007, p. 1-15.
8. Kharlampovich 0., Miasnikov A., Remeslennikov V., Serbin D. Exponential extensions of groups // J. of Group Theory, №l, 2008, p. 119-141.
9. Rybalov A., Myasnikov A. Generic complexity of undecidable problems // Journal of Symbolic Logic, Vol.73, No.2, 2008, p. 656-673.
10. Zadorin A.I., Chekanov A.V. Numerical Method for Three-Point Vector Difference Schemes on Infinite Interval // International Journal of Numerical Analysis and Modeling, 2008, v. 5, № 2, p. 190-206.
11. Берестовский В. Н., Никоноров Ю.Г. Чебышевская норма на алгебре Ли группы движений компактного однородного финслерова многообразия. // Современная математика и ее приложения. Том 60. Алгебра (Посвящается семидесятилетнему юбилею профессора Эрнеста Борисовича Винберга). Академия Наук Грузии. Институт Кибернетики. Тбилиси, 2008. с. 99-122.

Переводы статей (SMJ, Algebra & Logic, Doklady Math. и др.)

1. Gol'tyapin V.V. Computational Aspects of the Minimal Residual Method in Resolving the Heywood Case // Journal of Applied and Industrial Mathematics Springer, 2008, vol.2, №1, pp 1-7.
2. Gorelov D.N., Krivospizkiy V.P. Pruspects for development of windturbines with orthogonal rotor // Thermophisics and Aeromechanics, 2008, V. 15, No 1, p. 153-158.
3. Gorelov D.N. Calculation of pressure on an airfoil contour in an unsteady separated flow // Journal of Applied Mechanics and Technical Physics, v. 49, N 3, p. 437-441.
4. Servakh V.V. A polynomially solvable case of the three machine johnson problem. Journal of Applied and Industrial Mathematics, Springer Science, V.2, N.3, 2008, PP. 397-405.
5. Zadorin A.I. Refined-Mesh Interpolation Method for Functions with a Boundary-Layer Component // Computational Mathematics and Mathematical Physics, 2008, v. 48, N 9, p. 1634-1645.
6. Barabanov M.Yu., Vodop’yanov A.S., Nartov B.K., Yamaleev R.M., Babkin V.A. A search for radially excited charmonium states in experiments with low-energy antiproton beams // Russian Physics Journal, Volume. - 2007. – Vol.50, Issue 12. – pp.1243-1250.
7. Chukanov S.N. A rotation, translation, and scaling invariant Fourier transform of 3D image function. // Optoelectronics, Instrumentation and Data processing. - 2008. – vol.44, № 3. – pp. 249-255.

Публикации в ТРУДАХ международных конференций, изданных в России

1. Dolgui A., Guschinskaya O., Eremeev A. MIP-based greedy randomized adaptive search procedure for balancing transfer lines // Труды XIV Байкальской международной школы-семинара "Методы оптимизации и их приложения". Иркутск, Институт систем энергетики СО РАН, 2-8 июля 2008 г., Т.4, С. 174-183.
2. Адельшин А.В., Кучин А.К. Решение взвешенной задачи максимальной выполнимости с использованием перебора L-классов // Труды XIV Байкальской международной школы-семинара "Методы оптимизации и их приложения", г. Иркутск, Институт систем энергетики СО РАН, 2-8 июля 2008 г., Т.1, С. 304-311.
3. Горелов Д.Н. Парадокс задней кромки крыла и постулат Жуковского // Труды международной научной конференции «Гидродинамика, механика, энергетические установки» (к 145-летию со дня рождения ак. А.Н. Крылова), Чебоксары, 2008, с. 209-214.
4. Забудский Г.Г., Амзин И.В. Алгоритмы решения задачи Вебера на плоскости в прямоугольной метрике с запрещенными зонами// Труды XIV Байкальской международной школы-семинара "Методы оптимизации и их приложения", г. Иркутск, Институт систем энергетики СО РАН, 2-8 июля 2008 г., Т.1, С. 370-379.
5. Забудский Г.Г., Мархоцкая Н.В. Решение максиминной задачи размещения на плоскости с минимально допустимыми расстояниями// Труды XIV Байкальской международной школы-семинара "Методы оптимизации и их приложения", г. Иркутск, Институт систем энергетики СО РАН, 2-8 июля 2008 г., Т.1, С. 380-387.
6. Задорин А.И. Сплайн-интерполяция для функции с погранслойной составляющей // Вычислительные технологии, 2008, т. 13, спец. выпуск 2, с. 135-139.
7. Задорин А.И., Кириенко А.С. Анализ кубических сплайнов для задачи с пограничным слоем // Вычислительные технологии, 2008, т. 13, спец. выпуск 2, с. 140-146.
8. Заозерская Л.А., Колоколов А.А. О среднем числе итераций некоторых алгоритмов для решения задачи об упаковке множества // Материалы XIV Байкальской междунар. школы-семинара "Методы оптимизации и их приложения". Иркутск, Институт систем энергетики СО РАН, 2-8 июля 2008 г., Т. 1, С. 388-395.
9. Колоколов А.А., Девятерикова М.В. Задачи целочисленного программирования и унимодулярные преобразования // Труды XIV Байкальской международной школы-семинара "Методы оптимизации и их приложения". Иркутск, Институт систем энергетики СО РАН, 2-8 июля 2008 г., Т.1. С.111-118.
10. Колоколов А.А., Косарев Н.А. Об устойчивости декомпозиционных алгоритмов с отсечениями Бендерса для некоторых задач размещения // Труды XIV Байкальской международной школы-семинара "Методы оптимизации и их приложения". Иркутск, Институт систем энергетики СО РАН, 2-8 июля 2008 г., Т. 1, С. 428-434.
11. Колоколов А.А., Косарев Н.А. Об устойчивости декомпозиционных алгоритмов с отсечениями Бендерса для некоторых задач размещения // Труды XIV Байкальской международной школы-семинара "Методы оптимизации и их приложения", г. Иркутск, Институт систем энергетики СО РАН, 2-8 июля 2008 г., Т. 1, С. 428-434.
12. Колоколов А.А., Леванова Т.В., Федоренко А.С. Декомпозиция Бендерса для двухстадийной задачи размещения // Труды XIV Байкальской международной школы-семинара "Методы оптимизации и их приложения". Иркутск, Институт систем энергетики СО РАН, 2-8 июля 2008 г., Т.1, С. 434-443.
13. Корнеева М.В., Сервах В.В. Об одной дискретной задаче выбора инвестиционных проектов // Труды XIV Байкальской международной школы-семинара "Методы оптимизации и их приложения". Иркутск, Институт систем энергетики СО РАН, 2-8 июля 2008 г., Т. 5, С. 308-316.
14. Маренко В.А., Горчаков А.В. Автоматизация маркетинговой информации // Вычислительные технологии, 2008. – Т. 13, спец. выпуск 2. – С. 392 – 397.
15. Межецкая М.А., Сервах В.А. О задаче минимизации времени выпуска партии однотипных деталей // Труды XIV Байкальской международной школы-семинара "Методы оптимизации и их приложения". Иркутск, Институт систем энергетики СО РАН, 2-8 июля 2008 г., Т.1, С. 468-474.
16. Паничкин А.В. Ускорение сходимости в расчетах стационарных течений жидкости при больших числах Рейнольдса // Вычислительные технологии, 2008, т. 13, спец. выпуск 3, с. 38-44.
17. Романова А.А., Сервах В.В. Задачи построения циклического расписания с минимальным временем цикла и дополнительными ограничениями // Труды XIV Байкальской международной школы-семинара "Методы оптимизации и их приложения". Иркутск, Институт систем энергетики СО РАН, 2-8 июля 2008 г., Т.1. С. 491-497.
18. Сервах В.В., Щербинина Т.А. Алгоритмы решения задач календарного планирования проектов с различными критериями// Труды XIV Байкальской международной школы-семинара "Методы оптимизации и их приложения". Иркутск, Институт систем энергетики СО РАН, 2-8 июля 2008 г., Т.1. С. 506-513.

Публикации в трудах международных конференций,

изданных зарубежными издательствами

1. Vulkov L.G., Zadorin A.I. Two-grid Interpolation Algorithms for Difference Schemes of Exponential Type for Semilinear Diffusion Convection-Dominated Equations // American Institute of Physics Conference proceedings, v. 1067, 2008, p. 284-292.

Публикации в ТРУДАХ всероссийских и региональных конференций

1. Задорин А.И. Численный метод для параболического уравнения в полосе // Труды седьмого всероссийского семинара “Сеточные методы для краевых задач и приложения”, Казань, КГУ, 2007, с. 114-118.
2. Маренко В.А. Информационная система для анализа маркетинговой информации //Информационные технологии и телекоммуникации в экономике, управлении и социальной сфере. Материалы 2-ой межрег.научн.-практ.конф. Тюмень: Изд-во ТюмГУ, 2008. - С. 173-180.
3. Чанышев О.Г. Автоматическое построение терминологической базы знаний// Труды Десятой Всероссийской научной конференции "Электронные библиотеки: перспективные методы и технологии, электронные коллекции" (RCDL-2008) (Дубна, Россия, 7 - 11 октября 2008 года), стр. 85-92. - Дубна, ОИЯИ РАН, 2008. – с.85-92.

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

1. Duncan A.J., Kazachkov I.V., Remeslennikov V.N. Stability of universal Equivalence of Groups under free Constructions. // "Вестник Омского Университета", Специальный выпуск, 2008, с. 52-60.
2. Ашаев И. В. Computability over flgebraic Structures. // "Вестник Омского Университета", Специальный выпуск, 2008, с. 107-129.
3. Гольтяпин В.В., Нароцкая Н.В., Картузова Л.В. Особенности межполушарной асимметрии электроэнцефалограмм. //Вестник Омского университета, 2008, №3, С.31-34.
4. Есып Е.С. Теория делимости в группе Томпсона. I подгруппа положительных элементов. // "Вестник Омского Университета", Специальный выпуск, 2008, с. 47-51.
5. Заозерская Л.А., Колоколов А.А., Планкова В.А. Разработка алгоритмов перебора L-классов для одной задачи компьютерного тестирования // Омский научный вестник, Cерия: Приборы, машины и технологии, №1 (64), 2008, С.12-14.
6. Заозерская Л.А., Колоколов А.А. Решение двухкритериальной задачи размещения центров обслуживания // Омский научный вестник, Cерия: Приборы, машины и технологии, №1 (64), 2008, С. 8-11.
7. Зачатейский Д.Е., Шадрин Б.Г. Выбор оптимальных рабочих частот на коротковолновых радиолиниях малой дальности. // Техника радиосвязи. - Омский НИИ приборостроения. – 2007. – Вып. 12. – С. 50-63.
8. Зачатейский Д.Е., Шадрин Б.Г. О системе передачи информации с использованием ретрансляторов КВ сигнала. // Техника радиосвязи. - Омский НИИ приборостроения. – 2008. – Вып. 13. – С. 53-58
9. Зыкин С.В., Полуянов А.Н. Реализация OLAP-технологии на основе межмодельных преобразований данных // Информационные технологии моделирования и управления, 2008, № 1(44). - С. 72-77.
10. Зыкин С.В., Полуянов А.Н. Формирование представлений данных с контекстными ограничениями // Омский научный вестник. Серия: Приборы, машины и технологии, 2008. - № 1(64). - С. 141-144.
11. Зыкин С.В., Чанышев О.Г. Использование сильноструктурированных моделей данных при обработке слабоструктурированных данных// Омский научный вестник. Серия: Приборы, машины и технологии, 2008. - № 2(68). - С. 115-118.
12. Зыкин С.В. Преобразование данных в базе данных с использованием многотабличных представлений // Омский научный вестник. Серия: Приборы, машины и технологии, 2008. - № 1(64). - С. 138-141.
13. Кем А.А., Паничкин А.В., Красильников Е.В. Метод двумерной оценки равномерности распределения семян по площади питания // Сибирский вестник сельско-хозяйственных наук, секция механизации, № 11, с. 87-92.
14. Лопатин А. А., Зубков А. Н. Representations of Quivers, their Generalizations and Invariants. // "Вестник Омского Университета", Специальный выпуск, 2008, с. 9-24.
15. Лучко О.Н., Маренко В.А., Розанова Л.В. Моделирование социальной сферы. - Изд-во ОГИС, Омск, 2008. - 91 с. ISBN 987-5-93252-006-6.
16. Мищенко А.А. Универсальная эквивалентность частично коммутативных двуступенно нильпотентных Q-групп. // "Вестник Омского Университета", Специальный выпуск, 2008, с. 61-67.
17. Морарь П.В. Нормальные формы для полугрупп с малым перекрытием. // "Вестник Омского Университета", Специальный выпуск, 2008, с. 68-88.
18. Носков Г. А. Hilbert Geometry and Dynamics of Non-expanding Maps, Комбинаторные методы алгебры и сложность вычислений. // "Вестник Омского Университета", Специальный выпуск, 2008, с. 25-35.

Препринты и статьи, помещенные в Internet

1. Berestovskiy V.N., Nikonorov Yu.G. Clifford-Wolf homogeneous Riemannian manifolds. arXiv.0803.4368v1 [math.DG] 31 Mar 2008. 24 p.
2. Noskov G.A. Image of automorphism group of a graph group under abelianization map. Препринт.

Учебные и методические пособия и издания

1. Адельшин А.В., Ягофарова Д.И. Экономико-математические методы: Учебное пособие. Омск: Изд-во ОмГУ, 2008, 64 с.
2. Еремеев А.В. Генетические алгоритмы и оптимизация: Учебное пособие. Омск: Изд-во ОмГУ, 2008, 48 с.
3. Забудский Г.Г. Элементы финансовой математики: Учебное пособие. Омск: Изд-во ОмГУ, 2008, 59 с.
4. Зыкин С.В. Базы данных. Учебное пособие // Омский государственный университет, 2008, 28 с.
5. Колоколов А.А., Леванова Т.В., Лореш М.А. Алгоритмы муравьиной колонии для решения задач дискретной оптимизации: Учебное пособие. Омск: Изд-во ОмГУ, 2008, 32с.
6. Пичугина А.Н., Пичугин Б.Ю. Сборник задач по уравнениям математической физики: учебное пособие. Омск: Изд-во ОмГУ, 2008, 64 с.

Тезисы конференций

1. Borisovsky P.A., Eremeev A.V., Floudas C.A., Shaik M.A., Kallrath J. A hybrid method for multi-product continuous plant scheduling based on decomposition approach and genetic algorithm // Book of Abstracts of GOR Workshop “Scheduling in the Process Industry”, Bad Honnef, Germany, 2008, P. 5.
2. Daniyarova E. Yu., Myasnikov A.G., Remeslennikov V.N. Unification theorems in algebraic // Abstracts of Intern. Algebraic Conference on the Occasions of the 100th Anniversary of Professor A.G. Kurosh, Moscow, 2008, p. 284–285
3. Daniyarova E., Miasnikov A., Remeslennikov V. Unification theorems in algebraic geometry II Abstracts of Intern. Algebraic Conference on the Occasions of the 100th Anniversary of Professor A.G. Kurosh, Moscow, 2008, p. 284-285.
4. Dolgui A., Eremeev A., Guschinskaya O. MIP-based heuristics for scheduling batch production with shifts // Book of Abstracts of GOR Workshop “Scheduling in the Process Industry”, Bad Honnef, Germany, 2008, P. 8.
5. Eremeev A. NP-hard cases of optimal recombination // Book of Abstracts of Dagtuhl Seminar “Theory of Evolutionary Algorithms”, Dagtuhl, Germany, 2008, P. 2-3.
6. Remeslennikov V.N. Finite graphs, free partially commutative groups and arithmetic grOUpS // Abstracts of Intern. Algebraic Conference on the Occasions of the 100th Anniversary of Professor A.G. Kurosh, Moscow, 2008, p. 342-343.
7. Rybalov A., Myasnikov A. Generic complexity of undecidable problems // Proceedings of the International Conference Methods of Logic in Mathematics, Saint-Peterburg, Russia, June 1-7, 2008., с.17.
8. Zadorin A.I. A spline-interpolation method for a boundary layer problem // Abstracts of International Conference “Differential equations, function spaces, approximation theory”, Novosibirsk, Russia, October 5-12, 2008, p. 628.
9. Галуза М.А., Маренко В.А. Моделирование рекламного процесса // Совершенствование технологий обеспечения качества образования. Междун.научн.-практ.конф.15-16 апреля 2008 г.: Сб.статей /Под общей редакцией проф. Н.У. Казачуна. - Омск: ОГИС, 2008. - С. 5-6.
10. Девятерикова М.В., Колоколов А.А., Косарев Н.А. Исследование устойчивости некоторых алгоритмов целочисленного программирования // Тезисы докладов международной конференции “Алгоритмический анализ неустойчивых задач”, посвященной 100-летию со дня рождения В.К. Иванова, Екатеринбург, 2008, С. 264.
11. Задорин А.И., Сабанцев И.А. Численный метод для параболического уравнения на неограниченном интервале // Тезисы 9 всероссийской конференции молодых ученых по математическому моделированию и информационным технологиям, Кемерово, 28-30 октября 2008, с. 20.
12. Колоколов А.А., Косарев Н.А. Исследование устойчивости некоторых алгоритмов для решения некоторых задач размещения предприятий // Тезисы докладов XV Международной конференции “Проблемы теоретической кибернетики”, Казань, 2008, С. 52.
13. Колоколов А.А, Ларина Л.В. Формирование проверочных тестов по информатике с использованием дискретной оптимизации. //Мат-лы XIX Международ. конф. "Применение новых технологий в образовании". - Троицк: МОО фонд новых технологий в образовании "Байтик", 2008. - С.326-327.
14. Колоколов А.А., Ларина Л.В. Применение дискретной оптимизации для решения задач формирования тестов. // Единая образовательная информационная среда: проблемы и пути развития Седьмая Международ.науч.-практ.конф.-выставка (Омск,22 —25 сентября 2008 г.).Томск: Дельтаплан, 2008.— С.118-119.
15. Лопатков М.Г., Николаев В.Б., Филимонов В.А. Проект «Рубка Мира»: ситуационный центр управления параметрами образовательного процесса //Матер. Седьмой Международной научно-практической конференции-выставки «Единая образовательная информационная среда: проблемы и пути развития».- Омск, 22 - 25 сентября 2008 г. // Омск: ОмГУ, 2008, с.14.
16. Маренко В.А. Модели и алгоритмы для анализа маркетинговой информации // V всесибирский конгресс женщин-математиков: Материалы конференции, январь 2008 г. /Под ред.к.ф.-м.н. Рудаковой Г.М. – Красноярск: РИО СибГТУ, 2008, с. 95-97.
17. Мухаметдинова С.Х., Филимонов В.А. Мониторинг образовательного процесса в ситуационном центре // «Ситуационные центры и перспективные информационно-аналитические средства поддержки принятия решений». Сб. материалов Всероссийской научно-практ. конф. 25-26 апреля 2007 г. // М.: 2008.- Российская Академия гос. службы при Президенте РФ, с.284-287.
18. Филимонов В.А. Винтсервинг-2007: многодисциплинарная технология обучения коллектива // «Ситуационные центры и перспективные информационно-аналитические средства поддержки принятия решений». Сб. материалов Всероссийской научно-практ. конф. 25-26 апреля 2007 г. // М.: 2008.- Российская Академия гос. службы при Президенте РФ, с.288-290.

Авторефераты и диссертации.

1. Алексеенко И.В. Разработка системы автоматизированного проектирования технологических схем процессов изготовления меховой одежды// Автореферат диссертации на соискание ученой степени кандидата технических наук. Омск, 2008, 18 с.
2. Гуселетова О.Н. Математические модели и алгоритмы дискретной оптимизации для решения задач формирования сложных изделий// Автореферат диссертации на соискание ученой степени кандидата технических наук. Омск, 2008, 18 с.
3. Мещеряков Е.А. Полные плоские строго причинные лоренцевы многообразия: Автореферат дис. … канд. ф.-м.. наук, специальность 01.01.04. - Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2008.

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

4.1. Почетные звания, премии, стипендии

• Маренко В.А. Диплом лауреата конкурса на лучшую научную книгу 2007, проводимого Фондом развития отечественного образования за книгу «Моделирование бизнес-процессов: субъектно-ориентированный подход»
• Леванова Т.В. Почетное звание «Заслуженный ветеран СО РАН»

4.2. Основные количественные показатели 2008 г.

Общий объем финансирования, тыс. руб.	24 773
В том числе, базовое, тыс. руб.	18 640
РФФИ, РГНФ	2 480
Программы РАН, СО РАН	20 670
х/д,	354
Соглашения с зарубежными партнерами	1269
Научных сотрудников (без совместителей)	38
Докторов наук	12
Кандидатов наук	24
Молодых специалистов (до 33 лет)	9
Аспирантов	19
Рейтинговых публикаций	65
Грантов РФФИ, РГНФ	7

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

Год	2001	2002	2003	2004	2005	2006	2007	2008
Кол-во	36	41	48	60	50	51	58	41

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

Публикации	2001	2002	2003	2004	2005	2006	2007	2008
Монографии	1	4	3		2
Рейт. публ.	47	51	53	86	59	65	37	66
Всего	137	150	159	159	116	134	156	115