4.2. Основные количественные показатели 2012 г.
advertisement
Сибирское отделение Российской Академии наук
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ
И Н С Т И Т У Т М А Т Е М А Т И К И им. С. Л. С О Б О Л Е В А
ОМСКИЙ
ФИЛИАЛ
УТВЕРЖДАЮ:
Директор д.ф-м.н., профессор
______________ В.А. Топчий
«
» ______________2012 г.
ОТЧЕТ
РЕЗУЛЬТАТЫ НАУЧНО-ОРГАНИЗАЦИОННОЙ ДЕЯТЕЛЬНОСТИ
Утвержден Ученым Советом 24.12.2012
Омск - 2012
2
РЕФЕРАТ
Отчет содержит 34 стр. текста и 129 названий публикаций. В отчете представлены результаты фундаментальных и прикладных исследований и разработок, проведенных в
2012 г. Омским филиалом Федерального государственного бюджетного учреждения науки
Института математики им. С.Л. Соболева СО РАН. Дана краткая информация о научноорганизационной деятельности в СО РАН, в Омском регионе и в рамках международных
контактов.
Ключевые слова: комбинаторная алгебра, теория вероятностей, математическое моделирование, начально-краевые задачи гидродинамики, методы оптимизации, информационные модели.
Директор
д.ф.-м.н., профессор Валентин Алексеевич Топчий
т. (3812) 236567, admin@ofim.oscsbras.ru
Ученый секретарь
Валентина Александровна Планкова
т. (3812) 247041, plankova@ofim.oscsbras.ru
http://ofim.oscsbras.ru
3
ОГЛАВЛЕНИЕ
I. ВВЕДЕНИЕ ................................................................................................................................ 4
II. ИТОГИ НАУЧНЫХ ИССЛЕДОВАНИЙ ............................................................................... 5
2.1. Важнейшие научные результаты .................................................................................. 5
2.2. Научная работа лабораторий ......................................................................................... 8
III. НАУЧНО-ОРГАНИЗАЦИОННАЯ ДЕЯТЕЛЬНОСТЬ ...................................................... 16
3.1. Проекты, имеющие поддержку на международном, федеральном и
региональном уровнях ......................................................................................................... 16
3.2. Характеристика международных научных связей и совместной деятельности с
зарубежными научными учреждениями .......................................................................... 18
3.3. Участие в работе научных мероприятий................................................................... 19
3.4. Работа в ВУЗах ................................................................................................................ 22
3.5. Диссертационные советы ............................................................................................. 24
3.6. Список научных публикаций ...................................................................................... 25
IV. СПРАВОЧНАЯ ИНФОРМАЦИЯ........................................................................................ 34
4.1. Премии.............................................................................................................................. 34
4.2. Основные количественные показатели 2012 г. ........................................................ 34
4.3. Участие в работе конференций, совещаний и т.д. ................................................... 34
4.4. Научные публикации сотрудников по годам ........................................................... 34
4
I. ВВЕДЕНИЕ
Структурные подразделения
Лаборатория комбинаторных и вычислительных методов алгебры и логики
Лаборатория теоретико-вероятностных методов
Лаборатория математического моделирования в механике
Лаборатория методов преобразования и представления информации
Лаборатория дискретной оптимизации
Информационно-вычислительный центр
Основные задания к плану научно-исследовательских работ
Федерального государственного бюджетного учреждения науки
Института математики им. С.Л. Соболева
Сибирского отделения Российской Академии наук
НИР ОФ ИМ СО РАН: ПСО № 328 от 19.11.09. 1.1.3.2. Развитие методов исследования
стохастических моделей ансамблей частиц (2010-2012 гг., № гос. регистрации –
01201053357), руководитель – д.ф.-м.н. Топчий В.А., исп. – Перцев Н.В., Клоков С.А.,
Гольтяпин В.В., Пичугин Б.Ю., Зачатейский Д.Е., Планкова В.А.
НИР ИМ СО РАН: ПСО № 328 от 19.11.09. Актуальные проблемы алгебры (2010-2012 гг.,
№ гос. регистрации – 01201051839), руководитель – чл.-к. РАН Мазуров В.Д., исп. – Ремесленников В.Н., Даниярова Э.Ю., Лопатин А.А., Берестовский В.Н., Носков Г.А., Рыбалов А.Н., Гичев В.М., Зубарева И.А., Шевляков А.Н.
НИР ОФ ИМ СО РАН: ПСО № 328 от 19.11.09. 1.3.1.3. Теория и приложения сплайнфункций и методы математического моделирования в механике сплошной среды, физике
полупроводников и биологии (2010-2012 гг., № гос. регистрации – 01201051838), руководители – Блохин А.М., д.ф.-м.н. Фадеев С.И., исп. – Задорин А.И., Горелов Д.Н., Паничкин А.В., Зобнин А.И., Харина О.В.,
НИР ОФ ИМ СО РАН: ПСО № 328 от 19.11.09. 1.5.1.1. Математические методы распознавания образов и прогнозирования (2010-2012 гг., № гос. регистрации – 01201051843), руководитель – д.т.н. Загоруйко Н.Г., исп. – Зыкин С.В., Филимонов В.А., Чанышев О.Г.,
Пуртов А.М., Нартов Б.К., Чуканов С.Н., Маренко В.А., Терехов Л.С.
НИР ОФ ИМ СО РАН: ПСО № 328 от 19.11.09. 1.5.1.3. Алгоритмы дискретной оптимизации для задач исследования операций (2010-2012 гг., № гос. регистрации – 01201051848),
руководители – Береснев В.Л., д.ф.-м.н. Э.Х. Гимади, исп. – Колоколов А.А., Адельшин
А.В., Еремеев А.В., Забудский Г.Г., Заозерская Л.А., Леванова Т.В., Сервах В.В.
5
II. ИТОГИ НАУЧНЫХ ИССЛЕДОВАНИЙ
2.1. Важнейшие научные результаты
ПЕРВЫЙ РЕЗУЛЬТАТ
Автор: Топчий Валентин Алексеевич
Описаны условия на функции распределения, сосредоточенные на прямой с
бесконечным первым моментом, достаточные для регулярного изменения приращений, плотности и производной от плотности функции восстановления для этих
распределений, доказаны асимптотические формулы для перечисленных характеристик функции восстановления.
Пусть F(t) – функция распределения на R+, интерпретируемая как распределение
времени службы прибора. Приборы при поломке мгновенно меняются на новые. Тогда
F *n (t ) , называемая функцией восстановления, является средним количеством
U(t)=
n 0
F *n ( ) – средним количеством приприборов, установленных за время t, а U(δ)=
n 0
боров, установленных на интервале времени δ =(a,b], где F*n(δ) – приращение n-кратной
свертки F(t) на δ. Для ряда приложений в физике и биологии важно знать асимптотику
U(δ) и ее производных, когда F(t) сосредоточено на R и не имеет конечного первого
момента. Проблема рассматривалась De Bruijn N.G., Erdös P. (1953); Garsia A., Lamperti J.
(1963); Williamson J.A. (1968), Stone C. J. (1965). Классическими в данном направлении
стали работы K.B. Erickson (1970, 1971). Основным условием является правильное
изменение хвоста F(t) с показателем β(0,1]. В случае F(0)=0 асимптотика U(t)
описывается с помощью стандартных Тауберовых теорем, а для U(δ) K.B. Erickson
доказал, что асимптотика описывается регулярной функцией только при β(0.5,1], иначе
нужны дополнительные условия. Автором были сформулированы условия, достаточные
для наличия плотности и ее производной у U(.), а соавторстве с В.А. Ватутиным решена
проблема асимптотики приращений функции восстановления при малых β.
Результат опубликован:
1. Topchii, V. Renewal measure density for distributions with regularly varying tails of order
α(0,1/2], In: Workshop on Branching Processes and Their Applications: Lecture Notes in
Statistics, V. 197, 2010, 109-118.
6
2. Топчий В.А. Производная плотности восстановления с бесконечным моментом, Сиб.
эл. мат. изв. 2010. Т. 7. - С. 340-349.
3. Ватутин В.А., Топчий В.А. Каталитические ветвящиеся случайные блуждания на Zd
с ветвлением в нуле. Математические труды, (2011), Т.14, N2, с.28-72.
4. Топчий В.А. Асимптотика производных от функции восстановления для распределений без первого момента с правильно меняющимися хвостами степени β(0.5,1], Дискретная математика, 2012, Т. 24, в. 2, с.123-148.
5. Ватутин В.А., Топчий В.А. Основная теорема восстановления для распределений с
тяжелыми хвостами, имеющими индекс β (0,0.5], Теория вероятностей и ее применения, 2013, Т. 57 (принята к печати).
ВТОРОЙ РЕЗУЛЬТАТ
Автор: Зыкин Сергей Владимирович
Построена обобщённая модель многомерных данных с несбалансированными
иерархиями в размерностях и списочными компонентами в качестве мер. Сформулированы и исследованы условия корректности формирования представления для этой
модели. Разработана технология межмодельных коммутативных преобразований
для реляционной и многомерной моделей данных.
Разработаны методы построения многомерного представления данных, которое является основой технологии оперативной аналитической обработки данных. Предложена и
исследована следующая последовательность преобразования данных: RDB GC
RDB, где RDB – реляционная модель (исходная), GC – модель многомерных данных (целевая). При построении преобразований используется модель данных TJ – 'таблица связанных соединений' (промежуточная модель), представление которой позволяет эффективно управлять содержимым размерностей и мер GC. Для модели TJ получены и доказаны условия существования и единственности ее представления. Разработаны алгоритмы
динамического формирования GC из RDB и алгоритм преобразования RDB. Для обеспечения коммутативности преобразований введено и исследовано понятие реализованных
зависимостей, получено условие ацикличности схем баз данных на ссылочных ограничениях целостности, получены образы ограничений целостности на данные при их трансформации в многомерное представление.
7
Результат опубликован:
1.
2.
3.
4.
5.
6.
Zykin S.V. Automation of the interface formation between multidimensional and relational
representation of the data./ In Book: Relational Databases and Open Source Software Development// Editor Jennifer R. Taylor. Nova Science Publishers, Inc. 2010. Chapter 2. - P.
43 - 66.
Зыкин С.В., Полуянов А.Н., Чернышев А.К., Ревзин А.И. Технология подготовки и
анализа данных для построения медицинских оценочных шкал// Информационные
технологии, 2010, № 12. Стр. 57-62.
Зыкин С.В. Формирование гиперкубического представления данных со списочными
компонентами.// Информационные технологии и вычислительные системы, 2010, № 4.
Стр. 38-46.
Зыкин С.В. Автоматизация формирования многомерных представлений данных. //
Вестник Воронежского государственного университета. Серия: Системный анализ и
информационные технологии, 2010, № 2. Стр. 145-152.
Зыкин С.В., Редреев П.Г., Чернышев А.К. Формирование представлений данных для
построения медицинских диагностических шкал. // Омский научный вестник. Серия
"Приборы, машины и технологии", 2011, № 2(100). Стр. 190-193.
Зыкин С.В. Редактирование базы данных с использованием табличных представлений
// Вестник Омского университета. 2012, № 2. Стр. 181-187.
ТРЕТИЙ РЕЗУЛЬТАТ
Автор: к. ф.-м. н. А.А. Лопатин
Найдены соотношения между порождающими алгебры ортогональных инвариантов нескольких матриц над бесконечным полем нечетной характеристики.
Полученные теоремы описывают соотношения между порождающими алгебры полиномиальных инвариантов нескольких матриц, относительно диагонального действия ортогональной группы сопряжениями, над бесконечным полем нечетной характеристики.
Данная алгебра инвариантов порождается коэффициентами характеристических многочленов всевозможных произведений общих матриц и транспонированных общих матриц.
Над полем нулевой характеристики соотношения между порождающими были описаны К.
Прочези в 1976 году. Основная сложность в изучении случая положительной характеристики по сравнению со случаем нулевой характеристики заключается в невозможности
сведения всех соотношений к мультилинейным и в невозможности сведения матричных
инвариантов к инвариантам векторов и ковекторов.
Результат опубликован:
1.
2.
3.
Lopatin A.A., Free relations for matrix invariants in the modular case, Journal of Pure and
Applied Algebra, 216 (2012), 427-437.
Lopatin A.A., Relations between O(n)-invariants of several matrices, Algebras and Representation Theory, 15 (2012), 855-882.
Лопатин А.А., Ортогональные матричные инварианты, Фундаментальная и прикладная математика, 17 (2011/2012), N7, 175-182.
8
2.2. Научная работа лабораторий
Лаборатория комбинаторных и вычислительных методов алгебры и логики
(заведующий – д.ф.-м.н. Ремесленников В.Н.)
Ключевые результаты об универсальной алгебраической геометрии для алгебраических систем перенесены со случая функциональной сигнатуры на случай сигнатуры, содержащей как функциональные так и предикатные символы (Э.Ю. Даниярова,
А.Г. Мясников, В.Н. Ремесленников).
Описаны нетеровы дистрибутивные решетки в языке с константами (А.Н. Шевляков).
Доказан критерий топогизируемости для нетеровых алгебраических систем
(М.В. Котов).
Описан широкий класс геометрических подгрупп в произвольных частично коммутативных группах (В.Н. Ремесленников, А Данкен).
Получено альтернативное доказательство о существовании алгоритма, решающего
проблему универсальной эквивалентности для частично коммуативных двуступенно
нильпотентных групп (А.А. Мищенко, А.В. Трейер).
Получена асимптотика для числа отказов генерического алгоритма изоморфизма графов, основанного на сравнении числа ребер (Г.А. Носков, А.Н. Рыбалов).
Введены атомарные меры для описания множеств нормальных форм и для генерической оценки работы алгоритма для групп, являющихся свободным произведением двух
свободных групп (В.Н. Ремесленников, А.Г. Мясников, Е.В. Френкель).
Введен новый класс однородных почти нормальных римановых многообразий и получены некоторые результаты для этого класса. Классифицированы все обобщенные нормальные однородные римановы метрики на сферах и проективных пространствах (Берестовский В.Н.).
Найдены соотношения между порождающими алгебры ортогональных инвариантов
нескольких матриц над бесконечным полем нечетной характеристики (А.А. Лопатин).
Получено описание полугрупп многогранников, вершины которых задают центрированное разбиение (В.М. Гичев, И.А. Зубарева).
Лаборатория теоретико-вероятностных методов
(заведующий – д.ф.-м.н. Топчий В.А.)
Сформулированы достаточные условия и при их выполнении методами явного обращения преобразований Фурье описаны асимптотики плотности функции восстановления и
производной от нее для распределений, не обладающих первыми моментами и имеющими
правильно меняющиеся хвосты с показателем от -1 до -1/2 (Топчий В.А.).
Изучены асимптотические свойства вероятности продолжения и предложена классификация для описания асимптотического поведения ветвящихся случайных процессов,
начинающихся с большого числа частиц, с двумя типами частиц. Один из них имеет первый момент у распределения продолжительности жизни с хвостом порядка o(t-2), а у второго хвост распределения продолжительности жизни является правильно меняющимся
порядка α(0,1/2] (Топчий В.А.).
9
В соавторстве с В.А. Ватутиным в общем виде решена проблема асимптотики приращений функции восстановления определенных по распределениям с правильно меняющимися хвостами порядка α(0,1/2] (В.А. Топчий).
При минимальных предположениях о гладкости коэффициента сноса показано, что для
дискретизации эргодического стохастического уравнения с постоянным коэффициентом
диффузии с помощью схемы Эйлера оценки на скорость бета-перемешивания имеют тот
же порядок, что и скорости перемешивания для предельного процесса (Клоков С.А.).
На примере дискретной стохастической модели распространения ВИЧ-инфекции разработан подход к построению верхних оценок на математические ожидания численностей
различных групп индивидуумов и получены достаточные условия затухания ВИЧинфекции (Перцев Н.В., Леоненко В.Н.).
Построена стохастическая индивидуум-ориентированная модель, описывающая развитие, выявление и лечение неинфекционных заболеваний. Модель использована для оценки
экономической эффективности внедрения виртуальной колоноскопии для выявления индивидуумов, предрасположенных к развитию колоректального рака. (Перцев Н.В., Пичугин Б.Ю., Леоненко В.Н.).
На основе факторного и сингулярного анализа с применением гипотезы лямбдакомпактности и лямбда-расстояния были разработано программное приложение для оценки тяжести иммунологической патологии у пациентов с дисплазией соединительной ткани
Выделены факторы, определяющие группу медицинских показателей, на которые можно
воздействовать, чтобы получить максимальный эффект от лечения (Гольтяпин В.В.)
Ведутся работы по моделированию новых антенных элементов фазированных антенных решёток радиосистем декаметрового диапазона частот и радиолиний декаметровой
связи (Зачатейский Д.Е.).
Разработаны математические модели формирования оптимального комплекта тестов,
позволяющего оценить не только уровень знаний отдельного студента, но и степень усвоения всего учебного материала потоком студентов в целом (Заозерская Л.А., Планкова В.А.).
Лаборатория математического моделирования в механике
(заведующий – д.ф.-м.н. Задорин А.И.)
Предложен метод решения краевой задачи для нелинейного сингулярно возмущенного ОДУ второго порядка на основе монотонной схемы Самарского. Для этого исходная
задача линеаризована на основе методов Ньютона и Пикара. На каждой итерации применяется схема Самарского на сетке Шишкина. Доказан второй порядок точности предложенных алгоритмов, равномерно по малому параметру. Для уменьшения количества
арифметических действий исследован двухсеточный метод (А.И. Задорин, С.В. Тиховская).
Построена формула сплайн-интерполяции функции одной переменной с погранслойной составляющей с произвольным числом узлов интерполяции. Эта формула точна на
погранслойной составляющей. Получена оценка точности построенной формулы. Дифференцирование построенного интерполянта приводит к новым разностным формулам для
вычисления производных функции с погранслойной составляющей, заданной таблично
(А.И. Задорин, Н.А. Задорин).
Построена квадратурная формула с четырьмя узлами для вычисления интеграла от
функции с погранслойной составляющей. Построенная формула точна на погранслойной
составляющей. Доказано, что построенная составная формула – третьего порядка точности, равномерно по погранслойной составляющей и ее производным (А.И. Задорин,
Н.А. Задорин).
10
Проведено численное моделирование течения несжимаемой жидкости со свободными
границами между двумя вращающимися цилиндрами. На основе этого осуществлено моделирование протекания и разделения краски при офсетной печати. Доработан алгоритм,
использующий разностные схемы для нестационарных уравнений Навье-Стокса в цилиндрической системе координат с учетом прилипания, адгезии, фильтрации в пористую среду, поверхностного натяжения. Получено согласование с экспериментальными данными
(А.В. Паничкин).
Разработан алгоритм решения нелинейной начально-краевой задачи о начальной стадии отрывного обтекания разомкнутого контура методом дискретных вихрей. В отличие
от других алгоритмов к системе известных нелинейных соотношений были добавлены
условия в точках схода вихревых следов, что позволило корректно вычислять координаты
свободных дискретных вихрей, сходящих непосредственно с контура (Горелов Д.Н.).
Подведены итоги многолетних исследований по аэродинамике ветроколес с вертикальной осью вращения. Выдвинута гипотеза об аэродинамической аналогии ветроколеса
с машущим крылом, что позволило по-иному понять процесс образования крутящего момента на валу ветроколеса. Результаты исследования опубликованы в монографии «Аэродинамика ветроколес с вертикальной осью вращения» (Горелов Д.Н.).
Лаборатория методов преобразования и представления информации
(заведующий – д.т.н. Зыкин С.В.)
Разработана модель данных «Композиционная таблица», позволяющая отобразить
многомерные данные на плоскость (С.В. Зыкин, А.Н. Полуянов)
Предложен метод и разработан алгоритм расчета неравномерной диагностической
шкалы на основе решающих функций (С.В. Зыкин, А.Н. Полуянов).
Разработана модель многомерного представления данных со списочными компонентами. Разработан алгоритм автоматического формирования иерархий в измерениях.
(С.В. Зыкин, А.Н. Полуянов, С.В. Мосин).
Разработаны алгоритмы определения иерархии по вхождению полных ассоциативных
полей и построения цепочек ассоциаций от заданного слова по максимальному значению
близости для всех вершин (О.Г. Чанышев).
Разработан алгоритм автоматической генерации прототипов текстов, описывающих
отдельные области базы знаний типа «Мир» и связи между областями (О.Г. Чанышев).
Разработан компонент «МКСЦ: Синергетика», представляющий собой конструктор
гомеостатических моделей. Проведены эксперименты по определению интеллектуальных
показателей индивидов (В.А.Филимонов, В.А. Маренко).
На имитационной модели разработана технология использования таксономии для анализа задержек на автотранспортном маршруте города (А.М. Пуртов).
Решена задача определения характеристик систем, инвариантных относительно действия специальной аффинной группы преобразований (С.Н. Чуканов).
Разработан метод определения инвариантов векторных полей сложных динамических
систем при действии аффинной группы преобразований (С.Н. Чуканов).
Формализованы по неполным данным задачи поиска отображений неравномерно распределённых подвижных целей (Б.К. Нартов).
Разработаны компоненты кросс-технологии учебно-исследовательского ситуационного центра и методика когнитивной визуализации для систем с характеристиками различных типов (качественными и количественными) (В.А. Филимонов, В.А. Маренко).
Разработаны новые модели и алгоритмы поиска отображений подвижных целей на
большие информационные массивы. В частности: Решены новые задачи оптимизации параметров фиксированных схем поиска. Разработаны алгоритмы оптимизации параметров
11
схем поиска и переключения схем поиска в реальном масштабе времени. Формализована
до уравнений интенсивности обнаружения целей задача нестационарного поиска. Разработаны алгоритмы поиска целей с захватом их информационных шлейфов (Б.К. Нартов,
С.Н. Чуканов, А.Н. Полуянов, Н.Л Прыжикова).
Лаборатория дискретной оптимизации
(заведующий – д.ф.-м.н. Колоколов А.А.)
Выделены и изучены семейства задач целочисленного линейного программирования с
мощными L-накрытиями, и предложены улучшающие их унимодулярные преобразования.
Описан подкласс NP-трудных задач и исследована их структура, на основе которой можно
исследовать эффективность алгоритмов, в частности, перебора L-классов и метода ветвей
и границ (Колоколов А.А., Орловская Т.Г.).
Для невзвешенных задач об упаковке и покрытии множества установлена монотонность отношений среднего числа допустимых решений на соседних линиях уровня целевой функции. С использованием этого свойства выделены полиномиально разрешимые в
среднем подклассы задач о покрытии множества (Заозерская Л.А., Колоколов А.А.).
Предложены семейства задач об упаковке множества с ограничениями блочной
структуры, построены нижние оценки мощности их L-накрытий и оценки числа итераций
для некоторых алгоритмов целочисленного линейного программирования (Колоколов А.А., Корбут М.Ф.).
Построены и исследованы модели целочисленного линейного программирования для
задач проектирования производственных групп с учетом межличностных отношений,
разработаны и реализованы алгоритмы решения этих задач, основанные на методе ветвей
и границ, проведены экспериментальные исследования (Колоколов А.А., Афанасьева Л.Д.).
Предложен алгоритм поиска приближенных решений максиминной задачи размещения объектов в прямоугольной области на плоскости с ограничениями на минимально допустимые расстояния в метрике Чебышева (Забудский Г.Г., Коваль А.А.).
Разработан параллельный алгоритмы динамического программирования решения
квадратичной задачи о назначениях на древовидной сети. Проведен вычислительный эксперимент по анализу его эффективности в сравнении с пакетом CPLEX (Забудский Г.Г.,
Лагздин А.Ю.).
Исследована задача календарного планирования инвестиционных проектов при наличии возможности использования кредитов. Предложен подход и разработан алгоритм построения надежных расписаний в задаче календарного планирования инвестиционных
проектов. Построена модель и предложен алгоритм решения задачи выбора инвестиционных проектов в условиях кризиса (Абакумов К.С., Мартынова Е.А., Сервах В.В.).
Доказана псевдополиномиальная разрешимость задачи минимизации затрат на транспортировку и хранение продукции с несколькими поставщиками и учетом нижних ограничений на объемы поставок (Бурлакова Н.И., Сервах В.В.).
Реализован алгоритм минимизации циклического времени при обработке однотипных
деталей при наличии дополнительных ограничений (Боброва Е.А., Сервах В.В.).
Рассмотрена вычислительная сложность оптимальной рекомбинации в генетическом
алгоритме для одной задачи составления расписаний с переналадками. Доказана NPтрудность в сильном смысле данной задачи оптимальной рекомбинации и предложен точный алгоритм ее решения. Показано, что трудоемкость предложенного алгоритма полиномиальна для почти всех индивидуальных задач оптимальной рекомбинации. (Еремеев А.В., Коваленко Ю.В.).
Доказана NP-трудность взвешенной модификации задачи выбора подмножества векторов VS2 в случае двухмерного пространства и предложена модель частично целочисленного линейного программирования для задачи выбора узлов хаба. Показано, что мо-
12
дификация невзвешенной задачи VS2 с критерием минимизации расстояния от центроида
искомого кластера до заданного вектора является NP-трудной в сильном смысле. (Еремеев
А.В., Тарасенко Э.А.).
Исследована вычислительная сложность задачи распределения бункерных накопителей в производственной линии с машинами, подверженными случайным отказам. Доказана NP-трудность данной задачи в случае двух последовательных машин при оракульном
представлении функций дохода и стоимости установки накопителей. (Еремеев А.В., Долгий А.Б., Ковалев М.Ю.).
Разработана схема точного решения смешанной задачи максимальной выполнимости,
основанная на методе ветвей и границ и переборе L-классов. В рамках предложенной схемы реализован ряд алгоритмов, проведен вычислительный эксперимент на различных сериях тестовых задач (Адельшин А.В.).
Продолжены исследования эвристических алгоритмов для решения дискретных задач
оптимального размещения предприятий. В частности, разработаны и реализованы алгоритмы пчелиного роя для классической задачи о р-медиане и задачи о р-медиане с ограничениями на мощности предприятий. Проведён вычислительный эксперимент на тестовых примерах из известных библиотек, а также на специально сформированных задачах
(Леванова Т.В., Ткачук Е.А.).
Разработаны математические модели формирования оптимального комплекта тестов,
позволяющего оценить не только уровень знаний отдельного студента, но и степень усвоения всего учебного материала потоком студентов в целом (Заозерская Л.А., Планкова В.А.).
Информационно-вычислительный центр
(начальник – к.ф.-м.н. Алгазин В.А.)
В 2012г. ИВЦ ОФ ИМ выполнял работы в рамках двух Целевых программ
Сибирского отделения РАН: «Телекоммуникационные и мультимедийные ресурсы СО
РАН» и «Суперкомпьютер».
По первой из программ продолжалось развитие и эксплуатация единой телекоммуникационной и мультимедийной инфраструктуры ОНЦ СО РАН (как части СПД СО РАН в
г. Омске) и ВУЗов г. Омска.
Были продолжены работы по выбору наиболее оптимальных вариантов подключения
узлов в Институте проблем переработки углеводородов на ул. Нефтезаводская и
ул. 5 Кордная к КС ОКНО и оптимизации вариантов внутренней коннективности КС
ОКНО.
В штатном режиме проводился комплекс работ по сопровождению и обслуживанию
узлов сети КС ОКНО и Филиала Института математики СО РАН.
В результате работ, проведённых в 2012 году, по сопровождению узлов сети ОНЦ СО
РАН повысилось качество предоставления телекоммуникационных услуг.
В течение 2012г. были выполнены следующие работы по модернизации ЦУС:
Выполнено обновление версий программного обеспечения основных Internetсервисов (DNS, Mail, Squid, FTP, Web) на всех узлах сети (ЦУС, на серверах
центральной библиотеки ОНЦ, Президиума ОНЦ и ОФ ИМ);
С целью отслеживания и блокировки атак, закрытия устаревших Интернетсервисов, служб и протоколов проводились работы по модификации системы
защиты и мониторинга сети с применением новых методов и программ;
13
В 2012г. в очередной раз был выполнен переход на новую схему получения
магистральных каналов. С апреля была реализована схема с VLAN с пропускной
способностью до 30 Мбит.
В целях повышения безопасности и отказоустойчивости телекоммуникационной инфраструктуры КС ОКНО была завершена установка блока удаленного управления всеми серверами на базе оборудования серии Dominion, начатая в 2011г. Переключатели Dominion KX2 и KSX2 обеспечивают гарантированное управление на уровне BIOS
всеми устройствами с графическим интерфейсом, обмен данными с удаленным оборудованием, а также предоставляют возможность управления электропитанием оборудования
при помощи дополнительных модулей DominionPX. Наличие опций отказоустойчивого
дублирования питания и резервированных портов Gigabit Ethernet позволяют достичь высокого уровня надежности.
Видеоконференции. В течение года оборудование ОФ ИМ (на базе видеотерминала
VSX 7000e - фирмы Polycom) и оборудование, полученное для Президиума ОНЦ от ИВТ
СО РАН использовалось для организации видеотрансляций заседаний Президиума СО
РАН.
По итогам работы Координационного совета Целевой программы ТМР СО РАН в
г. Барнауле в 2010г. весной 2011г. руководителю Целевой программы академику Ю.И. Шокину и в Приборную комиссию СО РАН были переданы предложения о приобретении для
региональных центров СО РАН кодеков TANDBERG Codec C90 с широкими возможностями коммутации различных источников интеграции. Число видеоабонентов для этого
Codec может быть до 4 в формате Full HD.
Данное оборудование совместимо с устройствами как этого же, так и других производителей, позволяющими осуществлять как запись видеоконференций, так и использование
документ-камер.
В 2012 г. Приборная комиссия СО РАН приобрела для ОНЦ необходимое оборудование. В настоящее время оборудование получено и проходит тестирование. После этого оно
будет установлено в ОФИМ, Узел КС ОКНО которого имеет каналы связи, позволяющие
организовывать ВКС для всех подразделений СО РАН в г. Омске.
Наряду с этим полученное оборудование совместимо с широким спектром клиентского оборудования для видеоконференций;
Защита сети передачи данных Омского научного центра СО РАН.
В настоящее время в Омском научном центре СО РАН в области защиты от несанкционированного доступа и внешних воздействий выделены и постоянно ведутся работы
по 3-м основным направлениям:
I. Защита от несанкционированного доступа и внешних воздействий, основанная на
разнообразных уязвимостях в протоколах передачи информации (стек TCP/IP), а также в
ОС и программных продуктах. В рамках этого направления реализована 3-х уровневая
защита:
1 уровень - на базе центрального аппаратного маршрутизатора Cisco3845;
2 уровень - на базе программного маршрутизатора центрального узла (Firewall в
FreeBSD);
3 уровень на базе серверов подразделений ОНЦ.
Персоналом КС ОКНО осуществляется периодическое обновление всех сервисов работающих на серверах и маршрутизаторах сети, а также самих ОС, установленных на них.
Все “потенциально опасные” подразделения (например, бухгалтерия) выделены в автономные сегменты с использованием для них адресного пространства Интранет и выхода в
Интернет через NAT и Proxy-сервера. Кроме того, оказывается помощь (как реальная, так
и консультативного характера) администраторам серверов и сетей подразделений ОНЦ.
Для удаленного администрирования узлов сети используется протокол SSH. Ведется сбор
14
IP-статистики разнообразного характера, что своевременно позволяет выявить и устранить практически все случаи, связанные с попытками несанкционированного доступа к
сети. В целом политику безопасности в этом направлении можно назвать разрешающей
(возможно только то, что разрешено явным образом).
II. Защита от СПАМА ведется в нескольких направлениях:
используются DNSBL-листы;
используются фильтры по содержанию почтовой корреспонденции;
используются методы, основанные на ряде особенностей протокола SMTP и
программного обеспечения почтовых серверов (например, механизм
GreetPause в SendMail);
используется метод, основанный на “списках доступа” (GrayList).
III. Защита от вирусной активности в настоящий момент комплексно реализована в
сетях президиума ОНЦ, центральной научной библиотеки ОНЦ, ОГОНБ и ОФИМ. На рабочих станциях и серверах установлено и используется программное обеспечение:
Kaspersky Administration Kit версии “8.0.2090” и антивирус Касперского 6.0 для Windows
Workstations версии: “6.0.4.1424” a.d.f., что позволило практически полностью исключить
проникновение вирусов как через электронную почту, так и другими методами.
Антивирусные сервисы
В локальной сети ОФ ИМ установленная лицензионная серверная версия Антивируса
лаборатории Касперского Kaspersky Administration Kit 8.0.2163 на сервере DB.
На всех локальных компьютерах сети работает Антивирус Касперского 6.0 для Windows Workstations версии 6.0.4.1424, обновление баз определения вирусов происходит с
сервера DB.
Развитие высокопроизводительных вычислений
Наряду с работами по Целевой программе «Телекоммуникационные и мультимедийные ресурсы Сибирского отделения РАН» ОФ ИМ принимает участие в работах по
Целевой программе СО РАН «Суперкомпьютер».
В 2012г. работа по Целевой программе СО РАН «Суперкомпьютер» велась в двух
направлениях:
Во-первых, выполнялись исследования и разработка моделирующих программ для
стохастических моделей динамики популяций, развивающихся в условиях воздействия
токсичных и вредных веществ; разработка моделирующих программ для стохастических
моделей динамики социально-значимых заболеваний и выявления больных индивидуумов; разрабатывались параллельные многопоточные алгоритмы формирования табличных
представлений данных по технологии OLAP.
Во-вторых, силами сотрудников ОФИМ выполнялась эксплуатация и модернизация
существующего суперкомпьютерного кластера.
Произведена замена дававшего сбои жёсткого диска в дисковом массиве AXUS Yotta
B. Благодаря встроенным возможностям дисковой подсистемы произведена перестройка
массива без остановки работы кластера.
На всех вычислительных узлах кластера произведено обновление программного обеспечения CUDA до версии 4.1. Это самая последняя из версий, совместимых с ОС CentOS
release 5.4, используемой на кластере. Обновлённое программное обеспечение включает в
себя драйверы nVidia, библиотеки CUDA Toolkit, средства разработчика CUDA SDK. На
головном узле кластера обновлены библиотеки CUDA Toolkit и средства разработчика
CUDA SDK. К кластеру добавлено два вычислительных узла. Один с двумя вычислителями Tesla C2075 и второй - с двумя вычислителями Tesla C2050. Увеличение производи-
15
тельности кластера составило 2060 Gflops, что более чем в 4 раза превышает его исходную производительность. Такой рост производительности обеспечило применение вычислителей нового поколения с архитектурой Fermi, которые являются гораздо более производительными, чем Tesla C1060 (производительность одного вычислителя в выполнении
операций с двойной точностью выросла в ~6,7 раза).
Суммарная вычислительная мощность 4 узлов кластера в вычислениях с двойной точностью: 2526 Gflops (т.е. ~2.5 Tflops).
Текущая конфигурация кластера:
общее число узлов – 4,
общее число вычислителей – 10,
общий объём ОЗУ – 48ГБ.
общий объём ОЗУ на вычислителях – 42ГБ.
Выполнены работы по переводу электропитания кластера на принципы удалённого
управления. Все узлы оснащены средствами управляемой коммутации, таким образом, как
отключение, так и подача электропитания на узлы кластера могут выполняться удалённо,
без необходимости присутствия инженера непосредственно в серверной комнате.
В рабочем порядке проводятся консультации существующих и новых пользователей кластера, как по вопросам его системной архитектуры, так и по приёмам и методам создания
прикладных программ.
Организационная работа
На развитие и эксплуатацию КС ОКНО из средств целевой программы «ТМР СО
РАН» в 2012г. было выделено 750 тыс. руб. и дополнительно специально на оборудование
250 тыс. руб., а по Программе «Суперкомпьютер» - 1000 тыс. руб.
Закупки оборудования выполнялись на основании потребностей оператора КС
ОКНО в модернизации ЦУС (ОФ ИМ, ул. Певцова, 13) и узла в Президиуме ОНЦ (проспект Карла Маркса, 15), а также в целях развития высокопроизводительных вычислений
в ОНЦ.
На используемое в настоящее время в ОФ ИМ СО РАН программное обеспечение
(операционные системы семейства Windows и Mac OS, офисное ПО, антивирусное ПО,
компиляторы и средства разработки, архиваторы и т.п.) имеются соответствующие лицензии. В связи с постепенным обновлением компьютерного парка в ЗАО «СофтЛайн Трейд»
по Договору № 36130/OMS9 было приобретено новое системного программное обеспечение (10 лицензий на Windows 7 Professional) на общую сумму 47000 руб.
16
III. НАУЧНО-ОРГАНИЗАЦИОННАЯ ДЕЯТЕЛЬНОСТЬ
3.1. Проекты, имеющие поддержку на международном, федеральном и региональном
уровнях
1.
2.
3.
4.
5.
6.
7.
8.
НИР ОФ ИМ СО РАН: ПСО № 328 от 19.11.09. I.1.3.2. Развитие методов исследования стохастических моделей ансамблей частиц, 01201053357, 2010-2012 гг., рук. –
Топчий В.А., исп. – Перцев Н.В., Клоков С.А., Гольтяпин В.В., Пичугин Б.Ю., Зачатейский Д.Е., Планкова В.А., Леоненко В.Н.
НИР ИМ СО РАН: ПСО № 328 от 19.11.09. Актуальные проблемы алгебры (20102012 гг., № гос. регистрации – 01201051839), руководитель – чл.-к. РАН Мазуров
В.Д., исп. – Ремесленников В.Н., Даниярова Э.Ю., Лопатин А.А., Берестовский В.Н.,
Носков Г.А., Рыбалов А.Н., Гичев В.М., Зубарева И.А., Шевляков А.Н.
НИР ИМ СО РАН: ПСО № 328 от 19.11.09. 1.3.1.3. Теория и приложения сплайнфункций и методы математического моделирования в механике сплошной среды, физике полупроводников и биологии (2010-2012 гг., № гос. регистрации – 01201051838),
руководители – Блохин А.М., д.ф.-м.н. Фадеев С.И., исп. – Задорин А.И., Горелов Д.Н., Паничкин А.В., Зобнин А.И., Харина О.В.,
НИР ИМ СО РАН: ПСО № 328 от 19.11.09. 1.5.1.1. Математические методы распознавания образов и прогнозирования (2010-2012 гг., № гос. регистрации – 01201051843),
руководитель – д.т.н. Загоруйко Н.Г., исп. – Зыкин С.В., Филимонов В.А., Чанышев О.Г., Пуртов А.М., Нартов Б.К., Чуканов С.Н., Маренко В.А., Терехов Л.С.
НИР ИМ СО РАН: ПСО № 328 от 19.11.09. 1.5.1.3. Алгоритмы дискретной оптимизации для задач исследования операций (2010-2012 гг., № гос. регистрации –
01201051848), руководители – Береснев В.Л., д.ф.-м.н. Э.Х. Гимади, исп. – Колоколов А.А., Адельшин А.В., Еремеев А.В., Забудский Г.Г., Заозерская Л.А., Леванова Т.В., Сервах В.В.
Программа ОМН РАН 1.1.1. «Современные проблемы теоретической математики в
ИМ СО РАН», отв. исп. – Топчий В.А.
Проект ОМН РАН 99.3.2. «Разработка численных методов решения двумерных краевых и начально-краевых задач с сингулярными особенностями», 2012-2014 гг., рук. –
Задорин А.И., исп.– Горелов Д.Н., Паничкин А.В., Зобнин А.И., Харина О.В.
Проект ОМН РАН 99.2.2. «Алгоритмы и методы инструментальной и интеллектуальной поддержки технологий принятия решений., 2012-2014 гг, рук. – Зыкин С.В.
Интеграционный междисциплинарный проект 47. «Суперкомпьютерная реализация
стохастической эволюции ансамблей взаимодействующих частиц различной природы
для решения естественно-научных и нанотехнологичных задач», 2012-2014 гг., рук. –
чл.-к. РАН Михайлов Г.А., ИВМиМГ; д.ф.-м.н. Иванов М.С., ИТПМ, отв. исп. – д.ф.м.н. Перцев Н.В.
10. Интеграционный междисциплинарный проект 80. «Дифференциально-разностные и
интегродифференциальные уравнения. Приложения к задачам естествознания», 20122014 гг., рук. – д.ф.-м.н. Демиденко Г.В., ИМ, отв. исп. – д.ф.-м.н. Перцев Н.В.
11. Интеграционный проект 53.7. «Теория и методы решения задач дискретной оптимизации и их применение в информационно-телекоммуникационных системах» (совместно с Институтом математики СО РАН (Новосибирск), рук. омской группы - Колоколов А.А.
12. Интеграционный проект 53.56. «Геометрический анализ актуальных задач теории
функций и дифференциальных уравнений», рук. – ак. Решетняк Ю.Г., исп. – Гичев В.М.
9.
17
13. Проект по программам фундаментальных исследований Президиума РАН. 99.15.8.
Дискретные экстремальные задачи в системах поддержки принятия решений и распознавании образов», рук. – Береснев В.Л., рук. омской группы – Колоколов А.А.
14. Грант РФФИ 11-01-00875-а «Разработка сплайн-интерполяционных формул и их применение для краевых задач с пограничным слоем», 2011-2013, рук. – Задорин А.И.,
исп. – Харина О.В., Тиховская С.В., Задорин Н.А.
15. Грант РФФИ 12-07-00066-а «Динамическое формирование представления данных и
их анализ для информационной поддержки процесса принятия решений», 20122014 гг., рук. – Зыкин С.В.
16. Грант РФФИ 10-07-00032-а «Система визуализации векторных полей динамических
систем и определения характеристик, инвариантных относительно действия аффинной группы преобразований», 2010-2012 гг., рук. – Чуканов С.Н.
17. Грант РФФИ 11-08-01349 «Развитие методов поиска отображений подвижных целей
на большие массивы», 2010-2012 гг., рук. – Нартов Б.К.
18. Грант РФФИ 11-01-00081а, Алгебро-геометрические методы для алгебраических систем и генерическая сложность, 2011-2013 гг., рук. – Ремесленников В.Н.
19. Грант РФФИ, 10-01-00598-а, Исследование задач дискретной оптимизации с логическими и ресурсными ограничениями, 2010-2012 гг.рук. – Колоколов А.А., исп. – Еремеев А.В., Забудский Г.Г., Заозерская Л.А., А.В. Адельшин, Леванова Т.В.
20. Грант РФФИ 12-01-31016_мол_а «Тождества матричных алгебр и супералгебр», 20122013 гг., рук. – Лопатин А.А.
21. Грант РФФИ 12-01-31008_мол_а «Генерические теории, алгебраическая геометрия и
генерическая сложность теорий серий конечных алгебраических систем», 20122013 гг., рук – Рыбалов А.Н.
22. Грант РФФИ 12-01-06054 г. Организация и проведение V Всероссийской конференции «Проблемы оптимизации и экономические приложения», 2012, рук – Колоколов А.А.
23. Грант РФФИ 12-01-16008-моб_з_рос, 2012, Участие в конференции «Полиномиальная
компьютерная алгебра. 2012», рук – Мищенко А.А.
24. Грант РФФИ 12-01-09351-моб_з, Научный проект "Исследование некоторых постановок задачи о рюкзаке и алгоритмов их решения с использованием унимодулярных
преобразований и L-разбиения" для представления на научной конференции "Интеллектуализация обработки информации", 2012, рук – Орловская Т.Г.
25. Грант РФФИ, 01-11-01-00139а. Динамика ветвящихся процессов и вероятностные
свойства комбинаторных моделей, исп. – В.А. Топчий.
26. Грант РФФИ 10-01-00726-a «Робастные численные методы высокого порядка точности для сингулярно возмущенных эллиптических и параболических уравнений», 20102012 гг., рук. – д.ф.-м.н. Шишкин Г.И., ИММ УрО РАН, исп. – Задорин А.И., Харина
О.В.
27. Целевая программа СО РАН «Суперкомпьютер» – отв. исп. – Алгазин В.А.
28. Целевая программа «Телекоммуникационно-мультимедийные ресурсы СО РАН»,
рук. от ОНЦ – Алгазин В.А..
29. Контракт с фирмой BASF, Германия, 2012-2013, рук. – Еремеев А.В.
18
3.2. Характеристика международных научных связей и совместной деятельности с
зарубежными научными учреждениями
Лаборатория комбинаторных и вычислительных методов алгебры и логики
Д.ф.-м.н. Носков Г.А. выезжал в Германию, Билефельд для проведения совместной
научной работы.
Д.ф.-м.н. Берестовский В.Н. выезжал в США, Ноксвилл для проведения совместной
научной работы.
К.ф.-м.н. Лопатин А.А. выезжал в Бразилию, г. Сант-Паулу для проведения совместной научной работы.
К.ф.-м.н. Гичев В.М. выезжал в Швецию, Институт Миттаг-Лефлера, Дьюрсхольм
для участия в конференции.
Лаборатория теоретико-вероятностных методов
Д.ф.-м.н. Топчий В.А. выезжал в Турцию, г. Стамбул для участия в конгрессе.
К.ф.-м.н. Леоненко В. Н. выезжал во Францию, г. По для ведения научной работы
Лаборатория дискретной оптимизации
К.ф.-м.н. Еремеев А.В., к.ф.-м.н. Заозерская Л.А., к.ф.-м.н. Леванова Т.В. и аспирант Орловская Т.Г выезжали в Черногорию, г. Будва для участия в конференции.
Д.ф.-м.н. Сервах В.В. выезжал в Украину, г. Запорожье для участия в научном семинаре.
Лаборатория методов представления и преобразования информации
К.т.н. Маренко В.А. выезжала в Казахстан, город Кокшетау для участия в конференции
19
3.3. Участие в работе научных мероприятий
ОРГАНИЗОВАНА и проведена V Всероссийская конференция «Проблемы оптимизации и экономические приложения», Омск, 2-5 июля 2012 г.
Колоколов А.А. (председатель программного и организационного комитетов), Еремеев А.В. (ученый секретарь, член редколлегии), Забудский Г.Г. (зам. председателя оргкомитета), Заозерская Л.А.( член оргкомитета, член редколлегии), Сервах В.В. (член оргкомитета), Леванова Т.В. (член оргкомитета, член редколлегии), Адельшин А.В. (член
оргкомитета, член редколлегии).
ОРГАНИЗОВАНА и проведена Региональная конференция «Алгебра, алгоритмы и
вычисления на суперкомпьютерах», Омск, 6-8 ноября 2012 г.
Председатель конференции: Ремесленников В.Н.
ОРГАНИЗОВАНА и проведена. 6-я Всероссийская конференция с международным
участием «Рефлексивный театр ситуационного центра-2012», 26-30 ноября 2012 г.
Сайт конференции: www.ofim.oscsbras.ru/~rtsc2007.
Организаторы: Омский филиал ИМ СО РАН, Омский государственный институт
сервиса. Сопредседатели конференции:
Берс А.А. – д.т.н., академик МАИ, ИСИ СО РАН (Новосибирск)
Филимонов В.А. – д.т.н., профессор, с.н.с. ОФ ИМ СО РАН (Омск)
Подготовлена и проведена научная сессия ОФ ИМ СО РАН, 24.09.12 г.
Ремесленников В.Н., Мищенко А.А. и Котов М.В., Шевляков А.Н., Рыбалов А.Н.
сделали пленарные доклады, Котов М.В – секционный доклад на Региональной конференции "Алгебра, алгоритмы и вычисления на суперкомпьютерах", Омск, 6-8 ноября
2012 г.
Ремесленников В.Н. сделал пленарный доклад, Шевляков А.Н. – секционный доклад на конференции "Алгебра и линейная оптимизаия", посвящённой 100-летию Н.С.
Черникова, Екатеринбург, 19-25 мая 2012 г.
Мищенко А.А., Трейер А.В., Котов М.В. сделали пленарные доклады на
Международной конференции "Полиномиальная компьютерная алгебра 2012", СанктПетербург, 23-28 апреля 2012 г.
Рыбалов А.Н. выступил с пленарным докладом, Ремесленников В.Н., Мищенко А.А., Шевляков А.Н., Котов Н.В. выступили с докладами, а Трейер А.В участвовал
в Международной конференции «Мальцевские чтения», Новосибирск, , 12-16 ноября
2012 г.
Ремесленников В.Н. прочитал 5 лекций, Шевляков А.В., Котов М.В. выступили с
пленарными докладами, Трейер А.В. и Мищенко А.А. участвовали в Международной
школе-конференции «Алгоритмические вопросы теории групп и смежных областей», Эрлагол, респ. Алтай, 30 июля - 10 августа 2012 г.
Лопатин А.А. выступил с докладом на Международной конференции «Groups, Rings
and Group Rings 2012», Убатуба, Сан-Паулу, Бразилия, 23-28 июля 2012 г., пленарным докладом на Международной конференции «Lie and Jordan Algebras, Their Representations
and - Applications V», Белем, Бразилия, 8-13 июля 2012 г.
Гичев В.М. выступил с докладом на Международной «Complex Analysis and Integrable Systems» (In memory of Boris Korenblum), Институт Миттаг-Лефлера, Дьюрсхольм,
Швеция, 6 - 11 августа 2012 г.
20
Топчий В.А. выступил докладами на VIII Всемирный конгресс по теории вероятностей и математической статистике Общества им. Бернулли и Института математики и статистики, г. Стамбул, Турция, 9-14 июля, Международной конференции "Теория вероятностей и ее приложения", г. Москва, 26-30 июля.
Перцев Н.В. выступил с двумя пленарными докладами, Перцев Н.В. и Леоненко В.Н. – с секционным докладом на IV Международная конференция «Математическая
биология и биоинформатика», гор. Пущино, 14--19 октября 2012 г. ИМПБ РАН.
Леоненко В.Н. прошел обучение на Школе по технологии NVIDIA CUDA ИВМиМГ
СО РАН, Новосибирск, 11-13 апреля 2012 г., прошел обучение и сделал доклад в Международной Летней Суперкомпьютерной Академии, МГУ, Москва, 25 июня - 7 июля 2012
года, сделал доклад на Семинаре по прикладной математике University de Pau et des Pays
de l'Adour, г. По, Франция, 27 сентября 2012 г.
Гольтяпин В.В. выступил на Всероссийской конференции «Медицинские основы
жизнедеятельности организма в норме, патологии и эксперименте», Омск, 5 - 6 сентября
2012 г.
Зачатейский Д.Е. прочитал лекцию на Научно-практическом семинаре «Перспективы развития науки и приборостроения», Омск, Омский НИИ приборостроения, 28 сентября 2012 г.
Задорин А.И выступил с докладом на Международной конференции «Wavelets and
applications», Сант-Петербург, 8.07-15.07.2012 г.
Задорин А.И. и Тиховская С.В. сделали доклады на Девятой Всероссийской конференции «Сеточные методы для краевых задач и приложения», Казань, КФУ, 17.0922.09.2012 г.,
Паничкин А.В. выступил с докладом на Восьмой Международной научнотехнической конференции «Динамика систем, механизмов и машин», Омск, 13.1115.11.2012 г.
Тиховская С.В. сделала доклад на Девятой всероссийской конференции «Теоретические основы и конструирование численных алгоритмов решения задач математической
физики», посвящённой памяти К.И. Бабенко, Абрау-Дюрсо, 10.09-16.09.2012 г.
Задорин Н.А. и Тиховская С.В. сделали доклады на Международной научнопрактической конференции «Молодежь третьего тысячелетия», Омск, ОмГУ, 15.05.2012 г.
Задорин Н.А. сделал доклад на Второй Российской молодежной научно-практической
конференции с элементами научной школы «Прикладная математика и фундаментальная
информатика», Омск, ОмГТУ, 26.04-28.04.2012 г.
Полуянов А.Н. сделал доклады на XIII Всероссийская конференция молодых ученых
по математическому моделированию и информационным технологиям, Новосибирск, 1517 октября 2012 г. и Международной конференции «Алгебра, алгоритмы и вычисления на
суперкомпьютерах», Омск, 6-8 ноября 2012 г.
Маренко В.А. сделала доклады на
Валихановских чтениях-16, Казахстан,
г.Кокшетау, Кокш.гос.ун-т им. Ш. Уалиханова, 27-29 апреля 2012 г., IV Международной
.научно-методической конференции «Многоуровневая система высшего профессионального образования: теоретические и практические аспекты реализации», г. Омск, май
2012 г., Второй межвузовской научно-методической конференции «Актуальные проблемы
преподавания математики в техническом вузе», г. Омск, 28-29 сентября 2012 г., Международной научно-практической конференции «Профессиональное образование в развитии
региона и общества: традиции, творчество, технологии», г. Омск, 17- 18 октября 2012 г. и
на 6-ой Всероссийской конференции с международным участием «Рефлексивный театр
ситуационного центра», г. Омск, 26 – 30 ноября 2012 г.
Филимонов В.А. сделал два доклада на Международном симпозиуме
«НЕПАРАМЕТРИКА – XIV», г. Томск, 1-3 июля 2012 г., доклад на XIII национальной
конференции по искусственному интеллекту с международным участием «КИИ-2012», 1620 октября 2012 г., г. Белгород, Россия, доклад на V Всероссийской конференции «Про-
21
блемы оптимизации и экономические приложения», г. Омск, 1-6 июля 2012 г., доклад на
Второй межвузовской научно-методической конференции «Актуальные проблемы преподавания математики в техническом вузе», г. Омск, 28-29 сентября 2012 г., три доклада на
Международной научно-практической конференции «Профессиональное образование в
развитии региона и общества: традиции, творчество, технологии», г. Омск, 17- 18 октября
2012 г. и пленарный доклад на 6-ой Всероссийской конференции с международным участием «Рефлексивный театр ситуационного центра», г. Омск, 26 – 30 ноября 2012 г.
Терехов Л.С. выступил с докладом на 15-й Международном симпозиуме GAMM IMACS по научным вычислениям, компьютерным арифметикам и доказательным численным методам, г. Новосибирск, 23-29 сентября 2012 г.
Колоколов А.А. и Орловская Т.Г. сделали пленарный доклад, Рыбалка М.Ф. – секционный доклад на Международной конференции "Алгебра и линейная оптимизация", посвященной 100-летию С.Н. Черникова, г. Екатеринбург, 14-19 мая 2012 г.
Еремеев А.В. сделал два секционных доклада, Заозерская Л.А., Леванова Т.В. и
Орловская Т.Г. сделали доклады на IX Международной конференции «Интеллектуализация обработки информации», Будва, Черногория, 16-22 сентября 2012 г.
Колоколов А.А. сделал доклад, Еремеев А.В. – пленарный доклад, Забудский Г.Г.
– 3 доклада, Заозерская Л.А. и Планкова В.А. – полупленарный доклад, Заозерская Л.А. – доклад, Сервах В.В. – 5 докладов, Леванова Т.В. – доклад, Адельшин А.В.
– доклад на V Всероссийской конференции «Проблемы оптимизации и экономические
приложения», Омск, 2-5 июля 2012 г.
Еремеев А.В. сделал доклад, был членом программного комитета, руководителем
секции на Euro Mini Conference XXVIII on Variable Neighbourhood Search, Herceg Novi,
Montenegro, October 4-7, 2012 г.
Сервах В.В. был руководителем секции и сделал пленарный доклад на Международный научный семинар «Дискретная математика и ее применение в экономикоматематическом моделировании и информационных технологиях», Украина, г. Запорожье, 11-13 октября 2012 г.
Колоколов А.А. сделал 2 доклада, Леванова Т.В., Заозерская Л.А., Еремеев А.В. –
доклады на VIII международной научно-технической конференции «Динамика систем,
механизмов и машин», Омск, 13-15 ноября 2012 г.
22
3.4. Работа в ВУЗах
Адельшин А.В. – доцент кафедры прикладной и вычислительной математики ОмГУ.
Гичев В.М. – доцент кафедры математического анализа ОмГУ.
Гольтяпин В.В. – доцент кафедры микроэлектроники и медицинской физики ОмГУ.
Задорин А.И. – профессор кафедры математического моделирования ОмГУ.
Зобнин А.И. – доцент кафедры высшей математики ОмГТУ.
Зубарева И.А. – старший преподаватель кафедры высшей математики ОмГУПС.
Зыкин С.В. – профессор кафедры Про ЭВМ ОмГУ и кафедры АСОИУ ОмГТУ.
Клоков С.А. – доцент кафедры математического анализа ОмГУ.
Колоколов А.А. – зав. кафедрой, прикладной и вычислительной математики ОмГУ.
Забудский Г.Г. – профессор, прикладной и вычислительной математики ОмГУ.
Сервах В.В. – доцент кафедры прикладной и вычислительной математики ОмГУ.
Леванова Т.В. – доцент кафедры прикладной и вычислительной математики ОмГУ.
Заозерская Л.А. – доцент кафедры прикладной и вычислительной математики ОмГУ.
Еремеев А.В. – доцент кафедры прикладной и вычислительной математики ОмГУ.
Колоколов А.А. – профессор кафедры прикладной математики и информационных систем ОмГТУ.
Маренко В.А. – доцент кафедры высшей математики и информатики ОГИС.
Паничкин А.В. – старший преподаватель кафедры прикладной и вычислительной математики ОмГУ.
Перцев Н.В. – профессор кафедры математического моделирования ОмГУ.
Харина О.В. – доцент кафедры математического моделирования ОмГУ.
Полуянов А.Н. – старший преподаватель кафедры ПМиФИ ОмГТУ.
Пуртов А.М. – доцент кафедры АСОИУ ОмГТУ и доцент кафедры ПИЭ СибАДИ.
Ремесленников В.Н. – профессор кафедры математической логики и логического программирования ОмГУ.
Рыбалов А.Н. – доцент кафедры математической логики и логического программирования ОмГУ.
Шевляков А.Н. – старший преподаватель кафедры математической логики и логического программирования ОмГУ.
Трейер А.В. – старший преподаватель кафедры прикладной математики и фундаментальной информатики ОмГТУ.
Топчий В.А. – профессор кафедры математического анализа ОмГУ.
Филимонов В.А. – профессор кафедры Про ЭВМ ОмГУ и кафедры ВМИ ОГИС.
Чуканов С.Н. – профессор кафедры АСОИУ ОмГТУ, зав кафедрой КИАС ФГБОУ
СибАДИ.
23
Научные семинары
1. Общегородской алгебраический семинар (рук. – проф., д.ф.-м.н. Ремесленников В.Н.).
2. Основания теории моделей (рук. – проф., д.ф.-м.н. Ремесленников В.Н.).
3. Computer Science (семинар ОмГУ) (рук. – проф., д.ф.-м.н. Ремесленников В.Н., Рыбалов А.Н.).
4. Геометрический семинар (рук. – Берестовский В.Н., Гичев В.М., Носков Г.А.).
5. Теоретико-вероятностные и статистические методы (рук. – проф., д.ф.-м.н. Топчий В.А.).
6. Математическое моделирование и вычислительные методы (рук. – проф., д.ф.-м.н. Задорин А.И.).
7. Моделирование сложных систем (рук. – проф., д.т.н. Чуканов С.Н.).
8. Математическое моделирование и дискретная оптимизация (рук. – проф., д.ф.-м.н. Колоколов А.А.).
9. Проблемы развития и функционирования Омского фрагмента корпоративной СПД СО
РАН (КС ОКНО) (рук. – к.ф.-м.н. Алгазин В.А.).
10. Семинар лаборатории МППИ (рук. – д.т.н. Зыкин С.В.).
Аспирантура готовит 14 молодых ученых.
Работает совет молодых ученых (СМУ), председатель – к.ф.-м.н., Рыбалов А.Н.,
куратор – д.ф.-м.н., профессор Колоколов А.А.
24
3.5. Диссертационные советы
Омский филиал Института математики им. С.Л. Соболева является соучредителем региональных советов по защите диссертаций на соискание ученой степени доктора наук:
1. Региональный диссертационный совет ДМ 212.250.03 при Сибирской государственной
автомобильно-дорожной академии (открыт в 2005 г.).
Специальности:
05.01.01 - инженерная геометрия и компьютерная графика (технические науки);
05.13.12 - системы автоматизации проектирования (промышленность) (технические
науки)
2. Объединенный диссертационный совет ДМ 212.179.07 при Омском государственном
университете им. Ф.М. Достоевского (открыт в 2009 г.).
Председатель: Топчий В.А., д.ф.-м.н., директор ОФ ИМ СО РАН.
Специальности:
01.01.06 - математическая логика, алгебра и теория чисел
(физико-математические науки);
05.13.18 - математическое моделирование, численные методы и комплексы программ
(физико-математические науки).
Защитили диссертации
Леоненко В.Н. Дискретные стохастические модели и вычислительные алгоритмы для исследования динамики социально значимых заболеваний. Диссертация на соискание ученой степени кандидата физико-математических наук, специальность 05.13.18. 01.03.2012,
диссертационный совет ДМ 212.179.07 при Омском государственном университете
им. Ф.М. Достоевского. Научный руководитель – Перцев Н.В.
Лагздин А.Ю. Диссертация на соискание ученой степени кандидата физикоматематических наук, специальность 05.13.18, диссертационный совет ДМ 212.179.07 при
Омском государственном университете им. Ф.М. Достоевского. Научный руководитель –
Забудский Г.Г.
Логинов К.К. Диссертация на соискание ученой степени кандидата физикоматематических наук, специальность 05.13.18. 01.03.2012, диссертационный совет ДМ
212.179.07 при Омском государственном университете им. Ф.М. Достоевского. Научный
руководитель – Перцев Н.В.
25
3.6. Список научных публикаций
Научные монографии
1. Берестовский В.Н., Никоноров Ю.Г. Римановы многообразия и однородные геодезические // Итоги науки. Юг России. Математическая монография. РАН. Владикавказский научный центр. ЮМИ, 2012, вып. 5, 412 с.
2. Горелов Д.Н. Аэродинамика ветроколес с вертикальной осью вращения // Издание СО
РАН, 2012, 69 с.
3. Мухаметдинова С.Х., Филимонов В.А. . Кросс-технологии ситуационного центра в
управлении коллективной проектной деятельностью // Омск: Омский гос. ин-т сервиса, 2012. – 120 с.
Статьи в рецензируемых российских журналах
1. Pertsev N.V., Leonenko V.N. Discrete stochastic model of HIV infection spread within a
heterogeneous population // RJNAMM, V. 27, N. 5, P. 459-477.
2. Zadorin A.I., Zadorin N.A. Interpolation formula for functions with a boundary layer component and its application to derivatives calculation // Сибирские электронные математические известия, 2012, т. 9, с. 445-455.
3. Амаглобели М.Г., Ремесленников В.Н. Свободные 2-ступенно нильпотентные Rгруппы // Докл. АН, 443:4 (2012), 410–413;
4. Афанасьева Л.Д., Колоколов А.А. Разработка и анализ алгоритма для решения некоторых задач формирования производственных групп // Омский научный вестник. 2012 № 2. – С. 39-41.
5. Берестовский В.Н. Зональные сферические функции на КРОСП'ах и специальные
функции // Сиб. мат. журн., 2012, том 53, номер 4, с. 765-780.
6. Варепо Л.Г., Паничкин А.В. Моделирование переноса краски в зоне печатного контакта // Известия высших учебных заведений. Проблемы полиграфии и издательского
дела, № 3, 2012, с. 9-19.
7. Варепо Л.Г., Паничкин А.В. Численное моделирование течения печатной краски между вращающимися цилиндрами в процессе офсетной печати // Омский научный вестник, Серия: Приборы, машины и технологии, 2012, № 3, 2012, с. 332-335.
8. Веретенников А. Ю., Клоков С. А. Об условиях локального перемешивания для аппроксимаций стохастических дифференциальных уравнений // Теория вероятностей и
ее применен., 2012, т. 57, No.1, c.35--61.
9. Гичев В.М., Зубарева И.А., Мещеряков Е.А. Полугруппы многогранников, вершины
которых задают центрированное разбиение // Математические труды, 2012, 15, 1–19.
10. Глотов А.В., Гольтяпин В.В., Москвитин А.В. Факторная модель дисфункции иммунной системы у пациентов с дисплазией соединительной ткани на базе центроидного
метода. // Вестник Омского университета, 2011, N4, стр. 118-130.
11. Гольтяпин В.В. Однозначность косоугольной факторной структуры. Модернизированный облимакс-метод // Сибирский журнал индустриальной математики, 2012, Т.
15, N2(50), стр. 64-74.
12. Гольтяпин В.В., Москвитин А.В. Использование λ-центра как альтернативной гравитационной точки при построении факторных модели дисплазии соединительной ткани
// Вестник Омского университета, 2012, N4, стр. 106-112.
13. Даниярова Э.Ю., Мясников А.Г., Ремесленников В.Н. Алгебраическая геометрия над
алгебраическими системами. II. Основания // Фундамент. и прикл. матем., 17:1 (2012),
65–106, arXiv: 1002.3562.
26
14. Даниярова Э.Ю., Мясников А.Г., Ремесленников В.Н. Алгебраическая геометрия над
алгебраическими системами. V. случай произвольной сигнатуры// Алгебра и логика,
51:1 (2012), 41–60.
15. Еремеев А.В. Генетический алгоритм с турнирной селекцией как метод локального
поиска // Дискретный анализ и исследование операций. 2012. Т. 19, N 2, С. 41-53.
16. Еремеев А.В., Коваленко Ю.В. О сложности оптимальной рекомбинации для одной
задачи составления расписаний с переналадками // Дискретный анализ и исследование
операций. 2012. Т. 19, N 3, С. 13-26.
17. Забудский Г.Г., Амзин И.В. Сужение области поиска решения задачи Вебера на плоскости с прямоугольными запрещенными зонами // Автоматика и телемеханика. –
2012. – № 5. – С. 71–83.
18. Забудский Г.Г., Лагздин А.Ю. Динамическое программирование для решения квадратичной задачи о назначениях на дереве // Автоматика и телемеханика. – 2012. – №2. –
С. 141–155.
19. Задорин Н.А. Интерполяционные и квадратурные формулы для функций с погранслойной составляющей на сетке Шишкина // Вестник Омского университета,
2012, № 4, с. 21-24.
20. Заозерская Л.А., Планкова В.А. Математические модели формирования оптимального
комплекта структур тестов для контроля знаний // Омский научный вестник, 2012,
N3(113) – С. 33-36.
21. Зачатейский Д.Е., Шадрин Б.Г. Оптимизация состава основных технических средств
многоканальных узлов коротковолновой радиосвязи при их разработке и модернизации // Успехи современной радиоэлектроники. – М.: «Радиотехника», 2011.- №11.
С. 37-42.
22. Зыкин С.В. Редактирование базы данных с использованием табличных представлений
// Вестник Омского университета, 2012, № 2. – С. 181-187.
23. Коблик А.А. , Чуканов С.Н. Формирование интерполяционных сплайнов для многообразий, представляемых однопараметрическими группами Ли // Информатика и системы управления. 2012, № 2(32), Стр. 74-81.
24. Коблик А.А. , Чуканов С.Н. Формирование интерполяционных сплайнов для многообразий, представляемых евклидовой группой // Информационные системы и технологии. 2012, № 5, с. 57-61.
25. Колоколов А.А., Орловская Т.Г., Рыбалка М.Ф. Исследование алгоритмов целочисленного программирования с использованием регулярных разбиений и унимодулярных преобразований // Автоматика и телемеханика. – 2012. – № 2. – С. 178–190.
26. Лопатин А.А. Ортогональные матричные инварианты // Фундаментальная и прикладная математика, 17 (2011/2012), N7, 175-182.
27. Лупенцов О.С., Лучко О.Н., Маренко В.А. Применение семантического дифференциала для реализации компетентностного подхода в вузе //Информатизация образования
и науки, 2012. - № 3(15). - C.128-134.
28. Лучко О.Н., Маренко В.А., Гирфанов Р.Р. Возможности использования средств системного анализа для моделирования данных по преступности //Наука о человеке: гуманитарные исследования, 2012. - №1(9). - С.148-152.
29. Маренко В.А. Анализ данных по правонарушениям с позиции системного подхода
//Современные технологии. Системный анализ. Моделирование, 2012. - №2(34). С.196-201.
30. Маренко В.А. Об управлении социально-экономической системой на основе лингвистической переменной «интеллектуальный показатель» //Приборы и системы. Управление. Контроль. Диагностика, 2012. - № 8. - С.60-62.
31. Мартынова Е.А., Сервах В.В. О задаче календарного планирования проектов
с использованием кредитов // Автоматика и телемеханика, 2012. – N.3. – С. 107-116.
27
32. Мясников А.Г., Ремесленников В.Н., Френкель Е.В. Свободное произведение групп с
объединением: нормальные формы и меры” // Матем. заметки, 91:4 (2012), 633–637
mathnet;
33. Нартов Б.К. Метод упругого следа в формализации поиска стационарных объектов //
Авиакосмическое приборостроение. - 2012. - № 12. - С. 20-28.
34. Носков Г.А. Образ группы автоморфизмов граф – группы при гомоморфизме абелеанизации // Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика, 2012, 12, 2, 83-102.
35. Полуянов А.Н. Расчет диагностической шкалы на графических процессорах // Омский
научный вестник. Серия "Приборы, машины и технологии", 2012, № 3(113). – С. 277279.
36. Спектор Л.Б., Чуканов С.Н. Построение наблюдателя для идентификации отказов в
динамических системах с учетом выполнения законов сохранения // Вестник СибАДИ. 2012, том.4 № 23, Стр. 104-107.
37. Топчий В.А. Асимптотика производных от функции восстановления для распределений без первого момента с правильно меняющимися хвостами степени β(0.5,1], Дискретная математика, 2012, Т. 24, в. 2, 123-148.
38. Чанышев О.Г. Ассоциативные поля доминант и анализ текста // Вестник компьютерных и информационных технологий. 2012, № 10(100). С. 30-33.
39. Чернявская В.С., Филимонов, В.А. Технологии ситуационного центра в высшем образовании//Территория новых возможностей. Вестник Владивостокского государственного университета экономики и сервиса №3 (12), 2011, С.127-132.
Статьи в иностранных журналах оригинальные непереводные
1. Doerr B., Eremeev A.V., Neumann F., Theile M., Thyssen C. Evolutionary algorithms and
dynamic programming. Theoretical Computer Science. - Vol. 412. -2011. P. 6020-6035.
2. Dunkan A., Remeslennikov V. «Automorphisms of partially commutative groups II:
Combinatorial subgroups» // International Journal of Algebra and Computation, Vol. 22, No.
4 (2012) 1250074 (43 pages)
3. Guschinskaya O., Gurevsky E., Dolgui A., Eremeev A. Metaheuristic approaches for the
design of machining lines. The International Journal of Advanced Manufacturing
Technology. - Vol. 55. Issue 1. -2011. P. 11-22.
4. Kharlampovich O., Myasnikov А., Remeslennikov V., Serbin D. Groups with free regular
length functions in Z^n // Trans. Am. Math. Soc., 364:6 (2012), 2847-2882, arXiv:
0907.2356/
5. Lopatin A.A. Free relations for matrix invariants in the modular case, Journal of Pure and
Applied Algebra, 216 (2012), 427-437.
6. Lopatin A.A. On the nilpotency degree of the algebra with identity x^n=0 // Journal of
Algebra, 2012, V. 371, 350-366.
7. Lopatin A.A. Relations between O(n)-invariants of several matrices, Algebras and
Representation Theory, 15 (2012), 855-882.
Переводы статей
1.
2.
3.
G. Myasnikov, V. N. Remeslennikov, E. V. Frenkel “Amalgamated Free Product of
Groups: Normal Forms and Measures”, Math. Notes, 91:4 (2012), 592–596.
Berestovskii V.N. Zonal spherical functions on CROSS’S and special functions // Siber.
Math. J., 2012, v. 53, n. 4, p. 611-624.
E. Yu. Daniyarova, A. G. Myasnikov, V. N. Remeslennikov Algebraic geometry over
algebraic structures. V. The case of arbitrary signature, Algebra and Logic, 51:1 (2012), 28–
40.
28
4.
5.
6.
7.
Gorelov D.N. Three-Dimensional Analog of the Sokhotsky–Plemelj Formulas and Its
Application in the Wing Theory // Journal of Applied Mechanics and Technical Physics,
2011, V. 52, № 6, p. 877-882.
M. G. Amaglobeli, V. N. Remeslennikov Free nilpotent R-groups of class 2, Dokl. Math.,
85:2 (2012), 236–239.
V.V. Gol'tyapin Use of the pseudoinverse matrix of a factor pattern in the measurement of
factors. // Journal of Applied and Industrial Mathematics, 2012, Volume 6, Number 2, 184193.
Y.Hu, V.A. Topchii, V.A. Vatutin Branching Random Walk in ${\bfZ}^{4}$ with
Branching at the Origin Only Theory Probab. Appl. 56-2 (2012), pp. 193-212.
Публикации в ТРУДАХ международных конференций, изданных в России
Берестовский В.Н. О спектре оператора Лапласа для вещественных функций на компактных нормальных однородных римановых многообразиях // Труды Международной конференции «Дни геометрии в Новосибирске-2011», посвященной 50-летию кафедры геометрии и топологии Новосибирского государственного университета, Новосибирск, 2012, с. 16-28.
2. Берестовский В.Н., Никоноров Ю.Г. Киллинговы векторные поля на сферах // Сборник научных статей Международной молодежной школы-семинара «Ломоносовские
чтения на Алтае-2012». Барнаул, 20-23 ноября 2012. Барнаул: АлтГПА, 2012, Ч 1, С.
252-259.
3. Боброва Е.А. Задача обработки деталей со сложным технологическим маршрутом //
Динамика систем, механизмов и машин: материалы VIII Междунар. науч.-техн. конф.
– Омск: Изд-во ОмГТУ, 2012. Т.№ 3. – С. 10-13.
4. Борисовский П.А., Делорм Кзавье, Долгий А. Точный алгоритм балансировки производственной линии с параллельными машинами // Динамика систем, механизмов и
машин: материалы VIII Междунар. науч.-техн. конф. – Омск: Изд-во ОмГТУ, 2012.
Т.№ 3. – С. 13-16.
5. Варепо Л.Г., Паничкин А.В. Моделирование переноса краски в зоне контакта печатного аппарата // Материалы VIII Международной научно-технической конференции
"Динамика систем, механизмов и машин", Омск: ОмГТУ, кн.3, 2012, с.16-19.
6. Глотов А.В., Гольтяпин В.В., Москвитин А.В. Построение факторной модели дисфункции иммунной системы у пациентов с дисплазией соединительной ткани при помощи центроидного метода.// Материалы международной заочной научнопрактической конференции «Физико-математические науки и информационные технологии: проблемы и тенденции развития», Новосибирск, 8 мая, 2012 г., с. 176--178.
7. Долгий А., Еремеев А.В. О сложности оптимальной рекомбинации для задачи об одномерной упаковке в контейнеры // Динамика систем, механизмов и машин: материалы VIII Междунар. науч.-техн. конф. – Омск: Изд-во ОмГТУ, 2012. Т.№ 3. – С. 25-27.
8. Еремеев А.В., Коваленко Ю.В. О сложности оптимальной рекомбинации для некоторых задач на перестановках // Материалы Международной конференции «Интеллектуализация обработки информации». Черногория, г. Будва, 16-22 сентября 2012. С.
245-248.
9. Еремеев А.В., Коваленко Ю.В., Тиле М. Эволюционный алгоритм для одной задачи
календарного планирования // Динамика систем, механизмов и машин: материалы
VIII Междунар. науч.-техн. конф. – Омск: Изд-во ОмГТУ, 2012. Т.№ 3. – С. 31-34.
10. Еремеев А.В., Тарасенко Э.А. О сложности задачи выбора узлов хаба. Материалы
Международной конференции "Интеллектуализация обработки информации", (16-22
сентября 2012 г. Будва, Черногория). С. 249-252.
1.
29
11. Забудский Г.Г., Коваль А.А. Оптимизация размещения объектов на плоскости с максиминным критерием и минимально допустимыми расстояниями // Интеллектуализация обработки информации: 9-я международная конференция. – Черногория, г. Будва,
16–22 сентября 2012 г.: Сборник докладов. – М.: Торус Пресс, 2012. – С. 257-259.
12. Задорин Н.А. Интерполяционная формула для функции с погранслойной составляющей // Молодежь третьего тысячелетия: Международная научная конференция с элементами научной школы для молодежи, Омск: изд-во Ом. гос. ун-та, 2012, с. 13-16.
13. Заозерская Л.А., Колоколов А.А. Оценки среднего числа итераций для ряда алгоритмов решения задач об упаковке и покрытии множества // Интеллектуализация обработки информации: 9-я международная конференция. – Черногория, г. Будва, 16–22
сентября 2012 г.: Сборник докладов. – М.: Торус Пресс, 2012. –С. 260-262.
14. Коваленко Ю.В Генетический алгоритм для задачи составления расписаний с группировкой машин по технологиям // Динамика систем, механизмов и машин: материалы
VIII Междунар. науч.-техн. конф. – Омск: Изд-во ОмГТУ, 2012. Т.№ 3. – С. 46-48.
15. Колоколов А.А., Артемова А.В., Афанасьева Л.Д. Решение некоторых задач управления персоналом с использованием методов оптимизации // Динамика систем, механизмов и машин: материалы VIII Междунар. науч.-техн. конф. – Омск: Изд-во
ОмГТУ, 2012. Т.№ 3. – С. 55-58.
16. Колоколов А.А., Леванова Т.В., Заозерская Л.А., Поздняков Ю.С. Алгоритм искусственной иммунной системы для задачи размещения центров телекоммуникаций //
Динамика систем, механизмов и машин: материалы VIII Междунар. науч.-техн. конф.
– Омск: Изд-во ОмГТУ, 2012. Т.№ 3. – С. 49-51.
17. Колоколов А.А., Орловская Т.Г. Исследование некоторых постановок задачи о рюкзаке и алгоритмов их решения с использованием унимодулярных преобразований и Lразбиения // Интеллектуализация обработки информации: 9-я международная конференция. – Черногория, г. Будва, 16–22 сентября 2012 г.: Сборник докладов. – М.: Торус Пресс, 2012. – С. 286-289.
18. Колоколов А.А., Степанова Т.Ю., Семерханова Е.Я. О решении одной задачи регионального планирования // Динамика систем, механизмов и машин: материалы VIII
Междунар. науч.-техн. конф. – Омск: Изд-во ОмГТУ, 2012. Т.№ 3. – С. 51-55.
19. Леванова Т.В., Ткачук Е.А. Алгоритмы пчелиного роя для двух задач о p-медиане //
Интеллектуализация обработки информации: 9-я международная конференция. – Черногория, г. Будва, 16–22 сентября 2012 г.: Сборник докладов. – М.: Торус Пресс,
2012. – С. 290-292.
20. Леоненко В.Н., Перцев Н.В. Применение вычислений на графических процессорах
для оценки эффективности выявления индивидуумов, предрасположенных к колоректальному раку // Математическая биология и биоинформатика: IV Международная
конф., г. Пущино, 14 -- 19 октября 2012 г.: Доклады/ Под ред. В.Д. Лахно.-- М.: Макс
Пресс, 2012, с. 76--77.
21. Перцев Н.В. Исследование асимптотического поведения решений некоторых моделей
эпидемических процессов // Математическая биология и биоинформатика: IV Международная конф., г. Пущино, 14-- 19 октября 2012 г.: Доклады/ Под ред. В.Д. Лахно.-М.: Макс Пресс, 2012, с. 139--140.
22. Пичугина А.Н., Перцев Н.В. Интегродифференциальная модель динамики конкурирующих популяций, подверженных воздействию вредных веществ // Математическая
биология и биоинформатика: IV Международная конф., г. Пущино, 14-19 октября
2012 г.: Доклады/ Под ред. В.Д. Лахно.-- М.: Макс Пресс, 2012, с. 127--128.
23. Тиховская С. В. Экстраполяция Ричардсона для обыкновенного нелинейного
сингулярно возмущенного уравнения второго порядка на сетке Шишкина // Молодежь
третьего тысячелетия: Международная научная конференция с элементами научной
школы для молодежи, Омск: изд-во Ом. гос. ун-та, 2012, с. 44-47.
30
24. Филимонов В.А. . Облачная робототехника: социальные сети и супернавигаторы //
Робототехника и искусственный интеллект - 2012: Материалы IV Международной
научно-практической конференции. - Красноярск: Центр информации, 2012. – 4 с.
25. Филимонов В.А. . Кросс-технологии ситуационного центра для робототехники и робототехников // Робототехника и искусственный интеллект - 2011: Материалы III
Международной научно-практической конференции. - Красноярск: Центр информации, 2012. - С. 109-113.
Публикации в трудах международных конференций, изданных зарубежными
издательствами
1.
2.
3.
4.
Бахарева М.И., Маренко В.А. Лингвистические переменные «интеллектуальный показатель» и «производительность труда» // Валихановские чтения-16: Сб. материалов
Международная научно-практическая конференция, Кокшетау, 2012. - Ч. 2. - С. 50-54.
Гольтяпин В.В., Лобачев А.И. Использование метода главных компонент и латентного анализа в диагностики артериальной гипертензии. // Компьютерное моделирование
в науке и технике, ОАЭ (ДУБАЙ), 16-23 октября 2012 г.
Лупенцов О.С., Лучко О.Н., Маренко В.А. Модели управления в образовательном
процессе /Валихановские чтения-16: Сб.материалов Междун.научн.-практ.конф. Кокшетау, 2012. - Т. 5. - С. 117-119.
Сервах В.В. Сложность решения некоторых задач теории расписаний // Международный научный семинар «Дискретная математика и ее применение в экономикоматематическом моделировании и информационных технологиях», 11-13 октября
2012. Тезисы докладов. – Запорожье: Изд-во Запорожского национального университета, 2012. – С. 62-63.
Публикации в трудах всероссийских и региональных конференций
1.
2.
3.
4.
5.
6.
Лучко О.Н., Маренко В.А., Ардаширова Р.Р. Применение нечетких множеств при изучении уровня подготовки студентов и рекомендации средств обучения. Актуальные
проблемы преподавания математики в тех.вузе / материалы 2-ой межвузовской научно-метод.конф.28-29 сентября 2012. - Омск: Полиграфический центр КАН, 2012. - С.
105-108.
Глотов А.В., Гольтяпин В.В., Москвитин А.В. Использование сингулярного анализа
для оценки тяжести патологии, ассоциированной с дисплазией соединительной ткани.//Труды всероссийской молодежной конференции «Медицинские основы жизнедеятельности организма в норме, патологии и эксперименте», Омск, 5 - 6 сентября, 2012
г.– С. 27-29.
Еремеев А.В. Методы дискретной оптимизации в эволюционных алгоритмах // Материалы V Всероссийской конференции "Проблемы оптимизации и экономические приложения" (2-5 июля 2012, Омск) – Омск: Изд-во Ом. гос. ун-та, 2012. – С.17-21.
Задорин Н.А. Квадратурная формула для функций с погранслойной составляющей //
Труды Второй Российской молодежной научно-практической конференции с элементами научной школы «Прикладная математика и фундаментальная информатика»,
ОмГТУ, с. 20-24.
Заозерская Л.А., Планкова В.А. Математические модели формирования оптимального
комплекта структур тестов для контроля знаний // Материалы V Всероссийской конференции «Проблемы оптимизации и экономические приложения». – Омск: Изд-во
ОмГУ, 2012. – С. 27-29.
Лупенцов О.С., Лучко О.Н., Маренко В.А. Моделирование компетентностного подхода в образовательном процессе методом семантического дифференциала. Рефлексив-
31
7.
8.
ный театр ситуационного центра-2011 / Материалы 5-й Всеросс.конф. с междун.участием РТСЦ-2011. - Омск: ОГИС, 2012. - С.81-82.
Филимонов В.А. . Кросс-технологии ситуационного центра // «Актуальные проблемы
преподавания математики в техническом вузе». Матер. межвузовской научнометодической конференции 23-24 сентября 2011 г., Омск / Омск: Полиграфический
центр КАН, 2011, С. 113-115.
Филимонов В.А. Кросс-технологии ситуационного центра для искусственного интеллекта // Тринадцатая национальная конференция по искусственному интеллекту с
международным участием КИИ-2012 (16-20 октября 2012 г., г.Белгород, Россия): Труды конференции. Т.4. - Белгород: Изд-во БГТУ, 2012. С.188-194.
Публикации в местных российских изданиях
1.
2.
3.
4.
5.
Гольтяпин В.В., Лобачев А.И. Использование метода главных компонент и латентного анализа в диагностики артериальной гипертензии. // Компьютерное моделирование
в науке и технике // Современные наукоёмкие технологии №11, 2012 г., с. 320-332.
Зачатейский Д.Е. Методика имитационного моделирования трассовых испытаний радиоканалов коротковолновой связи // Национальные приоритеты России. - Омск: ИЦ
"Омский научный вестник", 2011. - № 1(4). - С.119-127. (Вышла в конце прошлого года и в прошлогодний отчёт не вошла)
Зачатейский Д.Е. Применение параллельных вычислений при решении задач частотного планирования // Техника радиосвязи / Омский НИИ приборостроения. – 2012. –
Вып. 17. – С. 27-42.
Филимонов В.А. . Облачная робототехника: социальные сети и супернавигаторы //
Робототехника и искусственный интеллект - 2012: Материалы IV Международной
научно-практической конференции. - Красноярск: Центр информации, 2012. – 4 с.
Филимонов В.А. Кросс-технологии ситуационного центра -2011// Рефлексивный театр
ситуационного центра (РТСЦ-2011) / сборник статей / под общей ред. проф.
В.А.Филимонова.- Омск: Омский гос. институт сервиса, 2012, с. 21-32.
Препринты и статьи, помещённые в Internet
1.
2.
3.
4.
Berestovskii V.N., Nikonorov Yu.G. Generalized normal homogeneous Riemannian metrics
on spheres and projective spaces // arXiv: 1210.7727, 29 Oct. 2012, 32 p.
Lopatin A.A. Matrix identities with forms, http://arxiv.org/abs/1204.5554.
Филимонов В.А. Информация о телемостах по тематике Лаборатории МППИ ОФ ИМ
СО РАН в 2011 – 2012 гг. //
На сайте ОФ ИМ СО РАН
http://www.ofim.oscsbras.ru/?ref=sobytiya.
Филимонов В.А. Тексты и презентации выступлений на семинаре «Управление эффективностью и результативностью» (Москва)в качестве оппонента и комментатора в
2011-2012 гг. // На сайте http://www.e-c-m.ru/seminar.htm журнала «Эффективное антикризисное
управление»
и
сайте
ОФ
ИМ
СО
РАН
http://www.ofim.oscsbras.ru/?ref=sobytiya.
Учебные и методические пособия и издания
1. Лучко О.Н., Маренко В.А., Грифанов Р.Р., Мальцев С.В. Теория и методы разработки
управленческих решений. Поддержка принятия решения с элементами нечеткой логи-
32
ки: учебное пособие / О.Н. Лучко, В.А. Маренко, Р. Р. Гирфанов, С.В. Мальцев. Омск:
Полиграфический центр КАН, 2012. – 108 с.
2. Сервах В.В. Сложность решения задач теории расписаний. Учебное пособие. Омск:
Изд-во ОмГУ, 2012. – 43c.
Тезисы конференций
1.
Eremeev A.V., Klokov S.A., Reeves C.R. On estimation of number of local optima. Book
of Abstracts of Euro Mini Conference XXVIII on Variable Neighbourhood Search. (October
4-7, 2012, Herceg Novi, Montenegro). P. 23.
2. Terekhov L.S., Lavrukhin A.A. About affinity of physical processes of both computing and
measurements: Book of abstracts // 15th GAMM – IMACS International Symposium on
Scientific Computing, Computer Arithmetics and Verified Numerics / Novosibirsk: Institute
of
Computational
Technologies,
2012.
P.
182-183.
http://conf.nsc.ru/files/conferences/scan2012/137969/SCAN2012abstracts.pdf.
3. Topchii V.A. The reneval function increments for nonarithmetic distributions with regularly
varying tails of order $\alpha$ from (0,1/2] // Abstracts of 8-th World Congress in
Probability and Statistics, 2012 – Bernoulli Society, IMS . -- C.186.
4. Zadorin A. I. Interpolation Formula For Functions With A Boundary Layer Component And
Its Applications // Abstracts of International Conference “Wavelets and Applications”, July
8-15, 2012, Euler International Mathematical Institute, p. 101-103.
5. Zadorin A.I. Zadorin N.A. Quadrature formula with five nodes for functions with a
boundary layer component // Abstracts of fitth conference “Numerical Analysis and
Applications”, 15-20 June 2012, Lozenetz, Bulgaria, p.57-58.
6. Абакумов К.С., Сервах В.В. Задача выбора инвестиционных проектов в условиях
ожидания кризиса // Материалы V Всероссийской конференции «Проблемы оптимизации и экономические приложения», Омск 2012. – С. 98.
7. Адельшин А.В., Кучин А.К. Разработка алгоритмов решения смешанной задачи максимальной выполнимости // Материалы V Всероссийской конференции "Проблемы
оптимизации и экономические приложения" (Омск, 2-6 июля 2012 г.) - Омск: Изд-во
Ом. гос. ун-та, 2012. – С. 99.
8. Бельц Е.А. Об одном алгоритме решения задачи размещения предприятий с минимально допустимыми расстояниями // Материалы V Всероссийской конференции
"Проблемы оптимизации и экономические приложения" (Омск, 2-6 июля 2012 г.) –
Омск: Изд-во Ом. гос. ун-та, 2012. – С. 104.
9. Боброва Е.А., Сервах В.В. Реализация алгоритма минимизации времени цикла при
одновременной обработке не более двух деталей // Материалы V Всероссийской конференции "Проблемы оптимизации и экономические приложения" (Омск, 2-6 июля
2012г.) - Омск: Изд-во Ом. гос. ун-та, 2012. – С. 105.
10. Бурлакова Н.И., Сервах В.В. Задача минимизации логистических затрат с учетом многократных завозов и ограничений на объемы поставок // Материалы V Всероссийской
конференции «Проблемы оптимизации и экономические приложения», Омск 2012. –
С. 109.
11. Ватутин В.А., Топчий В.А. Двухтипные процессы Беллмана-Харриса, стартующие с
большого числа частиц // Тезисы докладов Международной конференции "Теория вероятностей и ее приложения", 26-30 июля 2012, г. Москва – М.: URSS -- С.24-25.
12. Забудский Г.Г., Амзин И.В. Optimal location of rectangles on parallel lines // 21
International Symposium on Mathematical Programming (ISMP-2012), Berlin, Germany,
August 19 – 24, 2012. – P.149.
33
13. Забудский Г.Г., Амзин И.В. Алгоритмы оптимального размещения прямоугольников
на параллельных линиях// Материалы V Всероссийской конференции «Проблемы оптимизации и экономические приложения». Омск, 2012. – С.123.
14. Забудский Г.Г., Кейнер Т.И. Об одной задаче размещения объектов на плоскости с зонами отрицательного влияния // Материалы V Всероссийской конференции «Проблемы оптимизации и экономические приложения». Омск, 2012. – С.124.
15. Забудский Г.Г., Коваль А.А. Решение максиминной задачи размещения объектов на
плоскости с минимально допустимыми расстояниями // Материалы V Всероссийской
конференции «Проблемы оптимизации и экономические приложения». Омск, 2012. –
С.125.
16. Заозерская Л.А. Исследование среднего числа допустимых решений некоторых классов задач булева программирования // Материалы V Всероссийской конференции
"Проблемы оптимизации и экономические приложения" (Омск, 2-5 июля 2012 г.) Омск: Изд-во Ом. гос. ун-та, 2012. – С. 127.
17. Колоколов А.А., Орловская Т.Г. Анализ алгоритмов решения некоторых задач о рюкзаке на основе L-разбиения // Тезисы Международной конференции "Алгебра и линейная оптимизация", посвященной 100-летию С.Н. Черникова. Екатеринбург, 2012.
С. 94-95.
18. Леванова Т.В., Ткачук Е.А. Об одном алгоритме решения задачи о р-медиане с ограничениями на мощности // Проблемы оптимизации и экономические приложения: материалы V Всероссийской конф. – Омск: Изд-во Ом. гос. ун-та, 2012. – С. 144.
19. Мартынова Е.А., Сервах В.В. Исследование надежности расписаний при планировании инвестиционных проектов // Материалы V Всероссийской конференции «Проблемы оптимизации и экономические приложения», Омск 2012. – С. 149.
20. Орловская Т.Г. Улучшение структуры семейств задач о рюкзаке с использованием
унимодулярных преобразований // Тезисы Международной конференции "Алгебра и
линейная оптимизация", посвященной 100-летию С.Н. Черникова. Екатеринбург,
2012. С. 122-124.
21. Полуянов А.Н. Расчет диагностической шкалы на графических процессорах // XIII
Всероссийская конференция молодых ученых по математическому моделированию и
информационным технологиям // Тезисы докладов / Федеральное государственное
бюджетное учреждение науки Институт вычислительных технологий Сибирского отделения Российской академии наук. – Новосибирск, 2012. – С. 32.
22. Сервах В.В. Календарное планирование инвестиционных проектов // Материалы V
Всероссийской конференции «Проблемы оптимизации и экономические приложения», Омск 2012. – С. 79 - 82.
23. Тиховская С. В. Экстраполяция Ричардсона в двухсеточном методе для нелинейного
уравнения второго порядка с пограничным слоем // Тезисы докладов XIX Всероссийской конференции «Теоретические основы и конструирование численных алгоритмов
решения задач математической физики», посвященной памяти К.И. Бабенко, М: ИПМ
РАН, 2012, с. 94-96.
24. Тиховская С. В., Задорин А. И. Схема второго порядка точности для нелинейного сингулярно возмущенного уравнения второго порядка // Тезисы докладов IV Всероссийской конференции «Актуальные проблемы прикладной математики и механики», посвященной памяти академика А.Ф. Сидорова, Екатеринбург: ИММ УрО РАН, 2012,
с. 74.
25. Филимонов В.А. . Оптимизация и рефлексивный анализ как кросс-технология ситуационного центра // Проблемы оптимизации и экономические приложения: матер. V
Всеросс. конф. // Омск, Изд-во Ом. гос. ун-та, 2012, с. 215.
34
IV. СПРАВОЧНАЯ ИНФОРМАЦИЯ
4.1. Премии
Рыбалову Александру Николаевичу присуждена молодежная премия Правительства
Омской области для поощрения молодых деятелей науки за 2012 год.
4.2. Основные количественные показатели 2012 г.
Общий объем финансирования, тыс. руб.
35 877
В том числе, базовое, тыс. руб.
31 551
РФФИ
2 833
Программы РАН, СО РАН (10)
3 958
х/д,
1 493
Научных сотрудников (без совместителей)
39
Докторов наук
13
Кандидатов наук
25
Молодых специалистов (до 35 лет)
9
Аспирантов
14
Рейтинговых публикаций
80
Грантов РФФИ
10
4.3. Участие в работе конференций, совещаний и т.д.
Год
2006
2007
2008
2009
2010
2011
2012
Кол-во
51
58
41
77
53
77
88
4.4. Научные публикации сотрудников по годам
Публикации
2006
2007
2008
2009
2010
Монографии
2011
2012
3
3
Рейт. публ.
65
37
66
53
76
60
77
Всего
134
156
115
131
126
166
129