ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ И ПРОГРАММИРОВАНИЕ
Архив статей журнала
В работе рассматриваются подходы к численному решению задачи о распределении электрического потенциала в рамках двумерной модели атмосферного участка глобальной электрической цепи. Для этой модели формулируется нестандартная стационарная эллиптическая краевая задача с неклассическим граничным условием. Для численного решения этой задачи, с целью изучения возможности и эффективности распараллеливания вычислений, используются два численных алгоритма на основе метода конечных элементов. Приводятся результаты расчетов для модельной задачи, в которой не учитываются особенности рельефа земной поверхности, используется простая модель проводимости и токов.
В настоящее время обнаружение аномалий в длинных временных рядах возникает в широком спектре предметных областей: цифровая индустрия, здравоохранение, моделирование климата, финансовая аналитика и др. Диссонанс формализует понятие аномалии и определяется как подпоследовательность ряда, которая имеет расстояние до своего ближайшего соседа, не превышающее наперед заданного аналитиком порога. Ближайшим соседом подпоследовательности является та подпоследовательность ряда, которая не пересекается с данной и имеет минимальное расстояние до нее. В статье представлен новый алгоритм поиска диссонансов временн´ого ряда на вычислительном кластере, каждый узел которого оснащен графическим процессором. Алгоритм применяет параллелизм по данным: временн´ой ряд разбивается на непересекающиеся фрагменты, обрабатываемые графическими процессорами узлов вычислительного кластера. С помощью ранее разработанного авторами параллельного алгоритма на каждом узле выполняется отбор локальных кандидатов в диссонансы. Далее с помощью обменов на каждом узле формируется множество глобальных кандидатов как объединение всех локальных кандидатов. Затем каждый узел выполняет глобальную очистку, удаляя из множества глобальных кандидатов ложноположительные диссонансы. Глобальная очистка распараллеливается на основе блочного умножения матрицы кандидатов и матрицы подпоследовательностей фрагмента. Результирующее множество диссонансов формируется как пересечение множеств, полученных узлами по итогу глобальной очистки. Вычислительные эксперименты с синтетическими и реальными временными рядами, проведенные на платформе суперкомпьютеров Ломоносов-2 и Лобачевский, оснащенных 48-64 графическими процессорами, показывают высокую масштабируемость разработанного алгоритма.
Статья посвящена разработке эффективных численных методов решения прямых задач распространения волн в твердых телах в векторных математических моделях. Итерационные методы решения обратных задач волновой томографии используют на каждой итерации решение прямой задачи распространения волн как в прямом, так и в обратном времени для вычисления градиента функционала невязки. Поэтому решение прямой задачи распространения волн в упругих средах является неотъемлемой частью решения обратных задач волновой томографии. Целью статьи также является определение с помощью методов математического моделирования характеристик волн Лэмба для ультразвуковой диагностики дефектов в тонких пластинах, определение диапазонов значений характерных параметров эксперимента по томографической диагностике в тонких пластинах на волнах Лэмба. Инструментом для проведения математического моделирования являются разрабатываемые численные методы и программы решения прямых задач. Конечной целью исследований является разработка методов решения обратных задач томографического неразрушающего ультразвукового контроля как на волнах Лэмба, так и на объемных волнах.
Исследуется задача выразимости всех функций x1(t), x2(t), … , xn(t), входящих в заданную однородную систему линейных дифференциальных уравнений с постоянными коэффициентами x′(t) = A·x(t), в виде линейных комбинаций производных только одной неизвестной функции xк(t), входящей в эту систему. Найден простой критерий выразимости всех функций системы x′(t) = A·x(t) в виде линейных комбинаций производных xк(t) и доказана его корректность. На основе доказанного критерия разработан соответствующий алгоритм и обоснована его корректность.
В настоящее время обработка данных временных рядов осуществляется в широком спектре научных и практических приложений, в которых актуальной является задача восстановления единичных точек или блоков значений временного ряда, пропущенных из-за аппаратных или программных сбоев либо ввиду человеческого фактора. В статье представлен метод SANNI (Snippet and Artificial Neural Network-based Imputation) для восстановления пропущенных значений временного ряда, обрабатываемого в режиме офлайн. SANNI включает в себя две нейросетевые модели: Распознаватель и Реконструктор. Распознаватель определяет сниппет (типичную подпоследовательность) ряда, на который наиболее похожа данная подпоследовательность с пропущенной точкой, и состоит из следующих трех групп слоев: сверточные, рекуррентный и полносвязные. Реконструктор, используя выход Распознавателя и входную подпоследовательность c пропуском, восстанавливает пропущенную точку. Реконструктор состоит из трех групп слоев: сверточные, рекуррентные и полносвязные. Топологии слоев Распознавателя и Реконструктора параметризуются относительно соответственно количества сниппетов и длины сниппета. Представлены методы подготовки обучающих выборок указанных нейросетевых моделей. Проведены вычислительные эксперименты, показавшие, что среди передовых аналитических и нейросетевых методов SANNI входит в тройку лучших.
In this study, two examples of physical experiment automation using computer vision and deep learning techniques are considered. The first of them involves the use of classical computer vision techniques to detect and track the oblique shock wave on the experimental shadowgraph images. This was achieved using Canny edge detection and Hough transform, which allowed to obtain the line equation corresponding to the oblique shock wave. By automatically calculating the angle of this wave for each frame in the video, the process of extracting quantitative information from flow visualizations was significantly accelerated. In the second example, a convolutional neural network was trained to identify four classes of objects on the shadowgraph images, namely vertical shock waves, bow shocks, plumes, and opaque particles in the flow. The custom object detection model is based on the up-todate YOLOv8 architecture. To realize this task, a dataset of 1493 labeled shadowgraph images was collected. The model showed excellent performance during the learning process, with model precision and mAP50 scores exceeding 0.9. It was successfully applied to detect objects on the shadowgraph images, demonstrating the potential of deep learning techniques for automating the processing of flow visualizations. Overall, this study highlights the significant benefits of combining classical computer vision algorithms with deep learning techniques in the automation of physical experiments. However, classical algorithms demand the writing additional code to extract the required information. The deep neural networks can perform this task automatically, provided that a well-annotated dataset is available. This approach offers a promising avenue for accelerating the analysis of flow visualizations and the extraction of quantitative information in physical experiments.
Проведено численное моделирование влияния внешнего постоянного магнитного поля на плоские релятивистские плазменные колебания. С этой целью построен алгоритм в лагранжевых переменных на основе продолженной системы гиперболических уравнений. Важным свойством численного метода является зависимость его точности только от свойств гладкости решения. Кроме того, для фиксации момента опрокидывания колебаний используется контроль за пересечением электронных траекторий. Аналитически получены достаточные условия для существования и несуществования на первом периоде гладкого решения задачи. Выяснено, что внешнее магнитное поле не может предотвратить опрокидывание колебаний принципиально, даже для случая сколь угодно малого начального отклонения от положения равновесия. Численные эксперименты наглядно иллюстрируют релятивистское опрокидывание верхнегибридных колебаний. Показано, что внешнее магнитное поле может как ускорять, так и замедлять процесс опрокидывания в зависимости от выбора начального условия для поперечной компоненты импульса электронов.
Предложена стратегия построения обучающего набора данных для подавляющей численную дисперсию нейронной сети NDM-net (numerical dispersion mitigation network), заключающаяся в расчете полного набора сейсмограмм методом конечных разностей на грубой сетке и в расчете обучающей выборки с применением более мелкой сетки. Обучающая выборка представляет собой малый набор сейсмограмм с определенным пространственным размещением источников волнового поля. После обучения сеть NDM-net позволяет аппроксимировать низкокачественные сейсмограммы, рассчитанные на грубой сетке, в сейсмограммы с меньшим шагом дискретизации. Оптимизация процесса построения репрезентативной обучающей выборки сейсмограмм основана на минимизации метрики Хаусдорфа между обучающей выборкой и полным набором сейсмограмм. Применение нейронной сети NDM-net позволяет уменьшить временные затраты при расчетах волновых полей на мелкой сетке.
В работе рассматриваются вопросы численного моделирования двухфазных течений с применением эйлеровой многоскоростной модели типа Баера-Нунциато. Представлено описание математической модели, подробно рассмотрен численный алгоритм решения задачи на основе разрывного метода Галеркина. Представлено описание разработанного программного комплекса, основное назначение которого - математическое моделирование двухфазных течений с прямым разрешением динамики границ раздела фаз. Особенностью предложенных алгоритмов является лимитирование простых и консервативных переменных, гарантирующее как отсутствие нефизичных осцилляций, так и допустимые значения физических полей с применением лимитера WENO-S. Основная цель работы - дать исчерпывающее описание предложенного комплекса алгоритмов для решения задач рассматриваемого класса и пригодного для решения задач в реалистичных постановках. На примере модельной задачи демонстрируется возможность его применения для решения задач на сетках больших размеров.
В работе рассматривается уравнение типа Бюргерса с полиномиальной нелинейностью и нулевыми краевыми условиями. Для интересующего диапазона параметров тождественно нулевое решение задачи является локально неустойчивым, и в его окрестности существует устойчивое многообразие, имеющее конечную коразмерность. Для приближенного построения указанного многообразия предложен комбинированный итерационный алгоритм, начальное условие для которого строится аналитическим методом и имеет квадратичную точность. Численно показано, насколько существенно данная модификация позволяет уменьшить для типичных значений параметров вычислительную сложность проецирования на искомое многообразие по сравнению со стандартным линейным приближением. Полученные результаты допускают обобщение на многомерные диссипативные уравнения широкого класса и могут применяться при решении задач асимптотической стабилизации по начальным данным, краевым условиям и правой части.
В статье рассматривается явно-неявная балансно-характеристическая схема CABARETI-NH (CABARET Implicit Non-Hydrostatic), основанная на схеме КАБАРЕ, для решения гиперболизированной системы уравнений Навье-Стокса. Неявность вдоль одного пространственного направления позволяет значительно увеличить шаг по времени на вычислительных сетках с большим аспектным отношением ячеек. Для разрешения введенной неявности используется метод гиперболической прогонки. Это позволяет сохранить вычислительную эффективность алгоритма на уровне явных схем. Приводятся результаты валидации модели на лабораторном эксперименте трехмерного гравитационного течения стратифицированной жидкости.
В работе изложены алгоритмы и приведены компактные программные модули на языке С для быстрого вычисления показательной функции с помощью таблиц для процессоров архитектуры x86-64. Выполнена оценка точности и проведено сравнение быстродействия для некоторых процессоров AMD и Intel. Реализовано и протестировано обобщение табличного подхода для некоторых тригонометрических функций. В среднем предложенные функции работают в 10 раз быстрее соответствующих аналогов из стандартной математической библиотеки с прототипами в math.h.