КАРТОЧКА ПРОЕКТА ФУНДАМЕНТАЛЬНЫХ И ПОИСКОВЫХ НАУЧНЫХ ИССЛЕДОВАНИЙ,
ПОДДЕРЖАННОГО РОССИЙСКИМ НАУЧНЫМ ФОНДОМ

Информация подготовлена на основании данных из Информационно-аналитической системы РНФ, содержательная часть представлена в авторской редакции. Все права принадлежат авторам, использование или перепечатка материалов допустима только с предварительного согласия авторов.

 

ОБЩИЕ СВЕДЕНИЯ


Номер 17-71-30014

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

РуководительТишкин Владимир Федорович, Доктор физико-математических наук

Организация финансирования, регион Федеральное государственное учреждение "Федеральный исследовательский центр Институт прикладной математики им. М.В. Келдыша Российской академии наук", г Москва

Период выполнения при поддержке РНФ 2017 г. - 2020 г. 

Конкурс№25 - Конкурс 2017 года по мероприятию «Проведение исследований научными лабораториями мирового уровня в рамках реализации приоритетов научно-технологического развития Российской Федерации» Президентской программы исследовательских проектов, реализуемых ведущими учеными, в том числе молодыми учеными.

Область знания, основной код классификатора 01 - Математика, информатика и науки о системах, 01-412 - Суперкомпьютерное моделирование: инструментальные средства, прикладное программное обеспечение и сервисы

Ключевые словаЦифровые технологии, математическое моделирование, высокоточные алгоритмы, программное обеспечение, суперкомпьютерные вычисления.

Код ГРНТИ28.17.19


СтатусУспешно завершен


 

ИНФОРМАЦИЯ ИЗ ЗАЯВКИ


Аннотация
Научной проблемой, решению которой посвящен проект, является создание математического и программного обеспечения, способного эффективно решать сложные прикладные задачи с полномасштабным использованием современных суперкомпьютерных вычислительных систем и ориентированных на использование перспективных суперкомпьютеров экзафлопсного уровня. Для решения поставленной задачи необходимо разработать новый класс вычислительных алгоритмов, разработать теоретическую основу численных методов, обеспечивающих высокую точность и ориентированных на использование архитектуры современных и перспективных суперкомпьютеров. В рамках проекта будет рассмотрен ряд задач (направлений исследований), имеющих важное теоретическое и прикладное значение. Разработка программного обеспечения для суперкомпьютерных технологий высокоточного математического моделирования взаимодействия электромагнитного и ионизирующего излучений с твердыми гетерогенными композиционными пористыми материалами с прямым разрешением их микроструктуры. Прикладным объектом исследования будут микроструктурированные среды, в частности композиционные материалы корпусов и защитных покрытий космических аппаратов. В настоящее время гетерогенные материалы космических аппаратов исследуются в рамках упрощенных математических моделей и дорогостоящих лабораторных экспериментов. Это ограничивает эффективность обеспечения и контроля их радиационной стойкости в условиях многофакторного воздействия излучений космического пространства. Будут разработаны средства детального математического моделирования полного комплекса механизмов воздействия электромагнитного и ионизирующего излучения на материалы с учетом их микроструктуры. Будет проведено моделирование взаимосвязанных эффектов радиационного, электромагнитного и термомеханического характера в гетерогенном материале с прямым учетом пористости и дисперсных включений. Созданное с применением технологии параллельного программирования MPI, OpenMP, CUDA программное обеспечение будет ориентировано на использование сверхвысокопроизводительной вычислительной техники. Результаты выполнения проекта предназначены для космической, атомной и других высокотехнологичных отраслей промышленности. Разработка средств и методов вычислительного эксперимента для анализа многофазных многокомпонентных течений жидкости и газа в пористых средах с прямым разрешением геометрии порового пространства. В этой задаче для описания течения флюида используются не макроскопические усредненные модели фильтрации, а уравнения гидродинамики в системе поровых каналов. В качестве геометрической модели образца породы может, в частности, использоваться его микротомограмма, позволяющая описать структуру поровых каналов с микрометрическим и выше разрешением. Указанный подход в настоящее время известен под названием «цифровой керн». Работы по построению подобных моделей и алгоритмов активно ведутся как в зарубежных академических научно-исследовательских центрах и университетах, так и научно-исследовательских центрах ведущих западных нефтяных компаний (Schlumberger, Total и др.). В ходе решения этой задачи будут построены новые квазигидродинамические (КГиД) модели течений с учетом поверхностных эффектов, произвольного угла смачивания на границе жидкости с твердой поверхностью и неньютоновской реологии. На основе построенных КГиД моделей будут разработаны численные алгоритмы для расчета течений многокомпонентных сред. Будет разработан параллельный программный комплекс и будут проведены вычислительные эксперименты на суперкомпьютерных вычислительных системах по моделированию многокомопнентных многофазных течений в поровых пространствах. Создание прецизионных методов и эффективных алгоритмов решения задач математической физики с сильным различием характерных пространственно-временных масштабов для современных и перспективных суперкомпьютеров на основе последних достижений вейвлетного и изогеометрического анализа. Будут созданы прецизионные методы и эффективные алгоритмы решения задач математической физики с сильным различием характерных пространственно-временных масштабов для современных и перспективных суперкомпьютеров на основе последних достижений вейвлетного и изогеометрического анализа. Новизна этой технологии состоит в комбинации идеи многомасштабности c методом свободной границы (МСГ), позволяющим эффективно реализовывать краевые условия на несвязной сетке. Будут созданы новые адаптивные вейвлетные алгоритмы для решения задач математической физики на современных и перспективных параллельных суперкомпьютерах. Разработка эффективных алгоритмов для решения задач математической физики методом Галеркина с разрывными базисными функциями и создание программного обеспечения для суперкомпьютеров гибридной архитектуры. В настоящее время, для решения широкого класса прикладных задач математической физики со сложной геометрией исследуемого объекта и разномасштабной структурой исследуемых процессов наиболее востребованным является метод Галеркина с разрывными базисными функциями. Его реализация на высокопроизводительных вычислительных системах является сложной и актуальной задачей. В ходе работ по проекту будет разработана новая модификация разрывного метода Галеркина, использующая базисные функции, зависящие от времени, и будет теоретически доказано, что за счет такого выбора функций можно обеспечить выполнение дискретного аналога энтропийного неравенства. На основе сеточно-операторного подхода к программированию будет создан программный комплекс, реализующий разрывный метод Галеркина для эффективного решения широкого круга задач гидродинамики на современных и перспективных суперкомпьютерных вычислительных системах гибридной архитектуры. Разработка новых вычислительных моделей, математически обоснованных алгоритмов и специализированного программного обеспечения для решения задач динамики многокомпонентных сред с учетом процессов диффузии компонент смеси и теплообмена с граничной поверхностью. Актуальность разработки эффективных алгоритмов для решения сложных прикладных задач, таких как высокоскоростное (в частности, гиперзвуковое) обтекание тел, обусловлена необходимостью учитывать ряд физических процессов, в частности, многокомпонентность газовой смеси. В ходе решения этой задачи будут разработаны новые средства математического моделирования, обеспечивающие качественное повышение точности прогноза за счет использования комплексных моделей с высокой степенью детализации и соответствующим математическим обоснованием, созданы на основе оригинальных явно-итерационных схем и адаптивного многосеточного метода новые ультрапараллельные численные методы и коды для суперкомпьютеров с экстрамассивным параллелизмом в технологии параллельного программирования MPI, OpenMP, CUDA. Разработка принципов системной интеграции в единой среде высокопроизводительных вычислений сервисов и ресурсов математического моделирования, прогнозирования и экспертиз при решении задач управления технологическими и информационными процессами в больших системах. Эта задача посвящена разработке облачных веб-сервисов распределенных систем. Исследования буду носить междисциплинарный характер, поскольку, с одной стороны, требуются знания в области теории принятия решений и исследования операций, а с другой стороны, требуются знания в области современных информационных технологий, в том числе в области распределенных и параллельных вычислений. Эффективность предложенных подходов будет продемонстрирована на примере крупномасштабных научных задач в области транспортного моделирования и транспортной инфраструктуры. В целом результаты работы по проекту внесут определяющий вклад в создание высокоточных вычислительных алгоритмов и программного обеспечения нового типа, позволяющих эффективно использовать возможности современных и перспективных вычислительных систем с массовым параллелизмом. В проекте объединены несколько научных групп, занимающиеся суперкомпьютерными технологиями моделирования, и их работа в составе одной лаборатории позволит выявить общие фундаментальные проблемы этого направления и наметить пути их решения, что, в свою очередь, окажет значительное влияние на его развитие в рамках заявленного направления Стратегии научно-технического развития РФ.

