SCI Библиотека

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

Предложен балансно-характеристический метод решения систем линейных дифференциальных уравнений в частных производных гиперболического типа, обладающий четвертым порядком аппроксимации на равномерных сетках и вторым порядком и улучшенными дисперсионными свойствами на неравномерных сетках. Метод основан на известной схеме КАБАРЕ, балансные фазы которой модифицированы путем добавления антидисперсионных членов особого вида. Ранее метод, обладающий схожими свойствами, предлагался только для простейшего одномерного линейного уравнения переноса. Приведенная модификация схемы позволяет улучшить дисперсионные свойства переноса сразу всех инвариантов Римана рассматриваемой системы уравнений. Схема бездиссипативна при отключенных процедурах монотонизации и устойчива при числах Куранта 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.

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

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

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

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

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