Конференции

68-я Всероссийская научная конференция МФТИ

Список разделов ФПМИ - Секция информатики

Секция посвящена общим вопросам информатики и программирования, высокопроизводительным вычислениям, компиляторам и информационной безопасности

 

 

 

 

 Контакты : podlesnykh.da@mipt.ru

Формат проведения: смешанный

Дата и время проведения: 12:20-13:45-432 ГК
13:55-15:20- 424 Физтех. Арктика
15:30-20:00 Б.Физ

Место проведения: МФТИ, 910КПМ

  https://bbb.mipt.ru/b/kcg-26d-2ac

  • Автоматизированная система анализа данных о сетевой инфраструктуре с поддержкой гипермасштаба

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

  • Надёжный транзакционный монадический ввод-вывод в Java 17

    Цель и результат — разработать библиотеку под OpenJDK 17 на основе IO-монады, обеспечивающую декларативное управление любыми побочными эффектами и транзакциями, которые задаёт конечный пользователь, с поддержкой двухфазного коммита, паттерна Saga и асинхронных вычислений. Бенчмарки показали: библиотека уступает императивному подходу и превосходит аналогичные функциональные JVM-решения в простых транзакционных сценариях, но при глубокой композиции вычислений показывает результаты хуже.

  • Многоуровневое хранилище для эмбеддингов и векторного поиска (hot/warm/cold) с адаптивным кэшированием

    Многоуровневое хранилище для эмбеддингов и векторного поиска (hot/warm/cold) с адаптивным кэшированием

  • Сравнительный анализ конечно-разностных методов для решения задачи о распространении волн в гетерогенных средах

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

  • Моделирование квантовых вычислений на C#

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

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

  • Минимальный язык на базе лямбда выражений

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

  • Разработка гибридного метода вероятностного поиска и верификации записей в базах данных

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

     

     

  • Выявление OpenVPN-трафика методами статистического фингерпринтинга и активной пробации

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

  • Архитектура и исследование производительности сервиса управления ПВЗ для цифровой логистики маркетплейса

     В статье рассматривается проектирование и реализация микросервиса управления ПВЗ, приемками и товарами, реализующего REST API и gRPC-экспорт данных. Особое внимание уделено исследовательской части: выбору модели данных под нефункциональные требования (в частности, целевые 1000 RPS и ~100 ms latency) и проверке гипотезы о влиянии нормализации/джоинов на задержки чтения

  • Интеграция оптимизирующего компилятора в eBPF подсистему ядра Linux

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

  • Численный расчёт влияния сейсмических барьеров на поверхностные волны Рэлея

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