SCI Библиотека

Процесс распараллеливания программ может быть затруднён ввиду их оптимизации под последовательное выполнение. Из-за этого полученная параллельная версия может быть неэффективной, а в некоторых случаях распараллеливание оказывается невозможным. Решить указанные проблемы помогают преобразования исходного кода программ. В данной статье рассматривается реализации в системе автоматизированного распараллеливания SAPFOR (System FOR Automated Parallelization) преобразований последовательных Фортран-программ, позволяющих облегчить работу пользователя в системе и существенно снизить трудоемкость распараллеливания программ. Применение реализованных преобразований в системе SAPFOR продемонстрировано на прикладной программе, решающей систему нелинейных дифференциальных уравнений в частных производных. Также было произведено сравнение производительности полученной параллельной версией с версиями, распараллелеными вручную с использованием DVM и MPI технологий.

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

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

The objective of this paper is to construct a generalized quadratic spectrum approximation based on the Kantorovich projection method which llows us to deal with the spectral pollution problem. For this purpose, we prove that the property U (see Eq. 3) holds under weaker conditions than the norm and the collectively compact convergence. Numerical results illustrate the effectiveness and the convergence of our method.

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

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

В работе рассматривается предобусловливатель блочного неполного обратного треугольного разложения первого порядка “по значению” BIIC-IC1 для решения систем линейных алгебраических уравнений с симметричной положительно определенной матрицей. Рассматривается способ применения MPI+OpenMP технологии для построения и обращения предобусловливателя BIIC-IC1, при этом в предобусловливателе число блоков кратно числам используемых процессоров и используемых потоков. Предлагается способ применения MPI+OpenMP технологии для построения и обращения предобусловливателя BIIC-IC1, в котором для применения OpenMP технологии используется специальное упорядочение узлов сетки внутри подобластей, соответствующих расчетам на процессорах. Проводится сравнение времени решения задач методом сопряженных градиентов с предобусловливателем BIIC-IC1 с использованием MPI и гибридной MPI+OpenMP технологии на примере модельной задачи и ряда задач из коллекции разреженных матриц SuiteSparse.

Разработан алгоритм высокоточного численного решения эллиптического уравнения второго порядка при наличии в области нескольких интерфейсов, в том числе пересекающихся и невыпуклых. Для аппроксимации задачи в окрестности интерфейсов используются нерегулярные ячейки (н-ячейки), отсекаемые ими от регулярных ячеек прямоугольной сетки, и законтурные части этих ячеек. Для построения приближенного решения предложено: 1) выписывать дополнительные условия согласования в н-ячейках на интерфейсах, увеличивая количество согласуемых ячеек вблизи интерфейсов; 2) уменьшать общую часть интерфейса, заключенную в соседних ячейках и используемую для записи условий. Для решения краевой задачи Дирихле реализован hp-вариант метода коллокации и наименьших квадратов (hp-МКНК) в сочетании с современными алгоритмами ускорения итерационного процесса: предобуславливание; распараллеливание с помощью OpenMP; ускорение, основанное на подпространствах Крылова; многосеточный алгоритм. При решении различных тестовых задач исследованы сходимость hp-МКНК и обусловленность возникающих переопределенных систем линейных алгебраических уравнений (СЛАУ). Проведено сравнение результатов, полученных МКНК, с результатами других авторов, использовавших метод MIB (англ. matched interface and boundary).

Работа посвящена нелокальным краевым задачам для многомерного уравнения параболического типа с переменными коэффициентами. Методом энергетических неравенств получены априорные оценки в дифференциальной и разностной трактовках для решений нелокальных краевых задач. Из полученных оценок следуют единственность и устойчивость решения каждой из рассмотренных задач по правой части и начальным данным, а также сходимость решения разностной задачи к решению исходной дифференциальной задачи в L2-норме со скоростью O(|h|+τ). Для каждой из рассмотренных задач построен алгоритм численного решения, роведены численные расчеты тестовых примеров.

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