Статьи журнала - Программные системы: теория и приложения
Все статьи: 422
Асимптотика сечения плоскостью субримановой сферы на группе Энгеля вблизи анормальной траектории
Ред. заметка
В работе найдена асимптотика кривой, являющейся пересечением единичной субримановой сферы на группе Энгеля с подпространством \{𝑥 = = 0\} вблизи анормальной траектории. Из найденной асимптотики видно, что эта кривая не является аналитической в точке (1, 0, 0, 0)
Бесплатно
Статья научная
В данной статье представляется базовая архитектура системы извлечения темпоральной информации из текстов на естественном языке. Определяются основные структурные компоненты такой архитектуры, а также методы и алгоритмы, которые в них реализуются. В частности, выделяется этап извлечения информации о темпоральных элементах — событиях и темпоральных ссылках в тексте. Подчеркивается необходимость использования синтаксических зависимостей между словами обрабатываемого предложения, а также семантических ролей групп слов для установления отношений порядка между темпоральными элементами, извлеченными из текста. Отдельной важной компонентой предлагаемой архитектуры является модуль логического вывода, использующего статистическую информацию. Соответственно, показывается необходимость использования методов машинного обучения и различных корпусов лингвистических данных (аналогичных WordNet, SemCor, TimeBank и др.) для успешного решения общей задачи. Ключевые слова и фразы: Извлечение информации, темпоральные элементы, машинное обучение
Бесплатно
Статья научная
В работе описаны результаты работы, направленной на разработку библиотеки высокопроизводительных реализаций алгоритмов для обработки данных, полученных с беспилотных летательных аппаратов. Приведены результаты экспериментальных исследований. Представлен новый интерфейс визуально-блочного программирования, позволяющий создавать схемы решаемых задач наиболее удобным способом
Бесплатно
Вариант организации облачного сервиса для высокопроизводительных вычислений
Статья научная
Статья посвящена вопросу создания облачного сервиса вида SaaS для готовых суперкомпьютерных приложений. В статье рассмотрены технологии организации подобного облачного сервиса на основе программного комплекса «Пирамида» и Системы управления прохождением параллельных заданий (СУППЗ). Созданный облачный сервис призван выполнять роль дополнительного уровня абстракции, позволяющего объединить разные высокопроизводительные вычислительные установки и организовать для них единый интерфейс управления
Бесплатно
Векторизация римановского решателя с использованием набора инструкций AVX-512
Статья научная
Численные методы, базирующиеся на решении задачи Римана о распаде произвольного разрыва, крайне требовательны к вычислительным ресурсам. Для применения данных численных методов на современных расчетных сетках требуется использование суперкомпьютера. Среди различных инструментов повышения производительности суперкомпьютерных приложений можно выделить векторизацию программного кода. Набор инструкций AVX-512 обладает рядом уникальных возможностей, позволяющих применить векторизацию к программному контексту римановского решателя, что ведет к значительному ускорению решателя. На примере точного римановского решателя рассматривается практический подход к векторизации разнообразного программного контекста, включая простые линейные участки, регионы со сложным управлением, а также вложенные циклы. В основе рассматриваемого подхода лежит возможность одновременного выполнения на одном процессорном ядре нескольких экземпляров некоторой чистой функции. Данная возможность достигается путем перевода программного кода в предикатную форму и использования векторных инструкций. При этом количество одновременно выполняющихся экземпляров равно ширине вектора. Показано, что использование возможностей набора команд AVX-512 позволяет успешно векторизовать рассматриваемый программный контекст. Предложенный подход может быть применен для векторизации широкого спектра приложений.
Бесплатно
Статья научная
В рамках интеграции высокоуровневых ресурсов в распределённой вычислительной среде для решения научных и инженерных задач предлагаются научные решения по проектированию вычислительных систем с использованием верификации аппаратно-программного комплекса с целью обеспечения целостности сигналов при проектировании.
Бесплатно
Ред. заметка
В работе обосновывается, что, в случае, когда постановка задач верификации рассуждений использует понятие соответствия, можно проверять логическое следование, не применяя логический вывод. При этом удобно использовать исчисление конституентных множеств и постановку задач в логике 𝐿𝑠2 [1]. На примерах показано, что для логики предикатов, верификацию логического следования можно проводить с использованием простых рассуждений с на основе соответствия Галуа
Бесплатно
Статья научная
Перед руководителями лечебно-профилактических учреждений встают задачи анализа лечебно-диагностических процессов и деятельности медицинского учреждения. Подсистема «АРМ руководителя» предназначена для агрегации и отображения данных, участвующих в анализе. Основной элемент подсистемы — показатель деятельности учреждения, представленный в графическом и текстовом виде.
Бесплатно
Статья научная
В работе рассматривается проблема обезличивания персональных данных в электронных клинических документах, при условии соблюдения неизменности уже подписанного документа. Рассмотренные методы обезличивания основываются на включении в структуру документа специальной семантической разметки, обрабатываемой динамически при визуализации документа.
Бесплатно
Виртуальная машина LT; LT;Etherbox32vm GT; GT;
Ред. заметка
Описана организация виртуальной машины Etherbox32vm, предназначенной для реализации сценариев функционирования узлов сенсорной сети: дисциплин опроса датчиков, управления исполнительными механизмами, первичной обработки данных, полученных от датчиков. Реализация логики поведения сенсорных узлов в виртуальной машине позволяет удаленно настраивать узлы уже развернутой гетерогенной сенсорной сети на выполнение новых функций. Виртуальная машина Etherbox32vm допускает реализацию на микроконтроллерах с малым объемом оперативной памяти
Бесплатно
Влияние меры сходства на результативность РС
Статья научная
В данной работе рассматриваются две основные задачи традиционных РС, вводятся понятия степень релевантности и релевантность между контентами пользователей или объектов, вычисление которых производится с помощью меры сходства. От выбора меры сходства зависит выполнение транзитивности отношения релевантности. В работе показано влияние транзитивности на значение критерия качества, который характеризует качество работы РС. Показано, что не всегда свойство транзитивности выполняется в традиционных РС.
Бесплатно
Влияние пакетирования на эффективность планирования параллельных заданий
Ред. заметка
В статье рассматривается разработанная авторами система пакетирования параллельных заданий, позволяющая объединять однотипные задания с длительным временем инициализации в пакеты. Длительная инициализация влечёт за собой снижение эффективности использования вычислительных ресурсов и планирования параллельных заданий. В статье приводятся результаты экспериментов по исследованию влияния пакетирования на такие показатели эффективности планирования параллельных заданий, как полная и полезная загрузка вычислительных ресурсов
Бесплатно
Ред. заметка
В статье рассматривается внутреннее представление блочноструктурированной сетки, описание основных ее объектов и взаимодействие их между собой. Также рассматривается механизм организации межпроцессного обмена данными, при выполнении расчетов на суперкомпьютере
Бесплатно
Возможности вычислений на кристаллах
Статья научная
В работе с позиций квантовой физики исследуются возможности вычислений с использованием процессов рассеяния пучка света на кристаллах. Строится модель вычислений, соответствующая преобразованию пучка света при прохождении через кристалл, приводятся необходимые формулы для расчёта этой модели. Необходимо подчеркнуть абстрактный характер исследования, которое направлено на подведение теоретической базы для дальнейшего изучения получаемых алгебраических конструкций, нежели на создание реального устройства — квантового компьютера или подобного. Работа выполнена в рамках программы создания алгебраического вычислителя [1]
Бесплатно
Статья научная
Статья посвящена анализу Арктической зоны Российской Федерации как сложной социо-эколого-экономической системы, требующей модельного анализа
Бесплатно
Вопросы темпоральности данных при интеграции медицинских информационных систем
Статья научная
В статье рассматриваются основные вопросы темпоральности данных при интеграции медицинских информационных систем. Формулируются основные задачи интеграционных механизмов при работе с темпоральной информацией. Приводится ряд технологических решений поддержки темпоральности данных в задачах интеграции.
Бесплатно
Ред. заметка
Рассмотрена задача о порядке разделения многокомпонентной смеси в системах, использующих механическую или электрическую энергию, минимизирующем затраты энергии в процессах заданной производительности, и об оптимальном распределении поверхностей контакта между ступенями разделения
Бесплатно
Выделение и классификация знаков пожарной безопасности с использованием нейронных сетей
Ред. заметка
В данной статье описывается метод распознавания знаков пожарной безопасности на фото и видео кадрах, полученных с камер, находящихся на борту беспилотного летательного аппарата или подвижного транспортного средства. В работе освещается алгоритм выделения знаков пожарной безопасности с использованием сканирующего окна; показаны результаты обучения и классификации знаков с помощью сверточной нейронной сети
Бесплатно
Выполнение задач сортировки на векторном процессоре с архитектурой управления потоком данных
Ред. заметка
Задача сортировки является широко распространённым вычислительным блоком, который используется во многих областях, и известно много алгоритмов, как последовательных, так и параллельных, решения этой задачи. Поэтому несколько известных алгоритмов решения задачи сортировки были выбраны для тестирования разрабатываемого в МСЦ РАН векторного процессора с архитектурой управления потоком данных и сравнения достигнутой при моделировании производительности с производительностью лучших современных процессоров.Анализируются преимущества и недостатки архитектуры разрабатываемого векторного процессора, их учет для построения графов программ последовательных и параллельных алгоритмов решения задачи сортировки на данном процессоре и достигнутые при этом результаты.
Бесплатно
Вырожденные задачи оптимального управления неоднородными дискретными системами
Ред. заметка
Рассматривается класс неоднородных дискретных систем (НДС), как широко распространенных на практике, так и получающихся при дискретизации непрерывных систем при решении задач оптимизации итерационными методами. Для указанного класса формулируются достаточные условия оптимальности и вводится понятие вырожденной задачи оптимального управления. Распространяются основные подходы к решению этого класса задач, развитые для однородных непрерывных и дискретных систем, такие как преобразования к производным системам и метод кратных максимумов — специальный способ задания функций Кротова в одноименных достаточных условиях. Приводится иллюстративный пример
Бесплатно
