Программные системы: теория и приложения @programmnye-sistemy
Статьи журнала - Программные системы: теория и приложения
Все статьи: 433
Архитектура коллаборативно-изменяемой иерархической структуры
Статья научная
Прорабатывается новый подход к коллаборативной навигации по большой неоднозначно структурируемой коллекции разнородных ресурсов, осуществляемой большим числом пользователей. Важным отличием от обычного краудсорсинга является полная децентрализация управления. Подход базируется на выделении и объединении усилий пользователей-единомышленников, направленных на классификацию коллекции. Нестандартно мыслящий пользователь потратит адекватные усилия на формирование индивидуальной таксономии, точной в зоне его непосредственных интересов. Чем активнее пользователь работает в интерфейсе и чем больше у него активных единомышленников, тем быстрее и совершеннее таксономия подстроится под его представления. Среди пользователей могут быть роботы, анализирующие ресурсы. Описываются общая архитектура будущей системы и отдельные алгоритмы.
Бесплатно
Архитектура системы мониторинга и прогнозирования состояния космического аппарата
Статья научная
В работе предложена общая архитектура экспериментальной программно-аппаратной системы мониторинга и прогнозирования состояния космических аппаратов. Описывается функциональная схема интеллектуальной системы контроля неисправностей, способной решать задачи мониторинга и диагностики состояния бортовых подсистем по телеметрическим данным и осуществлять классификацию обнаруженных неисправностей в режиме, близком к реальному времени.
Бесплатно
Асимптотика сечения плоскостью субримановой сферы на группе Энгеля вблизи анормальной траектории
Ред. заметка
В работе найдена асимптотика кривой, являющейся пересечением единичной субримановой сферы на группе Энгеля с подпространством \{𝑥 = = 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]
Бесплатно
Статья научная
Статья посвящена анализу Арктической зоны Российской Федерации как сложной социо-эколого-экономической системы, требующей модельного анализа
Бесплатно
Вопросы темпоральности данных при интеграции медицинских информационных систем
Статья научная
В статье рассматриваются основные вопросы темпоральности данных при интеграции медицинских информационных систем. Формулируются основные задачи интеграционных механизмов при работе с темпоральной информацией. Приводится ряд технологических решений поддержки темпоральности данных в задачах интеграции.
Бесплатно
Статья научная
Численное моделирование взаимодействия электромагнитного излучения с графеном позволяет воспроизводить быстро протекающие нелинейные процессы и их наблюдаемые проявления. В работе представлены результаты, полученные в процессе разработки программного решения для рассчета параметров таких процессов. Для физики графена классическим является приближение безмассовых фермионов. Однако при исследовании процессов с высокой плотностью энергии модель на основе этого приближения может оказаться за пределами своей применимости и получаемые на её основе результаты нельзя считать достоверными. Для решения этой проблемы выполнен переход к существенно более точному описанию свойств электронной подсистемы исследуемого материала, основанному на строгом учете сильного взаимодействия ближайших соседей в его кристаллической решетке. Проведенное сравнительное тестирование двух моделей показало, что при низких энергетических характеристиках внешнего возмущения результаты совпадают. Однако, с ростом напряженности воздействующего электромагнитного поля проявляются и становятся существенными различия. Новая точная модель имеет более сложную математическую формулировку и её использование требует больше вычислительных ресурсов. При одинаковых параметрах решаемой задачи это выражается в увеличении необходимого для выполнения рассчетов времени. Относительные и абсолютные значения увеличения времени счета приведены для ряда примеров. Полученные результаты позволяют расширить область параметров для моделирования нелинейных процессов в графене, например, генерации высокочастотных гармоник и обеспечить достоверность получаемых результатов.
Бесплатно
Ред. заметка
Рассмотрена задача о порядке разделения многокомпонентной смеси в системах, использующих механическую или электрическую энергию, минимизирующем затраты энергии в процессах заданной производительности, и об оптимальном распределении поверхностей контакта между ступенями разделения
Бесплатно
