Разработка метода для автонастройки компиляторов, который агрегирует оптимизационные преобразования с уровня отдельных функций на уровень единицы трансляции. Учитываются межпроцедурные взаимодействия (inlining, зависимости), снижается пространство поиска и число прогонов, повышается стабильность и качество итоговой конфигурации оптимизаций для всего модуля.
Конференции
68-я Всероссийская научная конференция МФТИ
Список разделов ФПМИ - Секция информатики
Секция посвящена общим вопросам информатики и программирования, высокопроизводительным вычислениям, компиляторам и информационной безопасности
Контакты :conf-fpmi-si@yandex.ru
Формат проведения:
Дата и время проведения:
Место проведения:
-
В данной работе рассматривается задача автоматизированного анализа сетевой инфраструктуры в условиях высокой гетерогенности оборудования, разнообразия форматов данных и масштабируемости до сотни тысяч сетевых элементов. Предлагается концепция системы, реализующей подход network as a database, при котором данные о сетевой инфраструктуре представляются в виде нормализованной модели, доступной для формального анализа и воспроизводимых проверок
-
Цель и результат работы — разработать библиотеку на основе IO-монады, обеспечивающую декларативное управление любыми побочными эффектами и транзакциями, которые задаёт конечный пользователь, с поддержкой двухфазного коммита, паттерна Saga и асинхронных вычислений. Бенчмарки показали: библиотека уступает императивному подходу, однако превосходит аналогичные функциональные JVM-решения в простых транзакционных сценариях, но показывает худшие результаты при глубокой композиции вычислений.
-
Многоуровневое хранилище для эмбеддингов и векторного поиска (hot/warm/cold) с адаптивным кэшированием
-
В работе рассматриваются различные конечно-разностные схемы для решения одномерной задачи линейной акустики с целью проведения сравнительного анализа их работы при наличии разрыва параметров среды.
-
В рамках работы рассматривается задача моделирования простейших квантовых вычислений.
Написан интерфейс на языке C# и легковесная имплементация этого интерфейса. Интерфейс поддерживает описания гильбертовых пространств, измерений и частичных измерений состояния в основном или произвольном базисе, применение унитарных операторов к состоянию, различные способы хранения унитарных операторов, имплементация реализует их умную композицию.
-
В рамках работы рассматривается задача реализации минимального языка программирования на базе лямбда исчислений, с финальной целью вставки кода в xml файл.
-
В исследовании подтверждается актуальность проблемы искажения атрибутов в базах данных корпаративных информационных систем и ограниченность классических методов поиска, таких как ВПР и merge, основанных на точных совпадениях. Для решения очистки данных и восстановления информации предложен подход, основанный на методике нечеткого(вероятностного) поиска. Метод позволяет существенно ускорить работу с базами данных и повысить качество операций, связанных с сопоставлением данных
-
Работа посвящена выявлению OpenVPN-трафика. Предлагается классификатор, который сочетает пассивный статистический фингерпринтинг сетевых потоков с активной пробацией удаленного узла для проверки характерной логики OpenVPN.
-
В статье рассматривается проектирование и реализация микросервиса управления ПВЗ, приемками и товарами, реализующего REST API и gRPC-экспорт данных. Особое внимание уделено исследовательской части: выбору модели данных под нефункциональные требования (в частности, целевые 1000 RPS и ~100 ms latency) и проверке гипотезы о влиянии нормализации/джоинов на задержки чтения
-
В работе рассмотрены недостатки текущего процесса компиляции eBPF. Предложена и реализована интеграция оптимизирующего компилятора в ядро Linux, проведен анализ производительности и надежности полученного решения.
-
Сейсмические волны, распространяющиеся из очага землетрясения, представляют повышенную опасность для зданий и наземных сооружений. Целью настоящей работы являлось исследование влияния размеров сейсмического барьера, изготовленного из гранулированного материала, на амплитуду прошедшей через него поверхностной волны Рэлея. Выявлено, что наличие барьера глубиной примерно в длину волны Рэлея примерно в два раза снижает интенсивность колебаний дневной поверхности.
-
Разработка и оптимизация алгоритмов контекстно-свободной (КС) достижимости на графах, основанных на обобщённых методах синтаксического анализа (GLR и GLL). Основная задача - повышение эффективности решения задачи проверки путей в графах, соответствующих КС-грамматикам, с акцентом на обработку неоднозначностей и циклов.
-
Представлен метод высокоточной локализации камеры на стандартном спортивном поле без использования дополнительных маркеров. Алгоритм на основе анализа геометрии разметки и центрального круга обеспечивает высокую точность: ошибка позиционирования центра — 1,5 см(0.5% поля), угловая ошибка — 1,3°. Разработанное решение превосходит базовый подход с ArUco-маркерами по ряду метрик, более устойчиво, tagless и готово к интеграции в системы спортивной аналитики и робототехники.
-
Добавление в PostgreSQL нативной поддержки вещественных векторов, их зашифрованного аналога и арифметических операций над ними, используя библиотеку OpenFHE и механизм UDF.
-
В работе исследуется применение большой языковой модели (LLM) как внешней модели награды для RL-агента, оптимизирующего LLVM-код на уровне функций в среде CompilerGym. Агент (PPO) минимизирует число LLVM-инструкций, а по завершении эпизода LLM оценивает последовательность примененных пассов и формирует дополнительный сигнал reward shaping. Подход направлен на повышение качества стратегий оптимизации.
-
Данная работа посвящена созданию системы автоматического анализа и верификации правил фильтрации сетевого трафика для выявления ошибок конфигурации на сетевых устройствах класса NGFW. Предложен единый подход к моделированию правил с учётом уровней L3–L7 модели OSI на основе метода Header Space Analysis и применения Binary Decision Diagrams (BDD). Разработанная система анализа может применяться в крупных инфраструктурах, в том числе и в центрах обработки данных.
-
Данная работа посвящена использованию сверточных нейронных сетей для нахождения оптимальных коэффициентов конечно-разностных схем для численного решения уравнений в частных производных. Для обучения нейронной сети используются аналитические решения одномерного уравнения переноса с различными значениями скорости.
-
Предложена модель управления доступом на основе машинно-читаемых доверенностей с электронной подписью, обеспечивающая юридическую значимость каждого действия в информационных системах. Решение устраняет разрыв между технической реализацией и правовой достоверностью операций, создавая базу для автоматизации и внедрения ИИ в госуправлении.
-
Работа посвящена разработке алгоритма конвертации графов порядка 10^8 вершин и 10^10 ребер в формат GraphAr.
-
Работа посвящена масштабированию системы автоматической проверки заданий, которая используется для проведения курсов как в университетах, так и в центре дополнительного профессионального образования. Необходимость вызвана недостаточной эффективностью некоторых компонент системы при большой нагрузке.
-
Целью настоящей работы является сравнительный анализ применения указанных численных подходов для моделирования волновых процессов в среде, содержащей горизонтальную границу раздела двух упругих материалов. Данная конфигурация является классическим тестовым примером для оценки способности методов корректно воспроизводить физические эффекты отражения и преломления волн на границе сред с различными акустическими импедансами.
-
В работе рассматривается разработка механизма динамической регистрации драйверов и устройств для операционной системы KasperskyOS. Существующая статическая модель требует пересборки системы при добавлении новых драйверов и формирует жёсткие зависимости между компонентами.
По результатам анализа предложена архитектура подсистемы VFS с поддержкой динамической регистрации устройств и загрузки и выгрузки драйверов без перезагрузки системы.
-
Разработана архитектура унифицированного сборочного конвейера, автоматизирующего кроссплатформенную предкомпиляцию и доставку out-of-tree модулей ядра Linux в целевые среды.
-
🧑🍳В работе оценивается пиковое потребление оперативной памяти установщиков пакетов для языка JavaScript. Проведено сравнение всех установщиков, поддерживаемых в ОС GNU/Linux Debian 11, по итогам сформулирована и проверена гипотеза кратной оптимизации загрузки ресурсов, исходный код разработанного ПО выложен в открытый доступ.
Экспериментальные измерения показали снижение потребления ОЗУ более чем в 2 раза. Разработанная система апробирована и внедрена в промышленный программный продукт.
-
Исследование посвящено минимизации локальной ошибки интегрирования в методах расщепления Стрэнга и Ёсиды за счет оптимизации топологии дерева разбиения полей
. С применением свободных алгебр Ли получены строгие мажоранты ошибок на базе ковариантного тензора норм . Разработан быстрый алгоритм построения оптимального дерева со сложностью $O(N \log N)$ . Численные эксперименты на гравитационной задаче N тел подтвердили существенное снижение ошибки . -
Оптимизация промежуточного представления кода на основе фреймворка MLIR для различных высокопроизводительных языков программирования
-
В работе рассматривается разработка отказоустойчивой распределённой системы хранения данных с использованием кворумной репликации и модели согласованности eventual consistency. Предложенная архитектура обеспечивает высокую доступность системы при частичных отказах узлов и демонстрирует практическую реализацию механизмов распределённого хранения данных.
-
Реализация и исследование механизма репликации таблиц трансляций и данных NUMA user-space приложений для решения проблемы NUMA эффекта. Каждя NUMA нода будет получать собственные реплики таблиц трансляций и данных, чтобы потоки обращались к локальным копиям. По задумке это должно на дистанции давать выигрыш по производительности для cross-NUMA нагрузок за счет локальности доступа к памяти.
-
Работа посвящена анализу уязвимостей межкомпонентного взаимодействия в современных мобильных архитектурах, использующих среды доверенного исполнения (TEE, ARM TrustZone) и физически изолированные модули безопасности (Hardware Security Modules, на примере Google Titan M).
-
В данной работе мы представляем схему пороговой подписи на основе стандарта ГОСТ 34.10. Мы проводим анализ безопасности предложенной схемы, а также оцениваем ее устойчивость к известным атакам на пороговые протоколы.
-
Данная работа посвящена разработке алгоритмов динамического анализа, основанных на методе редукции частичных порядков, для поиска гонок в многопоточных программах. Рассматриваются как вопросы реализации существующих алгоритмов в рамках фреймворка на базе инструмента ThreadSanitizer, так и разработка их более эффектинвых модификаций; проводится сравнение между полученными и уже написанными ранее реализациями.
-
В данной работе предлагается применить методы каузального вывода для построения каузального графа зависимостей между оптимизационными проходами компилятора LLVM. В отличие от традиционных корреляционных подходов, каузальный граф отражает истинные причинно-следственные связи между проходами и используется для генерации оптимальных последовательностей для конкретных программ.
-
В работе представлен алгоритм для проведения автоматической верификаций LuaJIT скриптов, посредством исполнения скриптов с разными уровнями оптимизаций и трансляции записанных при исполнении трасс на язык SMT-LIB с применением технологии символического исполнения. После чего производится проверка выполнимости полученных формул с помощью SMT-решателя и выдача результата верификации, есть ли отличия между записанными трассами.
-
Описание проблем и решений найденных при разработке выше указанного ПО
-
В работе описан алгоритм StatPreserve — метод статистической генерации данных на основе статистик таблиц PostgreSQL с учетом ссылочной целостности и частотных характеристик
-
В работе предлагается новый метод решения задачи прайсинга американких опционов с помощью решения задачи оптимальной остановки используя методы Reinforcement Learning. RL алгоритм решения основан на модификации классического Policy Gradient REINFORCE подхода, используя возможность дифференцирования по RL среде в рассматриваемой постановке задачи прайсинга.
-
Целью данной работы является разработка инструмента, обеспечивающего No-Code проектирование топологии IPFS-кластера, автоматизированное развёртывание в контролируемой среде Kubernetes и измерение производительности ключевых операций API.
-
В данной работе исследуются различные вариации автоматов со словарем и определяются классы языков, распознаваемых полученными моделями вычислений.
Разделяются классы языков, распознаваемых разными вариациями таких автоматов. Исследуется возможность применения автоматов со словарём в практических целях: они могут быть полезны, поскольку способны распознавать неконтекстно-свободные языки.
-
В работе рассматриваются ключевые проблемы существующих систем хранения и обработки данных. Были сформулированы 5 ключевых требований к перспективным системам хранения и обработки данных, для выполнения которых была предложена концептуальная архитектура системы, основанная на выделении универсального транзакционного ядра и адаптеров под каждую модель данных.
-
Архитектурная зависимость эффективности флагов оптимизации GCC у процессоров x86_64, ARM и Эльбрус
-
Данная работа посвящена применению иерархически сгущающихся сеток для снижения вычислительной нагрузки в задаче моделирования распространения волновых возмущений в трещиноватых средах
-
В работе представлен метод моделирования многослойных композитных пластин с неизвестными упругими параметрами под вибрационной нагрузкой. Обратная задача решается численной минимизацией функционала невязки между численной моделью и экспериментальными данными с использованием автоматического дифференцирования. Метод применён к углерод-эпоксидным композитам с различной укладкой слоев, включая пластины со сложной геометрией.
-
Механизм предсказания переходов ветвлений, реализованный с применением методов машинного обучения, в центральном процессоре
-
В работе рассматривается способ получения условно бесплатного VPS для круглосуточной работы ботов и автоматизаций без финансовых затрат. Анализируются ограничения сервисов Google Colab и PythonAnywhere, а также предлагается использование GitHub Actions для продления времени работы в рамках бесплатных лимитов.
Сделан вывод о возможности реализации такого решения при учёте технических ограничений и рисков.
-
Регион доставки разбит на кластеры, обслуживаемые курьерами из нескольких пунктов с ограниченным штатом. Для каждого кластера нужно выбрать дни недели, в которые туда будут выезжать курьеры, максимизируя прибыль (доход от заказов минус стоимость километража).
Предложена трёхэтапная ILP-декомпозиция, в качестве альтернативы реализован жадный алгоритм. Проведено сравнение подходов на данных 30 регионов. -
Предложен метод эффективного расчета динамического воздействия на анизотропные тонкостенные конструкции, основанный на оригинальной гиперболической форме уравнений Кирхгофа–Лява и классической теории ламинатов. Проведена валидация модели путём сравнения распространения упругих волн с трёхмерными расчётами — показано, что предложенный метод корректно описывает волновые картины, имея при этом значительно меньшую вычислительную сложность.
-
Разработка и внедрение системы виртуализации файловой системы в современное ядро XNU. Расширение безопасности ядра в виде виртуализации файловой системы для каждого процесса в отдельности. Механизм политик принимает решения о предоставлении видимости или доступа к файлу определенному процессу, создание видимости того, что данный процесс имеет полный доступ к файлу, в то время как сам процесс получает виртуальную и безопасную копию файла.
-
Проверена работоспособность графических библиотек и приложений на процессорах архитектур "Эльбрус" и "Loongson" на оперционной системе Linux. В частности, проверена возможность запуска в режиме безопасных вычислений.
-
Построен воспроизводимый датасет статических метрик для более чем пятисот отрытых Java-проектов, сформированный с помощью автоматизированного конвейера сбора и обработки данных. На его основе выявлены статистически значимые зависимости и избыточности метрик, что создает эмпирическую базу для дальнейших исследований качества и поддерживаемости открытого программного обеспечения
-
Классические алгоритмы контроля перегрузки TCP основываются на потерях и задержках, что зачастую не актуально в современных беспроводных сетях, где потери и задержки могут быть напрямую не связаны с перегрузкой. В данной работе рассматриваются вариации алгоритма Depp Q-Learning (DQN), в особенности Rainbow DQN, для контроля перегрузки.
-
Формальная грамматика позволит экранировать вход большой языковой модели в целях исключения нежелательных сценариев использования модели.
-
В работе разрабатывается программная библиотека (SDK) для фиксации и реконструкции пользовательских сценариев в нативных Android-приложениях, обеспечивающая интеграцию без модификации бизнес-логики. Выполняется сравнительный анализ методов записи состояния интерфейса с оценкой их влияния на вычислительные ресурсы и точность воспроизведения.
-
В работе исследуется влияние выбора транспорта в Model Context Protocol (MCP) на производительность взаимодействия LLM-агентов с внешними инструментами. Проведено экспериментальное сравнение JSON-RPC и gRPC на наборе синтетических сценариев при разных размерах полезной нагрузки и уровнях конкурентности; оцениваются пропускная способность (RPS) и задержки (p95), а результаты агрегируются в сводных таблицах.
-
Работа посвящена изучению возможности поддержки USB-токенов на уровне микропрограммного обеспечения UEFI. Реализован стек драйверов, и продемонстрирована их работоспособность на примере протокола аутентификации для входа в меню настроек UEFI.
-
В работе проводится сравнение производительности приложения при использовании стандартного сетевого стека Linux и технологии Kernel Bypass. В качестве основных метрик рассматриваются задержка обработки пакета и пропускная способность. По результатам экспериментов формулируются выводы о различиях в производительности и целесообразности применения каждого подхода.
-
Сравниваются методы сокращения данных (Feature Selection и PCA) для ускорения загрузки в ODS. Цель — уменьшить объем данных и время ETL. Результат — быстрая передача данных на следующие уровни DWH.
-
Веб-приложение для автоматизации дефектоскопии ленты промышленного конвейера, сокращающее время обнаружения нового дефекта оператором предприятия до нескольких секунд.
- Серверная часть веб-приложения разработана на Python с использованием фреймворка FastAPI, ORM-библиотеки SQLModel, СУБД PostgreSQL, API Telegram и API Gmail.
- Клиентская часть разработана на JavaScript с использованием библиотек React, Material UI и среды Node.js.
- Контейнеризация реализована с помощью Docker Compose.
-
Цель проекта: Разработка архитектуры и прототипа защищённой децентрализованной P2P-сети, использующей глобальную адресацию IPv6 и криптографические идентификаторы WEB3 для обеспечения прямого, безопасного и отказоустойчивого взаимодействия между узлами без центральных серверов.
-
-
В работе представлен низколатентный аудиокодек с битрейтом 192+ кбит/с. Алгоритм основан на вейвлет преобразованиях и новой перцептивной системе, использующей структурные характеристики саббенда для оценки его значимости. При малоперекрывающимся блоке длинной в ~20 мс скорость обработки достигает 250x реального времени при кодировании и 500x при декодировании на одном ядре CPU, а также качеством сравнимым с AAC на данных битрейтах.
-
Существует проблема в PostgreSQL, что при превышения лимита в 64 вложенных субтранзакций в одной транзакции может привести к сильной просадке производительности. Была предоставлена гипотеза, которая помогает обойти данное ограничение и теперь количество вложенных субтранзакций не влияет на производительность ядра PostgreSQL.
-
Windows использует несколько уровней защиты ядра (Driver Signature Enforcement, PatchGuard aka KernelPatchProtection), которые должны предотвращать загрузку неподписанных драйверов и изменение внутренних структур системы. На практике остаётся класс уязвимостей BYOVD (Bring Your Own Vulnerable Driver), позволяющий использовать подписанный, но уязвимый драйвер как примитив для доступа к памяти ядра. В работе демонстрируется уязвимость такого рода
-
Метод бихарактеристик является перспективным методом решения гиперболических систем линейных уравнений в частных производных. В данной работе рассматривается его применение к двумерной задаче и средам с кусочно-постоянными коэффициентами
-
Безопасное хранение и восстановление пользовательских данных с помощью мультиагентной схемы в CosmosДанная работа посвящена задаче безопасного восстановления доступа к аккаунту при потере приватного ключа в блокчейн-системах, а именно для блокчейнов экосистемы Cosmos. В отличие от существующих подходов, ориентированных на возврат контроля над аккаунтом, предлагается механизм восстановления не только контроля, но и данных пользователей, зашифрованных выделенным симметричным ключом. Предлагаемый подход сочетает социальное восстановление аккаунта, а также пороговую схему Шамира.
-
Разработка и написание эффективного криптостойкого генератора случайных чисел для встроенных систем без ОС на базе процессоров с архитектурой RISC-V, ARM
-
Работа посвящена разработке ПАК для телереабилитации с ToF-камерой, обеспечивающей точную 3D-оценку движений без ошибок нейросетевого прогнозирования глубины. Алгоритм (2D-детекция, фильтр Калмана, 3D-лифтинг) в реальном времени анализирует фазы упражнений и генерирует персонализированные голосовые подсказки для коррекции техники.
Предложенное решение направлено на повышение эффективности самостоятельных занятий и создание инструмента дистанционного врачебного контроля. -
В работе рассматривается применение архитектурного паттерна Backend for Frontend в микросервисных системах. Описываются проблемы взаимодействия клиентских приложений с большим кол-вом сервисов. Рассматривается роль BFF как промежуточного слоя, обеспечивающего агрегацию данных, оркестрацию вызовов и адаптацию API под требования клиента. Приводится пример внедрения BFF в разрабатываемый корпоративный мессенджер.
-
Данная работа рассматривает проблемы при имплементации протокола SWD на платформе ESP32, предлагает общее решение, применимое на широком круге СнК. Проведено сравнение производительности существующего решения (OpenOCD) и предложенного в этой работе, достигнуто ускорение при прошивке встроенной flash тестового микроконтроллера в 4 раза.
-
Результатом представленной работы является реализация приложения для проведения кластеризации при помощи латентно-семантического анализа. Кроме того, был проведен сравнительный анализ результатов работы программы при различных настройках.
-
Эвалюция архитектуры приложения развития когнитивных процессов человека, предназначенного для образования и медицины. От унифицированного MVP к модульной структуре (независимые модули с окнами, настройками и координирующим модулем). Внедрение паттерна MVC (из MVC/MVP/MVVM) для разделения логики и UI. Создание ядра с общими механизмами (UI, БД, загрузка модулей).
Результат: масштабируемость, поддерживаемость, модульность, тестируемость. Перспективы — динамическая загрузка.
-
Работа посвящена проектированию архитектуры инфраструктурной платформы микросервисной системы с реализацией принципов Zero Trust. Рассматривается проблема избыточного доверия между компонентами распределённых систем. Предлагается архитектурное решение, обеспечивающее аутентификацию и авторизацию взаимодействий между сервисами, изоляцию сетевых коммуникаций и управление политиками доступа.
-
В работе рассматривается гибридный метод обнаружения аномалий Kubernetes-кластеров на основе Isolation Forest и LSTM-автоэнкодера. Стандартные методы пропускают большинство аномалий, не учитывая периодичность нагрузки и сложные временные зависимости. Предлагаемый метод экспериментально проверяется на реальных данных production-кластеров, дополняется анализом целесообразности предварительного разложения временного ряда (тренд, периодичность, остаток) и сравнивается с существующими методами.
-
В работе приводится сравнение методов поиска точек в заданном радиусе: с использованием kd-деревьев, gist-индексов в PostgreSQL и геопространсивенного идекса h3. Исследуются ограничения этих методов и проводится оценка эффектинвности на различных наборах входных данных и профилях нагрузки
-
Архитектурные особенности процессора могут быть скрыты и незадокументированы. При реализации на FPGA могут меняться. Компилятор может генерировать корректный код, но может содержать ошибки. Дифференциальный анализ бинарных файлов позволяет проверить серию утверждений, которые должны быть истинны для корректного компилятора.
Рассмотрены примеры для процессоров Intel, ARM, Эльбрус [1] и Loongson
-
Программа на C++ — калькулятор и конвертер систем счисления (2–36). Три режима: обычный (десятичный), вычисления в заданной системе, конвертация чисел. Поддерживаются арифметические операции (+, -, *, /, //, ^, √, !), функции (sqrt, sin, cos, log и др.), константы (pi, e) и переменная ans. Разбор выражений через обратную польскую запись. Перевод чисел через десятичное представление. Настройка точности, обработка ошибок, встроенная справка.
-
Работа посвящена созданию иммерсивной инсталляции на основе генеративной графики и интерактивного управления в среде TouchDesigner. С применением плагина компьютерного зрения MediaPipe, управления через смартфон по протоколу OSC и нейросетевой генерации изображений через Stable Diffusion.
-
Работа посвящена разработке модели угроз и архитектуры системы доверенной идентификации участников в распределённой инфраструктуре на основе блокчейна. Цель исследования — повысить уровень безопасности и устойчивости к атакам в системах управления кии. С использованием методов STRIDE и DREAD. Проведен анализ угроз, предложена архитектура, основанная на децентрализованной идентификации (DID) и смарт-контрактах, с интеграцией ML-компонентов для анализа аномалий.
-
Работа посвящена проблеме дрейфа данных в системах обнаружения DDoS-атак. Исследуется влияние размера скользящего окна на качество классификации. Анализируются стратегии адаптации: эвристический подход и статистический алгоритм ADWIN
-
Создание распределенной системы, способной динамически адаптироваться к скачкам входящего трафика без деградации скорости ответа.
-
Успешно разработана технология проведения ИИ-хакатонов и опробована на практике в формате 2-дневного хакатона в ФМЛ5 Долгопрудного.
Проделаны выводы о работоспособности технологии и о способах ее дальнейшего улучшения для внедрения в образовательный процесс.
-
Цель проекта разработать формат приложений для GNU/Linux с изоляцией и понятной для неквалифицированного пользователя системой разрешений. Каждое приложение запускается в изолированной среде (песочнице) с минимальным набором привилегий, а доступ к внешним файлам, данным и устройствам осуществляется через простую систему разрешений как на Android.
-
В работе исследуются технологии репликации, применяемые в СУБД PostgreSQL, MongoDB, Apache Cassandra. Производятся их характеристика и классификация.
С помощью бенчмарка YCSB произведено тестирование кластеров указанных СУБД в сценариях, имитирующих нагрузку на кластеры высоконагруженных систем в реальных условиях эксплуатации.
Проведен анализ результатов тестирования и на его основе сформированы рекомендации по применению репликации в рассматриваемых СУБД.
-
В работе исследуется возможность обнаружения дрейфа данных в задачах классификации текстов на основе анализа распределения уверенности модели. Предложенный подход основан на применении confidence-аудитора и не требует доступа к исходным данным или их разметке. Проведена эмпирическая валидация метода на задаче анализа тональности русскоязычных текстов с использованием моделей TF-IDF и RuBERT при различных сценариях языкового дрейфа.
-
Цель работы разработка специализированного транспортного протокола, сочетающего низкую задержку UDP с гибкой моделью надёжности, и исследование возможности ускорения его обработки за счёт выгрузки части логики в ядро ОС при помощи технологии eBPF/XDP.
-
В данной работе производится сравнение шлюзов S3 на примере различных параметров, таких как расширямость, производительность, отказоустойчивость.
-
В данной работе предлагается рассмотреть возможность использование такого алгоритма обучения с подкреплением как Q-learning для динамического выбора стратегии для маршрутизации трафика в программного-управляемых сетях (SDN).