Ожидаемые результаты
В рамках проекта будет рассмотрен следующий комплекс научных проблем (задач), имеющих важное теоретическое и прикладное значение. Разработка программного обеспечения для суперкомпьютерных технологий высокоточного математического моделирования взаимодействия электромагнитного и ионизирующего излучений с твердыми гетерогенными композиционными пористыми материалами с прямым разрешением их микроструктуры. Разработка средств и методов вычислительного эксперимента для анализа многофазных многокомпонентных течений жидкости и газа в пористых средах с прямым разрешением геометрии порового пространства. Создание прецизионных методов и эффективных алгоритмов решения задач математической физики с сильным различием характерных пространственно-временных масштабов для современных и перспективных суперкомпьютеров на основе последних достижений вейвлетного и изогеометрического анализа. Разработка эффективных алгоритмов для решения задач математической физики методом Галеркина с разрывными базисными функциями и создание программного обеспечения для суперкомпьютеров гибридной архитектуры. Разработка новых вычислительных моделей, математически обоснованных алгоритмов и специализированного программного обеспечения для решения задач динамики многокомпонентных сред с учетом процессов диффузии компонент смеси и теплообмена с граничной поверхностью. Разработка принципов системной интеграции в единой среде высокопроизводительных вычислений сервисов и ресурсов математического моделирования, прогнозирования и экспертиз при решении задач управления технологическими и информационными процессами в больших системах. В ходе решения задач проекта будут получены следующие основные результаты. Разработка программного обеспечения для суперкомпьютерных технологий высокоточного математического моделирования взаимодействия электромагнитного и ионизирующего излучений с твердыми гетерогенными композиционными пористыми материалами с прямым разрешением их микроструктуры. Основным результатом будет являться комплекс методик и программного обеспечения для суперкомпьютерного моделирования воздействия электромагнитных и ионизирующих излучений на сложные гетерогенные среды. Комплекс позволит исследовать последствия этих воздействий, потенциально ведущие к деградации функциональных свойств среды. Разработанные методики и программные средства будут пригодны для комплексного анализа и разработки новых перспективных материалов с заданными свойствами («виртуальный дизайн материалов») методами вычислительного эксперимента с использованием суперкомпьютеров гибридной архитектуры. Результаты проекта будут использоваться в космической, атомной и других высокотехнологичных отраслями промышленности. Ожидаемыми результатами задачи являются: 1. Фундаментальные, основанные на «первых принципах», модели взаимодействия проникающего излучения с композиционными гетерогенными материалами и реализующие их методы прямого численного моделирования. Модели будут основаны на кинетических уравнениях переноса излучения в микроструктурах гетерогенных материалов и на верифицированных базах данных по сечениям процессов рассеяния. Методами компьютерной микротомографии и/или стохастического моделирования будут разработаны реалистичные модели материалов со степенью детализации, обеспечивающей возможность применения разработанных моделей переноса излучения. 2. Методы прямого моделирования функциональных свойств материалов и их изменений вследствие ударных тепловых нагрузок в рамках термоупругих моделей микроуровня. Методы будут пригодны для моделирования процессов с существенным изменением механических, теплофизических, электрофизических свойств материала. Будут учитываться изменения микроструктуры среды, микроразрушение и связанная с ним потеря механических свойств, объемные и поверхностные фазовые переходы. 3. Реализация разработанных вычислительных методик в виде программного обеспечения, созданного с применением технологии параллельного программирования MPI, OpenMP, CUDA и ориентированного на использование сверхвысокопроизводительной вычислительной техники. Решение этой задачи проекта создает фундаментальный задел в области математического суперкомпьютерного моделирования комплексного многофакторного воздействия электромагнитного и ионизирующего излучения на сложные гетерогенные среды, включая пористые композиционные материалы. Ожидаемые результаты решения задачи в настоящее время не имеют отечественных или зарубежных аналогов, поскольку подход к решению сочетает фундаментальность математических моделей, комплексность рассмотрения физических эффектов и изначальную ориентацию на использование современных суперкомпьютеров. Дополнительным результатом будет повышение значимости применения современных сверхвысокопроизводительных вычислительных систем и технологий распараллеливания вычислений для создания новых перспективных высокотехнологичных материалов с заданными свойствами (технология «виртуальный дизайн материалов»). Разработка средств и методов вычислительного эксперимента для анализа многофазных многокомпонентных течений жидкости и газа в пористых средах с прямым разрешением геометрии порового пространства. 1. Будут построены квазигидродинамические (КГиД) модели течений с учетом поверхностных эффектов, произвольного угла смачивания на границе жидкости с твердой поверхностью и неньютоновской реологии. 2. Будут разработаны численные алгоритмы для расчета течений двух- и многокомпонентных сред на основе построенных КГиД моделей. 3. Будет разработан параллельный программный комплекс для расчета течений двух- и многокомпонентных сред на основе построенных КГиД моделей и алгоритмов. 4. Будут проведены вычислительные эксперименты на суперкомпьютерных вычислительных системах по моделированию многокомопнентных многофазных течений в поровых пространствах, в том числе, вычислительные эксперименты для определения макроскопических характеристик процесса вытеснения. В целом результатом решения этой задачи будет развитие вычислительной технологии математического моделирования сложных многофазных многокомпонентных течений с учетом динамики межфазных границ и сопутствующих процессов, происходящих при вытеснении флюида в пространственных масштабах поровых каналов образцов горных пород (керна). Разработанные вычислительные алгоритмы и программы будут эффективны при использовании существующих и перспективных суперкомпьютерных систем. Поставленная задача является оригинальной и вносит существенный вклад в задачу разработки методологии прямого численного моделирования процессов многофазного многокомпонентного вытеснения флюида на микроуровне. Результаты работ будут соответствовать мировому научному уровню и по ряду позиций будут опережать его. Результаты будут иметь важное прикладное значение, прежде всего, для нефтегазодобывающей отрасли. В частности, потенциальными потребителями разрабатываемого в ходе проекта параллельного вычислительного комплекса являются российские и зарубежные нефтегазодобывающие и сервисные компании, академические и отраслевые научно-исследовательские и проектные институты и лаборатории. Внедрение результатов настоящего проекта может повысить предсказательную силу используемых в настоящее время технологий по анализу процессов разработки месторождений углеводородов. Создание прецизионных методов и эффективных алгоритмов решения задач математической физики с сильным различием характерных пространственно-временных масштабов для современных и перспективных суперкомпьютеров на основе последних достижений вейвлетного и изогеометрического анализа. Основным результатом выполнения этой задачи проекта будет создание эффективной параллельной вычислительной технологии для современных и проектируемых суперкомпьютеров, обеспечивающей возможность прецизионного решения фундаментальных и прикладных задач аэродинамики с существенно разными пространственно-временными масштабами. Созданные алгоритмы и программы могут использоваться в математическом моделировании процессов и систем в различных областях науки и техники и будут соответствовать мировому уровню, а в ряде случаев и превосходить его. Разработка эффективных алгоритмов для решения задач математической физики методом Галеркина с разрывными базисными функциями и создание программного обеспечения для суперкомпьютеров гибридной архитектуры. Будут разработаны эффективные алгоритмы для решения задач математической физики на основе новой модификации разрывного метода Галеркина, использующей базисные функции, зависящие от времени, и будет теоретически доказано, что за счет такого выбора функций можно обеспечить выполнение дискретного аналога энтропийного неравенства. Будет создан программный комплекс, реализующий разрывный метод Галеркина для эффективного решения широкого круга задач гидродинамики на современных и перспективных суперкомпьютерных вычислительных системах гибридной архитектуры. Разработанные эффективные алгоритмы для решения задач математической физики методом Галеркина с разрывными базисными функциями и созданный программный комплекс будет соответствовать мировому уровню исследований в рассматриваемой области и могут быть применены для решения широкого круга задач математической физики, в том числе для решения задач гидродинамики, с высокой точностью на существующих и перспективных суперкомпьютерных вычислительных системах гибридной архитектуры. Разработка новых вычислительных моделей, математически обоснованных алгоритмов и специализированного программного обеспечения для решения задач динамики многокомпонентных сред с учетом процессов диффузии компонент смеси и теплообмена с граничной поверхностью. В ходе выполнения проекта будут разработаны отвечающие мировому уровню новые подходы к комплексному моделированию течений многокомпонентной газовой смеси с высокой степенью детализации, созданы новые ультрапараллельные численные методы и коды для современных суперкомпьютерных архитектур, развиты методы программирования сеточных операторов математической физики для компьютерной реализации класса решаемых задач на современных суперЭВМ с различной архитектурой. Предполагается практическое использование результатов выполнения проекта в ракетно-космической области. Разработка принципов системной интеграции в единой среде высокопроизводительных вычислений сервисов и ресурсов математического моделирования, прогнозирования и экспертиз при решении задач управления технологическими и информационными процессами в больших системах. В ходе работ по этой задаче будут разработаны: • модели описывающие структуру информационного обеспечения распределенных веб-сервисов инвариантные по отношению к предметной области; • унифицированные алгоритмы взаимодействия веб-сервисов поддержки принятия решений, а также реализующее их программное обеспечени; • векторный критерий оценки качества программного и алгоритмического обеспечения веб-сервисов поддержки принятия решений; • имитационная модель для оценки алгоритмов планирования распределенных вычислений в облачной среде веб-сервисов поддержки принятия решений; • методы организации взаимодействия облачных веб-сервисов многокритериальной оценки транспортной инфраструктуры, моделей активности населения, графа транспортной сети, построения маршрутов движения транспорта и пешеходов, генетических методов оптимизации структуры и параметров этих моделей. Будет проведена интеграция суперкомпьютерных ресурсов и разрабатываемых веб-сервисов. В результате решения этой задачи проекта будет создана единая технологическая платформа, которая позволит широкому кругу исследователей использовать в решении своих задач интерфейс REST (Representational State Transfer — «передача репрезентативного состояния»). В целом результатом проекта будет новая алгоритмическая и программная методология решения рассматриваемых научно-значимых задач на основе математического моделирования с использованием суперкомпьютерных вычислительных систем экстрамассивного параллелизма. Ожидаемые результаты будут находиться на уровне или превосходить имеющиеся российские и зарубежные аналоги.


 

