• Main Navigation
  • Main Content
  • Sidebar

Электронные библиотеки

  • Главная
  • О нас
    • О журнале
    • Цели и задачи
    • Тематика
    • Главный редактор
    • Редакция
    • Отправка материалов
    • Заявление об открытом доступе
    • Заявление о конфиденциальности
    • Контакты
  • Текущий выпуск
  • Архивы
  • Регистрация
  • Вход
  • Поиск
Издается с 1998 года
ISSN 1562-5419
16+
Language
  • Русский
  • English

Найти

Расширенные фильтры

Результаты поиска

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

Алексей Константинович Журавлёв, Карен Альбертович Григорян
718-729
Аннотация:

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


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


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


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

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

Наука программирования в математических олимпиадах

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

Синтетический датасет MetaHuman для оптимизации скиннинга 3D-моделей

Рим Радикович Газизов, Макар Дмитриевич Белов
244-279
Аннотация:

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


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

Ключевые слова: синтетический датасет, Metahuman, нейронные сети, скиннинг 3D-моделей, компьютерная анимация, машинное обучение.

О разделимости входо-выходных полуавтоматов с недетерминированным поведением

Игорь Борисович Бурдонов, Нина Владимировна Евтушенко, Александр Сергеевич Косачев
634-655
Аннотация: При синтезе тестов для проверки функциональных и нефункциональных требований для компонентов различных управляющих систем особое значение имеет понятие различимости, поскольку должна быть возможность отличить правильно функционирующий компонент от неправильно функционирующего, и при активном тестировании для этого используются специальные различающие последовательности. Такие последовательности хорошо исследованы для детерминированных и полностью определенных автоматов, однако компоненты управляющих систем часто могут быть описаны только частично и имеют недетерминированное поведение. В настоящей работе мы рассматриваем модель входо-выходного полуавтомата, вводим понятие разделяющей последовательности для двух таких полуавтоматов, при однократной подаче которой можно однозначно распознать, какой из двух полуавтоматов представлен для эксперимента, и предлагаем алгоритм построения таких последовательностей для специального класса полуавтоматов.
Ключевые слова: входо-выходной полуавтомат, тестирование, разделяющая последовательность.

Процедурные методы скиннинга гуманоидных персонажей

Рим Радикович Газизов, Алексей Витальевич Шубин
404-440
Аннотация:

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


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

Ключевые слова: трёхмерное моделирование, вершинные коэффициенты, оснастка, процедурные методы, нейронные сети.

Модель самотрансформации графов, основанная на операции изменения конца ребра

Игорь Борисович Бурдонов
315-335
Аннотация: Рассмотрена распределенная сеть, топология которой описана неориентированным графом. Сеть может сама изменять свою топологию, используя специальные «команды», подаваемые ее узлами. В работе предложена предельно локальная атомарная трансформация acb изменения конца c ребра ac, «движущегося» вдоль ребра cb от вершины c к вершине b. В результате этой операции ребро ac удаляется, а ребро ab добавляется. Такая трансформация выполняется по «команде» от общей вершины c двух смежных ребер ac и cb. Показано, что из любого дерева можно получить любое другое дерево с тем же множеством вершин, использовав только атомарные трансформации. Если степени вершин дерева ограничены числом d (d3), то трансформация не нарушает этого ограничения. В качестве примера цели такой трансформации рассмотрены задачи максимизации и минимизации индекса Винера дерева с ограниченной степенью вершин без изменения множества его вершин. Индекс Винера – это сумма попарных расстояний между вершинами графа. Максимальный индекс Винера имеет линейное дерево (дерево с двумя листовыми вершинами). Для корневого дерева с минимальным индексом Винера определены его вид и способ вычисления числа вершин в ветвях соседей корня. Предложены два распределенных алгоритма: трансформации дерева в линейное дерево и трансформации линейного дерева в дерево с минимальным индексом Винера. Доказано, что оба алгоритма имеют сложность не выше 2n–2, где n – число вершин дерева. Также рассмотрена трансформация произвольных неориентированных графов, в которых могут быть циклы, кратные ребра и петли, без ограничения на степени вершин. Показано, что любой связный граф с n вершинами может быть преобразован в любой другой связный граф с k вершинами и тем же числом ребер за время не более 2(n+k)–2.
Ключевые слова: распределенная сеть, самотрансформация графов, индекс Винера.

