Секция посвящена общим вопросам информатики и программирования, высокопроизводительным вычислениям, компиляторам и информационной безопасности
Контакты : podlesnykh.da@mipt.ru
Формат проведения: смешанный
Дата и время проведения: 12:20-13:45-432 ГК
13:55-15:20- 424 Физтех. Арктика
15:30-20:00 Б.Физ
Место проведения: МФТИ, 910КПМ
В данной работе рассматривается задача автоматизированного анализа сетевой инфраструктуры в условиях высокой гетерогенности оборудования, разнообразия форматов данных и масштабируемости до сотни тысяч сетевых элементов. Предлагается концепция системы, реализующей подход network as a database, при котором данные о сетевой инфраструктуре представляются в виде нормализованной модели, доступной для формального анализа и воспроизводимых проверок
Цель и результат — разработать библиотеку под OpenJDK 17 на основе IO-монады, обеспечивающую декларативное управление любыми побочными эффектами и транзакциями, которые задаёт конечный пользователь, с поддержкой двухфазного коммита, паттерна Saga и асинхронных вычислений. Бенчмарки показали: библиотека уступает императивному подходу и превосходит аналогичные функциональные JVM-решения в простых транзакционных сценариях, но при глубокой композиции вычислений показывает результаты хуже.
Многоуровневое хранилище для эмбеддингов и векторного поиска (hot/warm/cold) с адаптивным кэшированием
В работе рассматриваются различные конечно-разностные схемы для решения одномерной задачи линейной акустики с целью проведения сравнительного анализа их работы при наличии разрыва параметров среды.
В рамках работы рассматривается задача моделирования простейших квантовых вычислений.
Написан интерфейс на языке C# и легковесная имплементация этого интерфейса. Интерфейс поддерживает описания гильбертовых пространств, измерений и частичных измерений состояния в основном или произвольном базисе, применение унитарных операторов к состоянию, различные способы хранения унитарных операторов, имплементация реализует их умную композицию.
В рамках работы рассматривается задача реализации минимального языка программирования на базе лямбда исчислений, с финальной целью вставки кода в xml файл.
В исследовании подтверждается актуальность проблемы искажения атрибутов в базах данных корпаративных информационных систем и ограниченность классических методов поиска, таких как ВПР и merge, основанных на точных совпадениях. Для решения очистки данных и восстановления информации предложен подход, основанный на методике нечеткого(вероятностного) поиска. Метод позволяет существенно ускорить работу с базами данных и повысить качество операций, связанных с сопоставлением данных
Работа посвящена выявлению OpenVPN-трафика. Предлагается классификатор, который сочетает пассивный статистический фингерпринтинг сетевых потоков с активной пробацией удаленного узла для проверки характерной логики OpenVPN.
В статье рассматривается проектирование и реализация микросервиса управления ПВЗ, приемками и товарами, реализующего REST API и gRPC-экспорт данных. Особое внимание уделено исследовательской части: выбору модели данных под нефункциональные требования (в частности, целевые 1000 RPS и ~100 ms latency) и проверке гипотезы о влиянии нормализации/джоинов на задержки чтения
В работе рассмотрены недостатки текущего процесса компиляции eBPF. Предложена и реализована интеграция оптимизирующего компилятора в ядро Linux, проведен анализ производительности и надежности полученного решения.
Сейсмические волны, распространяющиеся из очага землетрясения, представляют повышенную опасность для зданий и наземных сооружений. Целью настоящей работы являлось исследование влияния размеров сейсмического барьера, изготовленного из гранулированного материала, на амплитуду прошедшей через него поверхностной волны Рэлея. Выявлено, что наличие барьера глубиной примерно в длину волны Рэлея примерно в два раза сниÐ