SCI Библиотека

This paper is concerned with implementation of wave tomography algorithms on modern SIMD CPU and GPU computing platforms. The field of wave tomography, which is currently under development, requires powerful computing resources. Main applications of wave tomography are medical imaging, nondestructive testing, seismic studies. Practical applications depend on computing hardware. Tomographic image reconstruction via wave tomography technique involves solving coefficient inverse problems for the wave equation. Such problems can be solved using iterative gradient-based methods, which rely on repeated numerical simulation of wave propagation process. In this study, finite-difference time-domain (FDTD) method is employed for wave simulation. This paper discusses software implementation of the algorithms and compares the performance of various computing devices: multi-core Intel and ARM-based CPUs, NVidia graphics processors.

Исследовано влияние тонкого защитного слоя нитрида скандия (ScN) на сверхпроводящие свойства тонких пленок нитрида ниобия (NbN), полученных методом реактивного магнетронного осаждения. Представлен комплексный анализ морфологических, микроструктурных и электрофизических характеристик тонких пленок, прошедших процесс высокотемпературного отжига в атмосфере кислорода. Установлена зависимость критической температуры перехода тонкой пленки NbN от температуры отжига образцов в кислородной среде, как с покрытием ScN, так и без него. Из исследований рентгеновской рефлектометрии выяснилось, что пленка ScN выполняет функцию защитного слоя даже при температурах отжига около 450oC, не влияя на плотность и толщину слоя NbN. Показано, что тонкая пленка NbN, покрытая пленкой ScN, более устойчива к агрессивной среде, чем пленка, не покрытая ScN. Ключевые слова: сверхпроводимость, защитные покрытия, нитрид ниобия, нитрид скандия, тонкие пленки.

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

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

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

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

В статье представлен параллельный алгоритм валидации решений задач линейного программирования. Идея метода состоит в том, чтобы генерировать регулярный набор точек на гиперсфере малого радиуса, центрированной в точке тестируемого решения. Целевая функция вычисляется для каждой точки валидационного множества, принадлежащей допустимой области. Если все полученные значения меньше или равны значению целевой функции в точке, проверяемой как решение, то эта точка считается корректным решением. Параллельная реализация алгоритма VaLiPro выполнена на языке C++ с использованием параллельного BSF-каркаса, инкапсулирующего в проблемно-независимой части своего кода все аспекты, связанные с распараллеливанием программы на базе библиотеки MPI. Приводятся результаты масштабных вычислительных экспериментов на кластерной вычислительной системе, подтверждающие эффективность предложенного подхода.

Системы SAPFOR и DVM были спроектированы и предназначены для упрощения разработки параллельных программ научно-технических расчетов. Главной целью системы SAPFOR является автоматизация процесса отображения последовательных программ на параллельные архитектуры в модели DVMH. В некоторых случаях пользователь системы SAPFOR может рассчитывать на полностью автоматическое распараллеливание, если программа была написана или приведена к потенциально параллельному виду. DVMH модель представляет собой расширение стандартных языков C и Fortran спецификациями параллелизма, которые оформлены в виде директив и не видимы стандартным компиляторам. В статье будет рассмотрено автоматизированное дополнительное распараллеливание существующих MPI-программ с помощью системы SAPFOR, где, в свою очередь, будут использованы новые возможности DVMH модели по распараллеливанию циклов в MPI программе внутри узла. Данный подход позволяет существенно снизить трудоемкость распараллеливания MPI программ на графические ускорители и многоядерные процессоры, сохранив при этом удобство сопровождения уже написанной программы. Данная возможность в системе SAPFOR была реализована для языков Fortran и C. Эффективность данного подхода показана на примере некоторых приложений из пакета NAS Parallel Benchmarks.

Настоящее исследование является социально-философским анализом игровых элементов в образовании. Утверждается, что образование содержит в себе игроизацию в виде дополнительных к основным функциям (трансляция знаний) образования элементов (ритуалы, форма, правила и т.п.). Игра присутствует в образовании в качестве педагогической игры - обучающей, развивающей и коммуникативной и имеет множество форм. Основная характеристика педагогической игры - наличие цели, не связанной с игрой. Она иллюстрируется примерами авторской методики философских игр для детей и взрослых.

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