ОТЧЁТНЫЕ МАТЕРИАЛЫ


Аннотация результатов, полученных в 2017 году
Разработана модель переноса излучения в веществе гетерогенных материалов пористого типа и с мелкодисперсными включениями. Строятся вероятностные распределения импульсов электронов и фотонов, рассеянных при взаимодействии с материалом сложного химического состава. Построение распределений сводится к обработке верифицированных баз данных по сечениям соответствующих процессов. Разработаны реалистичные геометрические модели мелкодисперсных и пористых сред с параметрами микроструктуры, статистически эквивалентными параметрам типовых материалов, используемых в тепло- и радиационной защите космических аппаратов. Для генерации модели среды со сложной функцией распределения включений по радиусам использованы методы Монте-Карло. Классический алгоритм Штилингера-Любачевского использован для среды с включениями одинакового радиуса. Построен набор геометрических моделей, статистически эквивалентных реальным материалам. Разработана базовая термомеханическая модель реакции материала на тепловой удар, вызванный излучением. Выбран подход для построения термомеханической модели на основе эйлерового описания среды. Это позволяет моделировать термомеханические эффекты при воксельном геометрическом описании материалов. Взаимосвязанные термомеханические и электродинамические явления описываются уравнениями Максвелла и термомеханики. Они связаны джоулевым нагревом, пондеромоторной силой и плотностью конвективного тока. Разработана математическая модель динамики контактного угла между границей раздела фаз флюида и твердой поверхностью для двухфазной двухкомпонентной КГиД системы уравнений, описывающей течение флюида с учетом границ раздела фаз, эффектов смачиваемости, разделения фаз и поверхностного натяжения. Построенная математическая модель является термодинамически согласованной, учитывает динамические эффекты и геометрические параметры поверхности, в частности, ее кривизну. Разработаны вычислительные алгоритмы расчета трехмерных течений вязкого двухфазного двухкомпонентного флюида с учетом границ раздела фаз, эффектов разделения фаз и поверхностного натяжения в областях сложной формы, представленных воксельной геометрией в трехмерном случае. Алгоритм позволяет проводить расчет течения в произвольной воксельной геометрии с минимальными ограничениями на структуру расчетной области и может быть использован для расчета течений в цифровых микрообразцах горных пород, полученных методами компьютерной томографии. Разработанные алгоритмы были программно реализованы в составе параллельного программного комплекса. Проведена валидация и верификация предложенных подходов. Проведен ряд тестовых и содержательных расчетов, демонстрирующих работоспособность и эффективность предложенных моделей, вычислительных алгоритмов и их программной реализации, включая расчет растекания капли по подложке, расчет течения в трубке переменного сечения и расчет течения в реалистичном микрообразце горной породы. В ходе работ были использованы цифровые микрообразцы горных пород, находящиеся в свободном доступе на сайте Королевского колледжа в Лондоне (Англия). Было проведено параметрическое исследование рассмотренных задач. Для расчета течений газа на локально-адаптивных декартовых сетках вложенной структуры были вычислены новые неравномерные вейвлетные фильтры, позволившие радикально ускорить расчеты. Было проведено обобщение процедуры реконструкции решения с кусочно-линейным подсеточным восполнением для случая неконформных сеток. Метод свободной границы был адаптирован для моделирования вязких граничных условий на поверхности твердого тела, не связанной с локально-адаптивной декартовой сеткой. Для этого был введен вязкий компенсационный поток, который рассчитывается исходя из условия прилипания на поверхности твердого тела в пересекаемых ячейках. Апробация и валидация разработанных методов была проведена как на актуальных задачах для идеального газа, так и на двумерных вязких задачах с расчетом пристеночных погранслоев на сетках разной структуры, базовых декартовых, декартовых с локальной адаптацией, согласованных и несогласованных с поверхностью обтекаемого тела. В целях более точной реализации энтропийного условия для решения одномерных задач газовой динамики разработан гибридный метод 1-го порядка точности, основанный на декомпозиции расчетной области на область изоэнтропического течения газа и область производства энтропии ударными волнами. В области изоэнтропического течения газа гибридный подход использует уравнение энтропии вместо уравнения полной энергии. В оставшейся области применяется традиционное уравнение полной энергии. Разработанный гибридный метод был программно реализован для численного решения системы одномерных уравнений идеального газа. Были проведены численные эксперименты, которые показали, что предложенный гибридный подход позволяет избежать нефизичных численных решений с завышенными значениями внутренней энергии и энтропии, которые обычно возникают в задаче о распространении двух волн разрежения в противоположные стороны. В других модельных задачах гибридный метод при соответствующем выборе параметра метода обеспечивает приближенное численное решение, сопоставимое по точности с методом Годунова. Идея выделения области изоэнтропического течения газа или жидкости будет использована в дальнейшем для создания схем РМГ более высоких порядков точности, соблюдающих энтропийное условие. Разработан метод ЛИ-М для решения дифференциально-разностных уравнений, полученных разрывным методом Галеркина (РМГ) для решения задач гидродинамики. Исследована специфика применения метода ЛИ-М в условиях конечно-элементной аппроксимации разрывного методом Галеркина. Разработана процедура расщепления шага интегрирования дискретных уравнений РМГ на гиперболический и диффузионный этапы. Показано, что дополнительная сложность процедуры применения схемы ЛИ-М состоит в использовании в методе Галеркина вспомогательных потоковых переменных, что приводит к отсутствию явного вида оператора диффузии. Так как схема ЛИ-М не имеет дополнительных настроечных параметров и требует только оценки сверху максимального собственного значения оператора диффузии, то предложена процедура получения такой оценки. Эта процедура требует дальнейшего исследования и экспериментальной проверки. Сформулирована математическая модель течений многокомпонентной газовой смеси, включая модели для коэффициентов молекулярной вязкости, диффузии, теплопроводности. Модель основана на системе осредненных по Рейнольдсу уравнений Навье-Стокса с введением дополнительных членов и уравнений для учета эффектов турбулентности, диффузии и горения. Разработан алгоритм расчета многокомпонентной аэродинамики на основе схем высокого порядка с использованием решения задачи Римана для расширенной газодинамической системы. Алгоритм разработан в парадигме ENO схем высокого порядка. В частности, для реализации этого подхода получено точное решение задачи Римана для расширенной системы уравнений Эйлера. Разработаны масштабируемые методы на основе явно-итерационной схемы и адаптивного многосеточного алгоритма для решения подсистем, описывающих вязкие, теплопроводные и диффузионные процессы в многокомпонентной среде. Эти два алгоритма имеют разные области приложения: явно-итерационная схема ориентирована на расчет нестационарных процессов, а многосеточный алгоритм ориентирован на расчет установившихся течений методом установления по времени, когда выбор временного шага не оказывает влияния на точность окончательного результата. Разработан алгоритм построения иерархии сеточных уровней для многосеточного метода. Указанный алгоритм основан на построении параллельного максимально независимого множества узлов графа в качестве сетки следующего уровня. Алгоритм не зависят от числа процессоров и от распределения исходного множества точек по процессорам. Создана информационная модель высокопроизводительной платформы моделирования, прогнозирования и экспертиз которая позволяет в единой среде интегрировать множество имитационных и аналитических моделей. Алгоритмы и методы поддержки принятия решений и оптимизации также структурированы как компоненты единой информационно-аналитической среды. Анализ современных архитектурных интеграционных подходов и опыт создания единых сред моделирования и экспертиз показал, что для широкого спектра практических задач поддержки принятия решений, связанных с многокритериальной оценкой альтернатив, целесообразно использование системы, построенной на взаимодействии распределенных сервисов. Организацию подобного взаимодействия целесообразно осуществлять на основе механизма подписки на сообщения, которые должны обрабатываться асинхронно. Эффективность предложенного подхода проверена на сайте веб-сервисов поддержки принятия решений WS-DSS.COM на примере решения транспортной оптимизационной задачи методами линейного программирования: http://ws-dss.com/persons/31/test_output (ссылка доступна после регистрации).

 

