Программные системы: теория и приложения @programmnye-sistemy
Статьи журнала - Программные системы: теория и приложения
Все статьи: 433

Методы идентификации динамических систем
Статья научная
Дан обзор методов идентификации систем, описываемых линейными интегральными уравнениями и линейными дифференциальными уравнениями с переменными коэффициентами (обыкновенными и в частных производных). Обзор подготовлен по публикациям авторов.
Бесплатно

Методы комплексного оценивания когнитивных графических образов
Статья научная
В работе исследуются методы оценки качества когнитивных графических образов, применяемых в технических системах контроля и управления для поддержки принятия решений человека-оператора. Впервые предложена комплексная оценка когнитивных графических образов в составе интерфейсов наземных станций командно-измерительных систем авиакосмического назначения. Выполнена сравнительная оценка качества когнитивных образов.
Бесплатно

Методы нелокального улучшения в задачах оптимального управления на основе точных формул приращения
Статья научная
Статья посвящена методам нелокального улучшения в задачах оптимального управления. Приведены примеры.
Бесплатно

Методы обеспечения отказоустойчивости в библиотеке шаблонных классов C++ для распараллеливания T-Sim
Статья научная
В работе рассматриваются проблемы отказоустойчивости параллельных приложений при работе на распределенных вычислительных установках. Увеличение масштабов современных вычислительных систем приводит к увеличению вероятности отказа отдельных элементов системы. В ряде случаев вычислительные алгоритмы, такие как генетические алгоритмы, алгоритмы, использующие метод Монте–Карло и т.п., допускают возможность отказа одного или нескольких элементов. В статье предлагаются методы для реализации таких алгоритмов и обеспечения их работоспособности при условии программных и аппаратных сбоев на вычислительных узлах. В рамках библиотеки С++ T-Sim разработан пример редукционного (монотонного) объекта, а также нескольких альтернативных механизмов перезапуска заданий. Проведены пробные отказоустойчивые реализации алгоритма.
Бесплатно

Методы приближенного решения задач оптимального управления
Статья научная
Рассматривается общий подход к приближенному решению задач оптимального управления, включающий глобальный поиск начального приближения, и построению эффективных итерационных процедур его улучшения с использованием принципов расширения, локализации, достаточных условий оптимальности и глобальных оценок. Предлагается новый вариант метода штрафов. Значительное внимание уделяется новым конструктивным методам на основе минимаксного принципа В.Ф. Кротова улучшения управления
Бесплатно

Методы текстурного анализа изображений, обработка данных дистанционного зондирования Земли
Статья научная
В работе приведены результаты научного обзора известных методов описания и распознавания текстур, поднимается вопрос перспективности применения методов текстурного анализа в задачах картографии и разведки. Выполнено практическое сравнение ряда методов удаления фоновой подстилающей поверхности.
Бесплатно

Миграция с Oracle на PostgreSQL сильно связной МИС Интерин
Статья научная
Во многих сферах прикладного программного обеспечения наблюдается тенденция к более широкому использованию свободного программного обеспечения (СПО). Эта тенденция связана с переходом к более экономичной модели создания и эксплуатации ПО, с повышением безопасности использования ПО, исключением контроля проприетарного ПО за пользователями и их данными, с преодолением различных санкций в области проприетарного ПО. Для России становится актуальным отказ от проприетарного ПО Oracle и переход к СПО PostgreSQL. В статье предлагается подход к решению проблемы миграции с Oracle на PostgreSQL сильно связного прикладного ПО. Подход отрабатывался на примере миграции МИС Интерин. Результаты могут быть использованы разработчиками ПО, решающими задачи миграции на СПО.
Бесплатно

Статья научная
В работе рассмотрена задача оптимального управления workstealing деком (англ. — deque) в двухуровневой памяти. Предполагается, что известны вероятности параллельных операций с деком и временные характеристики памяти для двух уровней. Задача состоит в нахождении оптимального числа элементов с двух сторон дека, которые при перераспределении дека должны быть оставлены в быстрой памяти. В качестве критерия оптимальности рассмотрены минимальные средние затраты на перераспределение памяти, которые возникают в случае переполнения или опустошения быстрой памяти. Такой критерий позволяет учитывать конкретные скорости доступа к уровням памяти и применять разработанные методы к разным сочетаниям быстрой и медленной памяти. Построены математическая и имитационная модели процесса работы с деком, представлены результаты численных экспериментов.
Бесплатно

Статья научная
Работа посвящена применению математических моделей в задаче дифференциальной диагностики венозных заболеваний по данным микроволновой радиотермометрии. Описан модифицированный процесс трансформации признакового пространства в термометрических данных. После конструирования признаков выполняется решение задачи многоклассовой классификации несколькими способами: путем сведения к задачам бинарной классификации методами «один против всех» и «каждый против каждого», а также путем построения многомерной логистической регрессии. Лучшим алгоритмом классификации достигнут средний показатель сбалансированной точности 0.574. Ключевой особенностью подхода является то, что результат классификации обосновывается в понятных для врача-диагноста терминах. Представлены наиболее значимые закономерности и точность, с которой они могут выявить различные классы заболеваний.
Бесплатно

Ред. заметка
Данная статья посвящена проблеме анализа достоверности фактографической информации при извлечении событий из текстов. В первой части статьи оговорены основные понятия, такие как целевая пропозиция, модальность и субъект речи. Во второй части определяется понятие «достоверность» и описана его структура. В третьей части перечислены самые типичные контексты для базового случая достоверности
Бесплатно

