ВАЖНЕЙШИЕ НАУЧНЫЕ ДОСТИЖЕНИЯ

(по Программе)

I. МАТЕМАТИЧЕСКИЕ НАУКИ

1. Современные проблемы теоретической математики

Ключевым понятием квантовой теории информации является «сцепленность» − специфический род корреляции, отсутствующий в классических системах. Важный класс квантовых каналов связи образуют каналы, разрушающие сцепленность, в конечномерном случае подробно изученные в работах П. Шора и др. Проведено исчерпывающее исследование этого класса в бесконечномерном случае. Установлен критерий разрушения сцепленности для квантового гауссовского канала общего вида, позволивший найти ряд новых случаев, для которых известная гипотеза аддитивности пропускной способности выполняется в наиболее сильной форме.

Доказано существование точек гладкости у любой субримановой метрики. Задача, решенная в работе, возникла сразу после обнаружения строго анормальных субримановых геодезических, минимизирующих длину (R. Montgomery, 1991), и считалась очень трудной. У нее есть несколько эквивалентных одинаково естественных формулировок и отсутствие решения сильно тормозило развитие субримановой геометрии.

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

В работе дан принципиально новый способ построения резольвент, называемых адельными, для некоторого класса пучков абелевых групп на алгебраических многообразиях. Важнейший пример – пучки K-групп из высшей К-теории. В отличие от известных резольвент они обладают свойствами мультипликативности и контравариантности. Это позволяет описывать в их терминах произведения Масси на группах Чжоу, а также бирасширения над группами Чжоу.

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

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

Для одного класса алгебр с экспоненциальным ростом доказано (совместно с А. Беловым) что ассоциированная алгебра Ли содержит нетривиальную свободную подалгебру. В частности, это верно для алгебры Ли L_n+2 с образующими x_1, . . . , x_n+2 и соотношениями: для всех k < n +1, любой коммутатор длины k, состоящий из менее чем k различных символов из {x_1, . . . , x_n+2}, равен нулю. Аналогичный результат верен и для групп.

Впервые для известного уравнения Курамото–Сивашинского (1975 г.), описывающего неустойчивость в широком классе нелинейных явлений, доказаны теорема о глобальной разрешимости при ограниченных начальных данных и теорема о разрушении решений этого уравнения в многомерном случае. Для доказательства этих результатов разработан новый подход к исследованию рассмотренных проблем.

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

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

Детально изучено однопараметрическое семейство сигма-конечных мер на множестве распределений, инвариантных относительно бесконечномерной коммутативной группы мультипликаторов картановского типа. Выяснены связи этих мер с мерами Пуассона–Дирихле и предложены их обобщения. Вычислена асимптотика преобразования Лапласа их конечномерных аппроксимаций. Мера впервые возникла в контексте теории представлений групп токов и имеет серьезные приложения в этой теории.

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

Формализм Баталина-Вилковысского и формализм фейнмановских диаграмм применен для вычисления континуальных интегралов. Доказано свойство симплициальной локальности для действия дискретной BF-теории на триангуляции, вычислено точно действие для 1-симплекса и пертурбативно для симплекса старшей размерности. Получены аналогичные результаты для дискретной BF-теории на клеточном разбиении многообразия на кубы. В качестве приложения получены точные результаты для эффективного действия BF-теории на когомологиях де Рама для окружности и бутылки Клейна.

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

Выявлены связи уравнения Беллмана с вырожденным уравнением Монжа–Ампера. Построен унифицированный метод нахождения функций Беллмана, годящийся для многих конкретных задач анализа. Найдены функции Беллмана для слабой формы неравенства Джона–Ниренберга и для теоремы вложения Карлесона.

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

Рассматривалась задача о разложении Фишера в пространстве целых функций H(C^N). Решение задачи тесно связано с решением глобальной задачи Коши для дифференциальных операторов в частных производных с постоянными коэффициентами. Получен следующий результат: пусть P(z) – произвольный многочлен, P*(z) – сопряженный многочлен, получаемый из P(z) заменой коэффициентов на комплексно-сопряженные. Тогда любая функция f из H(C^N)  представляется в виде суммы f = f₁ + f₂, где функция f₂ является решением уравнения P*(d/dz)y = 0, а функция f₁ делится на многочлен P(z).

Показано, что все уравнения на решетке, принадлежащие к известному списку Адлера-Бобенко-Суриса (АБС), задают преобразования Беклунда для частных случаев интегрируемой дискретной версии уравнения Кричевера–Новикова. Это позволяет, в частности, строить новые высшие симметрии для АБС уравнений.

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

Доказана теорема о сохранении гензелевой рациональности нормированных полей при циклических p-расширениях. Как следствие, получено выполнение AKE-принципа для гензелева ручного поля.

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

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

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