Публикации

1. Афендиков А.Л., Луцкий А.Е., Меньшов И.С., Никитин В.С., Ханхасаева Я.В. Численное моделирование вылета пеллета из затупленного тела. Препринты РАН, 15 с. (год публикации - 2017)

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

3. Балашов В.А., Злотник А.А., Савенков Е.Б. Численный алгоритм для расчета трехмерных двухфазных течений с поверхностными эффектами в областях с воксельной геометрией. Препринты ИПМ им. М.В. Келдыша., № 91. 28 с. (год публикации - 2017) https://doi.org/10.20948/prepr-2017-91

4. Жуков В.Т., Новикова Н.Д., Феодоритова О.Б. О методологии численного моделирования процессов горения в высокоскоростной камере сгорания на основе OPENFOAM. Математическое моделирование., - (год публикации - 2018)

5. Жуковский М.Е., Усков Р.В., Савенков Е.Б., Алексеев М.В., Марков М.Б., Воронин Ф.Н. Модель переноса излучения в веществе гетерогенных материалов пористого типа. Математическое моделирование., - (год публикации - 2018)

6. Криксин Ю.А., Тишкин В.Ф. Гибридный подход к решению одномерных уравнений газовой динамики. Математическое моделирование., - (год публикации - 2018)

7. Ладонкина М.Е., Неклюдова О.А., Тишкин В.Ф. Построение лимитера для разрывного метода Галёркина на основе усреднения решения. Математическое моделирование., - (год публикации - 2018)

8. Меньшов И.С., Шевердин В.В. A parallel locally-adaptive 3D Model on Cartesian Nested-Type. Parallel Computing Technologies. PaCT 2017. Lecture Notes in Computer Science., V. 10421. P. 136-142. (год публикации - 2017) https://doi.org/10.1007/978-3-319-62932-2_12

9. Павлухин П.В., Меньшов И.С. Parallel algorithms for an implicit CFD Solver on Tree-Based grids. Parallel Computing Technologies. PaCT 2017. Lecture Notes in Computer Science., V. 10421. P. 151-158. (год публикации - 2017) https://doi.org/10.1007/978-3-319-62932-2_14


Аннотация результатов, полученных в 2018 году
Разработаны вычислительные алгоритмы и прототип программного обеспечения для моделирования каскадных процессов взаимодействия проникающего излучения со средами сложной пористой структуры на суперкомпьютерах с гетерогенной архитектурой. Основу разработанных алгоритмов составляет статистическое моделирование взаимодействия излучения с веществом с учетом геометрической модели пористой среды произвольной сложности. Программная реализация алгоритмов предназначена для проведения расчетов на гетерогенных вычислительных системах CPU/GPGPU и анализа взаимодействия излучения с веществом материалов реалистичной пористой структуры. Разработаны базовые вычислительные алгоритмы решения задач термоупругости, адаптированные для использования воксельного представления среды, допускающие эффективную реализацию на современных сверхвысокопроизводительных вычислительных системах. Основой разработанных алгоритмов является разрывный метод Галеркина высокого порядка. Выполнена программная реализация метода в одномерном случае. Разработан прототип параллельной программы для расчета с первым порядком точности в трехмерной постановке. Выполнена валидация и верификация разработанных моделей, алгоритмов и прототипов программ, проведено моделирование каскадных процессов взаимодействия проникающего излучения в модельных пористых средах с реалистичными параметрами. Проведен расчет одномерных задач гиперупругости для однородных и неоднородных сред, в том числе сред с различными уравнениями состояния. Результаты моделирования показали корректность разработанных походов. Были проведены расчеты двухкомпонентных двухфазных микротечений в поровом пространстве образцов горных пород с учетом эффектов смачиваемости на границе жидкости с твердой поверхностью. Для формулировки соответствующих граничных условий был использован термодинамически согласованный подход, основанный на введении свободной энергии твердой поверхности. Было проведено моделирование ряда двумерных задач валидационного характера, а также трехмерных задач с использованием реальных трехмерных образцов горных пород. Была выполнена модификация разработанного вычислительного алгоритма для расчета течений с поверхностными эффектами с числом компонентов больше двух и реалистичными кубическими уравнениями состояния, типичными для нефтегазовой отрасли. Учет уравнений состояния выполнен в рамках термодинамически согласованного подхода путем задания «смесевой» части свободной энергии Гельмгольца многофазной смеси. Аналогично, учет многофазности основан на модификации градиентной и разделяющей части свободной энергии Гельмгольца. Была проведена модификация разработанного параллельного программного комплекса для расчета течений с поверхностными эффектами с числом компонентов больше двух и реалистичными кубическими уравнениями состояния. Модуль расчета термодинамических свойств среды реализован с использованием техники автоматического дифференцирования на языке программирования С++. Было проведено тестирование модифицированного программного комплекса для расчета течений с поверхностными эффектами с числом компонентов больше двух и реалистичными кубическими уравнениями состояния. Основной упор на данном этапе был сделан на отладку модуля расчета термодинамических свойств многофазной системы. Разработан численный метод решения нестационарных задач аэродинамики в рамках модели Навье-Стокса сжимаемых течений вязкого и теплопроводного газа на неконформных декартовых локально-адаптивных сетках вложенной структуры. Разработаны основные принципы построения адаптирующихся к геометрии тела декартовых сеток вложенной (древовидной) структуры, которые обеспечивают на нижнем уровне воксельное представление геометрии с элементами подсеточного разрешения и необходимое для разрешения погранслойного течения объемное покрытие («шубу» пограничного слоя) наряду со стандартной дискретизацией области основного течения. Проведено тестирование методики на решениях канонических задач вязкого обтекания (погранслой на плоской пластине, течение около крыловидного профиля) на несогласованных локально-адаптивных декартовых сетках вложенной структуры с использованием метода свободной границы для моделирования внутренних граничных условий на несогласованных сетках. Разработан и реализован на multi-GPU системах параллельный метод расчета трехмерных вязких течений на декартовых сетках. Разработаны параллельные методы динамического измельчения/укрупнения ячеек локально-адаптивных сеток для вычислителей с массивным параллелизмом. Разработан алгоритм динамической балансировки загрузки на основе модифицированной Z-кривой для сеток произвольного разрешения. Разработан параллельный алгоритм для метода LU-SGS с моделью распределенной памяти на динамических локально-адаптивных сетках. Разработан и апробирован алгоритм для анализа нестационарных решений уравнений газовой динамики на градуированных декартовых деревьях. Алгоритм основан на развитом локальном подходе с использованием вейвлетного анализа нестационарных решений вычисляемых на существенно неравномерных сетках. Проведены исследования, направленные на выбор дискретных аппроксимаций высокой точности для диффузионных потоков в разрывном методе Галеркина (РМГ) для решения уравнений гидродинамики. Процесс решения предполагает два этапа. На первом этапе вычисляются компоненты тензора вязких напряжений и компонент вектора градиента температуры, а на втором этапе определяются компоненты вектора консервативных переменных. Установлено, что для устойчивого счета на первом этапе потоковые значение величины на границе элемента (ячейки сетки) можно вычислять как среднее значение величин в двух соседних ячейках, а на втором этапе предлагается вычислять потоковое значение, как сумму среднего значения величин в двух соседних ячейках и стабилизирующей добавки. Для обеспечения монотонности решения, полученного РМГ, необходимо использовать лимитирующий (сглаживающий) оператор, в особенности в том случае, если решение содержит сильные разрывы. Разработан сглаживающий оператор нового типа на основе усреднения решений, учитывающий скорость изменения решения и скорость изменения его производных. При решении серии тестовых задач проведено сравнение действия данного лимитера и хорошо зарекомендовавшего себя сглаживающего оператора на основе лимитера типа WENO-реконструкции. Показано, что применение предложенного сглаживающего оператора не уступает действию WENO-лимитера, а в некоторых случаях превосходит по точности получаемого решения, что подтверждено численными исследованиями. Численные результаты показали, что при решении задач РМГ использование как лимитера типа WENO, так и лимитера на основе усреднений, позволяет получить высокий порядок точности на гладких решениях, а также четкие, неосциллирующие профили на ударных волнах при условии правильного выбора соответствующих констант для определения дефектных ячеек. Кроме того, оба лимитера достаточно просто реализовать и обобщить для использования в аппроксимациях на многомерных неструктурированных сетках. На основе разработанного на предыдущем этапе метода ЛИ-М для решения системы дифференциально-разностных уравнений (разностных по пространству и непрерывных по времени), полученных РМГ, для решения задач теплопроводной гидродинамики разработан алгоритм решения и создан программный модуль. Для решения задач газовой динамики предложен новый теоретический подход – энтропийная регуляризация. Данный подход обеспечивает построение конструктивного обобщения РМГ высоких порядков точности, в котором выполнены дискретные аналоги законов сохранения массы, импульса, полной энергии и энтропийного условия. Рассмотрен принцип выбора ортогональных базисных функций в РМГ для выполнения дискретных аналогов законов сохранения. Установлено, что система этих функций должна обязательно включать постоянную на рассматриваемом конечном элементе функцию, для обеспечения выполнения законов сохранения. Энтропийная регуляризация состоит в замене безусловной минимизации невязки на ее условную минимизацию на подмножестве фазовых траекторий, удовлетворяющих энтропийному неравенству. Получены расчетные формулы метода. Метод энтропийной регуляризации, первоначально сформулированный для одномерных газодинамических уравнений, обобщен на трехмерную газовую динамику. Выполнено уточнение математической и вычислительной моделей для течений многокомпонентной газовой смеси с включением сопряженной задачи теплообмена с обтекаемым телом, а именно:1) отработан алгоритм схемы расщепления на гиперболический и параболический этапы; 2) дана детализация термодинамики смеси несовершенных газов; 3) разработан алгоритм расчета течений при наличии сильных ударных волн; 4) исследованы подходы к решению сопряженной задачи теплообмена с обтекаемым телом. Разработан алгоритм решения сопряженной задачи теплообмена с обтекаемым телом на основе совместного решения аэродинамической задачи для газовой области и тепловой задачи для тела в рамках единой стационарной/нестационарной задачи с согласованием параметров теплообмена на поверхности обтекаемого объекта (теплового потока и температуры). Разработан прототип программного комплекса для моделирования многокомпонентной газодинамики на основе созданных алгоритмов. Проведены методические расчеты двух модельных задач: обтекания пластины несжимаемой средой и сверхзвуковое обтекание пластины теплопроводным газом. Разработана параллельная ОpenMP–реализация основных компонентов алгебраического многосеточного метода – процедур сглаживания и решения системы дискретных уравнений на самом грубом уровне; основу этих ключевых процедур представляют явно-итерационные параллельные чебышевские алгоритмы. Проведены методические расчеты для модельной задачи диффузии с разрывными коэффициентами и специальной плохо обусловленной системы линейных алгебраических уравнений. Формализован процесс взаимодействия сервисов и ресурсов высокопроизводительной платформы (ВП) в виде событийной модели исполнения заявок в рамках регламентов ВП, на основе которых автоматизируется управление процессом моделирования и поддержки принятия решений. Разработана имитационная модель взаимодействия по исполнению заявок (запросов) для получения вероятностно-временных оценок производительности на примере разработки новых программных модулей решающих задачи моделирования и поддержки принятия управленческих решений.

 

