Секция посвящена общим вопросам информатики и программирования
Развитие HPC позволяет использовать более сложные модели геологических сред, такие как рассмотренные в данной работе модель анизотропной VTI среды и модель пористой среды Доровского. Добавлена возможность учёта неоднородности в таких средах -- бесконечно тонкой трещины. Авторами проведено расширение сеточно-характеристического метода для вышеуказанных сред. В данной работе были численно решены задачи взаимодействия упругих волн с флюидонасыщенной трещиной, помещённой в среду.
В представленной работе рассматривается способ и инструмент детектирования характерных паттернов на графо-структурированных промежуточных представлениях программ посредством решения задачи достижимости с контекстно-свободными (КС) ограничениями, его анализ, способы оптимизации и области практического применения.
В работе рассматривается влияние размеров загружаемых данных на метрики веб-страницы ttl (time to load), tti (time to interacive), fcp (first contentful paint) и методы оптимизации этих метрик.
Проведено описание и сравнение эффективности существующих решений (webpack treeshaking, terser, brotli). Также показаны проблемы, у которых ещё нет избыточно полного решения: SSR (server side rendering - пререндер динамического приложения на стороне сервера) и i18n (интернационализация).
Разработана учебная программа для студентов картографов и геодезистов первого и второго курса обучения, изучающих вводный учебный курс программирования на С++. Программа вычисляет основные элементы круговой трассы по заданным значениям угла поворота и радиуса кривой поворота трассы. Разработанная программа может быть использована при изучении темы «исключения» в курсе программирования на С++.
В статье представлены результаты разработки информационной системы для автоматизации процесса записи на прием в стоматологическую клинику. Для реализации программного продукта были выполнены задачи по анализу бизнес-процессов предприятия, составлению технического задания на проектирование информационной системы, выбору программного продукта для ее реализации, проектированию базы данных и пользовательского приложения.
Добрый день. Я хотел бы представить мою гипотезу, которая уже совсем близка к доказательству, по нахождению минимального числа перестановок для заданных n - количество стержней и m - количества колец в ханойских башнях со сложностью алгоритма O(1).
В работе представлены результаты разработки подхода к статическому анализу программ посредством разметки и специфицирования графов промежуточных представлений с последующим решением задачи КС-достижимости. Демонстрируются избранные результаты тестирования практических возможностей инструмента “Pathfinder” для статического детектирования нежелательных паттернов работы с памятью на языке Си.
В данной статье рассмотрена модель ледового острова в Арктике. Рассмотрен цилиндрический остров высотой 10 метров и диаметром 300 метров, который опирается на дно и утоплен на 8 метров в воду. Сформулирована задача Стефана для его эволюции. Разработанны численные методы решения трехмерного квазилинейного уравнения теплопроводности, получены оценки времени жизни этого острова.
Главной целью исследования является разработка обучающего программного комплекса по работе с квантовыми компьютерами. Данный проект является частью цифровой образовательной среды, что положительно скажется на доступности информации и эффективности обучения. Основными техническими особенностями разработанного образовательного комплекса является получение теоретических и практических знаний в области квантовых вычислений (с упором на разработку квантовых программ).
Рассматривается задача разработки модуля выделения стационарной составляющей процессов изменения частоты водородных стандартов. Решение данной проблемы необходимо для построения прогнозирующих моделей, позволяющих повысить точность эталонов времени и частоты. Реализованы методы для устранения нестационарных составляющих трех типов: аномальных измерений, скачков частоты, детерминированных трендов.
Данные тезисы посвящены рассмотрению способов автоматической проверки SQL-задач на манипуляцию с данными. Данные задачи подразумевают изменение исходных данных, из-за чего возникают сложности реализации автоматической проверки пользовательских решений для таких задач.
В данной работе рассматривается вопрос о распараллеливании метода с использованием наложенных сеток на высокопроизводительных вычислительных системах с распределенной памятью. В статье рассматриваются алгоритмы декомпозиции сеток между процессами в двумерной среде с несколькими трещиноватыми слоями. На примере модели, содержащей 1000 геологических разломов, каждому из которых соответствует наложенная сетка, показан результат работы алгоритма.
Предлагается улучшение существующего алгоритма конструирования полярных кодов, использующего обучение с подкреплением.
За последнее десятилетие существенно выросла необходимость использования облачных вычислений. Естественным образом возникает вопрос о защищенности данных и алгоритма, выполняющего вычисления над ними.
Разработка алгоритмов на основе модели естественных нейронных сетей даёт возможность реализовывать механизмы по которым работают живые организмы, а из-за того, что биология нам уже может предоставить множество готовых схем нейронов, которые можно использовать для обработки окружающего мира. Особенно это актуально, когда нам надо сделать сложный алгоритм при отсутствии хорошего точного или приближённого решения или при отсутствии большого количества данные для машинного обучения.
Демонстраия опасности бэкдоров. Разработчики бэкдоров обычно полагаются на то, что бэкдор не будет обнаружен, и не прикладывают усилий по его защите, тем самым создавая пути обхода основных систем безопасности.
Существующее ПО содержит как конструкции, требующие корректироваки для перехода в защищенный режим, так и скрытые ошибки. Так как ошибки неочивидны, то необходимы подсказки для упрощения перевода библиотеки в защищенный режим исполнения - так называемая отладка.
Service Mesh – это выделенный уровень инфраструктуры для облегче-
ния взаимодействия между сервисами. Выделенный уровень связи может
обеспечить ряд преимуществ, таких как обеспечение наблюдаемости при
обмене данными, обеспечение безопасных соединений или автоматизация
повторных попыток и отката для неудачных запросов.
Рассмотрена задача построения ПО для автоматичкского тестирование REST API[1] на основе RAML/Swagger спецификации(фаззера REST API)[2]. Основная проблема при построении подобного фаззера — сложный структура языка корректных запросов к некоторому REST API. Решение подобной проблемы позволило бы на практике упростить и улучшить качество тестирования произвольного REST API сервиса без каких либо допольнительных ресурсов.
