15 июня 2004 года
Научные интересы коллектива, руководителем которого является доктор физико-математических наук профессор Владимир Федорович Молчанов, нацелены на вопросы гармонического анализа на симметрических пространствах, связанные с построением квантования в духе Березина на таких пространствах, в частности, на изучение так называемых канонических представлений.
в 2000 году
Основное направление исследований тамбовской школы - это матричные и полиномиальные алгоритмы в коммутативных областях. Большинство работ опубликовано именно по этому направлению. Тамбовская школа признается ведущей в мире по символьным вычислениям в линейной алгебре. Работы по этому направлению уже много лет ведутся в сотрудничестве с кафедрой алгебры Московского государственного университета и Университетом Фессалии (Греция).
Большой цикл работ был посвящен приложениям систем компьютерной алгебры в естествознании и педагогике. Этой теме посвящены четыре учебных пособия, изданных в университете. В большой мере этим работам способствовали личные контакты с сотрудниками института "Вольфрам Ресерч Инк." (США), который разрабатывает систему Mathematica
Одной из первых в мире систем для аналитических вычислений была отечественная систем АНАЛИТИК, созданная в 60-е годы в Киеве под руководством В.М.Глушкова для машины МИР-1. Распространение больших машин IBM, а затем и персональных машин, привело к созданию большого числа программных пакетов, которые носят название систем компьютерной алгебры. Одной из первых систем для больших машин была система Schoonschip, которую в 1960-е годы разработал нидерландский физик Martinus J. G. Veltman. Эту систему применил его ученик Gerardus 't Hooft и с ее помощью он доказал возможность перенормировки неабелевых калибровочных теорий. За это в 1999 году они оба были награждены Нобелевской премией по физике.
Алгебраические вычисления (или компьютерная алгебра) - это раздел алгебры, в котором разрабатываются конструктивные методы решения алгебраических задач, оценивается сложность этих методов и анализируется эффективность реализации в компьютерных системах. Компьютерная алгебра использует методы общей алгебры, математического анализа, теории алгоритмов, математической теории сложности, теории графов и др.
Компьютерная алгебра, как самостоятельная дисциплина, сформировалась уже к началу 80-х годов. В 1982 году выходит первая коллективная монография по компьютерной алгебре под редакцией Бруно Бухбергера с обзором основных результатов и систематизацией главных направлений.
В университете развитие этого научного направления связано с приходом 1995 году Геннадия Ивановича Малашонка и началом работы научного семинара по компьютерной алгебре под его руководством. Окончив Львовский государственный университет, он работал в Физико-механическом институте АН, Институте прикладных проблем механики и математики АН и в Киевском государственном университете. Кандидатскую диссертацию по алгебре он защитил в КГУ (1987), а докторскую диссертацию - по компьютерной алгебре - в МГУ (2002).
Научные исследования по компьютерной алгебре в Державинском университете проводятся в лаборатории алгебраических вычислений, на кафедре функционального анализа, в аспирантуре по специальности "Математическое и программное обеспечение вычислительных машин комплексов и компьютерных сетей", в магистратуре "Компьютерная математика".
Двадцать лет работает в Державинском университете научный семинар по компьютерной алгебре. Основной состав участников семинара в последние годы составляли: А.А.Бетин, И.А.Борисов, Е.В.Дубовицкий, Д.С.Ивашов, Е.А.Ильченко, С.А.Киреев, В.А.Корабельников, А.О.Лапаев, Н.А.Малашонок, О.Н.Переславцева, А.Г.Поздникин, М.А.Рыбаков, Р.А.Смирнов, М.В.Старов, С.М.Тарарова, С.А.Хворов, А.С.Щербинин.
В первые годы в нем участвовали А.Ю.Арутюнов, А. А.Андреев, Ю.Д.Валеев, Д.В.Горлов, С.В.Гурьев, ,А.М.Добычин, A. М. Егоров, М.С.Зуев, А.В.Красиков В.Н.Казаков, М. А. Каткова, Е.Н.Козинцев, О.В.Крючин, С.С.Михайлов, О.В. Мачалина, Н.А.Рамзина Е.С.Сатина, О.А.Сажнева, Е. В. Ушакова, Д.И.Шляпин, Ю.Ю.Юрин.
Основное направления исследований тамбовской школы - это матричные и полиномиальные алгоритмы в коммутативных областях. Тамбовская школа признается ведущей в мире по символьным вычислениям в линейной алгебре. Работы по этому направлению уже много лет ведутся в сотрудничестве ПОМИ РАН, KГУ имени Т.Г.Шевченко, Национальным университетом "Киево-Могилянская академия", ЛГУ имени И.Франко, Университетом Фессалии (Греция), Канзасским университетом (США), Институтом ситемного программироания АН, МГУ имени Ломоносова.
Большой цикл работ был посвящен приложениям систем компьютерной алгебры в естествознании и педагогике. Этой теме посвящены четыре учебных пособия, изданных в Университете. В большой мере этим работам способствовали личные контакты с сотрудниками института "Вольфрам Ресерч Инк." (США), который разрабатывает систему Mathematica
В последние годы ведутся исследования по сложности полиномиальных и матричных алгоритмов, по символьным алгоритмам решения дифференциальных уравнений, вычислению характеристических полиномов, параллельному вычислению базисов Гребнера, применению FFT алгоритмов в матричных вычислениях, вычислениям базисов Гребнера, символьному интегрированию, факторизации полиномов и упрощению композиций элементарных функций.
Разработанные алгоритмы были использованы в системе компьютерной алгебры "Математически партнер". Эта облачная система компьютерной алгебры сегодня свободно доступна на сервере http://mathpar.cloud.unihub.ru Института Системного Программирования РАН. Она может использоваться для научных и инженерных расчетов, для совершенствования образовательного процесса в школьном и в высшем образовании.
Задачи компьютерной алгебры характеризуются высокой степенью сложности. Для их решения необходимы высокопроизводительные вычислительные средства с распределенной памятью. Одна из центральных задач сегодня в компьютерной алгебре - это организация параллельного вычислительного процесса для решения задач на таких суперкомпьютерах.
Была разработана уникальная технология организации параллельного вычислительного процесса для задач компьютерной алгебры. Ее основу составляют матричные рекурсивные алгоритмы с древовидными графами алгоритмов.
Для основных полиномиальных и матричных типов данных компьютерной алгебры разработаны представления, эффективные для проведения параллельных вычислений - массивы рекурсивных деревьев. Они позволяют эффективно хранить такие типы данных, рекуррентно разбивать их на части и составлять из частей. Для них предложены две концепции управления параллельным вычислительным процессом: с ценральным управлением и с динамическим децентрализованным управлением. Разработаны алгоритмы полиномиальной алгебры многих переменных и матричной алгебры над над ними. Реализованы алгоритмы вычисления определителей, присоединенных и обратных матриц.
Разработаны параллельные алгоритмы в кольце рациональных чисел и конечных полях для умножения полиномов многих переменных и умножения матриц. Эксперименты на кластере показали 80-85% рост скорости вычисления произведения операндов с ростом числа процессоров кластера. На основе этих параллельных алгоритмов разработаны алгоритмы вычисления определителей, вычисления присоединенных и обратных матриц, решения систем линейных уравнений, использующие параллельное блочное умножение.
Разработаны параллельные программы для вычисления характеристического полинома матрицы. Эксперименты на 500-процессорном кластере продемонстрировали близкое к 95% ускорение вычисление с ростом числа использованных процессоров для задачи точного вычисления характеристического полинома с применением методов КТО.
Первые эксперименты с параллельными алгебраическими алгоритмами проводились в 2004 году на 16-процессорном кластере Института системного программирования РАН, при тесном сотрудничестве с группой А.И.Аветисяна.
В январе 2006 года в Лаборатории алгебраических вычислений был установлен крупнейший на то время в Черноземье вычислительный Myrinet-кластер на 16 процессорах Intel с производительностью 75 Гфлоп. Был организован доступ на кластер со всех компьютеров Державинского университета. Курсы по параллельному программированию были включены в учебные планы новых математических и компьютерных специальностей, лицензированных в 2007 и 2008 году в университете.
В 2007 году был заключен договор с руководством Межведомственного Суперкомпьютерного Центра РАН, где установлен крупнейший в России вычислительный кластер. И с этого времени проводятся эксперименты на кластере МСЦ РАН в режиме удаленного доступа с использованием в экспериментах до 7000 процессоров одновременно.
С 2006 по 2016 год издан цикл учебных пособий по параллельному программированию на OpenMPI Java. Новые параллельные алгоритмы разрабатываются в магистерских и аспирантских диссертациях, в дипломных работах бакалавров.
Научные связи по компьютерной алгебре связывают Тамбов с московским, киевским и ереванским университетами, с Петербургским отделением Института математики РАН, Вычислительным Центром РАН, с международным Институтом ядерных исследований, Институтом системного программирования РАН, Институтом информатики и проблем автоматизации АН Армении, институтом "Вольфрам Ресерч Инк." (США), Фессалийским университетом (Греция), университетом Або (Финляндия), Научно-исследовательским Институтом Символьных Вычислений университета Линца (Австрия), Университетом Генуи (Италия) и другими научными центрами.
Результаты исследований докладывались на многих международных конференциях, таких как "Эффективные методы алгебраической геометрии" (Кастилиончелло, Италия, 1990), "Международный симпозиум по символьным вычислениям" (Лиль, Франция, 1993), "Вычислительная коммутативная алгебра" (Генуя, Италия, 1995), XV Всемирный конгресс Международной ассоциации по математическому и компьютерному моделированию (Берлин, Германия, 1997), "Эффективные методы алгебраической геометрии" (Сан-Мало, Франция, 1998), V Международная конференция "Приложения компьютерной алгебры" (Мадрид, Испания, 1999), "Компьютерная алгебра в научных вычислениях" (Констанц, Германия, 2001), VIII Международная конференция "Приложения компьютерной алгебры" (Волос, Греция, 2002). "Компьютерные науки и информационные технологии" (Ереван, Армения, 2005), "Компьютерная алгебра в научных вычислениях" (Кишинев, Молдавия, 2006), "Приложения компьютерной алгебры" (Варна, Болгария, 2006), "Компьютерная алгебра в научных вычислениях" (Бонн, Германия, 2007), "Приложения компьютерной алгебры" (Хагенберг, Австрия, 2008). (Влора, Албания, 2010), (София, Болгария, 2012),
В рамках международных конференций "Приложения компьютерной алгебры" силами тамбовской школы компьютерной алгебры были организованы заседания специальных сессий по "Параллельной компьютерной алгебре" в Варне, Болгария, в 2006 году, в Хагенберге, Австрия, в 2008 году, во Влоре, Албания, 2010 году, в Софии, Болгария, 2012. Работа сессии в Хагенберге была отмечена ценным подарком от председателя оргкомитета конференции Бруно Бухбергера.
С 2013 года совместно с Фессалийским университетом (Греция) организуются ежегодные международные конференции "Mathematical Partnership, Parallel Computing and Computer Algebra".
Уже состоялось четыре конференции: Родос, Греция (2013), Мохлос, Греция (2014), Або, Финляндия (2015), Агия Праскеви, Греция (2016). Иерусалим, Израиль (2017).
Научные исследования поддержаны российскими и международными грантами: РФФИ (2016-2018), (2012-2014), программа Развитие научного потенциала Высшей школы (2009-2010), гранты РФФИ и Тамбовской области (2008), РФФИ 02.01.10739 (2003) и 04.07.90268 (2004-2006), программа "Университеты России" 04.01.051 (2004) и 04.01.464 (2005), грант Министерства Образования Е02-20-98 (2002-2004), грант Human Capital Foundation (Великобритания) 23-03-24 (2004), грант "Mathematica" (Вольфрам Ресерч Инк., США) (2001), грант Фонда научных исследований и развития США (CRDF), TGP352 (2000).
Руководитель является лауреатом Государственной научной стипендии РАН (по информатике) 2000-2003гг. Аспиранты и студенты награждались многократно президентскими и правительственными стипендиями и грантами.
Руководитель: Переславцева Оксана Николаевна
E-mail: oxana.pereslavtseva@gmail.com
Сайт: http://parca.tsutmb.ru
доктор физико-математических наук, профессор Молчанов В.Ф.;
доктор физико-математических наук, профессор Артемов А.А.;
доктор физико-математических наук, профессор Исмагилов Р.С.;
доктор физико-математических наук, профессор Неретин Ю.А.;
кандидат физико-математических наук, доцент Малашонок Н.А.;
кандидат физико-математических наук, доцент Грошева Л.И.;
кандидат физико-математических наук, доцент Волотова Н.Б.;
кандидат физико-математических наук, доцент Ракитянский А.С.;
кандидат физико-математических наук Евсеева Е.В.;
старший преподаватель Цыкина С.В..
Основная тематика научных исследований коллектива – это задачи гармонического анализа, связанные с квантованием на симметрических пространствах. Кроме того, изучаются некоторые другие вопросы: теория Харди, интегральная геометрия и др. Работы коллектива хорошо известны специалистам во всем мире, они печатаются в наиболее авторитетных журналах в России и за рубежом. Ежегодная научная продукция составляет 25-30 публикаций.
Проводимые В.Ф.Молчановым и его группой исследования были поддержаны и поддерживаются финансово Российским Фондом Фундаментальных Исследований (РФФИ) (многократно, 15 грантов), Министерством образования и науки России, Научно-технической программой «Университеты России», Программой поддержки ведущих научных школ, Международным Научным Фондом и Правительством России, Американским Математическим Обществом, Голландской Организацией Научных Исследований (два совместных гранта: 2000–2002, 2005– 2007), Японским Обществом Продвижения Науки (совместный грант 2007–2008), Обществом Содействия Отечественной Науке. Отметим, что вообще первый грант в истории университета (пединститута) – это был грант РФФИ в 1993 году – был получен именно группой В.Ф.Молчанова.
В.Ф.Молчанов был организатором многих международных конференций (школ-семинаров) в Тамбове: 1987, 1989, 1996, 2005, 2007, 2008, 2009, 2012, с широким представительством математиков из разных стран: Россия, Украина, Голландия, Франция, Япония, Дания, США, Румыния, Великобритания, Германия, Австрия.
При кафедре математического анализа работает аспирантура по специальности «01.01.01 – математический анализ» под руководством В.Ф.Молчанова. По своему качеству защищаемые диссертации находятся на уровне мировых математических стандартов. Защищено 8 кандидатских и 2 докторских диссертации.
Коллективом выдвинуты и разрабатываются новые, перспективные и многообещающие идеи, которые должны привести к появлению новых областей исследования:
В целом деятельность в этом направлении есть создание некоторой «неунитарной» версии гармонического анализа.
Результаты, полученные в гармоническом анализе, применяются в приложениях к физике, а именно, для построения квантования (исчисления символов) на симплектических псевдоримановых однородных пространствах:
У коллектива устойчивые научные связи с ведущими вузами и исследовательскими институтами Москвы, Санкт-Петербурга, университетами Голландии, Франции, Германии, США, Дании, Японии и др. Члены коллектива регулярно участвуют в международных конференциях, съездах, школах и т.п., в России и за рубежом, в частности, таких, как: Международные Конгрессы Математиков (Москва, Киото, Цюрих, Мадрид), Европейские конгрессы (Барселона), Европейские Школы по Теории Групп (заметим, что в этих ежегодных школах вся российская команда состоит как раз из молодых членов группы В.Ф. Молчанова).
Руководитель: Молчанов Владимир Федорович
E-mail: molchano@molchano.tstu.ru
E-mail: namalaschonok@gmail.com (Н.А. Малашонок)