Публикации

1. Алексеев М.В., Воронин Ф.Н., Савенков Е.Б. The model of radiation-induced heat flow in heterogeneous porous materials AIP Conference Proceedings., - (год публикации - 2019)

2. Алексеев М.В., Савенков Е.Б., Воронин Ф.Н. RKDG method solution for hyperbolic hyperelastic model. IOP Conf. Series: Journal of Physics: Conf. Series, - (год публикации - 2019)

3. Балашов В., Савенков Е. Numerical simulation of multiphase flows within complex domains with wetting effects. IOP Conf. Series: Journal of Physics: Conf. Series, - (год публикации - 2019)

4. Балашов В., Савенков Е., Злотник А. Numerical method for 3D two-component isothermal compressible flows with application to digital rock physics. Russian Journal of Numerical Analysis and Mathematical Modelling., - (год публикации - 2019)

5. Егорова В.А., Усков Р.В., Воронин Ф.Н., Жуковский М.Е. On the modeling of the thermomechanical fields in porous material being under radiation. Mathematica Montisnigri., - (год публикации - 2018)

6. Жуков В., Новикова Н., Феодоритова О. On numerical simulation of flows in scramjet combustor using OpenFOAM. IEEE Computer Society, Proceedings of 2018 Ivannikov ISP RAS Open Conference, 2018., - (год публикации - 2018)

7. Криксин Ю.А., Кучугов П.А., Ладонкина М.Е., Неклюдова О.А., Тишкин В.Ф., Варин В.П. Сonstruction of exact solutions of some equations of hyperbolic type containing discontinuity moving on a non uniform background. Mathematica Montisnigri, Vol. XLII. P. 12-30. (год публикации - 2018)

8. Криксин Ю.А., Тишкин В.Ф. Вариационная энтропийная регуляризация разрывного метода Галеркина для уравнений газовой динамики. Математическое моделирование., - (год публикации - 2019)

9. Меньшов И.C., Павлухин П.В. Free boundary method for calculating compressible viscous flows on unfitted meshes. IOP Conf. Series: Journal of Physics: Conf. Series., - (год публикации - 2019)

10. Моисеев Т.Е., Мышецкая Е.Е., Тишкин В.Ф. On the closeness of solutions of unperturbed and hyperbolized heat equations with discontinuous initial data. Doklady Mathematics., V. 481. No. 6. P. 391–395. (год публикации - 2018) https://doi.org/10.1134/S1064562418050277

11. Нечаев Ю., Осипов В., Судаков В. Dynamic NEURO-FUZZY model of traffic control of the transport stream. IEEE Computer Society, Proceedings of 2018 Ivannikov ISP RAS Open Conference, 2018., - (год публикации - 2018)

12. Осипов В.П., Посадский А.И., Сивакова Т. В., Судаков В.А. Комбинированная методика нечеткого ранжирования альтернатив на основе функций предпочтений. Электротехнические и информационные комплексы и системы., - (год публикации - 2019)

13. Павлухин П.В., Меньшов И.C. Parallel implicit matrix-free CFD solver using AMR grids. IOP Conf. Series: Journal of Physics: Conf. Series., - (год публикации - 2019)

14. Феодоритова О.Б., Краснов М.М., Жуков В.Т. Adaptive technique for Chebyshev-ваsed solvers for threedimensional elliptic equations. IOP Conf. Series: Journal of Physics: Conf. Series, V. 1103. No. 1. 012012. P. 1-8 (год публикации - 2018) https://doi.org/10.1088/1742-6596/1103/1/012012

15. Феодоритова О.Б., Новикова Н.Д., Жуков В.Т. Adaptive Chebyshev iterative method. Mathematica Montisnigri., - (год публикации - 2019)

16. Ханхасаева Я.В., Афендиков А.Л., Луцкий А.Е., Меньшов И.С., Никитин В.С. Simulation and visualisation of the flow around blunted body in the wake of supersonic ejecting pellet. Научная визуализация., - (год публикации - 2019)

