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

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

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

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

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

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

Новый подход к генерации API для веб приложений на базе модулей чистого кода TypeScript

Цель работы состоит в  определении анизотропии скорости распространения упругих волн в среде, содержащей трещины.

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

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

Разработка графического движка/библиотеки с поддержкой современных техник рендера предназначенный для быстрого прототипирования. Из функционала планируется:

- ренедр с множественными текстурами назначения

- эффекты экранного пространства

- загрузка gltf моделей и анимаций

- G-buffer, PBR, SSAO, depth peeling, weghted blending OIT, shell texturing и другие эффекты

Данная работа посвещена  динамическому процессу упруговязкопластической (УВП) среды с эффектом упрочнением. Предложена система уравнений УВП среды и разработана явно-неявная схема 2-го порядка с явной аппроксимацией уравнений движения и неявной аппроксимацией определяющих соотношений. В расчетах обнаружен ожидаемый эффект упрочнения.

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

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

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

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

В данной работе проводится сравнение различных недавно разработанных алгоритмов графовых нейронных сетей, которые справляются с проблематикой неполных данных.

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

Блокчейны не справляются с собственной популярностью — растущим количеством транзакций и пользователей. Поэтому разработчики строят решения второго уровня поверх основных блокчейнов — Layer 2 Solutions.

В данной работе будут исследованы существующие L2 решения, алгоритмы по которым они работают, средние комиссии и TPS в них, и сравнены между собой. 

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

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

Резерв секционного рецензента

Почта

Запас секционного рецензента

Для опоздавших

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

Для проспавших

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

Огромная база решений, в том числе проверенных вручную преподавателями кафедры информатики и вычислительной математики за последние 10 лет, позволяет обучить нейросеть, чтобы затем методами машинного обучения проверять новые программы. Это позволит искать как типичные ошибки студентов, так и повторения их ошибок в разработках реальных проектов.

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

В работе проведен анализ проблемматики соотношения типов данных СУБД Oracle при интеграции через Spark 3+. Были исследованы порядка 70 типов данных Oracle, соответствующие им типы данных Spark 3+, а также JDBC типы данных, получаемые при интеграции. Была составлена сводная таблица и даны рекомендации по использованию типов данных Oracle при интеграции через Spark 3+. Результаты работы могут быть использованы ETL-разработчиками и аналитиками для выявления возможных проблем в данных.

В данной работе представлены исследования общего случая применения модифицированного квантового алгоритма Гровера для задачи поиска пересечения двух множеств при неизвестном размере множеств.