Программные системы: теория и приложения @programmnye-sistemy
Статьи журнала - Программные системы: теория и приложения
Все статьи: 445
Достаточные условия оптимальности для задач оптимального управления логико-динамическими системами
Статья научная
В работе рассматриваются логикодинамические системы — особый класс дискретно-непрерывных управляемых систем. Дискретная компонента в этих системах представляет собой целочисленную функцию, которая имеет конечное число точек разрыва. Для такого рода систем ставится задача оптимального управления. Рассматриваемая задача отличается от классической задачи оптимального управления тем, что в правых частях дифференциальных уравнений и функционале имеются дискретные переменные. В работах А.С. Бортаковского приводятся достаточные условия оптимальности, доказанные для функции Беллмана. Но эта теорема верна для любой функции Кротова, что и доказано автором этой работы. Также в статье описан подход к построению вычислительных процедур для данной задачи.
Бесплатно
Достаточные условия относительного минимума для дискретно-непрерывных систем
Статья научная
На основе аналога достаточных условий оптимальности Кротова выводятся достаточные условия относительного минимума для дискретно-непрерывных систем (ДНС). Эти условия могут быть использованы как проверочные для предлагаемого режима управления, так и для построения численных методов.
Бесплатно
Жестовое управление полетом малого беспилотного летательного аппарата
Статья научная
Рассмотрена задача построения жестовых команд для управления малым беспилотным летательным аппаратом, таким как квадрокоптер. Получаемые видеокамерой команды идентифицируются классификатором на основе сверточной нейронной сети, а мультимодальный интерфейс управления, оснащенный интеллектуальным решателем, преобразует их в команды управления квадрокоптером. Нейронные сети из библиотеки моделей нейронных сетей Ultralytics позволяют выделять целевые объекты в кадре в режиме реального времени. Команды управления квадрокоптером поступают в специализированную программу на смартфоне, разработанную на базе симулятора полетов DJI SDK, которая посылает команды по радиоканалу дистанционного управления. Исследовано качество распознавания разработанных жестовых команд для квадрокоптеров DJI Phantom 3 standard edition. Представлено краткое руководство в виде сценариев работы оператора с беспилотными транспортными средствами. Раскрыты перспективы жестового управления несколькими транспортными средствами в экстремальных условиях с учётом сложностей безопасности совместного полета и взаимодействия летательных аппаратов в ограниченном пространстве.
Бесплатно
Задача автоматического управления летательным аппаратом в процессе преследования цели
Статья научная
Решается задача управления беспилотным летательным аппаратом (далее по тексту, ЛА) в процессе преследования цели, движущейся по криволинейной траектории в плоскости тангажа. Предложена схема работы системы управления, основанная на реализации простых правил в соответствии с текущими и прогнозными состояниями ЛА и цели. Решаются задачи прогнозирования траектории движения цели с применением аппарата искусственных нейронных сетей (ИНС) и определения точки встречи с ЛА. В экспериментальной части работы моделируется преследование цели в возмущенной среде.
Бесплатно
Статья научная
Рассматривается одна из разновидностей дискретно-непрерывных систем — линейные по управлению ДНС с коэффициентами, зависящими от состояния, относящиеся к гибридным системам. Формулируется аналог задачи аналитического конструирования регуляторов (АКОР). Для исследования используется обобщение достаточных условий оптимальности Кротова. Приводятся иллюстративные примеры.
Бесплатно
Задача извлечения капитала в изолированных микроэкономических системах
Статья научная
В работе рассмотрены задачи извлечения базисного ресурса в замкнутых экономических системах, которые можно формулировать и решать в рамках моделей необратимой экономики. Дано определение {прибыльности} экономической системы. Сформулированы задачи о получении прибыльности экономических систем при различного рода ограничениях: продолжительность процесса, структура системы, заданные начальные состояния и пр. Для экономических систем различной структуры при неограниченном времени получены соотношения, позволяющие найти численное значение прибыльности при заданных начальных данных. Получено условие минимальной диссипации капитала в процессах ресурсообмена. Введено понятие скорректированной цены и показано, что оптимальные закупки подчинены условиям минимальной диссипации и равенству скорректированных цен в конечный момент времени.
Бесплатно
Задача моделирования полета беспилотного летательного аппарата на основе системы технического зрения
Статья научная
Рассматривается задача моделирования полета беспилотного летательного аппарата над некоторой местностью при наличии ограничений на движение аппарата. Предлагается подход для решения задачи автоматического определения его положения и ориентации с применением технологий технического зрения и искусственного интеллекта.
Бесплатно
Задача оптимизации времени выполнения проекта в вычислительной сети из персональных компьютеров
Статья научная
Рассмотрена модель процесса выполнения одного проекта в вычислительной сети из персональных компьютеров при условии равного времени выполнения подзаданий. Исследованы условия, при которых репликация подзаданий между узлами сети сокращает общее время выполнения проекта в двух частных случаях модели: при выполнении пачек подзаданий, а также при ненулевом штрафе за невыполнение подзадания.
Бесплатно
Задача экспертного оценивания сценариев при многовариантных расчетах
Статья научная
В работе предложена модель информационной системы для поддержки принятия решений, предназначенной для решения задачи экспертного оценивания сценариев при прогнозировании состояния атмосферного воздуха. Разрабатываемая программная система основана на модулях, реализующих различные методы группового многокритериального выбора и процедур голосования. Разработанный прототип был применен для конкретной задачи, возникшей при анализе результатов моделирования динамики примесей в атмосферном воздухе города.
Бесплатно
Заметка об автоматическом решении квадратичных уравнений в словах
Статья научная
При анализе программ, оперирующих строками, естественным образом возникает задача решения уравнений в словах. На практике часто встречаются такие уравнения, содержащие, самое большее, два вхождения каждой переменной, –- так называемые квадратичные уравнения. Для их решения Ю. И. Хмелевским в 1971 году предложен интуитивно ясный алгоритм, имеющий экспоненциальную сложность. В 1999 году В. Дьекертом показано, что задача решения квадратичного уравнения является NP-трудной. В данной заметке изложены и показаны на примерах способы упрощения классического алгоритма Хмелевского, позволяющие добиться лучшей его применимости в автоматическом анализе программ.
Бесплатно
Статья научная
Рассматривается подход, позволяющий выявить, для каких задач нужны суперкомпьютеры эксафлопсного класса. Возможности подхода рассмотрены на примерах актуальных задач материаловедения, физики конденсированного вещества и плотной плазмы, для решения которых необходимо атомистическое моделирование на современных и создаваемых в настоящее время суперкомпьютерах. Для каждой задачи проведено соответствие между набором изучаемых явлений и требуемым уровнем быстродействия (числа ядер) вычислительной системы. Показана масштабируемость параллельных программ моделирования и перспектива расширения предсказательной способности методов по мере увеличения числа вычислительных ядер и/или использования специализированных архитектур (графические ускорители). Рассмотрена иерархия методов моделирования, необходимых для адекватного описания свойств веществ на различных пространственных и временных масштабах. На наиболее глубоком нанометровом/пикометровом масштабе для моделирования электронной динамики и построения эффективных потенциалов взаимодействия частиц применяется теория функционала плотности (квантовая молекулярная динамика). Классический метод молекулярной динамики позволяет явно рассмотреть системы движущихся атомов вплоть до микромасштабов. Выход на макромасштабы осуществляется с помощью кинетических подходов и механики сплошных сред. Проведены сравнения эффективности распараллеливания для топологий тора и толстого дерева для трёх классов задач.
Бесплатно
Зачем и какие суперкомпьютеры экзафлопсного класса нужны в естественных науках
Статья научная
Рассматривается подход, позволяющий выявить задачи, для решения которых нужны как современные суперкомпьютеры, так и создаваемые в настоящее время суперкомпьютеры пре-экзафлопсного класса. Возможности подхода рассмотрены на примерах актуальных задач механики, физики, химии и биологии. Включены как атомистическое моделирование, так и механика сплошных сред. Показаны преимущества тороидальной топологии. Предложены рекомендации по процедурам выбора конструкции планируемых суперкомпьютеров. Ключевые слова и фразы: атомистическое моделирование, электронная структура, молекулярная динамика, многомасштабное моделирование, радиационное старение, лазерная абляция, нуклеация, полимеры, параллельная эффективность
Бесплатно
Защита периметра облачных вычислений
Статья научная
Представлена абстрактная концепция опечатывания облачных данных с помощью определяемых политик. Описано использование криптомодулей TPM в создании доверенных серверных платформ внутри облака. Представлена обобщенная схема геотегирования.
Бесплатно
Игровое обучение как облачный сервис
Ред. заметка
Рассматривается вопрос геймификации обучения администрированию сетевых систем с использованием виртуализации и облачных технологий. Предложена концепция игры и способ реализации. Предлагаемый подход позволяет обучать администрированию, обеспечивая высокий уровень вовлечённости и результативности и упрощая процесс развёртывания виртуального учебного полигона
Бесплатно
Идентификация псевдослучайных последовательностей по моментам вероятностных распределений
Статья научная
В работе рассматривается обоснование метода определения детерминированного характера псевдослучайного процесса, формируемого нелинейным отображением 0,1, путем сопоставления двумерных смешанных моментов распределений значений, генерируемых этим отображением. Рассматривается возможность аппроксимации отображения, генерирующего псевдослучайную последовательность, по совокупности двумерных смешанных моментов распределения.
Бесплатно
Извлечение симптомов и автоматическое предсказание диагноза по медицинским клиническим записям
Статья научная
В статье представлена система, которая извлекает симптомы заболеваний из медицинских клинических записей (текстов на естественном русском языке) и автоматически предсказывает по ним диагноз в виде наименования заболевания и его кода в соответствии со справочником МКБ-10. Система ограничена предметной областью из 6 пульмонологических заболеваний (хроническая обструктивная болезнь легких, пневмония, бронхиальная астма и др.) и COVID-19. Извлечение симптомов реализовано с помощью нескольких нейронных сетей, выделяющих отдельные медицинские сущности и связи между ними. Предсказание диагноза также реализовано в виде классификатора на основе нейронной сети. Для обучения извлечению симптомов создан аннотированный корпус предложений. Описаны принципы и правила разметки симптомов. Представлен корпус текстов для обучения классификатора предсказанию диагнозов. Приведены оценки точности при тестировании обеих подсистем. Точность предсказания диагноза на данной предметной области составила 88,5%. Даны сравнения с аналогичными работами по извлечению симптомов из текстов на различных языках, а также по автоматическому предсказанию диагнозов, включая системы типа ChatGPT.
Бесплатно
Извлечение сложных временных выражений из текстов в рамках задачи автоматического выявления ситуаций
Ред. заметка
В рамках проблемы автоматического выявления ситуаций в публицистических текстах на русском языке рассматривается задача поиска сложных временных выражений. Выделение именных групп, содержащих временные выражения, понимается как подзадача частичного синтаксического анализа (shallow parsing). Предлагается алгоритм, состоящий из предварительной сегментации и последующего поиска границ именных групп в выделенном сегменте с помощью машинного обучения (CRF-модели). Приводятся результаты экспериментов
Бесплатно
Инструментальные средства анализа депрессивного состояния и личностных черт человека
Статья научная
Выполнен анализ работ, посвященных выявлению устойчивой связи между личностными чертами и депрессией человека по комплексу информации, доступной в социальных сетях. Значимость автоматизированного решения задачи определяется необходимостью своевременного выявления признаков депрессии как широко распространенного психического заболевания для принятия мер ее профилактики и лечения на ранних стадиях.Рассмотрены вопросы построения механизмов выявления закономерностей и построения современных инструментальные средств анализа данных социальных сетей для проведения научных исследований в предметной области. В качестве инструментальных средств выявления депрессии предлагается применять современные методы автоматического анализа веб-страниц, формализации выявления деструктивной информации по предложениям психологов, проверки гипотез о наличии корреляционных связей, автоматической классификации текстово-графической информации с помощью аппарата искусственных нейронных сетей в сочетании с методами семантического и психологического анализа данных.Эксперименты выявляют существенную корреляционную связь между различными градациями депрессии и некоторыми личностными чертами, а также устойчивую корреляцию между самими личностными чертами большой пятерки.
Бесплатно
Интеграция алгоритма параллельной сортировки Бэтчера и активной системы хранения данных
Статья научная
В статье описан разработанный алгоритм сортировки больших объемов данных при помощи модифицированной версии алгоритма параллельной сортировки Бэтчера. Принципиальной новизной полученного решения является интеграция распространенного и доказавшего свою эффективность алгоритма параллельной сортировки Бэтчера и концепции системы активного хранения на базе библиотеки шаблонных классов TSim и кластерной файловой системы Lustre. В статье представлены результаты тестирования производительности разработанного алгоритма на реальной научной задаче обработки данных сейсмической разведки. Полученные результаты демонстрируют линейное ускорение на задаче, обрабатывающей большой (более 100 Гб) массив данных.
Бесплатно
Статья научная
В статье рассматривается облачная программная платформа Everest, реализующая публикацию, выполнение и композицию вычислительных приложений в распределенной среде. Описаны архитектура платформы, принципы создания приложений, интеграция платформы с внешними вычислительными ресурсами, а также интерфейс прикладного программирования платформы.
Бесплатно
