Аннотация: Система автоматизированного распараллеливания SAPFOR (System FOR Automated Parallelization) включает инструменты для анализа и преобразования программ, основной ее целью является снижение сложности распараллеливания программ. Система SAPFOR ориентирована на исследования многоязыковых вычислительных комплексов, разрабатываемых на языках программирования Фортран и Си. Для анализа программ в этой системе используется низкоуровневое их представление в виде LLVM IR, которое позволяет проводить различные оптимизации с целью повышения качества анализа программ. При этом оно теряет некоторые особенности программы, отражаемые ее представлением на языке высокого уровня. Одной из таких особенностей является многомерная структура используемых массивов. Анализ зависимостей по данным является одним из ключевых при исследовании возможности параллельного выполнения программ. При этом такой анализ относится к классу NP-трудных задач. Знание многомерной структуры массивов позволяет во многих случаях учесть структуру индексных выражений в обращениях к массивам и снизить сложность проводимого анализа. Кроме того, использование многомерных массивов позволяет повысить уровень параллелизма в программе за счет использования многомерных решеток процессоров и распараллеливания гнезд циклов, а не отдельных циклов в гнезде. Данная возможность естественным образом поддерживается в DVM-системе. В настоящей работе рассмотрен подход, применяемый в системе SAPFOR для восстановления формы многомерных массивов и обращений к ним по их линеаризованному представлению в LLVM IR. Предложенный подход был успешно протестирован на различных приложениях, включая тесты производительности из набора NAS Parallel Benchmarks.

Аннотация:

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

Аннотация: На основе информации из открытых источников составлена таблица, отражающая показатели 128 действительных членов Российской академии образования в Российском индексе научного цитирования (РИНЦ). Основные результаты даны в сжатом виде и сопоставлены с итогами аналогичного исследования, выполненного несколькими годами ранее. Обсуждены сделанные выводы и особенности РИНЦ как аналитического инструмента.

Аннотация:

Статья посвящена ряду решений, принятых в проекте разрабатываемого в Лаборатории информационных систем Института систем информатики СО РАН учебного языка программирования Синхро, предназначенного для ознакомления с базовыми явлениями взаимодействия процессов и управления вычислениями над общей памятью. В центре внимания находится парадигма функционального программирования. Язык ориентирован на школьников младших и средних классов, а также студентов младших курсов и непрофессионалов. При обучении используется опыт оперирования игрушечными роботами, перемещающимися на клетчатой доске. Статья представляет интерес для всех, кто интересуется проблемами современной информатики, программирования и информационных технологий, особенно проблемами параллельных вычислений на суперкомпьютерах и распределённых системах, и вообще применением многопроцессорных комплексов.

Аннотация: Статья посвящена проблеме создания методики мониторинга состояния и систематизации сведений о фресковой живописи объектов культурного наследия. Проблема может быть решена путем компиляции традиционного метода картографирования фресок с применением современных средств визуализации. Описана новая технология Project Tango для фиксации текстур сложных 3D внутренних объёмов архитектурных памятников. Предложены методика экспресс сканирования с автоматическим картограммированием для дальнейшего сравнительного анализа изменения состояния стенописей и методика оценки процента утраты.

Аннотация: Описаны общий алгоритм и классификация этапов создания виртуальных культурно-исторических реконструкций. На примере проекта «Болгар XIV» разобраны основные стадии реализации реконструкции, рассмотрены архитектура, бытовое окружение и планировка города; дано общее описание той эпохи. Приведены общие соображения о подходах к созданию виртуальных реконструкций, в том числе правила процедурной генерации территорий.

Аннотация:

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

Аннотация:

Статья посвящена анализу тенденций развития технологий обработки Больших Данных и инструментария хранения разноформатных данных и аналитики, который проведен в рамках работ по программе фундаментальных исследований Отделения математических наук РАН «Алгебраические и комбинаторные методы математической кибернетики и информационные системы нового поколения», а также гранта РФФИ № 14-07-00783 «Способы хранения и обработки большого объема научно-справочных данных на современных аппаратных платформах».

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

Аннотация:

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

Аннотация:

