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

Сибирское отделение Российской Академии наук
И Н С Т И Т У Т М А Т Е М А Т И К И им. С. Л. С О Б О Л Е В А
ОМСКИЙ
ФИЛИАЛ
УТВЕРЖДАЮ:
Директор д.ф-м.н., профессор
______________ В.А. Топчий
«
» ______________2006 г.
ОТЧЕТ
РЕЗУЛЬТАТЫ НАУЧНО-ОРГАНИЗАЦИОННОЙ ДЕЯТЕЛЬНОСТИ
в 2006 г.
Утвержден Ученым Советом 20.11.2006
Омск - 2006
2
РЕФЕРАТ
Отчет содержит 32 стр. текста и 135 названий публикаций. В отчете представлены
результаты фундаментальных и прикладных исследований и разработок, проведенных в
2006 г. Омским филиалом Института математики им. С.Л. Соболева СО РАН. Дана краткая информация о научно-организационной деятельности в СО РАН, в Омском регионе и
в рамках международных контактов.
Ключевые слова: комбинаторная алгебра, теория вероятностей, математическое
моделирование, начально-краевые задачи гидродинамики, методы оптимизации, информационные модели.
Директор
д.ф.-м.н., профессор Валентин Алексеевич Топчий
т. (3812) 236567, admin@ofim.oscsbras.ru
Ученый секретарь
Валентина Александровна Планкова
т. (3812) 236590, plankova@ofim.oscsbras. ru
http://ofim.oscsbras.ru
3
СОДЕРЖАНИЕ
стр.
I
ВВЕДЕНИЕ
4
II
ИТОГИ НАУЧНЫХ ИССЛЕДОВАНИЙ
5
2.1. Важнейшие научные результаты
5
2.2. Научная работа лабораторий
6
НАУЧНО-ОРГАНИЗАЦИОННАЯ ДЕЯТЕЛЬНОСТЬ
14
3.1. Проекты, имеющие поддержку на международном,
14
III
федеральном и региональном уровнях
3.2. Характеристика международных научных связей и совместной
16
деятельности с зарубежными научными учреждениями
IV
3.3. Участие в работе научных мероприятий, проводившихся в России
16
3.4. Работа в ВУЗах
18
3.5. Диссертационные советы
19
3.6. Список публикаций
21
СПРАВОЧНАЯ ИНФОРМАЦИЯ
31
4
I. ВВЕДЕНИЕ
Структурные подразделения
Лаборатория комбинаторных и вычислительных методов алгебры и логики
Лаборатория теоретико-вероятностных методов
Лаборатория математического моделирования в механике
Лаборатория моделирования сложных систем
Лаборатория методов преобразования и представления информации
Лаборатория дискретной оптимизации
Центр информационного обслуживания научных исследований
Основные задания к плану научно-исследовательских работ
Омского филиала Института математики им. С.Л. Соболева
Сибирского отделения Российской Академии наук
на 2006 г.
Алгебраическая геометрия над группами, случайные процессы, алгоритмы дискретной оптимизации (2004-2006 гг., № гос. регистрации – 0120.0 404339)
Руководитель – В.А. Топчий,
Исполнители – Лаборатория комбинаторных и вычислительных методов,
Лаборатория Теоретико-вероятностных методов,
Лаборатория дискретной оптимизации.
Разработка методов построения информационно – вычислительных процессов для сложных систем (2004-2006 гг., № гос. регистрации – 0120.0 404340)
Руководитель – А.И. Задорин,
Исполнители – Лаборатория математического моделирования в механике,
Лаборатория моделирования сложных систем,
Лаборатория методов представления и преобразования информации.
5
II. ИТОГИ НАУЧНЫХ ИССЛЕДОВАНИЙ
2.1. Важнейшие научные результаты
Построена обобщенная теория накрывающих пространств и групп для широкого подкласса равномерных пространств. Эта теория включает, в качестве
очень специальных случаев, хорошо известные теории накрывающих пространств
Пуанкаре, Шеваллье, Хоффмана и Морриса и, в некотором смысле, является предельной для обобщений (в.н.с. В.Н. Берестовский совместно с Конрадом Плаутом).
Построена обобщенная теория накрывающих (в том числе универсальных) пространств и групп для широкого подкласса равномерных пространств, состоящего из так
называемых «накрываемых» пространств. Три особо важных класса равномерных пространств: метрические пространства, компактные топологические пространства, топологические пространства, топологические группы. В последнем случае построенная теория
фактически совпадает с построенной ранее авторами теорией для «накрываемых» топологических групп в статье «Covering group theory for topological groups», Top. Appl. 114
(2001) 141 – 186.
Предложен подход к оптимизации размещения взаимосвязанных объектов с
учетом запрещенных зон, основанный на применении целочисленного программирования (к.ф.-м.н. Г.Г.Забудский).
Рассматриваются задачи размещения взаимосвязанных объектов на плоскости
при наличии прямоугольных запрещенных зон с минимаксным критерием и критерием
минимальной суммарной стоимости связей (задачи Вебера). Предложен подход для решения задач указанного класса на основе построения моделей целочисленного линейного программирования. Указанный подход позволяет применять достаточно разработанный аппарат целочисленной оптимизации (методы ветвей и границ, отсечений, перебора
L- классов и др). Для частных случаев предложены полиномиальные комбинаторные алгоритмы.
6
2.2. Научная работа лабораторий
Лаборатория комбинаторных и вычислительных методов алгебры и логики
(заведующий – д.ф.-м.н. Ремесленников В.Н.)
Описаны соотношения для матричной алгебры O(n)-инвариантов. Аналогичный
результат получен и для Sp(n). Получен ряд результатов о матричной алгебре GL(n)инвариантов для случая n=3. Основные из них:
а) найдена минимальная система порождающих для произвольного количества матриц;
б) найдена однородная система параметров для случая трех матриц (Лопатин А.А.).
Описаны орисферы геометрии Гильберта на выпуклых областях гильбертова пространства. Подготовлена статья "Geodesics in the Heisenberg group: an elementary
approach", в которой с помощью элементарных средств геометрии выпуклых двумерных
фигур найдены формы геодезических лево-инвариантных метрик Карно-КаратеодориФинслера на группе Гейзенберга. В 1994 г. этот результат получил В. Н. Берестовский,
используя принцип максимума Понтрягина (Носков Г.А.).
Построена обобщенная теория накрывающих (в том числе универсальных) пространств и соответствующих групп для широкого класса равномерных пространств,
называемых “накрываемыми” (совместно с К.Плаутом), препринт V.Berestovskii and
C.Plaut, Generalized universal covers of uniform spaces, arXiv: math AT /0607353v1, 14 Jul.
2006). Доказано, что всякое киллингово поле постоянной длины на симметрическом римановом пространстве порождается свободным действием группы R или группы S1. Доказано, что однородное риманово многообразие М постоянной положительной кривизны
не допускает квазирегулярных (т.е. порождаемых почти свободным, но не свободным
действием группы S^1) киллинговых полей постоянной длины тогда и только тогда, когда М является сферой или вещественным проективным пространством (Берестовский В.Н.).
Решена проблема полурешеток рациональных (регулярных) множеств для разрешимых групп и частично решена для артиновых групп (Баженова Г.А.).
Изучены асимптотические характеристики для серии групп Zr,1 = Zr * Z (Морарь П.В.).
В области генерической сложности алгоритмов для свободных конструкций получены следующие результаты:
Теорема 1. Пусть A*_CB свободное произведение свободных групп с амальгамой
С конечного ранга. Тогда:
 Временная сложность стандартного алгоритма 1 ограничена сверху экспоненциальной функцией.
 Существуют свободные группы А и В с амальгамой С конечного ранга, для которых нижняя и верхняя границы временной сложности экспоненциальны.
Теорема 2. Пусть G=A*_CB – свободное произведение конечно представленных
групп А и В с амальгамой С конечного ранга. Пусть для A и В разрешимы следующие
проблемы:
 Поисковая проблема для представителей класса смежности для подгрупп С.
 Поисковая проблема мощности множества Sub(C).
 Поисковая проблема сопряженности.
 Проблема вхождения сопряженного элемента в подгуппу С.
Тогда проблема сопряженности в G разрешима для циклически редуцированных регулярных элементов из G и их сопряженных.
Теорема 3. Пусть G=A*_CB – свободное произведение конечно представленных
групп А и В с амальгамой С конечного ранга. Пусть для А и В разрешимы следующие
проблемы:
 Поисковая проблема для представителей класса смежности для подгрупп С.
7
 Поисковая проблема мощности множества Sub(C). Тогда проблема сопряженности
в G разрешима для циклически редуцированных регулярных элементов g слоговой
длины l(g)>1 (В.Н. Ремесленников совместно с А. Г. Мясниковым и А. В. Боровиком).
По теории частично-коммутативных групп получены следующие результаты:
 создана теория ортогональных систем для таких групп (В. Н. Ремесленников, А.
Данкан, И. В. Казачков)
 описаны централизаторы частично-коммутативных групп (В. Н. Ремесленников, А.
Данкан, И. В. Казачков)
 описаны графы коммутативности в нильпотентных частично-коммутативных
группах (аспиранты А. А. Мищенко, А. В. Трейер).
Построен собирательный процесс при помощи которого получаются новые нормальные формы в группах кос. Эти нормальные формы обобщают нормальные формы Артина-Маркова и имеют совершенно естественное геометрическое описание (Есып Е.С., Казачков И.В.).
Построена теория делимости для группы F, следующая идеям аналогичных теорий для частично коммутативных групп и артиновых групп. При помощи этой теории
построен алгоритм для атаки на криптографическую сиcтему, использующую группу
Томпсона (Есып Е.С.).
Получена следующая теорема:
Теорема 4. Произвольное алгебраическое множество Y над свободной алгеброй
Ли Lr в размерности один – это:
 либо ограниченное алгебраическое множество;
 либо Y=Lr.