Установлена распознаваемость среди накрытий простых линейных групп проективной размерности, отличной от четырех, и найден пример нераспознаваемой среди накрытий группы размерности четыре.

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

Доказана теорема Михлина об ограниченности в Lp, 1

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

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

Получены новые критерии выполнения весового неравенства Харди с переменными пределами интегрирования для всех 0

Доказан асимптотический закон распределения простых чисел среди значений знаменателей непрерывных дробей почти всех вещественных чисел. (ИПМ ДВО РАН)

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

Получены предельные распределения максимальной степени и числа вершин заданной степени в условных случайных графах Интернет-типа при условии, что число ребер графа известно. (ИПМИ КарНЦ РАН)

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

Для транзитивных на вершинах групп автоморфизмов конечных графов завершено описание стабилизаторов вершин с локально примитивным лиевым действием. Задача восстановления стабилизатора вершины конечного графа в транзитивной на вершинах группе автоморфизмов по его ограничению на окрестность вершины привлекает внимание с середины прошлого века.

С помощью теории характеров конечных групп найдены возможные порядки и подграфы неподвижных точек автоморфизмов дистанционно регулярного графа диаметра 4, являющегося накрытием графа Хигмена–Симса. В частности, группа автоморфизмов такого накрытия не может транзитивно действовать на множестве антиподальных классов. Указанный метод удалось применить к графам, для которых вторая матрица собственных значений не является рациональной.

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

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

2. Математическая физика и математические проблемы механики, физики и астрономии

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

С помощью преобразования Мутара построены двумерные операторы Шредингера с быстро убывающими гладкими потенциалами и нетривиальными L₂-ядрами и распадающиеся за конечное время решения уравнения Веселова-Новикова с быстро убывающими гладкими начальными данными Коши.

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

Установлена нетеровость краевых задач в Rⁿ₊ для квазиэллиптических систем, получены необходимые и достаточные условия разрешимости в соболевских пространствах. Доказаны теоремы об изоморфизме для классов матричных квазиэллиптических операторов в Rⁿ в специальных шкалах весовых соболевских пространств. (ИМ СО РАН)

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

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

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

Для функции Лауричеллы – обобщения гипергеометрической функции на случай многих переменных – получены новые формулы ее аналитического продолжения на всю комплексную плоскость по каждому из переменных. (ВЦ РАН)

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

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

3. Вычислительная математика, параллельные и распределенные вычисления

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

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

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

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

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

Мультиоператорные схемы рекордно высоких порядков (7-9), оптимизированные для разрешения мелких деталей решений, были использованы для численного моделирования генерации звука до- и сверхзвуковыми струями. Расчеты выявили возможность правильного описания возмущений давления, амплитуда которых характеризуется очень малыми величинами (порядка 10^–5-10^–6) по сравнению со средним значением порядка единицы. (ВЦ РАН)

Произведено тестирование суперкомпьютера МВС100К. Продемонстрирована возможность запуска задач с использованием всех процессоров системы, проверена устойчивость работы системы. В комплексе программ Noisette реализовано гибридное распараллеливание MPI+OpenMP, которое позволяет более эффективно использовать суперкомпьютеры с многоядерными узлами. В тестовом расчете на 1280 процессорах был получен выигрыш в производительности около 20% по сравнению с MPI распараллеливанием. Выполнена серия расчетов реальных трехмерных акустических задач. (ИММ РАН, МСЦ РАН)

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

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

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

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

Исследован и разработан язык асинхронного параллельного программирования численных алгоритмов АСПЕКТ, позволяющий производить группирование фрагментов вычисления для поиска субоптимального размера. Разработаны фрагментированные версии широко используемых численных алгоритмов и написаны реализующие их 3-мерные параллельные программы.

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

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

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

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

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

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

4. Математическое моделирование в науке и технике

Создана новая модель климата с разрешением: в атмосфере – 2.52 градуса по долготе и широте и 21 уровнем по вертикали; в океане – 10.5 градуса по долготе и широте и 40 уровнями по вертикали.

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

На основе численного моделирования исследованы долгопериодная эволюция климата вод и морского льда Северного Ледовитого океана и механизмы, ответственные за формирование и изменчивость современного климата Арктики.

Построена модель газовой и аэрозольной динамики с учетом гетерогенных процессов на поверхности частиц.

Проведена оценка информационного содержания данных летных испытаний гиперспектрометра для выбранных тестовых участков территории Тверской области.

Разработана математическая модель регуляции энергетического баланса организма. (ИВМ РАН)

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

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

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