17. Четверушкин Б.Н., Балашов В.А., Кулешов А.А., Савенков Е.Б. Application of regularized hydrodynamic equations for direct numerical simulation of micro-scale flows in core samples. MATEC Web of Conferences., V. 210. 04026. P. 1-5. (год публикации - 2018) https://doi.org/10.1051/matecconf/201821004026

18. Жуков В.Т., Рыков Ю.Г., Феодоритова О.Б. Математическая модель течения многокомпонентной смеси газов с учетом возможности возникновения жидкой фазы. Препринты ИПМ им. М.В.Келдыша., № 183. 36 с. (год публикации - 2018) https://doi.org/10.20948/prepr-2018-183

19. - Вычислить добычу ПОИСК Еженедельная газета научного сообщества, № 21 (1511) от 25 мая 2018 г., стр. 7. (год публикации - )


Аннотация результатов, полученных в 2019 году
Разработано программное обеспечение (ПО) для математического моделирования каскадных процессов взаимодействия проникающего излучения с гетерогенными мелкодисперсными и пористыми средами на сверхвысокопроизводительных суперкомпьютерах с гибридной архитектурой. ПО содержит программные модули, предназначенные для построения геометрической модели гетерогенной среды с прямым разрешением ее микроструктуры; подготовки вероятностных распределений характеристик квантов гамма-излучения и заряженных частиц для моделирования взаимодействия излучения с веществом методом Монте-Карло; модуль моделирования каскадных процессов переноса излучения в веществе на гетерогенных вычислительных кластерах CPU/GPGPU с использованием современных технологий распараллеливания Nvidia CUDA и MPI. ПО обладает практически неограниченной масштабируемостью. Были разработаны математические модели для описания динамики многофазных гетерогенных сред с учетом фазовых переходов. В качестве базовой модели была выбрана модель типа Баера-Нунциато, описывающая динамику среды в многожидкостном многотемпературном полностью неравновесном приближении. Для решения уравнений модели был предложен комплекс алгоритмов на основе разрывного метода Галеркина. Выполнена его программная реализация в составе параллельного программного комплекса. Проведены валидация и верификация разработанных моделей, алгоритмов и программного обеспечения. Проведена валидация и верификация разработанного ПО, в том числе моделирование переноса излучения в модельных мелкодисперсных и пористых структурах с реалистичными параметрами. Результаты показали применимость созданного ПО для моделирования каскадных процессов взаимодействия проникающего излучения с гетерогенными мелкодисперсными и пористыми средами с прямым разрешением их микроструктуры. Проведена доработка КГиД модели с учетом неньютоновской реологии течения флюида. А именно рассмотрена КГиД регуляризованная изотермическая модель течения, в которой коэффициент сдвиговой (динамической) вязкости брался согласно степенному закону Оствальда-Вейля. С учетом этой модификации в модели проведена доработка численных алгоритмов и программного комплекса. Для валидации и верификации проведен ряд расчетов, среди которых отметим расчет двумерного течения между двумя пластинами и расчет трехмерного течения в трубе квадратного сечения. При этом рассматривались как дилатантное течение, так и псевдопластическое. При сравнении полученных решений с аналитическим или решением, полученным с помощью других методов, наблюдается как качественное, так и количественное совпадение. Проведена доработка численных алгоритмов и программного комплекса для моделирования существенно неизотермических течений. А именно, реализована возможность расчета существенно неизотермических течений в геометрии, имеющей воксельное представление. Проведена валидация разработанного алгоритма на задаче о конвекции в квадратной каверне с горячим цилиндром в центре. Получены качественно верные распределения поля температуры, скорости и плотности в области течения. Дополнительно к задачам плана Проекта на 2019 год, также рассмотрена задача о построении термодинамически согласованной (диссипативной по полной энергии) непрерывной по времени и дискретной по пространству одномерной разностной схемы для КГиД-регуляризованной модели Навье-Стокса-Кана-Хилларда, которая описывает двухфазное двухкомпонентное течение вязкой жидкости. При построении термодинамически согласованной пространственной одномерной дискретизации использована запись капиллярных напряжений в уравнении импульса в так называемой потенциальной форме. Для валидации и верификации проведены расчеты равновесного состояния межфазной границы, а их результаты сравнивались с известным аналитическим решением или приближенным решением, полученным классическими методами асимптотического анализа. Проведенный теоретический анализ эффектов и процессов, связанных с дискретной аппроксимацией линейных гиперболических дифференциальных уравнений на неравномерных декартовых сетках, с различными дополнительными структурами типа градуированных деревьев, позволил дать эффективные рекомендации по оптимальному выбору структуры сеток. Выполнен анализ имеющихся моделей турбулентности и исследованы возможности их адаптации к локально-адаптивным сеткам древовидной структуры, а также к развиваемому в проекте методу свободной границы для моделирования граничных условий на несогласованных с сеткой границах расчетной области (поверхности твердого обтекаемого тела). Модель турбулентности была программно реализована и протестирована. Реализованы параллельные мультитредовые алгоритмы для декартовых сеток с локальной адаптацией: динамическое измельчение/укрупнение ячеек, поиск соседей для них и дефрагментация памяти в рамках двух моделей программирования - CUDA и OpenMP; реализован параллельный алгоритм раскраски ячеек трехмерных локально-адаптивных сеток для метода LU-SGS. Проведено численное моделирование сложного турбулентного нестационарного течения, образующегося при обтекании затупленного тела недорасширенной сверхзвуковой струей с числом Маха М = 2.4 при периодическом энерговложении в область перед телом. Расчет обтекания тела выполнен с использованием метода свободной границы и многоуровневых декартовых сеток с локальной адаптацией на основе вейвлет-анализа. Исследована динамика течения. При энерговложении наблюдается падение сопротивления на 80%. В концепцию энтропийной вариационной регуляризации, включены требования монотонности конечно-элементной аппроксимации приближенного решения. Разработан алгоритм решения уравнений Эйлера, использующей кусочно-линейную аппроксимацию, удовлетворяющую требованиям монотонности. Предложен новый экономичный приближенный метод решения задачи вариационной энтропийной регуляризации – энтропийный ограничитель наклонов. Он гарантирует монотонность численного решения, неотрицательность давления и производства энтропии в каждом конечном элементе. Созданы две версии компьютерной программы, реализующие метод энтропийного ограничителя наклонов. В первой версии используются традиционные консервативные переменные. Вторая версия использует неконсервативные переменные "плотность, плотность импульса, давление" и также обеспечивает выполнение условий монотонности, дискретных аналогов законов сохранения и энтропийного неравенства. Проведено тестирование обеих версий алгоритма на ряде модельных одномерных задач. В числе последних задача о распространении контактного разрыва, задача о распространении сильной ударной волны, задача Сода, задача "blust wave" и задача о распространении волн разрежения в противоположные стороны (задача Эйнфельдта). Качество приближенных решений, получаемых по новому методу, не уступает, а в ряде случаев превосходит качество соответствующих решений, найденных при помощи стандартного разрывного метода Галёркина (РМГ). В частности, в численном решении задачи Эйнфельдта, построенном с использованием неконсервативных переменных, существенно улучшено качество расчета удельной внутренней энергии по сравнению со стандартным РМГ. Cоздан программный комплекс для решения задач гидродинамики методом РМГ на основе разработанного ранее макета программного комплекса. Программный комплекс реализует решение уравнений Навье-Стокса на неструктурированных сетках. В данный комплекс включены программные модули, разработанные для сеточных элементов различного типа: тетраэдральных, гексаэдральных, четырехугольных пирамид и треугольных призм. Включение данных элементов позволяет для корректного описания пограничного слоя использовать анизотропные стуктурированные сетки. Разработан и включен в программный комплекс модуль, реализующий SLOPE лимитер, обеспечивающий монотонность решения для ячеек произвольной формы. Проведено тестирование программного комплекса, подтвердившее его высокую эффективность. Разработана полнофункциональная численная модель многокомпонентной газодинамики с модельной химической кинетикой в виде новой явно-итерационной схемы интегрирования по времени многомерных уравнений Навье-Стокса на основе расщепления по физическим процессам. Схема обеспечивает выполнение законов сохранения на произвольных нерегулярных сетках, гарантирует эффективность ее параллельных реализаций. Известные схемы расщепления такими свойствами в совокупности не обладают, либо ориентированы на регулярные сетки. Создана пилотная версия 3D компьютерного кода для моделирования многокомпонентной газодинамики и теплопроводности с учетом теплообмена с обтекаемой поверхностью на неструктурированных сетках. Код построен в парадигме объектно-ориентированного программирования. Разработана параллельная реализация алгебраического многосеточного (АММ) и явно-итерационного методов решения трехмерных уравнений диффузии и теплопроводности параболического и эллиптического типов. Новой является процедура адаптации АММ к спектру дискретных операторов на основе свойства многочленов Чебышева уклоняться от нуля максимально вне сегмента оптимальности. Разработанный код для гиперболической части системы уравнений многокомпонентной газодинамики верифицирован на двумерных задачах, включающих в себя взаимодействие ударной волны в воздухе и пузырей других газов. Результаты показывают хорошее совпадение расчетных величин с их имеющимися тестовыми характеристиками. Для полной системы уравнений валидация и верификация пилотного кода проведены на решении задач расчета тепловой конвекции и расчета сверхзвукового течения в канале. Эксперименты на последовательности сгущающихся сеток показывают, что на сеточном уровне обеспечено точное выполнение законов сохранения. По точности, масштабируемости и объему вычислений результаты сопоставимы с известными экспериментальными и расчетными результатами. Разработаны алгоритмы и программные модули унифицированной информационно-аналитической платформы Системы поддержки принятия решений (СППР) интегрированного комплекса мультипроцессорной вычислительной среды моделирования, прогнозирования и экспертиз в интересах адаптивного управления сложными динамическими объектами на этапах их жизненного цикла. Исследован потенциал нейронечетких систем как универсального классификатора текущих ситуаций в условиях неопределенности. Для задач идентификации динамических объектов и интерпретации динамических ситуаций предложена схема поиска адекватных нейросетевых структур.

 