Разработка игрового веб-приложения для обучения языку программирования Java с исполнением кода в реальном времени

Лия Радиковна Нуруллина, Дамир Дмитриевич Ильясов, Азат Ильдарович Хайруллин, Руслан Радикович Мирхусаинов, Марсель Рафаэлевич Сидиков, Михаил Михайлович Абрамский, Азат Ринатович Ахметшин
222-234
Аннотация:

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

Ключевые слова: язык программирования java, обучение программированию, игровые обучающие приложения, клиент-серверные приложения, фреймворк Spring.

Сетевые коммуникации библиотек: тренд современного развития

Юлия Викторовна Маслова
951-962
Аннотация: Сетевые формы взаимодействия набирают обороты в системе социального общества, сегодня их рассматривают в ряду инноваций, приписывая значительное число возможностей и достоинств. В современном информационном обществе, где информация распространяется с огромной скоростью, без сетевого взаимодействия невозможно представить инновационные процессы. Любая организации всегда испытывает дефициты – ресурсные, кадровые, материально-технические. Не являются исключением и библиотеки, поэтому автор статьи полагает, что создание различных форм сетевого взаимодействия позволит существенно повысить деятельность и престиж каждой библиотеки, входящей в сеть.
Ключевые слова: сеть, сетевое взаимодействие, сетевая коммуникация, сетевое сообщество библиотек.

Опыт верификации реализаций клиента протокола TLS 1.3

Алексей Вячеславович Никешин, Виктор Зиновьевич Шнитман
104-121
Аннотация:

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


В работе использован новый тестовый набор для верификации реализаций клиента протокола TLS 1.3 на соответствие спецификациям интернет, разработанный на основе спецификации RFC 8446 с использованием технологии UniTESK и методов мутационного тестирования. Для тестирования реализаций на соответствие формальным спецификациям применена технология UniTESK, предоставляющая средства автоматизации тестирования на основе использования конечных автоматов. Состояния тестируемой системы задают состояния автомата, а тестовые воздействия – переходы этого автомата. При выполнении перехода заданное воздействие передается на тестируемую реализацию, после чего регистрируются реакции реализации и автоматически выносится вердикт о соответствии наблюдаемого поведения спецификации. Мутационные методы тестирования используются для обнаружения нестандартного поведения тестируемой системы (завершение из-за фатальной ошибки, «подвисание», ошибки доступа к памяти) с помощью передачи некорректных данных, такие ситуации часто остаются за рамками требований спецификаций. В сообщения, сформированные на основе разработанной модели протокола, вносятся какие-либо изменения. Модель протокола дает возможность вносить изменения в поток данных на любом этапе сетевого обмена, что позволяет тестовому сценарию проходить через все значимые состояния протокола и в каждом таком состоянии проводить тестирование реализации в соответствие с заданной программой. Представленный подход доказал свою эффективность в нескольких наших проектах при тестировании сетевых протоколов, обеспечив обнаружение различных отклонений от спецификации и других ошибок. Текущая работа является частью проекта верификации протокола TLS 1.3 и охватывает реализации клиентской части протокола.

Ключевые слова: безопасность, TLS, TLSv1.3, протоколы, тестирование, оценка устойчивости, интернет, стандарты, формальные методы спецификации.

Опыт верификации реализаций протокола TLS 1.3

Алексей Вячеславович Никешин, Виктор Зиновьевич Шнитман
902-922
Аннотация:

Представлен опыт верификации реализаций сервера криптографического протокола TLS версии 1.3. TLS – широко распространенный криптографический протокол, предназначенный для создания защищенных каналов передачи данных и обеспечивающий необходимую для этого функциональность: конфиденциальность передаваемых данных, целостность данных, аутентификацию сторон. Новая версия протокола TLS 1.3 была представлена в августе 2018 года и имеет ряд существенных отличий по сравнению с предыдущей версией 1.2. Ряд разработчиков протокола TLS уже включил поддержку последней версии в свои реализации. Данные обстоятельства делают актуальным проведение исследований в области верификации и безопасности реализаций новой версии протокола TLS. В работе использован новый тестовый набор для верификации реализаций протокола TLS 1.3 на соответствие спецификациям интернета, разработанный на основе спецификации RFC 8446 с использованием технологии UniTESK и методов мутационного тестирования. Текущая работа является частью проекта верификации протокола TLS 1.3 и охватывает часть дополнительной функциональности и необязательных расширений протокола.


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


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