Рассмотрено понятие «информационно-поисковая деятельность» и определено место такой деятельности в учебной работе студентов. Введено и проанализировано понятие «информационно-поисковые компетенции».

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

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

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

Аннотация:

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

Аннотация:

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

Аннотация: Изучено влияние использования векторных представлений слов на качество установления семантических ролей в русскоязычных текстах. Задача установления семантических ролей в русскоязычных текстах получила широкое распространение после выхода на свет корпуса FrameBank. Были исследованы модели векторных представлений слов word2vec, fastText и ELMo (Embeddings from Language Models). Анализировались метрики качества микро- и макро-F1 как оценочные показатели результатов автоматической разметки актантов. Был проведен ряд экспериментов, демонстрирующих, что модели ELMo, основанные на токенах предикатно-аргументных конструкций, показывают больший прирост качества по сравнению со всеми остальными моделями, в том числе, в сопоставлении с моделями ELMo, обученными на леммах, как по величине микро-F1, так и по величине макро-F1.

Аннотация:

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

Аннотация: Представлен опыт Пермского государственного гуманитарно-педагогического университета (ПГГПУ) выбора и подключения электронно-библиотечных систем, дана краткая характеристика эффективности использования этого вида информационных ресурсов. Рассказано о создании Электронной библиотеки ПГГПУ, ее целях, задачах, представленных в ней ресурсах, подчёркнута важность отражения интеллектуальных продуктов вуза и организации к ним доступа преподавателей и студентов.

Аннотация:

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

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

Аннотация:

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

Аннотация:

Наряду с традиционной формой электронного представления полных текстов научных статей – форматом PDF – в последние годы все большее распространение получает формат HTML, обладающий для онлайн-публикаций рядом преимуществ за счет имеющихся в нем средств для лучшей структуризации материала, вставки мультимедийного контента и реализации разного рода интерактивных и динамических возможностей. В связи с этим становится весьма актуальной задача получения HTML-версии научной статьи из исходного формата материала, присланного автором. В настоящей работе рассмотрены различные подходы к подготовке HTML-версий полных текстов научных статей, применяемые в издательствах, и описаны используемые при этом программные инструменты. Основное внимание уделено инструментам, применяемым для исходных материалов в формате Word. Изложены также основы стандарта JATS XML, широко применяемого при подготовке онлайн-публикаций журнальных статей.

Аннотация: Изложена методология подготовки студентов специальности «Математика и информатика» педагогического вуза в парадигме смешанного обучения с элементами дистанционного, объединяющего классическую дидактику и дидактику электронного обучения.

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

Аннотация:

Представлен алгоритм функционирования системы визуального восприятия для игровых агентов, реализованный в игровом движке Unity. Предложенный метод основан на сравнении изображений с двух камер, учитывающих сложные визуальные эффекты (освещение, тени, маскировку), и дополнен проверкой прямой видимости, учетом скорости движения объекта, и механикой постепенного обнаружения. Тестирование системы показало значительное повышение реалистичности обнаружения по сравнению с традиционными методами при сохранении производительности в пределах небольшой дополнительной нагрузки на процессор. Проведена оптимизация алгоритма с использованием Unity Job System и динамической активации камер. Проведен также анализ научной литературы по схожим решениям, выявлены их сильные и слабые стороны. Результаты могут быть применены в разработке видеоигр для создания реалистичного поведения неигровых персонажей, особенно в играх с элементами скрытности.

Аннотация:

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

Аннотация:

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

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

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

Аннотация:

Рост числа IT-продуктов с внедренными элементами машинного обучения (Machine Learning – ML) обуславливает повышение актуальности автоматизации процессов машинного обучения. Использование методов MLOps направлено на обеспечение обучения и эффективного развертывания приложений с производственной среде, автоматизируя решение побочных инфраструктурных вопросов слабо связанных с непосредственно разработкой модели.

Мы рассматриваем компоненты, принципы и подходы MLOps и анализируем существующие платформы и решения для построения конвейеров машинного обучения. Кроме того, предлагаем подход к построению конвейера машинного обучения на основе основных инструментов DevOps и библиотек с открытым исходным кодом.