Публикации

1. Алексеев М.В., Савенков Е.Б. Numerical simulation of heterogeneous hyperelastic model with RKDG. Springer Proceedings in Earth and Environmental Sciences. Springer, Cham., 295-302 (год публикации - 2019) https://doi.org/10.1007/978-3-030-11533-3_29

2. Алексеев М.В., Савенков Е.Б., Березин А.В., Марков М.Б., Садовничий Д.Н. Numerical simulation of electromagnetic field propagation in heterogeneous material. AIP Conference Proceedings., vol. 2167, 020008. (год публикации - 2019) https://doi.org/10.1063/1.5131875

3. Афендиков А.Л., Луцкий А.Е., Меньшов И.С., Никитин В.С., Ханхасаева Я.В. Численное моделирование возвратного течения при разделении движущихся со сверхзвуковыми скоростями тел. Математическое моделирование., т. 31, № 9, c. 21–38. (год публикации - 2019) https://doi.org/10.1134/S0234087919090028

4. Балашов В., Савенков Е.Б. Direct numerical simulation of single and two-phase flows at pore-scale. Springer Proceedings in Earth and Environmental Sciences. Springer, Cham, 374-379 (год публикации - 2019) https://doi.org/10.1007/978-3-030-11533-3_37

5. Борисов В.Е., Рыков Ю.Г. Modified Godunov Method for Multicomponent Flow Simulation IOP Conf. Series: Journal of Physics: Conf. Series., vol. 1250, 012006. (год публикации - 2019) https://doi.org/10.1088/1742-6596/1250/1/012006 1

6. Брагин М.Д., Криксин Ю.А., Тишкин В.Ф. Разрывный метод Галеркина с энтропийным ограничителем наклонов для уравнений Эйлера. Математическое моделирование., - (год публикации - 2020)

7. Жуков В.Т., Феодоритова О.Б., Новикова Н.Д. Об одном подходе к интегрированию по времени системы уравнений Навье-Стокса. Журнал вычислительной математики и математической физики., - (год публикации - 2020)

8. Павлухин П., Меньшов И. GPU-Aware AMR on Octree-based grids. Lecture Notes in Computer Science, Springer Nature., vol. 11657, pp. 214-220. (год публикации - 2019) https://doi.org/10.1007/978-3-030-25636-4_17

9. Судаков В., Осипов В., Нечаев Ю., Васильев А. The study of neurodynamic systems of continuous adaptive control. Proceedings of 2019 Ivannikov ISP RAS Open Conference. IEEE Xplore., - (год публикации - 2019)

10. Брагин М.Д., Криксин Ю.А., Тишкин В.Ф. Верификация одного метода энтропийной регуляризации разрывных схем Галеркина для уравнений гиперболического типа. Препринты ИПМ им. М.В.Келдыша., № 18. 25 с. (год публикации - 2019) https://doi.org/10.20948/prepr-2019-18

11. Брагин М.Д., Криксин Ю.А., Тишкин В.Ф. Обеспечение энтропийной устойчивости разрывного метода Галеркина в газодинамических задачах. Препринты ИПМ им. М.В.Келдыша., № 51. 22 с. (год публикации - 2019) https://doi.org/10.20948/prepr-2019-51

12. Криксин Ю.А., Тишкин В.Ф. Численное решение задачи Эйнфельдта на основе разрывного метода Галеркина. Препринты ИПМ им. М.В.Келдыша., № 90. 22 с. (год публикации - 2019) https://doi.org/10.20948/prepr-2019-90

13. М.Б. Марков, В.А. Егорова, М.Е. Жуковский, А.И. Потапенко, Р.В. Усков Программа математического моделирования каскадных процессов переноса излучения в гетерогенных материалах сложной геометрической структуры на гибридных вычислительных кластерах. -, № 2019612948 от 05 марта 2019 г. (год публикации - )

14. М.Б. Марков, Ю.В. Помазан, М.Е. Жуковский, С.В. Подоляко Программа расчета вероятностных распределений характеристик квантов гамма-излучения и заряженных частиц для моделирования взаимодействия излучения с веществом методом Монте-Карло. -, № 2019612947 от 05 марта 2019 г. (год публикации - )