Ключевые слова: безопасность, TSL, TSLv1.3, протоколы, тестирование, оценка устойчивости, Интернет, стандарты, формальные методы спецификации.

Семантический анализ документов в системе управления цифровыми научными коллекциями

Шамиль Махмутович Хайдаров
61-85
Аннотация: Предложены методы семантического анализа документов в системе управления цифровыми научными коллекциями, в том числе электронными научными журналами. Рассмотрены методы обработки документов, содержащих математические формулы, а также способы конвертации этих документов из формата OpenXML в формат TeX. Разработан алгоритм поиска по формулам в коллекциях математических документов, хранящихся в формате OpenXML. Алгоритм реализован в виде онлайн-сервиса на платформе science.tatarstan.
Ключевые слова: семантический анализ, издательские системы.

Конечно-автоматные методы синтеза тестов с гарантированной полнотой для входо-выходных полуавтоматов

Игорь Борисович Бурдонов, Нина Владимировна Евтушенко, Александр Сергеевич Косачев
18-34
Аннотация:

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

Ключевые слова: входо-выходной полуавтомат, конечный автомат, модель неисправности, полный тест.

О некоторых аспектах содержания математического образования в условиях цифровой экономики

Алия Анасовна Фатхуллина
202-209
Аннотация:

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

Ключевые слова: математическое образование, цифровизация, математические компетенции, цифровая экономика.

Методика сетевого анализа научных публикаций

Инна Геннадьевна Ольгина
646-672
Аннотация:

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

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

О некоторых свойствах графов сотрудничества учёных в Math-Net.ru

Андрей Анатольевич Печников, Дмитрий Евгеньевич Чебуков
184-196
Аннотация:

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

Ключевые слова: научное сотрудничество, цитирование, соавторство, граф, математический портал Math-Net.Ru.

Антропоморфный социальный агент с симуляцией эмоций и его реализация

Влада Владимировна Кугуракова, Максим Олегович Таланов, Надир Ринатович Манахов, Денис Сергеевич Иванов
254-268
Аннотация: Рассмотрены эмоциональные человеко-машинные интерфейсы, а именно, антропоморфные социальные агенты. Описана кросс-дисциплинарная задача создания антропоморфного агента, который «чувствует» и «реагирует» на эмоциональные стимулы. Предложена нейробиологически инспирированная реализация, основанная на механике химических и физических процессов, происходящих в человеческом мозге. Проектирование и разработка эмоциональной модели осуществлены симуляцией нейромодуляторов: дофамина, серотонина, нор-адреналина. Отображение эмоций достигается за счёт комбинации данных нейромодуляторов в различных пропорциях. Для этого используется гипотеза Хьюго Лёфхейма («куб эмоций»), которая в свою очередь базируется на теории аффек-тов Сильвиана Томпкинса. Описаны преодоление феномена “uncanny valley” и подходы к пониманию взаимосвязей мимики и мотивации индивидуума. Построена реалистичная вычислительная модель, которая позволяет адекватно визуализировать мимику виртуального агента синхронизировано с производимой им речью. На основе трехмерной модели человеческой головы создан антропоморфный эмоциональный агент, способный на мимические реакции в связи с эмоцио-нальным контекстом.
Ключевые слова: антропоморфный социальный агент, искусственный интеллект.

Библиотека и музей Кабинета географии Императорского Казанского университета

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

Определение дефектов на стальных листах с использованием сверточных нейронных сетей

Родион Дмитриевич Гаскаров, Алексей Михайлович Бирюков, Алексей Федорович Никонов, Даниил Владиславович Агниашвили, Данил Айдарович Хайрисламов
1155-1171
Аннотация:

Сталь в наши дни является одним из важнейших производственных материалов, который используется повсеместно, от медицины до промышленных отраслей. Своевременное обнаружение и распознавание дефектов на стальных листах после проката – одна из ключевых проблем этого производства с учетом его сложности и необходимости затрат большого количества времени на проведение вручную проверок каждого листа и каждой заготовки. Одними из целей настоящей работы были автоматизация и упрощение данного процесса. Для решения соответствующих задач была использована, в первую очередь, модель сверточной нейронной сети под названием UNet, которая уже зарекомендовала себя как отличный инструмент решения таких задач — при высокой результативности она требует меньшего количества учебных данных. В основе этой модели лежат последовательная, производимая в несколько шагов свертка изображения до приемлемого размера (иными словами, сжатие или кодирование), а затем развертка, восстановление изображения к исходному размеру и соотношению сторон, после чего на выходе будет получена маска изображения с классами элементов, которые необходимо было найти. В дополнение к этой нейронной сети в качестве кодирующего (сворачивающего) слоя была использована другая модель — ResNet34, предварительно обученная на датасете (наборе данных) ImageNet1000. В этой модели также был модифицирован выходной слой — вместо 34 слоев с классами на выходе возвращалось лишь 4, что сократило время обработки и позволило использовать наиболее удачные определения в результатах. Используя данный подход и проведя все необходимые проверки, при подведении итогов, мы получили результат в 94,8% точности определения дефектов на стальных листах.

Ключевые слова: сверточные нейронные сети, нейронные сети, машинное обучение, сталь, искусственный интеллект, UNet, ResNet, определение дефектов, сегментация, классификация.

Cистема поддержки принятия решений при выборе источников информации в сетях цитирования

Инна Геннадьевна Ольгина
76-96
Аннотация:

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


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

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

Опыт создания неигровых персонажей в виртуальных мирах

Амир Ринатович Бакиров, Даниил Иванович Костюк, Евгений Николаевич Лазарев, Алина Робертовна Хафизова
502-520
Аннотация:

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

Ключевые слова: виртуальные реконструкции, Великий Болгар, неигровые персонажи, 3Д модели, искусственный интеллект.

