Искусственный интеллект, интеллектуальные системы, нейронные сети. Рубрика в журнале - Программные системы: теория и приложения
Оценка фактуальности для пропозиции в синтаксически подчиненном положении
Статья научная
В статье описывается методика определения фактуальности пропозиции для целей автоматического анализа текстов. Особое внимание уделено пропозиции, которая находится в синтаксически подчиненном положении. Дается определение понятию «фактуальный статус» и описываются его компоненты, основным из которых является т.н. «эпистемическая оценка».Методика заключается в построении иерархии предикативных вершин в полипредикативном предложении. На основании этой иерархии для каждой выделенной предикативной вершины с помощью правил и словаря устанавливается эпистемическая оценка.
Бесплатно
Паутина: высокоскоростная коммуникационная сеть
Статья научная
В статье представлена разработанная в Институте программных систем им. А.К. Айламазяна РАН в кооперации с отечественными компаниями высокоскоростная коммуникационная сеть Паутина, основанная на активных оптических кабелях (АОК) и программируемых логических интегральных схемах (ПЛИС). Данная сеть предназначена для использования в высокопроизводительных вычислительных системах (суперкомпьютерах). В рамках проекта разработана плата сетевого адаптера, активные оптические кабели, а также аппаратное (на основе ПЛИС) и программное обеспечение. Технические характеристики сети находятся на современном уровне и обеспечивают скорость передачи данных до 56 Гбит/с между двумя платами по активному оптическому кабелю.
Бесплатно
Статья научная
В работе представлены промежуточные результаты исследований, посвященных решению ряда задач обработки полноцветных и мультиспектральных изображений дистанционного зондирования Земли. Приведены результаты экспериментов по обнаружению целевых регионов интереса с помощью метода спектрографической «закраски» и нейросетевой кластеризации; решена задача обнаружения сложных ригидных объектов. Предложена реализация алгоритма преобразования мультиспектральных снимков в полутоновые и цветные. Все программы разработаны для функционирования на гетерогенной вычислительной установке.
Бесплатно
Практики балансирования компьютерных игр
Статья научная
Предметом исследования является сфера разработки игровых и интерактивных проектов. В частности, разработка системы игрового баланса для них. В ходе изучения данной темы учтены актуальные тренды, сформированные как в научной, так и в коммерческой сферах. Итоговые выводы и видение дальнейшей проектной работы сформированы благодаря методам моделирования и эксперимента. Результаты работы - два инструмента для создания и автоматического редактирования игрового баланса. Они являются частью плана разработки игрового инструмента для прототипирования компьютерных игр, сокращающего время и ресурсы на разработку за счет автоматического создания контента.
Бесплатно
Преимущества и недостатки использования метода векторов указателей в векторном потоковом процессоре
Статья научная
Статья посвящена анализу выполнения программы быстрой сортировки (Quicksort) в векторном процессоре с архитектурой управления потоком данных (ВПП), в котором для хранения массивов используется метод векторов/указателей. Выявленный ранее на программе Quicksort недостаток хранения массивов с помощью векторов указателей был компенсирован введением команд split и fuse в систему команд процессора. Анализируется усовершенствованный граф программы Quicksort и результаты её моделирования на исходной и модернизированной системе команд ВПП. Производится сравнение результатов моделирования ВПП с производительностью процессорного ядра IntelSkylake.
Бесплатно
Преобразования дифференциальных управляемых систем для поиска приближенно-оптимального управления
Статья научная
Показано, что управляемая дифференциальная система общего вида может быть преобразована к эквивалентным системам с линейными управлениями, к которым применимы преобразования к производным задачам меньшего порядка, известные из теории вырожденных задач, доставляющие идеальные магистральные решения исходной задаче. Предлагаются процедуры аппроксимации идеального магистрального решения решениями исходной системы, как при неограниченных линейных управлениях, так и при условии их ограниченности для получения допустимых начальных приближений, и алгоритмы их итерационного улучшения, апробированные на прикладных задачах.
Бесплатно
Применение логики построений на графах к исполнению моделей бизнес-процессов
Статья научная
В статье предлагается подход к исполнению бизнес-процессов, который основан на логическом синтезе программ по модели бизнес-процесса. В подходе используется логика построений на графах GL5
Бесплатно
Программирование основ вычислительной алгебры на языке с зависимыми типами
Статья научная
В статье описываются главные черты разработанной автором на основе доказательного программирования библиотеки вычислительной алгебры. Обсуждается опыт доказательного программирования некоторых классических категорий вычислительной алгебры («группа», «кольцо» и так далее) на основе подхода конструктивизма, применения языка с зависимыми типами, построения машинно-проверяемых доказательств (dependent types, proof carrying code). Выявляются проблемы, связанные с этим подходом, и отмечаются дополнительные возможности, даваемые применением аппарата зависимых типов. В качестве инструмента используется функциональный язык Agda. Статья является продолжением вводной статьи автора в данном журнале за 2014 год
Бесплатно
Разработка информационной системы поддержки коллективной разработки проектов
Статья научная
В работе выполнен аналитический обзор современных систем управления проектами и приведено описание вновь созданной информационной системы, поддерживающей коллективную работу исследователей и разработчиков ITпроектов (в том числе планирование, разработку программного обеспечения, обмен информацией и составление отчетов).
Бесплатно
Разработка системы анализа производительности приложений для мобильных платформ
Статья научная
Анализ производительности при разработке приложений занимает важное место наряду с модульным и многими другими видами тестирования. При разработке приложений и архитектур для суперкомпьютеров подобное тестирование оказывается еще более важным ввиду высокой стоимости эксплуатации такого рода систем. В последнее время набирает популярность использование мобильных платформ для построения суперкомпьютеров благодаря низкому энергопотреблению систем и появлению 64 разрядных процессоров. В ходе работы, которой посвящена данная статья, разработана система для запуска тестов, которая на данный момент отлично показала себя для мобильных платформ. Тесты можно запустить на большом количестве платформ, в системе эффективно реализуется многопоточность, а также можно подавать реальные данные и получать результат, как на компьютере, так и на мобильном устройстве. В статье описывается подход к тестированию производительности, а также идея развить этот инструмент в сторону применения для научных приложений и суперкомпьютеров
Бесплатно
Разработка системы моделирования автономного полета беспилотного летательного аппарата
Статья научная
В работе приводится описание системы моделирования полета беспилотного летательного аппарата (БПЛА) в автономном режиме. В своей работе система ориентируется на генерируемые программно снимки, являющиеся аналогом снимков, сделанных с бортовых камер БПЛА. Производится распознавание объектов.
Бесплатно
Разрешение событийно-несобытийной неоднозначности существительных: нейросетевой подход
Статья научная
В работе предложен метод автоматического определения значения существительных, неоднозначных с точки зрения событийно-несобытийной категоризации. Представлены результаты сопоставительного анализа нескольких нейросетевых архитектур, использованных для снятия неоднозначности. Обсуждается проблема обнаружения в тексте упоминаний о событиях.
Бесплатно
Распознавание идиоматического использования выражений с помощью нейронных сетей
Статья научная
Многие идиоматические выражения могут использоваться не только в~переносном смысле, но и в прямом. Распознавание того или иного случая их употребления является важной задачей во многих приложениях обработки текстов на естественном языке, в частности, в машинном переводе. В~настоящей работе предлагается автоматический способ распознавания прямого и переносного использования идиоматических выражений на основе анализа их локальных контекстов с помощью рекуррентных нейронных сетей. Исследованы два типа таких сетей для решения данной задачи --- обычные рекуррентные нейросети и двунаправленные их модификации. Рассмотрены варианты представления слов контекста как в виде нормальных форм,так и виде словоформ, встретившихся в тексте. Описаны способ построения и характеристики дистрибутивной модели, в которой хранятся векторные представления слов и целевых идиоматических выражений. В заключение мы даем обзор наиболее важных работ по данной проблематике.
Бесплатно
Статья научная
Исследуются взаимосвязанные нестационарные тепловые процессы в погружном электродвигателе насосной установки, расположенной в потоке пластовой водонефтегазовой смеси, обтекающей двигатель в нефтедобывающей скважине и горных породах, окружающих скважину. Для расчета температурных характеристик разработаны математическая, численная и алгоритмическая модели, реализованные в программном комплексе, позволяющем методом вычислительного эксперимента с одновременной визуализацией результатов расчетов изучать температурный режим электродвигателя и тепловые эффекты в трехфазном потоке, движущемся в кольцевом зазоре между обсадной колонной скважины и двигателем, с учетом его теплообмена с горными породами. Показано, что переходные тепловые процессы, возникающие в системе «двигатель - трехфазный поток - породы» при отключении двигателя из-за его перегрева, зависят от физических и геометрических характеристик каждого элемента этой системы. Расчетные оценки продолжительности (десятки минут) стадии охлаждения двигателя после выключения и стадии его нагрева при повторном включении согласуются с реальными временами этих процессов в нефтяных скважинах.
Бесплатно
Статья научная
Понятие рационального агента неточно и поэтому нуждается в уточнении при использовании в реальных приложениях. Настоящая статья посвящена анализу варианта системы рациональных агентов, который естественно возникает при адаптивном управлении базами данных. Они представляются как вероятностные автоматы, в которых вероятности переходов гибко пересчитываются в зависимости от оценки результата работы и «самочувствия» РА. Это потребовало уточнения в данном случае понятия вероятностного автомата и их системы, что и является главной целью статьи. Рассмотрены возможные структуры управления системами РА, не использующие прямых команд. Выяснены условия, при которых целесообразно использование централизованной и коллективистской структуры.
Бесплатно
Реализация запуска многовариантных расчетов на платформе Everest
Статья научная
Многовариантные расчеты являются чрезвычайно важным классом приложений, обычно определяемых как набор вычислительных задач, определенных на множестве входных параметров и запускаемых с различными значениями данных параметров. Необходимость такого рода вычислений возникает во многих научных областях. Данная статья рассматривает веб-сервис, реализующий запуск данных приложений в распределенной вычислительной среде, а также облачную платформу Everest, на базе которой реализован данный сервис.
Бесплатно
Референциальный профиль как инструмент для исследования референции в связном тексте
Статья научная
В статье предложена идея референциального профиля — инструмента для визуализации референции к некоторой сущности как процесса, разворачивающегося в связном тексте. Описаны формат и принципы разметки текста для построения референциального профиля.
Бесплатно
Решение задачи оптимизации процесса поиска границ карьеров на гибридных кластерных системах
Статья научная
В данной статье показана возможность применения высокопроизводительных гибридных вычислительных систем для решения задач оптимизации процесса поиска границ карьеров при добыче полезных ископаемых открытым способом
Бесплатно
Свёрточные нейронные сети для решения задач обнаружения пожаров по данным аэрофотосъемки
Статья научная
В работе представлены результаты применения новой структуры свёрточных нейронных сетей (СНС) для обнаружения пожаров на основе аэрофотоснимков. Сформирован обучающий набор данных на основе видеозаписей пожаров, снятых с воздуха в различных условиях. Показано, что предлагаемая свёрточная нейронная сеть достаточно хорошо работает в области обнаружения пожара. Представлены результаты экспериментов на реальных видеопоследовательностях. Предложенный подход обеспечивает высокую точность(precision) 94,78., полноту(recall) 92,97., F1-меру 95,42. и хорошие показатели IoU (Intersection over Union), что позволяет сделать вывод об эффективности использования предлагаемой СНС для обнаружения пожаров.
Бесплатно
Семантический анализ контекстных дат
Статья научная
В статье предлагается формальный аппарат для представления семантического значения контекстных дат, основанный на лингвистической модели календарного времени. Контекстные даты –– случаи отсылочной и эллиптичной референции к единичным календарным интервалам в тексте –– входят в состав значительной части т. наз. недоопределенных указаний на время. В терминах лингвистической модели представляется семантическое значение структурных элементов контекстных дат, содержащих индексальные (отсылочные) показатели, с учетом типа индексального показателя, типа элемента и его позиции в контекстной дате. Рассмотрены различные виды эллипсиса в контекстных датах и способы восстановления опущенных значений
Бесплатно