Аннотация результатов, полученных в 2020 году
Разработан комплекс программ для математического моделирования термоупругого поведения материалов с применением суперкомпьютерных технологий. Проведен ряд численных экспериментов с целью исследования влияния внешних факторов на термоупругое состояние вещества. Проанализированы полученные результаты с целью выяснения деградационных свойств материалов. Разработано программное обеспечение для суперкомпьютерного высокоточного математического моделирования взаимодействия электромагнитного и ионизирующего излучений с гетерогенными материалами мелкодисперсной структуры. Проведено математическое моделирование каскадных процессов взаимодействия ионизирующего и электромагнитного излучения с веществом и анализ структурных и функциональных свойств исследуемых гетерогенных материалов, который показал, что пространственное распределение тепловых, радиационных и электромагнитных полей имеет резко неоднородную структуру, обусловленную микродисперсными свойствами облучаемых материалов. Проведены вычислительные эксперименты на суперкомпьютерных вычислительных системах по моделированию многокомпонентных многофазных течений в поровых пространствах со сложной геометрией. Для этого был разработан трехмерный параллельный комплекс программ для моделирования указанных течений. В основе комплекса лежит доработанная модель для описания динамики двухфазного двухкомпонентного флюида, в которой в качестве параметров порядка использованы массовые плотности компонентов (ранее были использованы массовые концентрации). При построении разностной схемы использованы разнесенные сетки, аппроксимация по времени осуществляется явным методом Эйлера. Разработанный конечно-разностный алгоритм обладает свойством диссипативности по полной энергии. Построенный разностный метод реализован в виде трехмерного параллельного комплекса на языке C++, с использованием интерфейса параллельного программирования MPI. Проведены валидация и верификация построенного алгоритма на ряде задач, стандартных для рассматриваемой области. Разработанный программный комплекс применен для определения макроскопических характеристик процесса вытеснения и особенностей соответствующих физических механизмов. Проведен ряд расчетов в геометрии, характерной для порового пространства реалистичных образцов горных пород. Рассмотрены случай как тривиального угла смачивания, так и случаи дренажа (закачки менее смачивающей жидкости) и пропитки (закачивание более смачивающей жидкости). В задаче проекта, связанной с разработкой методов прецизионного математического моделирования сложных разномасштабных течений жидкости и газа, выполнены работы по развитию методики решения задач на локально-адаптивных сетках вложенной древовидной структуры с целью включения модели, описывающей турбулентные пристеночные течения. Для этого была адаптирована модель турбулентности на основе RANS уравнений с одним дифференциальным уравнением для определения турбулентной вязкости (модель Spalarta-Allmarasa, SA) и разработан достаточно простой метод пристеночных функций, моделирующий граничное условие типа «закон стенки» на поверхности твердого тела. Полученные результаты использованы для модификации метода свободной границы. Эта модификация учитывает эффект турбулентности в рамках модели RANS-SA. В частности, получено выражение для компенсационного потока, связанного с турбулентным трением. Выполнена параллельная реализация рассматриваемой численной методики (динамические локально-адаптивные декартовых (ЛАД) сетки вложенной древовидной структуры) на многопоточных GPU системах. В частности, разработан и реализован параллельный алгоритм 2:1 балансировки для ЛАД сеток. На основе ранее разработанных параллельных алгоритмов реализован программный комплекс для расчетов газодинамических течений на ЛАД сетках вложенной структуры с использованием CUDA. Основная его новизна в том, что динамическая адаптация сетки к решению выполняется полностью на GPU без задействования ресурсов центрального процессора. Сформулирована консервативная энтропийно устойчивая версия разрывного метода Галеркина (РМГ) для уравнений Эйлера с двумя пространственными переменными, в которой интегрирование по времени происходит в неконсервативных переменных: плотность, плотность импульса и давление. Преимуществом предложенного метода является неотрицательное производство энтропии. Предложенная версия РМГ может быть без труда обобщена на уравнения с тремя пространственными переменными. Разработан численный алгоритм и соответствующая компьютерная программа для выполнения численных расчетов, которые были апробированы на тестовых задачах. Для решения многомерных уравнений Навье-Стокса методом РМГ были разработаны алгоритмы вычисления численного потока для эйлеровой части системы уравнений, позволяющие избежать возникновения неустойчивости и сохраняющие высокую точность на ударных волнах и в пограничных слоях. Разработанные алгоритмы реализованы в виде программных модулей на языке Си++ и встроены в программный комплекс DG3D для решения многомерных газодинамических задач на основе обобщенной версии РМГ. С использованием программного комплекса DG3D проведена серия численных расчетов обтекания крылатой ракеты Tomahawk сверхзвуковым вязким потоком с числом Рейнольдса порядка 10^7 и различными углами атаки. В рамках дополнительных работ сверх плана проекта были получены два результата, связанные с исследованием высокоточных бикомпактных схем для уравнений гиперболического типа. Был разработан новый метод консервативной монотонизации бикомпактных схем. Этот метод применим также к любым конечно-элементным схемам. Было показано, что в задачах газовой динамики бикомпактные схемы не требуют создания и применения каких-либо процедур энтропийной коррекции. Разработаны методика и программный код расчета нестационарных многокомпонентных химически реагирующих течений на неструктурированных сетках. Вычислительная методика основана на принципе расщепления по физическим процессам: расчет одного временного шага всей системы уравнений состоит в последовательном выполнении трех основных этапов: конвективного, диффузионного и этапа химической кинетики. Конвективный этап: учитываются собственно конвективные потоки, а также потоки, обусловленные действием сил давления. Диффузионный этап: учитываются диссипативные потоки, т.е. вязкие члены в уравнениях движения, суммарный тепловой поток в уравнении энергии и диффузионный перенос компонентов смеси. Этап химической кинетики: в каждой ячейке сетки интегрируется нелинейная система обыкновенных дифференциальных уравнений для концентраций реагирующих компонентов. Построение алгоритмов на основе расщепления по физическим процессам естественным образом отражает природу течений. Для гиперболической подсистемы расчет выполняется по явной схеме годуновского типа с точным решением задачи о распаде произвольного разрыва (задачи Римана) для многокомпонентной смеси. Использование точного решения задачи Римана позволяет лучше учесть специфику течений с сильными ударными волнами. Известно, что многокомпонентность течения порождает ряд вычислительных неустойчивостей, для устранения которых предложена модификация схемы Годунова. На диффузионном этапе используется явно-итерационная чебышевская схема, обладающая алгоритмической простотой и отсутствием настроечных параметров. Результирующая схема обеспечивает выполнение законов сохранения на дискретном уровне. Использованный разностный метод позволяет точнее учитывать наличие сильных ударных волн и сохранять устойчивость при гиперболических условиях на величину шага по времени. Расчеты, в том числе экспериментальной камеры сгорания, демонстрируют эффективность по точности и объему вычислительных затрат, масштабируемость в параллельной реализации. Разработаны механизмы представления состояний моделируемых систем с учетом нечетких параметров. Созданы методы и алгоритмы интеграции множества программных реализации математических моделей в едины каркас поддержки принятия решений, включающий работу как с детерминированными, так и с нечеткими переменными. Применение технологии системной интеграции ресурсов и сервисов апробировано на примере решения задачи восстановления нечеткой матрицы корреспонденций. Реализация соответствующей модели доступна в форме веб-ресурса по адресу https://ws-dss.com/persons/68/test_output (ссылка доступна после регистрации на сайте). Полученная в настоящей работе нечеткая матрица корреспонденций позволяет решать задачи: составления оптимальных маршрутов, формирования рационального расписания, поддержки принятия решений по модернизации существующей транспортной инфраструктуры. Решив задачи поиска нечетких корреспонденций в разных временных периодах, можно строить прогнозы, на основе мягких регрессионных моделей, проводить сглаживание колебаний корреспонденций для поиска рациональных моделей развития больших транспортно-логистических систем.

 

Публикации

1. Балашов В.А., Савенков Е.Б. Thermodynamically consistent spatial discretization of the one-dimensional regularized system of the Navier–Stokes–Cahn–Hilliard equations Journal of Computational and Applied Mathematics, V. 372. 112743. P. 1-16. (год публикации - 2020) https://doi.org/10.1016/j.cam.2020.112743

2. Балашов В.А., Савенков Е.Б. Direct fluid flow simulation at pore scale with regularized hydrodynamic equations Journal of Physics: Conf. Series, V. 1640. 012008. P. 1-7. (год публикации - 2020) https://doi.org/10.1088/1742-6596/1640/1/012008

3. Борисов В.Е., Рыков Ю.Г. Моделирование течений многокомпонентных газовых смесей с использованием метода двойного потока Математическое моделирование, Т. 32. № 10. С. 3-20. (год публикации - 2020) https://doi.org/10.20948/mm-2020-10-01

4. Брагин М.Д. Энтропийная устойчивость бикомпактных схем в задачах газовой динамики Математическое моделирование, Т. 32. № 11. С. 114-128. (год публикации - 2020) https://doi.org/10.20948/mm-2020-11-09

5. Брагин М.Д., Криксин Ю.А., Тишкин В.Ф. Энтропийно устойчивый разрывный метод Галеркина для двумерных уравнений Эйлера Математическое моделирование, - (год публикации - 2021)

6. Брагин М.Д., Рогов Б.В. Conservative limiting method for high-order bicompact schemes as applied to systems of hyperbolic equations Applied Numerical Mathematics, V. 151. P. 229–245. (год публикации - 2020) https://doi.org/10.1016/j.apnum.2020.01.005

7. Жуков В.Т., Феодоритова О.Б. Explicit-iteration scheme for time integration of the Navier–Stokes equations Continuum Mechanics, Applied Mathematics and Scientific Computing: Godunov's Legacy, P. 393-398. (год публикации - 2020) https://doi.org/10.1007/978-3-030-38870-6_52

8. Жуковский М.Е., Марков М.Б., Усков Р.В., Кузнецова Л.В. Modeling of radiation-induced electric current in the materials of finely dispersed structure Mathematica Montisnigri, Vol. XLVII. P. 65-74. (год публикации - 2020) https://doi.org/10.20948/mathmontis-2020-47-6

9. Корнеев Б.А., Тухватуллина Р.Р., Савенков Е.Б. Численное исследование многофазных гиперболических моделей Математическое моделирование, - (год публикации - 2021)

10. Ладонкина М.Е., Неклюдова О.А., Тишкин В.Ф. Гибридный численный поток для решения задач сверхзвукового обтекания твердых тел Математическое моделирование, - (год публикации - 2021)

11. Меньшов И.C., Павлухин П.В. GPU-native gas dynamic solver on octree-based AMR grids Journal of Physics: Conf. Series, V. 1640. 012017. P. 1-12. (год публикации - 2020) https://doi.org/10.1088/1742-6596/1640/1/012017

12. Осипов В.А., Судаков В.П. Fhe fuzzy origin–destination matrix estimation for planning air traffic Proceedings of 2020 Ivannikov ISP RAS Open Conference. IEEE Xplore, - (год публикации - 2020)


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