Методом математического моделирования обнаружен эффект сильного перегрева твердой фазы металлов (почти в 10 раз превосходящий температуру плавления) при фемтосекундном воздействии лазерного излучения. (ИММ РАН)

Для 3D-уравнений магнитогазодинамики на основе разработанных монотонных численных методов высокого порядка аппроксимации выполнены численные исследования параметров плазменного сгустка, разлетающегося в разреженную ионосферу в случае промежуточного диапазона высот 100-120 км. Рассмотрены все стадии развития плазменного течения от 10^–6 до сотен секунд.

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

Предложен и развит принципиально новый способ инициирования детонации – инициирование с помощью профилировки стенок трубы. Детально проанализирован механизм инициирования детонации в осесимметричной трубе с профилем стенки в виде параболического элемента и конического расширения. Обнаружено, что механизм инициирования связан с тремя основными стадиями: двойным Маховским отражением лидирующей ударной волны; кумуляцией волны Маха и (или) отраженной ударной волны, с образованием одного или двух локальных взрывов; отражением взрывной волны от конической поверхности и последующим реинициированием.

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

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

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

Было подробно проанализировано изменение полной вихревой структуры течения около сферы, движущейся в линейно стратифицированной вязкой жидкости, при уменьшении внутреннего числа Фруда Fr от бесконечности до 0.005 (при числе Рейнольдса Re = 100). Наиболее сложная трансформация вихревой структуры происходит при 0.6 < Fr < 0.9, когда наблюдается постепенное исчезновение рециркуляционной области следа. Начиная с Fr = 0.4, из гребня ближайшей к сфере волны формируется новая рециркуляционная область и около горизонтальной плоскости Y-Z зарождается тонкая вихревая структура с вертикальной осью вращения. (ИАП РАН)

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

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

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

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

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

5. Современные проблемы дискретной математики и теоретической информатики

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

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

Создана специализированная картографическая оболочка ITRIS (Integrated Tsunami Research and Information System), построенная на принципах ГИС-технологий и объединяющая в своем составе программные компоненты, вычислительные алгоритмы для моделирования цунами и землетрясений, вместе с информационными ресурсами (спутниковыми снимками, цифровыми моделями рельефа, материалами дистанционного зондирования, историческими каталогами и данными наблюдений, результатами моделирования).

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

Создан Инновационный учебно-методический комплекс (ИУМК) «Информатика (1-4 классы)». Комплекс является системообразующим элементом всей начальной школы, интегрируя различные дисциплины, создавая для них интеллектуальную и технологическую основу. Учебные материалы ИУМК знакомят детей с основными информационными объектами, помогают овладевать методами преобразования информации, научиться строить информационные модели. Изучение математических основ информатики является основой формирования общеучебных навыков и развития общих мыслительно-коммуникативных способностей ребенка. Компьютерная поддержка при этом помогает детям параллельно осваивать разнообразные способы достижения результатов, различные инструменты и технологии, позволяет снизить объем рутинной работы учащихся и повысить вариативность заданий курса. Данная разработка признана важным результатом в масштабе всего российского образования. Работа завершена, ресурс выложен в Единой коллекции образовательных ресурсов и проходит экспериментальную апробацию во многих регионах страны.

Создан математический аппарат и комплекс алгоритмов для решения задач обучения беспризнаковой классификации объектов, воспринимаемых компьютером через совокупность нескольких разнородных показателей их попарного несходства. Разработанная принципиально новая методология селективного комбинирования наиболее информативных метрик основана, с одной стороны, на общих алгебраических принципах анализа разнородной, неполной и противоречивой информации, развитых в работах Ю.И. Журавлева и его учеников, и, с другой стороны, на методе потенциальных функций М.А. Айзермана, Э.М. Бравенмана и Л.И. Розоноэра. Алгоритмы использованы для решения прикладных задач идентификации личности по свободно пополняемому комплексу биометрических характеристик и классификации аминокислотных последовательностей белков по их эволюционному сходству.

Даны точные определения и математическая характеризация понятий, используемых для построения моделей изображений в задачах их анализа и распознавания. (ВЦ РАН)

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

Впервые построены бесконечные семейства плоских 4-хроматических и реберно 4-критических графов, образованных пересечением замкнутых кривых на плоскости, и тем самым опровергнута гипотеза Грецша-Закса-Кeстера о 3-раскрашиваемости графов этого класса.

Для k3, r>1 получены нижние оценки числа (k, r)-неразделенных семейств подмножеств n-элементного множества ((k, r)-неразделенных булевых функций).

Разработан прямой комбинаторный (свитчинговый) метод построения q-значных совершенных кодов, на его основе исследована проблема пересечений q-значных (q>2) совершенных кодов, получен широкий спектр возможных пересечений совершенных q-значных кодов.

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

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