Qualitative Analysis of the Relationship Between Teachers and Students`not-Knowing in the Process of Solving Reasoning Tasks

Kevin Fierro, Mourat Tchoshanov, Gulshat Shakirova
749-758
Аннотация: Mason and Spence’s (1999) work demonstrate a detailed view into the concept of knowing. Although they highlight the importance of not-knowing as a first step, it is a topic that is not well researched. This study aims at expanding that research, by analyzing not-knowing expressions from teacher to student and possible connections to be found. During a course of geometric reasoning student teachers were asked to reason with a tangram while simultaneously recording their expressions of not-knowing and reflecting on it periodically. Student teachers were then tasked to teach this lesson to their students, who would also reflect and express their forms of not-knowing. Findings presented no real link between teacher-student expressions of not-knowing, but two major conclusions were made. Individuals altogether struggle conveying their not-knowing clearly and when they did express it, these expressions leaned heavily on not-knowing-that and not-knowing-how forms. A discussion follows to interpret said findings. A conclusion is made detailing key points in the study and what comes next for the concept of not-knowing.
Ключевые слова: knowing, not knowing, secondary school mathematics teachers.

Использование DVM-системы при разработке программы для расчетов задачи радиационной магнитной газодинамики и исследования динамики плазмы в канале КСПУ

Владимир Александрович Бахтин, Дмитрий Александрович Захаров, Андрей Николаевич Козлов, Вениамин Сергеевич Коновалов
594-614
Аннотация: DVM-система предназначена для разработки параллельных программ научно-технических расчетов на языках C-DVMH и Fortran-DVMH. Эти языки используют единую DVMH-модель параллельного программирования и являются расширением стандартных языков Си и Фортран спецификациями параллелизма, оформленными в виде директив для компилятора. DVMH-модель позволяет создавать эффективные параллельные программы для гетерогенных вычислительных кластеров, в узлах которых в качестве вычислительных устройств наряду с универсальными многоядерными процессорами могут использоваться ускорители, графические процессоры или сопроцессоры Intel Xeon Phi. В статье описан опыт успешного применения DVM-системы для разработки параллельного программного кода для расчетов задачи радиационной магнитной газодинамики и исследования динамики плазмы в канале КСПУ.
Ключевые слова: автоматизация разработки параллельных программ, DVM-система, плазменный ускоритель, радиационная магнитная газодинамика.

Препринт как материал для оверлейного журнала

Татьяна Алексеевна Полилова
387-407
Аннотация:

Движение Открытого доступа имеет давнюю историю. В 2002 г. впервые была озвучена Будапештская инициатива Открытого доступа. Однако до сих пор проблема Открытого доступа к научным публикациям не получила своего полного и окончательного решения. В 2018 г. в Европейском союзе был принят План S, который предписывает к 2020 г. сделать открытый доступ реальностью. План S подчеркивает важность самоархивирования статей и роль архивов (серверов) препринтов для размещения научных результатов. Отмечается, что архивы препринтов обладают большим потенциалом для редакционно-издательских инноваций. Научные журналы ограниченного для читателя доступа, функционирующие на коммерческой основе, не сдают своих позиций. Но и здесь мы видим определенные подвижки. Журналы стали менее жестко формулировать свою политику по отношению к препринтам и постпринтам статей.


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


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

Ключевые слова: научный журнал, Справедливый Открытый доступ, Открытый архив, сервер препринтов, оверлейный журнал.

Аналитическая система мультитрейдинга

Феликс Освальдович Каспаринский
796-945
Аннотация:

Аналитическая система мультитрейдинга, представленная в статье, разработана для оперативного, тактического и стратегического прогнозирования изменения цен различных финансовых инструментов на рынке Форекс с использованием компьютерного интернет-терминала Metatrader 5. В Аналитических окнах терминала организовано функциональное распределение 17 индикаторов технического анализа по секциям Цены, Осцилляций, Трендов и Контроля. При настройке комплексных индикаторов Уровня Равновесия Цены, Распределения Осцилляций, Потенциала Тренда и Тренда Групп Осцилляций используется методика подключения трендовых индикаторов к данным осцилляторов. Комплексные индикаторы демаскируют стадии формирования элементарных ценовых осцилляций и их групп (пакетов из 4 осцилляций, блоков из 2 пакетов и модулей из 4 блоков), помогают устанавливать местонахождение опорных точек ценовых каналов. Для синхронного анализа оперативных, тактических и стратегических тенденций изменения цен одного финансового инструмента в Аналитический дисплей объединяются шесть Аналитических окон с последовательным увеличением масштабов времени интервальных графиков в 4 раза. Разработан регламент мультимасштабной разметки, оформления и использования Вил Эндрюса для прогноза долговременных тенденций. Оперативные и тактические прогнозы визуализируются посредством мультимасштабных трендовых стрелок в Зоне Актуальных Осцилляций. Предложена методика объединения инструментария фундаментального и технического анализа для определения вероятности начала и относительной значимости фундаментальных событий, не содержащихся в экономическом календаре.

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

Учёт структуры документа в методе автоматического аннотирования математических понятий в образовательных текстах

Константин Сергеевич Николаев
558-577
Аннотация:

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


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

Ключевые слова: семантический анализ, математическая онтология, дидактические отношения, математическое образование, разметка документа.
1 - 25 из 123 результатов 1 2 3 4 5 > >> 
Информация
  • Для читателей
  • Для авторов
  • Для библиотек
Отправить материал
Текущий выпуск
  • Логотип Atom
  • Логотип RSS2
  • Логотип RSS1

Электронные библиотеки

ISSN 1562-5419

Информация

  • О журнале
  • Цели и задачи
  • Тематика
  • Руководство для авторов
  • Отправка материалов
  • Заявление о конфиденциальности
  • Контакты
  • eLIBRARY.RU
  • dblp computer science bibliography

Отправить статью

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

Отправить материал
Больше информации об этой издательской системе, платформе и рабочем процессе от OJS/PKP.

© 2015-2025 Казанский (Приволжский) федеральный университет; Институт развития информационного общества