Аннотация: Использование указателей и косвенной адресации в программе, а также сложная структура графа потока управления являются одними из основных препятствий при выполнении статического анализа программ. Обнаруженные в результате такого анализа свойства программы слишком консервативно описывают ее поведение и часто оказываются недостаточными для принятия решений о возможности ее параллельного выполнения. Использование динамического анализа программ позволяет расширить возможности средств автоматизации распараллеливания. В системе SAPFOR (System FOR Automated Parallelization) реализован инструмент динамического анализа, опирающийся на инструментацию программ в представлении LLVM, что позволяет исследовать программы на языках C и Fortran. Чтобы снизить накладные расходы на время выполнения инструментированной программы, сохранив при этом полноту проводимого анализа, используются возможности статического анализа, реализованного в SAPFOR. В процессе динамического анализа часть обращений к памяти, информация о которых была получена в процессе статического анализа, может быть проигнорирована. Разработанный инструмент был протестирован на тестах производительности из пакета NAS Parallel Benchmarks для языков C и Fortran. В процессе динамического анализа кроме традиционных видов зависимостей (flow, anit, output) также определяются переменные, зависимость по которым может быть устранена за счет приватизации или конвейерного выполнения циклов. Совместно с возможностями DVM и OpenMP это существенно облегчает, в том числе, и ручное распараллеливание, облегчая задание соответствующих директив компилятора.

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

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

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

Аннотация:

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

Аннотация:

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

Аннотация: -

Аннотация: Статья посвящена анализу взаимосвязи национального проекта «Образование» государственной программы Российской Федерации «Развитие образования» с подготовкой преподавателей математики и информатики в вузе. Выделены основные направления указанного проекта, которые должны стать основой модернизации образовательных программ, направленных на подготовку специалистов в области математики и информатики, педагогов рассматриваемых предметных областей.

Аннотация:

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

Аннотация: Работа посвящена вопросам обеспечения интеграции информационных ресурсов РАН, информационной поддержки научных исследований в рамках Единого Научного Информационного Пространства (ЕНИП) РАН. Рассматриваются потребности, цели и задачи организации ЕНИП РАН, как среды взаимосвязанных распределённых гетерогенных систем. Обсуждается возможности применения технологии ИСИР для обеспечения решения этих задач, которые могут использоваться как для формирования инфраструктурных элементов среды, так и для создания адаптеров существующих систем и реализации новых с широкой гаммой вариации соответствующих служб. Кратко рассматривает архитектурные принципы последних разработок ИСИР, применение Semantic Web-технологий и многоуровневое деление архитектуры, инструментарий разработчика ИСИР и разработка информационных систем и Web-порталов на базе технологий ИСИР.

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

Аннотация: Экспоненциальный рост размеров таких графов, как социальные сети, интернет-графы и др., требует новых подходов к их визуализации. Наряду с представлениями типа «диаграммы связей вершин» все чаще используются визуализации матриц смежностей, а также разнообразные комбинации этих представлений. В данном обзоре рассмотрены новые подходы к визуализации графов большого объема при помощи матриц смежностей и приведены примеры приложений, где эти подходы применяются. Описаны различные типы шаблонов, возникающие при упорядочении матриц смежностей, соответствующих современным сетям, и алгоритмы, позволяющие выделять эти шаблоны. В частности, продемонстрировано, как использование методов упорядочения матриц совместно с алгоритмами поиска таких шаблонов, как звезды, ложные звезды, цепи, почти клики, полные клики, двудольные ядра и почти двудольные ядра, позволяют создавать понятные визуализации графов, имеющих миллионы вершин и ребер. Также приведены примеры гибридных визуализаций, использующих диаграммы связей вершин для представления неплотных частей графа, а матрицы смежностей – для представления плотных частей и их приложений. Гибридные методы используются для визуализации сетей соавторства, глубоких нейронных сетей, сравнения сетей связности человеческого мозга и др.

Аннотация:

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

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

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

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

Аннотация:

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

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

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

Аннотация: Представлена технология автоматизированного построения онтологии предметной области на основе информации, извлекаемой из комментариев реляционных баз данных ПАО «Татнефть». Технология основана на построении конвертора (компилятора), транслирующего логическую модель данных Epicentre Petrotechnical Open Software Corporation (POSC), представленную в виде ER-диаграмм и набора описаний на объектно-ориентированном языке EXPRESS, в язык описания онтологий OWL, рекомендованный консорциумом W3C. Описаны основные синтаксические и семантические аспекты преобразования.

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

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

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

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

Аннотация:

Автоматизация параллельного программирования затрагивает различные этапы в разработке параллельной программы, начиная от профилирования исходной программы, ее преобразования и приведения к виду, допускающему эффективное распараллеливание, и заканчивая построением параллельной версии программы и ее последующей оптимизацией. Немалое значение имеет выбор целевой модели параллельного программирования, с одной стороны, позволяющей задействовать разнообразие существующих на данный момент аппаратных ресурсов, а с другой, упрощающей разработку автоматизированных средств и позволяющей пользователю изучить решения, принимаемые системой автоматизированного распараллеливания. Система SAPFOR (System FOR Automated Parallelization) объединяет различные подходы, направленные на автоматизацию программирования, и позволяет пользователю принимать активное участие в процесс распараллеливания программ. Кроме того, распараллеливание выполняется в модели DVMH, позволяющей разрабатывать эффективные параллельные программы для гетерогенных вычислительных кластеров.

В настоящей статье рассмотрен подход к автоматизированному распараллеливанию программ, реализованный в системе SAPFOR. Отдельное внимание уделено архитектуре системы и реализации подсистемы интерактивного взаимодействия с пользователем. Рассмотрено применение интерактивной оболочки в процессе распараллеливания и приведены результаты распараллеливания некоторых программ из набора NAS Parallel Benchmarks 3.3.1 c ручным распараллеливанием, выполненным с помощью OpenCL.

Аннотация: Представлено использование теории геометрического мышления ван Хиле для организации смешанного обучения студентов педагогического отделения Института математики и механики им. Н.И. Лобачевского Казанского (Приволжского) федерального университета на основе SPOC курса «Элементарная математика: планиметрия». Обучение планиметрии включает в себя применение различных IT-приемов и средств, способных повысить качество усвоения материала и формировать необходимые профессиональные компетенции будущего учителя математики. В курсе реализуются технологии проектно-модульного и перевернутого обучения.

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

Аннотация: Веб-граф является наиболее популярной моделью фрагментов реального Веба, применяемой в науке о Вебе. Исследование сообществ в веб-графе способствует лучшему пониманию организации фрагмента Веба и процессов, происходящих в нём. Предложено выделить в веб-графе коммуникационный граф, содержащий только те вершины (и дуги между ними), которые имеют встречные дуги, и в нём исследовать задачу разбиения на сообщества. По аналогии с социальными исследованиями связи, реализуемые через ребра в коммуникационном графе, предложено называть «сильными», а все остальные – «слабыми». На сильных связях строятся тематические сообщества, имеющие содержательную интерпретацию. В то же время слабые связи способствуют коммуникациям между сайтами, не имеющими общих признаков по сфере деятельности, географии, подчиненности и т. д., и в основном сохраняют связность фрагментов Веба даже при отсутствии сильных связей. Эксперименты, проведенные для фрагмента научно-образовательного Веба России, показали возможность содержательной интерпретации полученных результатов и перспективность такого подхода.