Программные системы: теория и приложения @programmnye-sistemy
Статьи журнала - Программные системы: теория и приложения
Все статьи: 441
Методическое обеспечение оптимального управления нечеткими многостадийными процессами
Статья научная
Сформулирована задача синтеза оптимального управления абстрактным нечетким многостадийным процессом. Получено функциональное уравнение, позволяющее найти максимальную реализацию заданной нечеткой цели, при условии, что эволюция процесса характеризуется нечеткими отношениями. Решение функционального уравнения дает на каждой стадии закон управления с обратной связью на этой стадии.
Бесплатно
Статья научная
В статье описаны методы адаптации системы параллельного программирования OpenTS для обеспечения работы параллельных Т++приложений на гибридных кластерах, узлы которых содержат как классические процессоры, так и графические ускорители (например, NVIDIA GPGPU).
Бесплатно
Методы закрепления граничных узлов при сглаживании треугольной поверхностной сетки
Статья научная
В задачах численного моделирования, использующих поверхностные сетки, часто требуется перестроение сетки. Однако при перестроении сетки могут возникать искажения. Накопление искажений может привести к развалу решения. Для того, чтобы поддерживать качество сетки в процессе расчета, применяются алгоритмы сглаживания. При выполнении сглаживания методами, сдвигающими узлы сетки, граничные узлы обычно закрепляют, чтобы избежать искажений. Однако простое закрепление узлов может привести к более серьезным искажениям. В данной работе предлагаются методы работы с граничными узлами, позволяющие контролировать такие узлы в процессе сглаживания. Также рассмотрены алгоритмы для работы с псевдотрехмерными поверхностными сетками, представляющими отдельный интерес.
Бесплатно
Методы и модели автоматического синтеза технологических процессов, основанного на знаниях
Статья научная
Рассматриваются методы и модели автоматического построения оптимизированных технологических процессов в различных предметных областях, включая системы автоматизированного проектирования и управления. Наибольшее внимание уделено универсальным решениям синтеза, основанным на знаниях. Приведены примеры практического построения технологических процессов в области САПР вычислительных систем и системах управления беспилотных летательных аппаратов
Бесплатно
Методы идентификации динамических систем
Статья научная
Дан обзор методов идентификации систем, описываемых линейными интегральными уравнениями и линейными дифференциальными уравнениями с переменными коэффициентами (обыкновенными и в частных производных). Обзор подготовлен по публикациям авторов.
Бесплатно
Методы комплексного оценивания когнитивных графических образов
Статья научная
В работе исследуются методы оценки качества когнитивных графических образов, применяемых в технических системах контроля и управления для поддержки принятия решений человека-оператора. Впервые предложена комплексная оценка когнитивных графических образов в составе интерфейсов наземных станций командно-измерительных систем авиакосмического назначения. Выполнена сравнительная оценка качества когнитивных образов.
Бесплатно
Методы нелокального улучшения в задачах оптимального управления на основе точных формул приращения
Статья научная
Статья посвящена методам нелокального улучшения в задачах оптимального управления. Приведены примеры.
Бесплатно
Методы обеспечения отказоустойчивости в библиотеке шаблонных классов C++ для распараллеливания T-Sim
Статья научная
В работе рассматриваются проблемы отказоустойчивости параллельных приложений при работе на распределенных вычислительных установках. Увеличение масштабов современных вычислительных систем приводит к увеличению вероятности отказа отдельных элементов системы. В ряде случаев вычислительные алгоритмы, такие как генетические алгоритмы, алгоритмы, использующие метод Монте–Карло и т.п., допускают возможность отказа одного или нескольких элементов. В статье предлагаются методы для реализации таких алгоритмов и обеспечения их работоспособности при условии программных и аппаратных сбоев на вычислительных узлах. В рамках библиотеки С++ T-Sim разработан пример редукционного (монотонного) объекта, а также нескольких альтернативных механизмов перезапуска заданий. Проведены пробные отказоустойчивые реализации алгоритма.
Бесплатно
Методы приближенного решения задач оптимального управления
Статья научная
Рассматривается общий подход к приближенному решению задач оптимального управления, включающий глобальный поиск начального приближения, и построению эффективных итерационных процедур его улучшения с использованием принципов расширения, локализации, достаточных условий оптимальности и глобальных оценок. Предлагается новый вариант метода штрафов. Значительное внимание уделяется новым конструктивным методам на основе минимаксного принципа В.Ф. Кротова улучшения управления
Бесплатно
Методы текстурного анализа изображений, обработка данных дистанционного зондирования Земли
Статья научная
В работе приведены результаты научного обзора известных методов описания и распознавания текстур, поднимается вопрос перспективности применения методов текстурного анализа в задачах картографии и разведки. Выполнено практическое сравнение ряда методов удаления фоновой подстилающей поверхности.
Бесплатно
Миграция с Oracle на PostgreSQL сильно связной МИС Интерин
Статья научная
Во многих сферах прикладного программного обеспечения наблюдается тенденция к более широкому использованию свободного программного обеспечения (СПО). Эта тенденция связана с переходом к более экономичной модели создания и эксплуатации ПО, с повышением безопасности использования ПО, исключением контроля проприетарного ПО за пользователями и их данными, с преодолением различных санкций в области проприетарного ПО. Для России становится актуальным отказ от проприетарного ПО Oracle и переход к СПО PostgreSQL. В статье предлагается подход к решению проблемы миграции с Oracle на PostgreSQL сильно связного прикладного ПО. Подход отрабатывался на примере миграции МИС Интерин. Результаты могут быть использованы разработчиками ПО, решающими задачи миграции на СПО.
Бесплатно
Статья научная
В работе рассмотрена задача оптимального управления workstealing деком (англ. — deque) в двухуровневой памяти. Предполагается, что известны вероятности параллельных операций с деком и временные характеристики памяти для двух уровней. Задача состоит в нахождении оптимального числа элементов с двух сторон дека, которые при перераспределении дека должны быть оставлены в быстрой памяти. В качестве критерия оптимальности рассмотрены минимальные средние затраты на перераспределение памяти, которые возникают в случае переполнения или опустошения быстрой памяти. Такой критерий позволяет учитывать конкретные скорости доступа к уровням памяти и применять разработанные методы к разным сочетаниям быстрой и медленной памяти. Построены математическая и имитационная модели процесса работы с деком, представлены результаты численных экспериментов.
Бесплатно
Статья научная
Работа посвящена применению математических моделей в задаче дифференциальной диагностики венозных заболеваний по данным микроволновой радиотермометрии. Описан модифицированный процесс трансформации признакового пространства в термометрических данных. После конструирования признаков выполняется решение задачи многоклассовой классификации несколькими способами: путем сведения к задачам бинарной классификации методами «один против всех» и «каждый против каждого», а также путем построения многомерной логистической регрессии. Лучшим алгоритмом классификации достигнут средний показатель сбалансированной точности 0.574. Ключевой особенностью подхода является то, что результат классификации обосновывается в понятных для врача-диагноста терминах. Представлены наиболее значимые закономерности и точность, с которой они могут выявить различные классы заболеваний.
Бесплатно
Ред. заметка
Данная статья посвящена проблеме анализа достоверности фактографической информации при извлечении событий из текстов. В первой части статьи оговорены основные понятия, такие как целевая пропозиция, модальность и субъект речи. Во второй части определяется понятие «достоверность» и описана его структура. В третьей части перечислены самые типичные контексты для базового случая достоверности
Бесплатно
Модели программирования для современных суперкомпьютеров
Статья научная
В современных суперкомпьютерах широко применяется оборудование, принципиально отличающееся от оборудования вычислительных кластеров 5–6-летней давности. Это относится как к вычислительному, так и к коммуникационному оборудованию. Новое, более эффективное коммуникационное оборудование обладает рядом преимуществ, которые плохо выражаются в терминах старых технологий параллельного программирования. В статье исследуется вопрос о том, какие именно модели и технологии параллельного программирования идут на смену традиционным и почему.
Бесплатно
Модели управления параметризованной структуры
Статья научная
В работе предлагаются дискретизованные модели управления с параметрическим законом изменения на шагах, которые приводят к двухуровневым дискретно-непрерывным моделям. Описывается их программно-алгоритмическая реализация в виде параллельных алгоритмов, в частности итерационный алгоритм поиска приближенно оптимального управления и рекурсивный алгоритм поиска начального приближения управления на основе достаточных условий оптимальности.
Бесплатно
Модели управления потоками закупок/продаж на рынке ценных бумаг
Статья научная
В статье рассмотрены модели управления потоками продажи и покупки на рынке ценных бумаг, не требующие прогноза их цен. Проведено сравнение этих алгоритмов на реальных данных.
Бесплатно
Модели управляемых систем, порождающие магистральные решения задач оптимального управления
Статья научная
Предлагается один из подходов к построению математической модели сложной динамической системы из класса моделей линейных по управлению, для которых характерны магистральные оптимальные решения, получаемые методами теории вырожденных задач. Приближенные магистральные решения используются в качестве первого приближения в многоэтапной процедуре уточнения, как самой модели, так и решения оптимизационной задачи. Эффективность такого подхода демонстрируется на прикладной задаче моделирования и исследования социо-эколого-экономической системы региона.
Бесплатно
Моделирование влияния волнения поверхности на спектр собственного излучения океана
Статья научная
Для нужд радиотомографии поверхности Земли рассматривается задача моделирования излучения морской поверхности. Метод параллельных сечений моделирования дифракции электромагнитного излучения на слое с периодической поверхностью был реализован в виде компьютерной программы на языке программирования python с использованием библиотеки параллельной коммуникации pypar. С помощью этой программы был проведен ряд численных экспериментов. Для расчетов использовался гибридный кластерный вычислитель HybriLIT, находящийся в лаборатории информационных технологий ОИЯИ в г.Дубне
Бесплатно
Моделирование временного аспекта описания ситуации в задаче извлечения информации из текстов
Статья научная
В настоящей работе рассматривается современное состояние проблемы моделирования временного аспекта описания ситуации в рамках задачи автоматического извлечения информации из текстов на естественном языке. Выделяются основные этапы анализа временного аспекта. Проанализирован опыт разметки текстов стандарта TimeML. Проанализирована коллекция русскоязычных новостных текстов с точки зрения интерпретации временных указателей.
Бесплатно