Модели программирования для современных суперкомпьютеров
Статья научная
В современных суперкомпьютерах широко применяется оборудование, принципиально отличающееся от оборудования вычислительных кластеров 5–6-летней давности. Это относится как к вычислительному, так и к коммуникационному оборудованию. Новое, более эффективное коммуникационное оборудование обладает рядом преимуществ, которые плохо выражаются в терминах старых технологий параллельного программирования. В статье исследуется вопрос о том, какие именно модели и технологии параллельного программирования идут на смену традиционным и почему.
Бесплатно

Модели управления параметризованной структуры
Статья научная
В работе предлагаются дискретизованные модели управления с параметрическим законом изменения на шагах, которые приводят к двухуровневым дискретно-непрерывным моделям. Описывается их программно-алгоритмическая реализация в виде параллельных алгоритмов, в частности итерационный алгоритм поиска приближенно оптимального управления и рекурсивный алгоритм поиска начального приближения управления на основе достаточных условий оптимальности.
Бесплатно

Модели управления потоками закупок/продаж на рынке ценных бумаг
Статья научная
В статье рассмотрены модели управления потоками продажи и покупки на рынке ценных бумаг, не требующие прогноза их цен. Проведено сравнение этих алгоритмов на реальных данных.
Бесплатно

Модели управляемых систем, порождающие магистральные решения задач оптимального управления
Статья научная
Предлагается один из подходов к построению математической модели сложной динамической системы из класса моделей линейных по управлению, для которых характерны магистральные оптимальные решения, получаемые методами теории вырожденных задач. Приближенные магистральные решения используются в качестве первого приближения в многоэтапной процедуре уточнения, как самой модели, так и решения оптимизационной задачи. Эффективность такого подхода демонстрируется на прикладной задаче моделирования и исследования социо-эколого-экономической системы региона.
Бесплатно

Моделирование влияния волнения поверхности на спектр собственного излучения океана
Статья научная
Для нужд радиотомографии поверхности Земли рассматривается задача моделирования излучения морской поверхности. Метод параллельных сечений моделирования дифракции электромагнитного излучения на слое с периодической поверхностью был реализован в виде компьютерной программы на языке программирования python с использованием библиотеки параллельной коммуникации pypar. С помощью этой программы был проведен ряд численных экспериментов. Для расчетов использовался гибридный кластерный вычислитель HybriLIT, находящийся в лаборатории информационных технологий ОИЯИ в г.Дубне
Бесплатно

Моделирование временного аспекта описания ситуации в задаче извлечения информации из текстов
Статья научная
В настоящей работе рассматривается современное состояние проблемы моделирования временного аспекта описания ситуации в рамках задачи автоматического извлечения информации из текстов на естественном языке. Выделяются основные этапы анализа временного аспекта. Проанализирован опыт разметки текстов стандарта TimeML. Проанализирована коллекция русскоязычных новостных текстов с точки зрения интерпретации временных указателей.
Бесплатно

Моделирование действия коротких оптических импульсов на графен
Статья научная
Особенности взаимодействия высокочастотных импульсных электрических полей с графеном в настоящее время являются предметом интенсивных исследований. В работе представлены результаты апробации программной системы моделирования таких процессов на примере ультракоротких лазерных импульсов оптического диапазона с различной поляризацией. Разрабатываемая авторами программная система построена на базе нового теоретического подхода с использованием квантового кинетического уравнения. Ключевым элементом модели является система обыкновенных дифференциальных уравнений с нелинейно зависящими от времени и параметров задачи коэффициентами.Необходимость анализировать поведение решений этой системы уравнений в области изменения нескольких параметров ведёт к полиномиальной сложности вычислений. Неизвестность характера параметрической зависимости решений требует нескольких итераций выбора покрывающих сеток. Система моделирования адаптирована для использования на массово параллельных вычислительных системах.
Бесплатно

Моделирование задачи оптимального выравнивания последовательностей
Статья научная
Выравнивание последовательностей широко используется в различных компьютерных системах для анализа и оценки близости данных, выделения изменений и родственных задач. Интуитивные требования к постановке задачи оптимального выравнивания последовательностей формализованы в приводимых тестах. Тесты показали, что ни один из широко используемых подходов к близости и выравниванию не соответствует этим требованиям. Описана новая модель минимизации конфликтов при слиянии изменений. Модель приводит к простой постановке задачи оптимального выравнивания последовательностей, удовлетворяющей рассмотренным требованиям.
Бесплатно

Моделирование многофункционального микромеханического гироскопа
Статья научная
Рассмотрена возможность построения многофункционального прибора инерциальной навигации на основе модуляционного микромеханического гироскопа гибридного типа. Построена математическая модель устройства («тяжелого» гироскопа) как качественной трехмерной колебательной системы. Численно показано, что при определенных условиях реакция системы на движение объекта имеет наряду с прецессией наблюдаемую нутацию, которая несет информацию о линейном движении основания гироскопа. Отмечено, что возможность измерения линейных ускорений обеспечивается наличием небольшого симметричного расстояния между осями упругого подвеса относительно центра масс чувствительного элемента. Полученные результаты позволяют реализовать в одном устройстве двухкомпонентный измеритель угловой скорости и двухкомпонентный линейный измеритель ускорения.
Бесплатно

Статья научная
Данная статья посвящена оценке эффективности применения графических ускорителей и многоядерных сопроцессоров в параллельных системах баз данных. Для этого был разработан эмулятор параллельной СУБД, позволяющий использовать вычислительный кластер, оснащенный графическими ускорителями NVIDIA и сопроцессорами Intel Xeon Phi. С помощью данного эмулятора был проведен ряд вычислительных экспериментов.
Бесплатно