SCI Библиотека

В работе представлены три итерационных алгоритма быстрого преобразования Фурье с прореживанием по времени, имеющие алгоритмическую сложность O (N·R·log2N), где R - частотное разрешение спектральной характеристики (отношение длины набора частот к длине N набора отсчетов исходного сигнала). Алгоритмы отличаются способами организации вычислений: некоторые используют обратную перестановку битов, другие - дополнительные массивы. Приведены подробные вычислительные графы, а также блок-схемы разработанных алгоритмов. Полученные результаты можно использовать для улучшения отечественной электроники и программного обеспечения, а также включать в учебный процесс при подготовке инженеров в области цифровой обработки сигналов.

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

Рассмотрены явные симплектические разностные схемы Рунге-Кутты-Нистрема (RKN) с числом стадий от 1 до 5 для численного решения задач молекулярной динамики, описываемых системами с распадающимися гамильтонианами. Для числа стадий 2 и 3 параметры RKN-схем получены с помощью техники базисов Гребнера. Для числа стадий 4 и 5 новые схемы най дены с применением метода численной оптимизации Нелдера-Мида. В частности, для числа стадий 4 получены четыре новые схемы. Для числа стадий 5 получены три новые схемы в дополнение к четырем схемам, известным в литературе. Для каждого конкретного числа стадий найдена схема, являющаяся наилучшей с точки зрения минимума ведущего члена погрешности аппроксимации. Верификация схем осуществлена на задаче, имеющей точное решение. Показано, что симплектическая пятистадийная RKN-схема обеспечивает более точное сохранение баланса полной энергии системы частиц, чем схемы более низких порядков точности. Исследования устойчивости схем выполнены с помощью программного пакета Mathematica.

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

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

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

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

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

Any modern supercomputer has an extremely complex architecture, and efficient usage of its resources is often a very difficult task, even for experienced users. At the same time, the field of high-performance computing is becoming more and more in demand, so the issue of efficient utilization of supercomputers is very urgent. Therefore, users should know everything important about performance of their jobs running on a supercomputer in order to be able to optimize them, and administrators should be able to monitor and analyze all the nuances of the efficient functioning of such systems. However, there is currently no complete understanding of what data are best to be studied (and how it should be analyzed) in order to have a whole picture of the state of the supercomputer and the processes taking place there. In this paper, we make our first attempt to answer this question. To do this, we are developing a model that describes all the potential factors that may be important when analyzing the performance of supercomputer applications and the HPC system as a whole. The paper provides both a detailed description of this model for users and administrators and some interesting real-life examples discovered on the Lomonosov-2 supercomputer using a software implementation based on the proposed model.

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