Оказалось, что результаты работы без изменений перекладываются на случай
свободной антикоммутативной алгебры Ar ранга r. Алгебраическая геометрия над алгебрами Fr и Ar в настоящее время продолжает активно изучаться (Ремесленников В.Н., Даниярова Э.Ю.).
Исследованы уравнения вида [x,u]+[y,v]=0 над свободной алгеброй Ли; показано,
что их решения устроены сложно и не являются ограниченными алгебраическими множествами (Ремесленников В. Н., Штёр Р.).
Лаборатория теоретико-вероятностных методов
(заведующий – д.ф.-м.н. Топчий В.А.)
Для популяций фиксированного объема N, имеющих в начальный момент времени имеется M типов частиц (M ≤ N и количество частиц каждого типа фиксировано),
предложено обобщение модели, в котором распределение вектора численности потомства всех частиц симметрично относительно перестановок. Получены верхние оценки
для E – среднего случайного момента времени, когда впервые популяция будет состоять
из частиц одного типа. Оценки обобщают все имевшиеся ранее, в том числе и предшествующие результаты данных авторов (Клоков С.А., Топчий В.А.).
Продолжены исследования асимптотического поведения численности частиц в
нуле для каталитических случайных блужданий по многомерным целочисленным решеткам с единственным источником ветвления в нуле. Получен ряд промежуточных результатов (Топчий В.А.).
Продолжалась работа в области оценок скорости сходимости и бетаперемешивания для марковских процессов авторегрессионного типа, зависящих от параметра. (Клоков С. А.)
Для задач распознавания, основывающихся на байесовском критерии, предложена
и доказана формула перехода от n-мерной плотности исходных данных к n-мерной плотности факторов. Полученный теоретический результат использован в решении задач
8
распознавания кардиопатологий. Построены вычислительные алгоритмы для указанных
задач распознавания. Сформулирована и доказана теорема об оценке плотности распределения факторных объектов. Данная теорема позволяет работать с факторами, распределенными по закону, близкому к нормальному. Реализованы и протестированы вычислительные алгоритмы на соответствующем эмпирическом материале. Предложен и реализован алгоритм совместного использования Q-техники и R-техники факторного анализа для диагностики заболеваний сердечно-сосудистой системы. (Гольтяпин В.В.).
Продолжалась работа по исследованию вероятностных individual-based моделей
динамики биологических популяций. Разработаны алгоритмы имитационного моделирования сложных биологических сообществ взаимодействующих индивидуумов, каждый
из которых охарактеризован набором случайно меняющихся параметров. При построении алгоритмов использованы численные методы Монте-Карло. Рассмотрена стохастическая модификация модели Мэя-Андерсона распространения эпидемии в изолированной популяции. Численно установлено, что в случае экспоненциального распределения
времени жизни индивидуумов поведение стохастической модели аналогично поведению
детерминированной модели Мэя-Андерсона, а в случае не экспоненциального распределения динамика популяции существенно меняется (Пичугин Б.Ю.).
Изучены многообразия генетически обусловленных структур (ГО-СТ) и одного из
фундаментальных примеров ГО-СТ в рамках теории динамических информационных
систем (ДИС, ТДИС) – сети ДИС-компьютеров. Более конкретно, в плане изучения многообразия ГО-СТ установлена серия математических закономерностей индуктивного и
дедуктивного толка, которым даны также интерпретации физического и философского
содержания (Сизиков В.П.).
Ведется работа над созданием компьютерной системы диагностики знаний студентов экономических специальностей по экономико-математическим методам. Предложена методика создания валидных тестов. Ведется работа над созданием базы задач с
использованием специально предложенной методики (Планкова В.А.).
Лаборатория математического моделирования в механике
(заведующий – д.ф.-м.н. Задорин А.И.)
Предложен численный метод решения задачи Блазиуса. Задача Блазиуса представляет собой краевую задачу на полубесконечном интервале для нелинейного обыкновенного дифференциального уравнения третьего порядка. Особенность задачи в нелинейности и в неограниченности на бесконечности коэффициента при второй производной. Введением новой зависимой переменной задача сведена к системе нелинейных
уравнений первого и второго порядка с предельным условием на бесконечности. Проведена линеаризация задачи с обоснованием сходимости итерационного метода. Показано,
как на каждом итерационном шаге введением новой независимой переменной можно перейти к уравнению второго порядка с ограниченными коэффициентами и применить метод выделения устойчивых многообразий для редукции краевой задачи с бесконечного
интервала к интервалу. Численные эксперименты подтвердили преимущество предлагаемого подхода (Задорин А.И.).
Предложен и исследован метод интерполяции для задачи с пограничным слоем в
случае ОДУ второго порядка. Рассмотрена краевая задача для сингулярно возмущенного
обыкновенного дифференциального уравнения второго порядка. Предполагается, что
решение задачи найдено в узлах сетки с применением равномерно по малому параметру
сходящейся разностной схемы. Показано, что метод интерполяции на основе многочлена
Лагранжа в случае равномерной сетки приводит к значительным погрешностям. Предложен метод экспоненциальной интерполяции и доказано, что погрешность такой интерполяции мала равномерно по малому параметру, точность предложенного метода интерполяции - первого порядка по шагу сетки. Показано, как на основе такой интерполя-
9
ции можно вычислять производную решения в произвольной точке с погрешностью,
равномерно малой по параметру. Доказано, что использование сетки, сгущающейся в
пограничном слое, приводит к равномерно малой погрешности многочленной интерполяции для вычисления решения и производной (Задорин А.И.).
Интегро-интерполяционным методом построена схема повышенного порядка
точности для двумерного уравнения переноса. Конечно-разностная схема строится для
двумерного эллиптического уравнения второго порядка с малым параметром при старших производных, коэффициенты конвекции и правая часть - достаточно гладкие функции. На первом этапе построения проводится интегрирование по двум направлениям в
расчетной ячейке с двойным шагом по каждому направлению, с использованием разложения коэффициентов и правой части до второго порядка малости по шагу сетки. На
втором этапе используется приближенное интегрирование по методу Симпсона для сохранения повышенной точности схемы при расчете задач с сингулярными особенностями. Проведены расчеты для тестовой задачи переноса с сингулярным возмущением на
границе области в широком диапазоне чисел диффузии и числа шагов по каждому
направлению равномерной сетки. Получено существенное преимущество предлагаемой
схемы по точности расчетов перед схемами, не учитывающими изменения коэффициентов и правой части уравнения в рамках расчетных ячеек. Разработанный метод применен
для исследования перемещения жидкости под влиянием интенсивного низкочастотного
ультразвука и механизма диффузии в жидких средах, в насыщенных жидкостью пористых структурах различной жёсткости, определены зависимости переноса по времени от
толщины пористых перегородок и объемов насыщенных сред (Паничкин А.В.).
Разработан метод криволинейных панелей для решения сингулярных интегральных уравнений с ядром Коши на замкнутых контурах. В основе метода панелей лежит
замена контура интегрирования полигоном, составленным из гладких элементов – панелей, и представления искомой функции на каждой панели некоторыми аппроксимирующими функциями. Известные варианты метода панелей позволяют с приемлемой для
практики точностью строить решение сингулярных интегральных уравнений для достаточно гладких контуров. Однако для контуров, имеющих участки с большой кривизной,
такой расчет может дать большую погрешность решения. Разработанный метод криволинейных панелей позволяет с высокой точностью решать интегральные уравнения с ядром Коши для замкнутых контуров, имеющих форму аэродинамических профилей, и допускающих сколь угодно большую кривизну в окрестности передней кромки. Это достигается путем специального выбора криволинейных панелей и представления искомой
функции с учетом их асимптотик в малой окрестности передней кромки профиля, и построения соответствующей квадратурной формулы для сингулярных интегралов с ядром
Коши (Горелов Д.Н., Редреев Д.Г.).
Предложены критерии отрыва нестационарного потока идеальной жидкости с
гладкого контура. Проблема отрывного обтекания тел является одной из главных в
гидродинамике в течение более ста лет. Наиболее полно исследована модель
стационарного отрывного обтекания. Однако реальные отрывные течения имеют ярко
выраженный нестационарный характер. Для таких течений до сих пор остается
проблематичным условие отрыва потока с поверхности тела. Предложены необходимые
критерии отрыва нестационарного потока идеальной несжимаемой жидкости от гладкого
замкнутого контура, главным из которых является условие обращения в ноль градиента
давления в точке отрыва. Получено нелинейное дифференциальное уравнение первого
порядка для дуговой координаты точки отрыва потока, являющейся функцией времени и
зависящей от поля скоростей вокруг контура и закона его движения. (Горелов Д.Н.)
10
Лаборатория моделирования сложных систем
(заведующий – д.т.н. Чуканов С.Н.
Разработана информационная система, предназначенная для моделирования
процессов управления сложной нелинейной динамической системой. Управляющая
система включает в себя нейросетевой регулятор и нейросетевую модель объекта
управления. Для настройки весовых коэффициентов рекуррентных нейросетей
реализован алгоритм динамического обратного распространения ошибки (forward
perturbation). Алгоритм адаптивного управления с идентификацией основан на
рекуррентном методе наименьших квадратов с экспоненциальным забыванием.
(Мещеряков В.А.).
Разработаны модели антенн транспортных средств (автомобильный транспорт).
Методами математического моделирования исследовано влияние металлических
предметов (корпуса автомобиля) и параметров подстилающей поверхности на
характеристики антенн. Проведено моделирование процесса распространения радиоволн
для радиолиний дальностью до 100 км. Предложен алгоритм назначения рабочих частот
при работе на данных радиолиниях с использованием ионосферной и поверхностной
радиоволн (Зачатейский Д.Е.).
Выполненная
работа
является
разработкой
следствий
обобщения
радиолокационного соотношения неопределённостей (РСН). Обобщение РСН было
получено ранее в результате выявления детерминированного, но неустранимого
компонента погрешности волновых измерений. Область применимости соотношения
неопределённости (СН) в его канонических формах
ограничивается взаимной
независимостью входящих в него величин. В настоящей работе рассмотрено обобщение
РСН на примере зависимости частоты от времени: f=f(t), fconst., df/dt . Одно из
следствий обобщённого РСН состоит в том, что не равный нулю минимум
неопределённости измерения
макроскопической величины достигается при её
измерении в оптимальном, также не равном нулю, интервале неопределённости,
получаемом в процессе пошагового локального квантования сомножителей РСН.
Алгоритм процесса упомянутой минимизации неопределённости измерения приводит к
расширению понятия измерения: измерение – это единый измерительноинформационный процесс, включающий отсчёты, вычисления, а также - пошаговую
адаптацию параметров измерителя к параметрам измеряемого объекта. Предложено
определение погрешности измерений, в котором нет опоры на неизмеряемое в физике
гипотетическое истинное значение, отождествляемое с точным. В предложенном
определении погрешности за истинное значение макроскопической величины
предлагается принимать её значение, измеренное с наименьшей неопределённостью в
оптимальном интервале. Показано, что адекватной математической моделью числа,
представляющего физическую величину, является число интервальное. Проведена
оценка практической значимости нового подхода для выбора оптимальной ширины
спектра светового импульса в линии оптоволоконной связи. (Терехов Л.С.).
Исследовались множества достижимых элементов для систем управления на
многообразиях с ограничениями на управление в виде поля конусов на многообразии в
случае плоского полного лоренцева многообразия, причем поле конусов задается
лоренцевой метрикой. Кроме того, исследовались общие нули оператора ЛапласаБельтрами на компактных многообразиях и полиномиально выпуклые оболочки орбит
копактных линейных групп.
Получено описание плоских полных лоренцевых строго причинных многообразий
и исследована их геометрия. Доказано, что на компактном римановом многообразии с
тривиальными первыми когомологиями де Рама любые две собственные функции
оператора Лапласа-Бельтрами, отвечающие ненулевому собственному значению, имеют
общий нуль. Для однородных пространств верно обратное: если первые когомологии
11
нетривиальны, то имеется пара собственных функций, отвечающих одному
собственному числу, не имеющая общих нулей. Из доказанного следует утвердительный
ответ на вопрос, поставленный в работе J. Galindo, P., de la Harpe, T.Vust J. Lie Theory,
12, 535-538.: верно ли, что любая орбита компактной группы в пространстве
неприводимого представления пресекает любую гиперплоскость?
Получено описание полиномиально выпуклых оболочек орбит полупрямых
произведений торов с конечными группами, а также полное описание следующей
ситуации: комплексификация орбиты тора инвариантна относительно конечной группы.
Подготовлена статья Gichev V.M., Orbits of tori extended by finite groups and their
polynomial hulls: the case of connected complex orbits. Направлена в Contemporary
Mathematics. Применение полученных результатов возможно в теории оптимального
управления (Гичев В.М.).
Для моделей неавтономной динамики (управляемых гладких неавтономных динамических систем), описывающих взаимодействие двух групп подвижных объектов,
траектории первой из которых заданы, а конечный вектор координат второй не закреплён:
 Выделен класс задач оптимального управления второй группой объектов, допускающий направленную оптимизацию начального вектора управления при сохранении
начального вектора состояния.
 Разработан соответствующий алгоритм направленной оптимизации вектора
начальных координат.
 Для исследуемой модели траекторного управления:
 Формализован в виде задачи оптимального управления общий случай задачи оптимального планирования поиска неподвижных точечных целей с заданными распределениями координат с риском гибели поисковых единиц.
 Формализованы в виде задач оптимального управления практически интересные
варианты задачи оптимального преследования группы целей с заданными траекториями группой объектов-преследователей по критерию минимизации суммарного
времени жизни целей на интервале управления (Нартов Б.К).
В 3-мерной теории поля известно разложение Гельмгольца векторного поля.
Декомпозиция Гельмгольца может быть записана с использованием оператора Ходжа.
Однако при n>4 оператор Ходжа 1-формам сопоставляет k-формы со значением k>3;
декомпозиция Ходжа - Гельмгольца при этом некорректна. Поэтому построение
алгоритмов декомпозиции, аналогичной декомпозиции Ходжа-Гельмгольца, является
актуально задачей. Метод ортогональной декомпозиции для n-мерного случая может
быть использован для определения векторного и скалярного потенциалов векторной
поля динамической системы и инвариантов векторной поля для случая размерности n>4.
Для динамической системы с векторным полем f(x) построена обобщенная
функция Гамильтона в замкнутой выпуклой области и формируется ортогональная
декомпозиция векторного поля на градиентный и тангенциальный компоненты.
Для тангенциального векторного поля ft(x) построено уравнение Лэмба-Козлова,
дифференциальные 1-форма и 2-форма, по которым формируются инварианты
Годбийона-Картана (величины инвариантные к действию аффинной группы
преобразований).
«плотность
заряда»,
удовлетворяющая
соотношению
Пуассона
и
значение
«заряда»
интегрированием по замкнутой выпуклой области (Чуканов С.Н.).
12
Лаборатория методов преобразования и представления информации
(заведующий – к.ф.-м.н. Зыкин С.В.)
Разработан и исследован алгоритм обратного преобразования представления
данных из гиперкубического в реляционное. Новизна заключается в расширении списка
допустимых операций над гиперкубическим представлением данных (Зыкин С.В.).
Разработаны: методы автоматического извлечения из множества текстов
кандидатов в термины предметных областей (грамматически отфильтрованные
словосочетания с наиболее тематически значимыми словами (доминантами); алгоритмы
интерпретации произвольного запроса пользователя на основе кандидатов в термины;
программное обеспечение автоматического формирования фактов базы знаний для ИПС
и собственно ИПС; алгоритмы включения результатов автоматического анализа
отдельных текстов в базы знаний о предметных областях, представленных в виде
множества фактов (Чанышев О.Г.).
Исследованы технологии использования ситуационных центров
для
профилактики, мониторинга и ликвидации последствий чрезвычайных ситуаций.
Поставлена задача формирования промежуточной технологии создания и эксплуатации
ситуационных центров на базе местных ресурсов (Филимонов В.А.).
Проведена сравнительная оценка алгоритмов на матричных играх. На
имитационных экспериментах показано, что оптимальные стратегии не являются
лучшими с точки зрения конечного результата. Разработана и апробирована технология
представления в ГИС археологических памятников Новосибирской области. Продолжена
работа по представлению информации о памятниках Омской области. В настоящее
время в ГИС интегрирована информация о памятниках Омской, Новосибирской,
Тюменской и Томской областей. Наиболее полно представлены памятники Омской
области (более 800 памятников). Созданы условия для анализа математическими
методами данных, представленных в электронном виде. (Пуртов А.М.).
Лаборатория дискретной оптимизации
(заведующий – д.ф.-м.н. Колоколов А.А.)
Разработаны
параллельные алгоритмы
решения
задачи выполнимости
логической формулы, основанные на переборе L-классов. Предложены алгоритмы
локального поиска приближенного решения задачи максимальной выполнимости, в
которых в качестве одной из процедур используется алгоритм перебора L-классов для
решения задачи выполнимости. Проведены экспериментальные исследования на
различных тестовых задачах (Колоколов А.А., Адельшин А.В., Тюрюмов А.Н.,
Ягофарова Д.И.).
Для поиска Парето-оптимальных решений двухкритериальной задачи
оптимального размещения сервисных центров предложен
подход на основе
декомпозиции задачи и перебора L-классов, проведены вычислительные эксперименты
(Колоколов А.А., Заозерская Л.А.).
Разработаны алгоритмы муравьиной колонии для задачи размещения с
ограничениями на мощности производства. Проведено экспериментальное исследование
алгоритмов. Продолжено исследование теоретических вопросов
сходимости
алгоритмов муравьиной колонии для ряда задач размещения предприятий (Леванова
Т.В., Лореш М.А.).
Исследована сложность задачи календарного планирования проектов со
складируемыми ресурсами для следующих критериев оптимизации: минимизация
среднего времени завершения работ проекта и максимизация чистой приведенной
прибыли. Проведено исследование сложности задачи календарного планирования
инвестиционных проектов (Сервах В.В., Щербинина Т.А.).
13
Построена вполне полиномиальная аппроксимационная схема решения задачи
минимизации циклического времени при ограничении максимального числа
одновременно обрабатываемых деталей фиксированной величиной (Сервах В.В.,
Межецкая М.А).
Исследована вычислительная сложность задачи оптимальной рекомбинации в
генетических алгоритмах на классе задач булевого линейного программирования, где
кодировка решений совпадает с булевым вектором решения. Установлена эффективная
разрешимость задачи оптимальной рекомбинации для задач упаковки множества
максимального веса, разбиения множества минимального веса и простейшей задачи
размещения производства. Предложен эффективный оператор оптимальной
рекомбинации для задачи о покрытии множества минимального веса при недвоичной
кодировке решений. Показана NP-трудность задачи оптимальной рекомбинации для
некоторых задач булевого линейного программирования (Еремеев А.В.)
Для задачи управления поставками продукции предложено два варианта
генетического алгоритма. Первый алгоритм основан на использовании жадного
декодера, во втором реализован оптимизированный оператор кроссинговера с
процедурой точного решения подзадачи уменьшенной размерности. Проведено
численное исследование предложенных алгоритмов и сравнение с пакетом CPLEX 9.0,
показавшее их конкурентоспособность (Еремеев А.В., Борисовский П.А.)
Разработаны модели дискретной оптимизации для создания эскизов подростковой
одежды с учетом особенностей фигуры, проведен вычислительный эксперимент с
реальными исходными данными (Колоколов А.А., Коробова А.Б., Захарова Е.О.,
Привалова Ю.И.).
Предложены новые варианты математических моделей для точного и
приближенного решения задачи эскизного проектирования одежды, проведены
экспериментальные расчеты (Колоколов А.А., Ярош А.В, Орлова Т.М.).
Центр информационного обеспечения научных исследований
(заведующий – к.ф.-м.н. Алгазин В.А.)
По компьютерной сети КС ОКНО (КС ОКНО) выполнены следующие работы:
1. Подключена в опорную сеть КС ОКНО ЛВС Омского филиала Института физики полупроводников (ОФ ИФП СО РАН), расположенного на 2 площадке ИППУ СО РАН.
2. Настроен и запущен в работу новый аппаратный маршрутизатор на базе Cisco 3845;
3. Выполнен переход на новую схему получения магистральных каналов с ШЧ-2 до
ОФИМ (с отказом от использования ОСПД). В связи с этим выполнена существенная
перенастройка маршрутизации и схемы ЦУ КС ОКНО;
4. Установлены 2 новые стойки в серверную, перенесено всё оборудования в них;
5. Комплекс работ по сопровождению и обслуживанию узлов сети КС ОКНО и Филиала.
6. Завершена разработка ядра биллинговой системы. Ядро протестировано в режиме,
приближённом к реальной эксплуатации. Проведён сравнительный анализ различных
методов создания пользовательского интерфейса к биллинговой системе. Начата разработка интерфейса к ядру биллинговой системы (ЦИОНИ).
14
III. НАУЧНО-ОРГАНИЗАЦИОННАЯ ДЕЯТЕЛЬНОСТЬ
3.1. Проекты, имеющие поддержку на международном, федеральном и региональном уровнях:
1. Программа ОМН РАН 1.1 «Современные проблемы теоретической математики в
ИМ СО РАН», рук. – д.ф.-м.н. В.А. Топчий, 2006 г.
2. Программа ОМН РАН «Математические и алгоритмические проблемы информационных системного поколения», проект 1.4.2 «Методы и алгоритмы построения интеллектуальных и распределенных информационно-вычислительных процессов»,
рук. – к.ф.-м.н. Зыкин С.В., 2006г.
3. Программа ОМН РАН «Вычислительные и информационные проблемы решения
больших задач», проект 1.3.2 «Разработка численных методов решения начальнокраевых задач с сингулярными особенностями», – рук. – д.ф.-м.н. Задорин А.И., 20062008 гг.
4. Программа ОМН РАН 14.4 «Новые методы дискретного анализа и дискретной оптимизации», рук. омской группы – д.ф.-м.н. Колоколов А.А., 2006-2008 гг.
5. Интеграционный проект СО РАН 117 «Актуальные проблемы теории функций и гидродинамика», руководитель – академик Решетняк Ю.Г., ответственный исп. – д.т.н.
Горелов Д.Н., 2006-2008 гг.
6. Комплексный интеграционный проект 1.5 «Разработка и исследование алгоритмов
оптимизации для решения дискретных задач размещения и распознавания образов»
(совместно с Институтом математики СО РАН (Новосибирск), Институтом математики и механики УрО РАН (Екатеринбург), Институтом систем энергетики СО РАН
(Иркутск): рук. омской группы – д.ф.-м.н. Колоколов А.А., 2006-2008 гг.
7. Грант РФФИ 06-01-00127, Асимптотические свойства зависимых случайных последовательностей и процессов с ветвлением, рук. – д.ф.-м.н. Топчий В.А., 2006-2008 гг.
8. Грант РФФИ 05-01-00057, рук. – д.ф.-м.н. Ремесленников В.Н., 2005-2007 гг.
9. Грант РФФИ 06-01-03019 б, «Проект развития материально-технической базы научных исследований», рук. – д.ф.-м.н. Топчий В.А, 2006 г.
10. Грант РФФИ-NWO 047.016.013, Information system «Simulation and analysis of complex histories of evolution» (SACHE), рук. – д.ф.-м.н. Топчий В.А., 2004-2006 гг.
11. Грант РФФИ 06-07-89051а «Организация и проведение III Всероссийской конференции «Проблемы оптимизации и экономические приложения», рук. – д.ф.-м.н. Колоколов А.А., 2006 г.
12. Грант РФФИ 04-01-00578, «Робастные численные методы для сингулярно возмущенных задач со многими характерными масштабами», исп. – д.ф.-м.н. Задорин А.И.,
2004-2006 г.
13. Грант РФФИ 06-01-10682-з "Участие в международной конференции «Граничные и
внутренние слои-вычислительные и асимптотические методы», Геттинген, Германия,
рук. – д.ф.-м.н. Задорин А.И., 24-28 июля 2006 г.
14. Грант РФФИ 06-08-01403а «Метод чередования прямой и обратной задач в оптимизации начального размещения управляемых подвижных объектов», рук. – к.ф.-м.н.
Нартов Б.К., 2006-2008 гг.
15. Грант РФФИ 06-07-89051а «Система визуализации векторного поля и формирования
инвариантных характеристик динамических систем», рук. – Чуканов С.Н., 20062008 гг.
16. Проект ИНТАС № 03-51-5501, рук. – д.ф.-м.н. Колоколов А.А., 2004-2007 гг.
17. SFB 701 Spektrale Strukturen und Topologische Methoden in der Mathematik, Deutsche
Mathematical Vereinigung, Bielefeld, Germany, исп. – к.ф.-м.н. Носков Г.А., 2005-2009
гг.
15
18. НШ-2139.2003.1. Фонд Президента РФ, Научная школа (Боровков А.А.), исп. – д.ф.м.н. Топчий В.А., к.ф.-м.н. Клоков С.А., 2004-2006 гг.
19. Грант национального фонда Болгарии HS-MI-106/2005 «Численные методы для
дифференциальных уравнений с переходными и граничными слоями», исп. – д.ф.м.н. Задорин А.И., 2006-2007 г.
20. Договорная НИР с ФГУП ОНИИП «Исследование зависимости характера ионосферного распространения радиоволн (ИРРВ) на трассах дальностью до 100 км» Шифр
«Лепесток», рук. – к.ф.-м.н. Зачатейский Д.Е., 2006 г.
21. Договор No 1086261721/579/L по созданию гибридных алгоритмов для ускорения
поиска приближенных решений задач частично целочисленного программирования,
возникающих при составлении производственных расписаний. Заказчик: BASF
Aktiengesellschaft (Германия, г. Людвигзхафен), отв. исполнитель – к.ф.-м.н. Еремеев А.В., 2006 г.
22. Договор No 19 по описанию методов формирования торговых хабов в расчетной модели оптового рынка электроэнергии (мощности), включающий обзор зарубежного
опыта формирования хабов в условиях узлового ценообразования, изложение методов формирования хабов, проведение пробных расчетов на основании описанных методов. Заказчик: ООО «Инфосервис» (г. Омск), отв. исполнитель – к.ф.-м.н. Еремеев А.В., 2006 г.
16
3.2. Характеристика международных научных связей и совместной деятельности с
зарубежными научными учреждениями
Лаборатория комбинаторных и вычислительных методов алгебры и логики
Д.ф.-м.н. Ремесленников В.Н. выезжал в США (г. Нэшвилл) для проведения совместной научной работы.
К.ф.-м.н. Носков Г.А. выезжал в Германию (г. Дортман) для проведения совместной
научной работы.
Д.ф.-м.н. Берестовский В.Н. выезжал в США (г. Ноксвил) для проведения совместной научной работы.
К.ф.-м.н. Лопатин А.А. выезжал в Бельгию (г. Антверпен) для проведения совместной научной работы.
Лаборатория теоретико-вероятностных методов
Д.ф.-м.н. Топчий В.А., к.ф.-м.н. Клоков С.А. и к.ф.-м.н. Пичугин Б.Ю. выезжали в Нидерланды (г. Лейден) для участия в совещании в рамках сотрудничества по
совместному российско-голландскому проекту.
К.т.н. Сизиков В.П. выезжал в Казахстан (г. Павлодар) для участия в Международной конференции.
Лаборатория математического моделирования в механике
Д.ф.-м.н. Задорин А.И. выезжал в Германию (г. Геттинген) для участия в Международной конференции.
Д.ф.-м.н. Задорин А.И. и к.ф.-м.н. Паничкин А.В. выезжали в Казахстан (г. Павлодар) для участия в Международной конференции.
Лаборатория дискретной оптимизации
К.ф.-м.н. Еремеев А.В. выезжал в Германию (г. Дагштул) для участия в конференции «Theory of evolutionary Algorithms», Францию (г. Сент-Этьен) для участия в конференции «12th IFAC Symposium on Information Control Problems in Manufacturing», Италию
(г. Бертиноро) для участия в «1st Workshop on Mathematical Contributions to Metaheuristics».
Д.ф.-м.н. Колоколов А.А. и к.ф.-м.н. Леванова выезжали во Францию (г. СентЭтьен) для участия в конференции «12th IFAC Symposium on Information Control Problems
in Manufacturing».
3.3. Участие в работе научных мероприятий
Проведена Всероссийская конференция «Проблемы оптимизации и экономические приложения», г. Омск, 11 – 15 июля: к.ф.-м.н. Адельшин А.В. (член оргкомитета,
доклад), к.ф.-м.н. Еремеев А.В. (ученый секретарь, доклад), к.ф.-м.н. Забудский Г.Г.
(член оргкомитета), к.ф.-м.н. Заозерская Л.А. (член оргкомитета), к.ф.-м.н. Леванова Т.В.
(член оргкомитета), д.ф.-м.н.Колоколов А.А. (председатель оргкомитета, сопредседатель
программного комитета, доклады), к.ф.-м.н. Сервах В.В. (член оргкомитета, доклад).
Д.ф.-м.н. Ремесленников В.Н. выступил с пленарными докладами на «Moscow sympusium on Logic, Algebra and Computation», г. Москва, 5-11февраляМеждународная конференция по алгебре в честь 60-летия А. Ю. Ольшанского, США, Нэшвилл, Май.
17
Д.ф.-м.н. Ремесленников В.Н., к.ф.-м.н. Есып Е.С. и Морарь П.В. выступили с докладами на 3-й Международной конференции «Методы логики в математике», г. СанктПетербург, 1-7 июня.
К.ф.-м.н. Есып Е.С., к.ф.-м.н. Даниярова Э.Ю., Трейер А.В., Мищенко А.А. выступили с докладами на Международной конференции «Мальцевские чтения», Институт
математики им. С.Л. Соболева СО РАН, 15-17 ноября.
Д.ф.-м.н. Берестовский В.Н. выступил с докладом на Southeast Geometry Conference,
College of Charleston, Charleston, South Carolina, USA.
Д.ф.-м.н. Топчий В.А. (член оргкомитета), к.ф.-м.н. Клоков С.А. и выступили с докладами, к.ф.-м.н. Пичугин Б.Ю. был слушателем на IV Международная конференции
«Предельные теоремы в теории вероятностей и их приложениях», Институт математики
им. С.Л. Соболева СО РАН, г. Новосибирск, 21-25 августа,
Д.ф.-м.н. Топчий В.А., к.ф.-м.н. Клоков С.А. и к.ф.-м.н. Пичугин Б.Ю. выступили
с пленарными докладами на Совещании в рамках сотрудничества по совместному российско-голландскому проекту РФФИ 06-01-00127 и NWO 047.016.013, Нидерланды,
г. Лейден, 19-28 апреля.
Д.ф.-м.н. Топчий В.А. выступил с докладом на Совещании в рамках сотрудничества
по совместному российско-голландскому проекту РФФИ 06-01-00127 и NWO
047.016.013, г. Москва, 3-11 октября.
К.т.н. Сизиков В.П. выступил с докладами на Международной конференции «Мальцевские чтения», Институт математики им. С.Л. Соболева СО РАН, 15-17 ноября, V
Международной конференции SICPRO'06 «Идентификация систем и задачи управления», Институт проблем управления РАН, г. Москва, 30 января – 2 февраля, на Международной конференции «Вычислительные и информационные технологии в науке, технике и образовании», Павлодарский государственный университет им. Торайгырова, 2022 сентября, Пятой межрегиональной школе-семинаре «Распределенные и кластерные
вычисления», Институт вычислительного моделирования СО РАН, г. Новосибирск, 2628 сентября.
К.ф.-м.н. Пичугин Б.Ю. выступил с докладом на конференции «Современные проблемы прикладной математики и математического моделирования», г. Воронеж, Воронежская государственная академия, 12-17 декабря 2005 г.
Д.ф.-м.н. Задорин А.И. выступил с докладом на Международной конференции по
пограничным и внутренним слоям - вычислительные и асимптотические методы (BAIL2006), Германия, г. Геттинген, 24-28 июля и подготовил доклад на Четвертую международную конференцию по конечно-разностным методам: теория и приложения, Болгария
г. Лозенец, 26-29 августа.
Д.ф.-м.н. Задорин А.И. (член программного комитета) и к.ф.-м.н. Паничкин А.В.
выступили с докладами на Международной конференции «Вычислительные и информационные технологии в науке, технике и образовании», Казахстан, г. Павлодар, 20-22 сентября.
К.ф.-м.н. Зачатейский Д.Е. выступил с докладами на Второй российской научнопрактической конференции «Редакторские чтения-2006», Омск, ОмГТУ, 11-12 мая, на
Межрегиональной научно-практической конференции «Социальные коммуникации и
социальные науки в Сибирском регионе», Омск, ОмГТУ, 26 – 27 апреля.
К.т.н. Маренко В.А. выступила с докладами на ХIV Всероссийском семинаре «Нейроинформатика и ее приложения», г. Красноярск, Институт вычислительного моделирования СО РАН, 6 - 8 октября, на Международной конференции «Вычислительные и информационные технологии в науке, технике и образовании», Казахстан, г. Павлодар, 2022 сентября, IV всесибирском конгрессе женщин-математиков, г.Красноярск, 15-19 января, IV-междун.научно-практической конференции «Проблемы совершенствования качественной подготовки специалистов высшей квалификации», Омск, ОГИС, октябрь.
18
К.ф.-м.н. Еремеев А.В. выступил с докладами на конференции «Theory of evolutionary Algorithms», Германия, г. Дагштул, 5-10 февраля, на конференции «12th IFAC Symposium on Information Control Problems in Manufacturing», Франция, г. Сент-Этьен, 17-19
мая, на «1st Workshop on Mathematical Contributions to Metaheuristics», Италия, г. Бертиноро, 27-30 августа.
Д.ф.-м.н. Колоколов А.А. (руководитель секции) и к.ф.-м.н. Леванова выступили
с докладами на конференции «12th IFAC Symposium on Information Control Problems in
Manufacturing», Франции, г. Сент-Этьен, 17-19 мая.
Д.ф.-м.н. Колоколов А.А. был членом оргкомитета и руководил секцией на IX
международная конференция «Проблемы функционирования информационных сетей»
(ПФИС-2006), г. Новосибирск, 30 июля – 4 августа.
К.ф.-м.н. Забудский Г.Г., к.ф.-м.н. Еремеев А.В. и к.ф.-м.н. Сервах В.В. выступили с докладами на Второй азиатской международной школе-семинаре «Проблемы оптимизации сложных систем», г. Новосибирск, 7 – 11 августа.
Д.т.н. Филимонов В.А. выступил с пленарным докладом и руководил секцией на IV
Международной научно-практической конференции «Проблемы совершенствования качества подготовки специалистов высшей квалификации, г. Омск, 4 - 6 декабря и выступил с докладом на научно-практической конференции «Ситуационные центры: модели,
технологии, опыт практической реализации», г. Москва 18-19 апреля.
3.4. Работа в ВУЗах
Алгазин В.А. – доцент кафедры средств связи и защиты информации ОмГТУ.
Ремесленников В.Н. – профессор кафедры математической логики и логического
программирования ОмГУ.
Берестовский В.Н. – профессор кафедры математического моделирования ОмГУ.
Топчий В.А. – профессор кафедры математического анализа ОмГУ.
Клоков С.А. – старший преподаватель кафедры математического анализа ОмГУ.
Гольтяпин В.В. – доцент кафедры микроэлектроники и медицинской физики ОмГУ.
Сизиков В.П. – доцент кафедры высшей математики ОмГУПС.
Задорин А.И. – профессор кафедры математического моделирования ОмГУ.
Паничкин А.В. – старший преподаватель кафедры прикладной и вычислительной
математики ОмГУ.
Горелов Д.Н. – профессор кафедры математического моделирования ОмГУ.
Зобнин А.И. – доцент кафедры высшей математики ОмГТУ.
Зачатейский Д.Е. – доцент каф. философии и социальных коммуникаций ОмГТУ.
Гичев В.М. – доцент кафедры математического анализа ОмГУ.
Маренко В.А. – доцент кафедры высшей математики и информатики ОГИС.
Мещеряков В.А. – доцент кафедры «Дорожные машины» СибАДИ.
Чуканов С.Н. – профессор кафедры АСОИУ ОмГТУ.
Зыкин С.В. – доцент кафедры Про ЭВМ ОмГУ и кафедры АСОИУ ОмГТУ.
Чанышев О.Г. –. доцент кафедры Про ЭВМ ОмГУ
Филимонов В.А. – профессор кафедры Про ЭВМ ОмГУ и кафедры ВМИ ОГИС.
Пуртов А.М. – доцент кафедры АСОИУ ОмГТУ и доцент кафедры ПИЭ СибАДИ.
Даниярова Э.Ю. – ассистент кафедры математической логики и логического программирования ОмГУ.
Колоколов А.А. – зав. кафедрой, Забудский Г.Г., Сервах В.В., Леванова Т.В. и Заозерская Л.А. – доценты, Еремеев А.В. – старший преподаватель, Адельшин А.В. –
старший преподаватель кафедры прикладной и вычислительной математики ОмГУ.
Колоколов А.А. – профессор кафедры прикладной математики и информационных
систем ОмГТУ.
Адельшин А.В. –старший преподаватель кафедры естественнонаучных и математических дисциплин Омского гуманитарного института.
19
3.5. Диссертационные советы
Омский филиал Института математики им. С.Л. Соболева является соучредителем региональных советов по защите диссертаций на соискание ученой степени доктора наук:
1. Региональный диссертационный совет ДМ 212.250.03 при Сибирской государственной автомобильно-дорожной академии.
Волков В.Я., д.т.н. профессор (СибАДА) – председатель
Щербаков В.С., д.т.н. профессор (СибАДА) - зам. Председателя
Юрков В.Ю., д.т.н., зав. кафедрой (СибАДА) - ученый секретарь
Специальности:
o
05.01.01 - инженерная геометрия и компьютерная графика (технические науки);
o
05.13.12 - системы автоматизации проектирования (промышленность) (технические
науки)
2. Региональный диссертационный совет ДМ 212.179.03 при Омском государственном университете им. Ф.М. Достоевского
Топчий В.А., д.ф.-м.н., директор ОФ ИМ СО РАН – председатель
Перцев Н.В., д.ф.-м.н., зав. кафедрой (ОмГУ) - зам. Председателя
Семенов А.М., к.ф.-м.н., доцент (ОмГТУ) - ученый секретарь
Специальности:
o
05.13.01 - Системный анализ, управление и обработка информации (в научный исследованиях) по физико-математическим наукам;
o
05.13.01 - Системный анализ, управление и обработка информации (в научный исследованиях) по техническим наукам;
o
05.13.18 - Математическое моделирование, численные методы и комплексы программ по
физико-математическим наукам.
20
Аспирантура готовит 14 молодых ученых.
Работает совет молодых ученых (СМУ), председатель – к.ф.-м.н., доцент Еремеев А.В.,
куратор – д.ф.-м.н., профессор Колоколов А.А.
Защитили диссертации
1. Забудский Г.Г. Модели и методы оптимального размещения взаимосвязанных
объектов на дискретных множествах – диссертация на соискание ученой степени д.ф.м.н., 01.01.09 – Дискретная математика и математическая кибернетика, 16.06.2006, Иркутский госуниверситет.
2. Адельшин А.В. Анализ и решение задач максимальной и минимальной выполнимости с использованием L-разбиения – диссертация на соискание ученой степени к.ф.м.н., 05.13.01 – системный анализ, управление и обработка информации, 11.05.2006, Омский госуниверситет, рук. – Колоколов А.А.
3. Зыкин С.В. Разработка и исследование моделей данных и средств организации
взаимодействия пользователей с информационными ресурсами – диссертация на соискание ученой степени д.т.н., 05.13.17 – теоретические основы информатики, 6.12.2005, СибГУТИ
Научные семинары
 Общегородской алгебраический семинар (рук. – проф., д.ф.-м.н. Ремесленников В.Н.).
 Алгебраическая криптография (рук. – проф., д.ф.-м.н. Ремесленников В.Н.).
 Сложность алгоритмов (рук. – проф., д.ф.-м.н. Ремесленников В.Н.).
 Теоретико-вероятностные и статистические методы (рук. – проф., д.ф.-м.н. Топчий В.А.).
 Математическое моделирование и вычислительные методы (рук. – проф., д.ф.м.н.Задорин А.И.).
 Моделирование сложных систем (рук. – проф., д.т.н. Чуканов С.Н.).
 Математическое моделирование и дискретная оптимизация (рук. – проф., д.ф.-м.н. Колоколов А.А.).
Просветительская деятельность
При участии ОФ ИМ с привлечением других организаций проводятся междисциплинарные семинары и конференции.
Ведется преподавание в летних лагерях научного общества учащихся, принимается участие в работе комиссии окружной и городской олимпиад.
Подготовлена и проведена научная сессия.
Организована и проведена Всероссийская конференция «Проблемы оптимизации и экономические приложения», посвященная 50-летию СО РАН, г. Омск, 11 –
15 июля: к.ф.-м.н. Адельшин А.В. (член оргкомитета), к.ф.-м.н. Еремеев А.В. (ученый
секретарь), к.ф.-м.н. Забудский Г.Г. (член оргкомитета), к.ф.-м.н. Заозерская Л.А. (член
оргкомитета), к.ф.-м.н. Леванова Т.В. (член оргкомитета), д.ф.-м.н. Колоколов А.А.
(председатель оргкомитета, сопредседатель программного комитета), к.ф.-м.н. Сервах
В.В. (член оргкомитета).
21
3.6. Список научных публикаций
Статьи в центральных российских журналах (по списку ВАК)
1. Duncan A.J., Kazatchkov I.V., Remeslennikov V.N. Logical Group Formulas and Centraliser Dimension of Groups // Siberian Electronic Mathematical Reports, Volume 3,
2006. - pp 195-215, доступна на www.arxiv.org.
2. Андреев П.Д., Берестовский В.Н. Размерности R- деревьев и самоподобные
фрактальные пространства неположительной кривизны // Мат. труды. 2006, том 9,
№2, - С. 3-22.
3. Берестовский В.Н. Спиральные расположения неотрицательных целых чисел в
узлах решеток // Мат. Труды. 2005, том 8, № 2, - С. 49-68.
4. Горелов Д.Н., Редреев Д.Г. Построение квадратурной формулы для сингулярного
интеграла с ядром Коши по замкнутому контуру крылового профиля // Вычислительные технологии, 2006,т. 11, № 4, с. 29-36.
5. Горелов Д.Н. Критерии отрыва нестационарного потока идеальной жидкости с
гладкого контура // Прикладная механика и техническая физика, 2006, т. 47, № 1,
с. 74-81.
6. Даниярова Э.Ю., Казачков И.В., Ремесленников В.Н. Полуобласти и метабелевы
произведения метабелевых алгебр Ли // Итоги науки и техники, сер. «Современная математика», принята к печати. Английский перевод J. Mathematical Sciences,
2005, № 131. – С. 6015-6022.
7. Еремеев А.В., Романова А.А., Сервах В.В., Чаухан С.С. Приближенное решение
одной задачи управления поставками // Дискретный анализ и исследование операций. – 2006. – T. 13, N 1. - С. 27-39.
8. Забудский Г.Г. Вычисление нижних оценок стоимости сети в задачах размещения
с ограничениями на расстояния // Журнал вычислительной математики и математической физики. -- 2006. -- Т. 46, N2. -- С. 216--221.
9. Забудский Г.Г. О задаче размещения объектов на линии с ограничениями на минимально допустимые расстояния // Омский научный вестник. -- 2005. -- Вып.
3(32) -- С. 85--88.
10. Забудский Г.Г. О сложности задачи размещения на линии с ограничениями на
минимальные расстояния // Известия вузов. Математика. -- 2005. -- №12. -- С. 11-14.
11. Забудский Г.Г. Оптимальное размещение взаимосвязанных объектов на древовидных сетях с ограничениями на расстояния //Журнал вычислительной математики и математической физики. -- 2006. -- Т. 46, N3. -- С. 395--400.
12. Задорожный В.Н., Пуртов А.М. Анализ чувствительности в имитационном моделировании сетей массового обслуживания // Омский научный вестник, N4 (33) –
Омск, 2005. –с 165-171.
13. Зыкин С.В. Метод формирования представлений данных для работы с информационными ресурсами. Омский научный вестник, 2006, № 3(36). -С 124-126.
14. Иванова С.Д., Колоколов А.А. Оценки мощности L-накрытий для задачи о ширине графов // Омский научный вестник.- 2006. - N4(38).- С. 68-71.
15. Клоков С.А., Топчий В.А. Оценки среднего времени фиксации в популяциях постоянного объема // Сибирский математический журнал. – т.34, №6, 2006, с.12751288.
16. Клоков С.А. О нижних оценках скорости перемешивания для одного класса марковских процессов.// Теория вероятн. и ее примен., т.51, №3, 2006, с.600-607.
22
17. Колоколов А.А., Андросова Г.М., Ерохова Я.А. Задачи оптимизации подбора полотен из меха и кожи для швейных изделий // Омский научный вестник. -2006. - N
4 (38).- С. 144-147.
18. Колоколов А.А., Леванова Т.В., Лореш М.А. Алгоритмы муравьиной колонии для
задач оптимального размещения предприятий // Омский научный вестник.- 2006. N4(38). - С. 62-67.
19. Колоколов А.А., Ягофарова Д.И., Тюрюмов А.Н. Разработка алгоритмов для задачи выполнимости и некоторых ее обобщений с использованием перебора Lклассов // Омский научный вестник.- 2006. - N 5 (39).- С. 57-61.
20. Курнявко О.Л., Широков И.В., Юревич Ю.А. Поляризация вакуума во внешнем
поле Ааронова-Бома. I // Известия вузов. Физика. 2006, N. 2.
21. Курнявко О.Л., Широков И.В., Юревич Ю.А. Поляризация вакуума во внешнем
поле Ааронова-Бома. II // Известия вузов. Физика. 2006, N. 6.
22. Магазев А.А., Широков И.В. Гамильтоновы системы в вариациях и интегрирование уравнения Якоби на однородных пространствах.// Известия вузов. Математика. 2006. N. 530.
23. Маренко В.А., Кипаева Н.Г. Динамика развития экономической системы // Приборы и системы. Управление, контроль, диагностика, 2006. – № 10. – С. 65 – 68.
24. Маренко В.А. Обучение персонала как процесс адаптивного управления // Приборы и системы. Управление, контроль, диагностика, 2006. – № 6. – С. 64 – 66.
25. Маренко В.Ф., Маренко В.А. Обеспечение электромагнитной совместимости антенного комплекса радиоцентра, располагаемого на ограниченной площади, и выбор антенн для него с помощью нечеткой логики // Антенны, 2006. – № 2. – C. 75
– 79.
26. Паничкин А.В. Исследование влияния ультразвука на процессы диффузии жидкости через пористую перегородку. // Омский научный вестник, 2005, № 3(32), с.
101-109.
27. Перцев Н. В., Пичугин Б.Ю. Применение метода Монте--Карло для моделирования динамики сообществ взаимодействующих индивидуумов // Вестник Воронежского государственного технического университета (список ВАК). Серия
«Вычислительные и информационно-телекоммуникационные системы», Т. 2, №
5, 2006, с. 70 - 77.
28. Ремесленников В. Н., Тимошенко Е. И. О топологической размерности u групп //
Сиб. мат. журн., 2006, №47(2). С. 415-437.
29. Сизиков В.П. Рациональный инструмент отражения принципа причинности // Омский научный вестник. Омск: ОмГТУ, 2005. № 4 (33). С. 92-96.
30. Терехов Л.С. О квантовании неопределённости измеряемой макроскопической
величины // Изв. вузов. Физика. – 2006. - № 9. - С. 73-77.
31. Терехов Л.С., Дудин А.Е. К измерению мгновенной частоты //Изв. вузов. Физика.
Приложение. – 2006. - № 9. – С. 98-99.
32. Харина О.В. Численный метод для системы уравнений с малым параметром и сосредоточенным источником на бесконечном интервале // Сибирский журнал индустриальной математики, 2005, т. 8, № 3 , с. 149-157.
33. Чуканов С.Н. Оценивание взаимодействия каналов систем управления, инвариантное к преобразованию вектора состояния // Авиакосмическое приборостроение. - 2006. - № 6. - С. 34-36
Статьи в иностранных журналах (оригинальные непереводные)
1. Alperin R.C., Noskov G.A. Nonvanishing of algebraic entropy for geometrically finite
groups of Hadamard manifolds, Algebra and Computation, volume 15, numbers 5-6,
December 2005, Р. 799-812.
23
2. Berestovskii V.N., Plaut C. Generalized universal covers of uniform spaces, arXiv:
math AT /0607353v1, 14 Jul. 2006.
3. Devyaterikova M.V., Kolokolov A.A. On the stability of some integer programming algorithms // Operations Research Letters. – 2006. – V. 34. - P. 149-154.
4. Duncan A.J., Kazatchkov I.V., Remeslennikov V.N. Centraliser Dimension of Partially
Commutative Groups // Geometriae Dedicata Volume 120, Number 1, June, 2006, P.
73-97, доступна на www.arxiv.org
5. Esyp E. S, Kazatchkov I. V. A Gathering process in Artin Braid Groups // International
Journal of Algebra and Computation, 2006, Vol. 16, No. 4, Р. 771-795.
6. Gichev V.M., Morozov O.S. On Flat Complete Causal Lorentzian Manifolds, Geometriae Dedicata, v, 116, p. 37-59, 2005.
7. Klokov S. A., Veretennikov A. Yu. On mixing and convergence rates for a family of
Markov processes approximating SDEs.// Random Operators and Stochastic Equations,
vol. 14, No. 2, 2006, pp. 103-126.
8. Kolokolov A., Kosarev N. Analysis of Decomosition Algorithms with Benders Cuts for
p-Median Problem // Journal of Mathematical Modelling and Algorithms.- 2006. - Vol.
5, № 2. - P. 189-199.
9. Myasnikov A.G., Remeslennikov V. N., Serbin D.E. Fully residually free groups and
graphs labeled by infinite words, Algebra and Computation, volume 16, numbers 4,
August 2006, Р. 689-737.
10. Zaozerskaya L.A. Analysis of Fractional Covering of Some Supply Management Problems // Journal of Mathematical Modelling and Algorithms. 2006. - Vol. 5, № 2.P.201-213.
Переводы статей (SMJ, Algebra & Logic, Doklady Math. и др.)
1. Gorelov D.N. Criteria for the separation of unsteady ideal fluid past a smooth airfoil //
Journal of applied Mechanics and Technical Physics, Vol. 47, No 1, pp. 61-67, 2006.
2. Klokov S.A., Topchii V.A. On the Time of Supplanting All Particles by Particles of
One Type in a Fixed Size Population.// Siberian Advances in Mathematics, 2006, vol.
16, No. 2, p. 93-107.
3. Zykin S.V. Formation of Hypercube Representation of Relational Database. Programming and Computer Software, 2006, Vol. 32, No. 6. -P 348–354.
Публикации в ТРУДАХ международных конференций, изданных в России
1. Денисов В. П., Мещеряков В. А. Синтез регулятора системы автоматического
управления рабочим процессом землеройно-транспортной машины // Качество.
Инновации. Наука. Образование: Материалы Международной научнотехнической конференции, 15–17 ноября 2005 г. – Омск: Изд-во СибАДИ, 2005. –
Кн. 1. – С. 135–140.
2. Паничкин А.В. Численное решение двумерной задачи переноса примесей с применением локальной интерполяцией в окрестности точечного источника.// Труды
8-й Всероссийской конференции "Современные методы математического моделирования природных и антропогенных катастроф", Кемерово: 2006, с. 254-261.
3. Полуянов А.Н. Алгоритм проверки существования соединения отношений при
межмодельных преобразованиях данных. Материалы VIII школы-семинара молодых ученых: "Математическое моделирование и информационные технологии",
Иркутск, 2006. -С. 145-149.
4. Сизиков В.П., Разумов В.И., Сизикова Л.Г. Генетически обусловленные структуры: от формализма до реального воплощения // Идентификация систем и задачи
управления: Тр. V Междун. конф. SICPRO’06. М.: ИПУ, 2006. С. 1882-1900.
24
5. Сизиков В.П., Разумов В.И., Сизикова Л.Г. Сеть безопасности в лице генетически
обусловленных структур // Проблемы управления безопасностью сложных систем: Тр. XIII Междун. конф. М.: РГГУ, 2005. С. 84-88.
6. Сизиков В.П., Разумов В.И. Алгоритмические модели взаимодействия: от пары
точечных тел до сплошных сред // Идентификация систем и задачи управления:
Тр. V Междун. конф. SICPRO’06. М.: ИПУ, 2006. С. 1861-1881.
7. Сизиков В.П., Разумов В.И. Кризис системной методологии: с позиций синтеза
систем // Идентификация систем и задачи управления: Тр. V Междун. конф.
SICPRO’06. М.: ИПУ, 2006. С. 1818-1860.
8. Сизиков В.П., Разумов В.И. ТДИС о катастрофах: истоки, модели, решения // Современные методы математического моделирования природных и антропогенных
катастроф: Тр. VIII Всерос. конф. Кемерово: Институт угля и углехимии СО РАН,
2005. С. 293-302.
9. Сизиков В.П. К критике линейного порядка в мышлении // Качество образования:
консалтинг, менеджмент, сертификация: Матер. междун. науч.-метод. конф. /
ОмГУПС. Омск, 2005. С. 201-205.
10. Филимонов В.А. Подготовка команд для ситуационных центров по технологии
«винтсервинг»// Материалы III Международного технологического конгресса
«Военная техника, вооружение и технологии двойного применения», 2005, Часть
2, -с 341-343.
Публикации в трудах международных конференций,
изданных зарубежными издательствами
1. Borisovsky P., Dolgui A., Eremeev A. Genetic Algorithms for Supply Management
Problem with Lower-Bounded Demands //Preprints of 12th IFAC Symposium on
Information Control Problems in Manufacturing, France. Vol.3.2006.- P.535—540.
2. Devyaterikova M.V.,Kolokolov A.A. L-class Enumeration Algorithms For One Interval
Production Planning Problem //Preprints of 12th IFAC Symposium on Information
Control Problems in Manufacturing, France, Vol.3. 2006.- P.9-13.
3. Kharina O. Numerical method for singularly perturbed elliptic problem with the
concentrated source in a strip. // Proceedings of the 10 international Conference MMA
2005, Trakai, Lithuania, 2005, p. 221-226.
4. Kolokolov A.A., Zaozerskaya L.A. A Bicriteria Problem Of Optimal Service Centers
Location //Preprints of 12th IFAC Symposium on Information Control Problems in
Manufacturing, France, Vol.3. 2006.- P.425-429.
5. Levanova T.V., Loresh M.A. Ant Colony Optimization Algorithm for Capacitated Plant
Location Problem//Preprints of 12th IFAC Symposium on Information Control
Problems in Manufacturing, France, Vol.3. 2006.- P.419-424.
6. Servakh V., Shcherbinina T. A fully polynomial time approximation scheme for two
project scheduling problem //Preprints of 12th IFAC Symposium on Information
Control Problems in Manufacturing, France, Vol.3. 2006.- P.419-424.
7. Zabudsky G.G., Filimonov D.V. Solving minimax location problems on networks with
maximal distances//Preprints of 12th IFAC Symposium on Information Control
Problems in Manufacturing, France, Vol.3.2006.- P.413—417.
8. Zadorin A.I. Numerical Method for Blasius Equation on an infinite Interval.//
Proceedings of an International Conference on Boundary and Interior Layers Computational and Asymptotic Methods, Minisymposium Robust Numerical Methods
for Problems with Layer Phenomena and Applications, Georg-August University
Gottingen, 2006, p. 1-7.
25
9. Задорин А.И. Численный метод для задачи Блазиуса.// Труды международной
конференции "Вычислительные и информационные технологии в науке, технике
и образовании", том 1, Павлодар: ТОО НПФ "ЭКО", 2006, с. 501-510.
10. Маренко В.А. Имитационная модель для исследования функций радиосистем //
Труды междун.конф. «Вычислительные и информационные технологии в науке,
технике и образовании». Т. II. – Павлодар: ТОО НПФ «ЭКО», 2006. – С. 25-31.
11. Паничкин А.В. Схема для двумерной задачи конвективно-диффузионного переноса с нелинейными коэффициентами и правой частью.// Труды международной
конференции "Вычислительные и информационные технологии в науке, технике
и образовании", том 2, Павлодар: ТОО НПФ "ЭКО", 2006, с. 103-109.
12. Прыжикова Н.Л. Морфологическое описание системы имитации поиска подвижных объектов // Труды междун.конф. «Вычислительные и информационные технологии в науке, технике и образовании». Т. II. – Павлодар: ТОО НПФ «ЭКО»,
2006. – С. 132-138.
13. Сизиков В.П., Разумов В.И. Системы принятия решений: открытость и перспективы применения // Вычислительные и информационные технологии в науке,
технике и образовании: Тр. междун. конф. Павлодар: ТОО НПФ «ЭКО», 2006. II
том. С. 524-533.
Публикации в ТРУДАХ всероссийских и региональных конференций
1. Колоколов А.А., Адельшин А.В., Ягофарова Д.И. Алгоритмы точного и приближенного решения задачи максимальной выполнимости // Материалы всероссийской конференции “Проблемы оптимизации и экономические приложения”.
Омск, 2006. - С. 42-46.
2. Колоколов А.А., Ягофарова Д.И., Адельшин А.В., Тюрюмов А.Н. О некоторых
алгоритмах локального поиска для решения задачи максимальной выполнимости
// Труды 37-й Региональной молодежной конференции. Екатеринбург, 2006. - С.
382-385.
3. Терехов Л.С. О квантовании неопределенности измеряемых величин // Всероссийское (с международным участием) совещание по интервальному анализу и его
приложениям «Интервал-06», Россия, Петергоф, 1-4 июля 2006 г: Расшир. тезисы
докладов /СПбГУ. – СПб, 2006. – С. 123-126.
4. Филимонов В.А. Винтсервинг–технология подготовки сервисных команд для ситуационных центров // Ситуационные центры: модели, технологии, опыт практической реализации. Материалы научно-практической конференции 18-19 апреля
2006г., Москва// – М.: Российская академия государственной службы, 2006. (электронное издание, 8 страниц).
5. Чуканов С.Н. Оценка темпов длительного экономического роста // Материалы
МСНТ "11-ые апрельские экономические чтения". – Омск: 2006, С.226-228
Публикации в местных российских изданиях
1. Еремеев А. В., Кузнецов П.М. Приближенное решение задачи управления поставками со многими интервалами // Вестник Омского университета, Омск.- 2006.- №
3. - С. 26-28.
2. Мищенко А.А. Трейер А.В. Выполнимость E-формул на частично коммутативных
двуступенно нильпотентных Q-группах // Вестник Омского Университета, 2006,
Том 1, С. 15-17.
3. Морарь П.В. Вычисление спектральных радиусов некоторой серии групп, Вестник Омского университетаю 2006. № 1(39)С. 18-20.
26
4. Чуканов С.Н., Василенко Д.Н., Головачев Е.В. Линеаризация гладкой нелинейной
системы управления по входной и выходной информации // Математические
структуры и моделирование. – 2005. - № 15, С. 18-24.
Препринты и статьи, помещенные в Internet
1. Berestovskii V.N., Nikonorov Yu.G. Killing vector fields of constant length on
Riemannian manifolds, arXiv: math DG/0605371v1, 15 May 2006.
2. Eremeev A. On Complexity of Optimized Crossover for Binary Representations // Theory of Evolutionary Algorithms. Dagstuhl Seminar Proceedings 06061. Schloss
Dagstuhl, Germany. IBFI, 2006. http://drops.dagstuhl.de/opus/volltexte/2006/593/
3. Miheev V.V., Shirokov I.V. Building of heat kernel on non-compact homogeneous
spaces.// Electronic Journal of Theoretical Physics. N 11. (2006). P. 1-12.
4. Remeslennikov V.N., Stohr R. The equation [x,u]+[y,v]=0 in free Lie algebras // Preprint, 2006. http://eprints.ma.man.ac.uk/272/
5. Колоколов А.А., Коробова А.Б., Кузнецова Е.И., Привалова Ю.И. Применение
дискретной оптимизации для создания эскизов подростковой одежды с учетом
особенностей фигуры: Препринт. Омск: ОГИС.- 2006.- 17 с.
6. Колоколов А.А., Тюрюмов А.Н., Ягофарова Д.И. Разработка и экспериментальное
исследование алгоритмов решения задач выполнимости и максимальной выполнимости: Препринт. - Омск: ОмГУ.- 2006. - 19 с.
7. Сервах В. В., Щербинина Т.А. Приближенное решение задачи календарного планирования с ограниченными ресурсами: Препринт. Омск: Изд-во ОмГУ . – 2006. –
18 c.
Учебные и методические пособия и издания
1. Зачатейский Д.Е. Компьютерные технологии при проведении массовых мероприятий. Методические указания по выполнению лабораторных работ для студентов
специальности 030602 - Связи с общественностью. Составитель: Издательство
ОмГТУ, 2006, 52 с.
2. Зыкин С.В. Базы данных. Конспект лекций. Омский государственный технический университет, 2006. – 20 С.
3. Зыкин С.В. Базы данных. Методические указания к выполнению лабораторных
работ. Омский государственный технический университет, 2006. – 20 С.
4. Зыкин С.В. Базы данных. Методические указания к выполнению расчетнографических работ. Омский государственный технический университет, 2006. –
16 С.
5. Колоколов А.А., Нагорная З.Е., Ярош А.В. Системы автоматизации проектирования в сервисе. Часть I. - Омск: ОГИС.-2006.- 113 с.
6. Лучко О.Н., Маренко В.А. Введение в информационный консалтинг: Учеб.пособ.
– Омск: ОГИС, 2006. – 114 с.
7. Пичугин Б.Ю. Теория вероятностей и математическая статистика: курс лекций
для студентов химических специальностей. Омск: ОмГУ, 2005. 62 c.
8. Пичугин Б.Ю. Теория вероятностей и математическая статистика: задачник для
студентов химических специальностей. Омск: ОмГУ, 2005. 28 c.
9. Повстяная А.Н., Филимонов В.А., Шупина М.И. Применение способа индивидуальной оценки совокупности параметров для ранней диагностики артериальной
гипертензии у молодых людей//Методические рекомендации для врачей//.- Омск:
Омская государственная медицинская академия, 2005.- 28 с.
27
10. Филимонов В.А. Алгебра логики и совести / Вступительное слово В.А. Лефевра./
Учеб. пособие для старших классов общеобразовательных и профильных
школ.//Омск: ОГИС, 2006.- 72 с.
Тезисы конференций
1. Kolokolov A., Adelshin A., Yagofarova D. Development of Local Search Algorithms
for MAX-SAT Problem Using L-class Enumeration // International Conference on
Operations Research 2006. Abstract Guide, Karlsruhe, 2006. - P.~78.
2. Kolokolov A., Adelshin A., Yagofarova D. Local search algorithms for the MAX SAT
problem based on L-class enumeration // Extended Abstracts of 18th Mini Euro
Conference on VNS. Tenerife (Spain), 23-25 November, 2005. - P. 117-118.
3. Kolokolov A., Privalova Yu. // International Conference on Operations Research,
Abstract Guide. Karlsruhe (Germany), 6 – 8 September, 2006. - P. 57.
4. Romanova A., Servakh V. On the Cyclic Schedules for Shop Sheduling Problem with
Identical Jobs// International Conference on Operations Research, Abstract Guide.
Karlsruhe (Germany), 6 – 8 September, 2006. - P. 231.
5. Topchii V. A., Klokov S. A. Mean fixation time estimates in populations of constant
time// Abstracts of IV International Conference Limit theorems in probability theory
and their applications, Novosibirsk, 2006, p. 19.
6. Topchii V.A., Vatutin V.A. Individuals at the origin in the critical multidimensional
catalytic branching random walk// Abstracts of IV International Conference Limit
theorems in probability theory and their applications, Novosibirsk, 2006, p. 31.
7. Zadorin A. Numerical Method for a Singular Perturbed Parabolic Equation in a strip.//
Abstracts of Fourth International Conference on Finite Difference Methods: Theory and
Applications, University of Rousse, Rousse, Bulgaria, 2006, p. 28.
8. Zadorin A.I. Numerical Method for Blasius Equation on an infinite Interval.// Abstracts
of International Conference on Boundary and Interior Layers - Computational and
Asymptotic Methods, Georg-August University, Gottingen, p. 61-62.
9. Гуселетова О.Н., Колоколов А.А. Разработка алгоритмов для некоторых задач
дискретной оптимизации с логическими ограничениями - // Материалы всероссийской конференции «Проблемы оптимизации и экономические приложения».
Омск, 2006. - С. 176.
10. Девятерикова М.В., Колоколов А.А., Колосов А.П. Алгоритмы перебора Lклассов для булевой задачи о рюкзаке с интервальными данными --- // Материалы
всероссийской конференции “Проблемы оптимизации и экономические приложения”. Омск, 2006. - С. 87.
11. Долгий А.Б., Борисовский П.А., Еремеев А. В. Генетические алгоритмы для одной
задачи управления поставками // Материалы всероссийской конференции «Проблемы оптимизации и экономические приложения». Омск, 2006. - С. 76.
12. Долгий А.Б., Еремеев А. В., Сигаев В.С. О сложности задачи размещения буферных накопителей // Материалы всероссийской конференции «Проблемы оптимизации и экономические приложения». Омск, 2006. - С. 88.
13. Еремеев А. В. О сложности некоторых задач оптимальной рекомбинации // Материалы всероссийской конференции «Проблемы оптимизации и экономические
приложения». Омск, 2006. - С. 93.
14. Колоколов А.А., Привалова Ю.И. Двухкритериальная модель дискретной оптимизации для формирования коллекций подростковой одежды // Материалы всероссийской конференции «Проблемы оптимизации и экономические приложения».
Омск, 2006. - С. 178.
28
15. Колоколов А.А., Тюрюмов А.Н., Ягофарова Д.И. Параллельный алгоритм перебора L-классов для задачи выполнимости // Материалы всероссийской конференции
«Проблемы оптимизации и экономические приложения». Омск, 2006. - С. 102.
16. Колоколов А.А., Ярош А.В., Орлова Т.М. Приближенное решение задачи эскизного проектирования одежды с использованием моделей целочисленного программирования // Материалы всероссийской конференции «Проблемы оптимизации и экономические приложения». Омск, 2006. - С. 179.
17. Маренко В.А., Никульшина А.В. Информационные технологии в инновационном
менеджменте //Проблемы совершенствования качественной подготовки специалистов высшей квалификации. IV Междун.научн.практ.конф.: Сб.статей / Под
общей редакцией проф. Н.У. Казачуна. – Омск: ОГИС, 2006. – С. 44-45.
18. Маренко В.А. Алгоритм «Прямоугольная аппроксимация» // Нейроинформатика и
ее приложения: Материалы XIV Всероссийского семинара, 6-8 октября 2006 г. /
Под ред. А.Н. Горбаня, Е.М. Миркеса. Отв. за выпуск Г.М.Садовская, ИВМ СО
РАН, Красноярск, 2006. – С. 59-60.
19. Маренко В.А. Моделирование возможностей частотного ресурса //IV всесибирский конгресс женщин-математиков: Материалы конференции, 15-19 января 2006
г. /Под ред.к.ф.-м.н. Рудаковой Г.М. – Красноярск РИО СибГТУ, 2006. – С. 106 –
108.
20. Марыкина М.В., Сервах В.В. Алгоритм решения задачи выбора инвестиционных
проектов // Материалы всероссийской конференции «Проблемы оптимизации и
экономические приложения». Омск, 2006. - С. 110.
21. Межецкая М.А., Сервах В.В. О задаче обработки партий однотипных деталей //
Материалы всероссийской конференции «Проблемы оптимизации и экономические приложения». Омск, 2006. - С. 111.
22. Пичугин Б.Ю., Перцев Н.В. Статистическое моделирование сообществ взаимодействующих индивидуумов с учетом их многопараметрического описания // Современные проблемы прикладной математики и математического моделирования:
Материалы конференции. - Воронеж: Воронежская государственная академия,
2005, с. 178.
23. Разумов В.И., Сизиков В.П., Сизикова Л.Г. Генетически обусловленные структуры в логических построениях // Рациональность и свобода: Тез. VI Междун. науч.
конф. СПб., 2005. С. 81-82.
24. Разумов В.И., Сизиков В.П., Сизикова Л.Г. Логический подход к изучению возможностей роста системы права // Онтология и аксиология права: Тез. докл. и сообщ. Второй междун. науч. конф. Омск: Омская академия МВД России, 2005. С.
9-12.
25. Разумов В.И., Сизиков В.П. Инструменты организации процессов // Моделирование неравновесных систем – 2005: Матер. VIII Всерос. сем. Красноярск: ИВМ СО
РАН, 2005. С. 142-143.
26. Разумов В.И., Сизиков В.П. Логика организации процессов // Нейроинформатика
и ее приложения: Матер. XIII Всерос. сем. Красноярск: ИВМ СО РАН, 2005. С.
81-82.
27. Романова А.А., Сервах В.В. Планирование выпуска партии однотипных деталей
со сложным маршрутом обработки // Материалы всероссийской конференции
«Проблемы оптимизации и экономические приложения». Омск, 2006. – С. 52.
28. Сервах В.В., Щербинина Т.А. О задаче календарного планирования проекта с различными критериями и складируемыми ресурсами // Материалы всероссийской
конференции «Проблемы оптимизации и экономические приложения». Омск,
2006. - С. 93.
29
29. Сизиков В.П., Разумов В.И. Алгоритмические модели систем – новый инструментарий прикладной математики // Обозрение прикладной и промышленной математики, 2005. Т. 12, Вып. 2. С. 512.
30. Сизиков В.П., Разумов В.И. Генетически обусловленные структуры как инструменты логики и организации процессов // Обозрение прикладной и промышленной математики, 2005. Т. 12, Вып. 4. С. 1089.
31. Филимонов В.А. Винтсервинг–технология подготовки сервисных команд для ситуационных центров // Ситуационные центры: модели, технологии, опыт практической реализации. Материалы научно-практической конференции 18-19 апреля
2006г., Москва// – М.: Российская академия государственной службы, 2006. (электронное издание).
32. Филимонов В.А. Сетевая технология подготовки сервисных команд для ситуационных центров// Рефлексивные процессы и управление. Тезисы V Международного симпозиума 11-13 октября 2005г., Москва// – М.: Институт философии РАН,
2005. - (электронное издание).
33. Филимонов В.А. Ситуационный центр как инструмент профилактики и мониторинга чрезвычайных ситуаций//Материалы форума «Омская школа дизайна»//Омск: ОГИС, 2005.
34. Чанышев О.Г. Док.№68. Кластеры доминант и доминантная сеть текста// X Российская конференция с участием иностранных ученых "Распределенные bнформационно-вычислительные ресурсы”. //Программа и тезисы докладов. Новосибирск 2005 г., с. 50
Авторефераты и диссертации
1. Адельшин А.В. Анализ и решение задач максимальной и минимальной выполнимости с использованием L-разбиения // Автореферат диссертации на соискание
ученой степени кандидата физ.-мат. наук. - Омск, 2006. - 18 с. Научный руководитель: д.ф.-м.н., профессор А.А. Колоколов.
2. Забудский Г.Г. Модели и методы оптимального размещения взаимосвязанных
объектов на дискретных множествах// Автореферат диссертации на соискание
ученой степени доктора физ.-мат. наук. - Иркутск, 2006. - 32 с.
3. Захарова Е.О. Оптимизация процесса проектирования одежды для подростков с
применением современных компьютерных технологий// Автореферат диссертации на соискание ученой степени кандидата тех. наук. - Омск, 2005. - 18 с. Научные руководители: д.ф.-м.н., профессор А.А. Колоколов, к.т.н., доцент А.Б. Коробова.
4. Зыкин С.В. Разработка и исследование моделей данных и средств организации
взаимодействия пользователей с информационными ресурсами. Автореферат диссертации. Омск, ОмГУ – 2005. – 32 с.
5. Косарев Н.А. Разработка и анализ декомпозиционных алгоритмов для задач оптимального размещения предприятий// Автореферат диссертации на соискание
ученой степени кандидата физ.-мат. наук. - Омск, 2006. - 19 с. Научный руководитель: д.ф.-м.н., профессор А.А. Колоколов.
6. Легких С.А. Автоматизация компоновки и размещения оборудования при технологической подготовке производства швейных изделий // Автореферат диссертации на соискание ученой степени кандидата технических наук. Омск, 2006.-18 с.
Научный руководитель: к.ф.-м.н., доцент Г.Г. Забудский.
7. Лореш М.А. Разработка и исследование алгоритмов муравьиной колонии для решения задач оптимального размещения предприятий // Автореферат диссертации
на соискание ученой степени кандидата физ.-мат. наук. - Омск, 2006. - 18 с. Научные руководители: д.ф.-м.н., профессор А.А. Колоколов, к.ф.-м.н., доцент Т.В.
Леванова.
30
8. Романова А.А. Разработка точных и приближенных алгоритмов построения расписаний для производственных систем // Автореферат диссертации на соискание
ученой степени кандидата физ.-мат. наук. - Омск, 2006. - 19 с. Научный руководитель: к.ф.-м.н., снс, В.В. Сервах.
Ненаучные издания
1. Gordon V., Dolgui A., Eremeev A., Kolokolov A.Discrete Optimization Methods in
Production and Logistics (guest editorial)// Journal of Mathematical Modelling and
Algorithms. Vol. 5, №2, 2006, - P.139-141.
31
IV. СПРАВОЧНАЯ ИНФОРМАЦИЯ
4.1.
4.2.
4.3.
Основные количественные показатели 2006 г.
Общий объем финансирования, тыс. руб.
14 159 000
В том числе, базовое, тыс. руб.
10 279 000
РФФИ, РГНФ
1 473 000
Программы РАН, СО РАН
3 118 400
х/д,
2 074 000
Научных сотрудников (без совместителей)
39
Докторов наук
10
Кандидатов наук
27
Молодых специалистов (до 33 лет)
11
Аспирантов
14
Рейтинговых публикаций
65
Грантов РФФИ, РГНФ
7
Рейтинговые показатели 2005 г.
1.
Внебазовое финансирование
39 %
2.
Количество рейтинговых публикаций на 1 н.с.
1.7
3.
Штатных молодых научных сотрудников (до 33 лет)
26 %
4.
Число грантов РФФИ и РГНФ на 1 научного сотрудника
0.18
Финансирование НИР
Вид фин.
(тыс.руб) /
год
Общий объем
финансирования
РФФИ
и
РГНФ
ФЦП «Интеграция»
Х\д
Программы
РАН, СО РАН
2001
2002
2003
2004
2005
2006
2598
3414
6899,5
9614,5
12724,7
14 159
783
533
908,7
1840,9
1370
1 473
106
53
63,8
371
364
450.2
1256,5
3064,7
2 074
495
560
560
3 118,4
32
4.4.
4.5.
Участие в работе конференций, совещаний и т.д.
Год
2001
2002
2003
2004
2005
2006
Кол-во
36
41
48
60
50
51
2005
2006
Научные публикации сотрудников по годам
Публикации
2001
2002
2003
Монографии
1
4
3
Рейт. публ.
47
51
53
86
59
65
Всего
137
150
159
159
116
134
2004
2