Аннотация: Предложен подход к организации экспертной оценки научного документа, представленного для публикации в математический журнал. Ограничение предметной области связано с использованием системы математической классификации Mathematical Sciences Classification System – MSC. Представлена рекомендательная система, позволяющая сформировать список возможных экспертов для проведения процедуры научного рецензирования математической статьи. Эта рекомендательная система использует коды MSC2020, изначально представленные автором статьи. Если в статье указаны коды MSC2000 или MSC2010, производится их автоматическое преобразование в коды MSC2020. Для каждого эксперта в системе поддерживается персональный профиль, который содержит набор кодов MSC2020, дополненный числовыми характеристиками, – весами, вычисленными для каждого кода в соответствии с системой учета компетенций, предпочтений или отказов от участия в процедуре рецензирования, сформированных в процессе предыдущей работы в качестве эксперта. Этот набор автоматически редактируется в случае включения эксперта в список возможных рецензентов – повышаются или уменьшаются веса нескольких кодов, а также добавляются новые коды. Рекомендательная система реализована в виде встроенного инструмента (плагина) платформы Open Journal Systems (OJS). Разработанный метод апробирован в информационной системе научного журнала Lobachevskii Journal of Mathematics (https://ljm.kpfu.ru).

Аннотация: Решен ряд задач, связанных с построением фабрики метаданных цифровой математической библиотеки Lobachevskii-DML. Под фабрикой метаданных понимается система взаимосвязанных программных инструментов, направленных на создание, обработку, хранение и управление метаданными объектов цифровых библиотек и позволяющих интегрировать создаваемые электронные коллекции в агрегирующие цифровые научные библиотеки. С целью выбора оптимальных таких программных инструментов из существующих и их модернизации: обсуждены особенности представления метаданных документов различных электронных коллекций, связанные как с применяемыми форматами, так и с изменениями состава и полноты набора метаданных в течение всего времени издания соответствующего научного журнала;представлены и охарактеризованы программные инструменты управления научным контентом и методы организации автоматизированной интеграции репозиториев математических документов с другими информационными системами;обсуждена такая важная функция фабрики метаданных цифровой библиотеки, как нормализация метаданных в соответствии с форматами других агрегирующих библиотек.В результате разработки фабрики метаданных цифровой математической библиотеки Lobachevskii-DML предложена система сервисов автоматизированного формирования метаданных электронных математических коллекций; разработан xml-язык представления метаданных, основанный на Journal Archiving and Interchange Tag Suite (NISO JATS); созданы программные инструменты нормализации метаданных электронных коллекций научных документов в форматах, разработанных международными организациями – агрегаторами ресурсов по математике и Computer Science; разработан алгоритм приведения метаданных к формату oai_dc и генерации структуры архивов для импорта в цифровое хранилище DSpace; предложены и реализованы методы интеграции электронных математических коллекций Казанского университета в отечественные и зарубежные цифровые математические библиотеки.

Аннотация: Рассмотрена модель распространения тепловых полей в многолетнемерзлых породах от различных инженерных объектов, функционирующих в Арктических районах. В предложенную модель включены наиболее существенные технические и климатические параметры, влияющие на формирование тепловых полей в приповерхностном слое грунта. Основной целью исследования является долгосрочное прогнозирование изменения динамики границы залегания вечной мерзлоты при эксплуатации кустовой площадки северного нефтегазового месторождения. Такой прогноз получается при моделировании сложной системы, состоящей из источников тепла (холода) и мерзлого грунта, растепление которого может приводить к потере его несущей способности и возможным техногенным и экологическим авариям. Например, источниками тепла могут выступать добывающие скважины, а источниками холода – сезоннодействующие охлаждающие устройства, которые используются для термостабилизации грунта. Для минимизации воздействия источников тепла на вечную мерзлоту использованы различные варианты теплоизоляции, а для сохранения первоначального температурного режима верхнего слоя грунта – отсыпки, состоящие из песка, бетона, пеноплекса или другого теплоизолирующего материала. Разработанный комплекс программ был использован при проектировании 12 северных нефтегазовых месторождений. Для решения описанной задачи в сложной трехмерной области требуются существенные вычислительные ресурсы. Время расчета одного варианта часто может превышать 10–20 часов машинного времени на суперЭВМ. Для ускорения проведения численных расчетов были использованы многоядерные процессоры. Приведены численные расчеты, которые иллюстрируют возможности разработанного комплекса программ для проведения долгосрочных прогнозов по определению изменения границ распространения зон вечной мерзлоты, а также показывают, что на многоядерных процессорах можно достичь ускорения, близкого к теоретическому.

Аннотация:

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

При проектировании учебного курса «Использование компьютерного моделирования в образовании» в LMS Moodle использован следующий набор элементов: «лекция», «задание», «тест», «форум», «ресурс», «wiki», «чат», «глоссарий».

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

Аннотация: Описан опыт проектирования различных вариантов веб-среды разработки (IDE) для Оптимизирующей распараллеливающей системы и компилятора на реконфигурируемую архитектуру на основе существующих инструментов, таких, как Jupyter Notebook и Eclise Che. Сформированы требования к инструментам в составе Открытой распараллеливающей системы для поддержки их интеграции в веб-среду разработки, доступную в интернете. Описан процесс создания переносимого окружения для разработки модулей компилятора, демонстрации его работы и обучения навыкам разработки параллельных программ. Приведены примеры использования разработанных преобразований программ, используемых при оптимизации программ для ПЛИС в разработанной веб-среде, и описаны способы визуализации результатов выполнения преобразований и анализа при использовании Jupyter Notebook. Проведенная работа демонстрирует возможность организации удаленного доступа к библиотеке разрабатываемых инструментов оптимизации программ в виде, удобном прикладным разработчикам.

Аннотация:

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

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

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

Аннотация:

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

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

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

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

Аннотация:

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

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

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

Аннотация:

Численно получены зависимости первых четырёх частот собственных колебаний плоской регулярной фермы распорного типа. Использована модель, в которой масса фермы концентрируется в её узлах. Для расчёта жёсткости фермы использована формула Максвелла–Мора. Для первой частоты методом индукции с использованием упрощённого варианта метода Донкерлея в системе компьютерной математики Maple построена аналитическая зависимость от числа панелей. Показано хорошее совпадение с численным результатом. Получена формула для статического прогиба фермы как функция числа панелей, размеров и нагрузки.

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