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

Все статьи: 433

Методы идентификации динамических систем

Методы идентификации динамических систем

Бойков Илья Владимирович, Кривулин Николай Петрович

Статья научная

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

Бесплатно

Методы комплексного оценивания когнитивных графических образов

Методы комплексного оценивания когнитивных графических образов

Емельянова Юлия Геннадиевна, Фраленко Виталий Петрович, Хачумов Вячеслав Михайлович

Статья научная

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

Бесплатно

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

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

Моржин Олег Васильевич

Статья научная

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

Бесплатно

Методы обеспечения отказоустойчивости в библиотеке шаблонных классов C++ для распараллеливания T-Sim

Методы обеспечения отказоустойчивости в библиотеке шаблонных классов C++ для распараллеливания T-Sim

Тютляева Екатерина Олеговна, Московский Александр Александрович

Статья научная

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

Бесплатно

Методы приближенного решения задач оптимального управления

Методы приближенного решения задач оптимального управления

Гурман Владимир Иосифович, Расина Ирина Викторовна, Гусева Ирина Сергеевна, Фесько Олесь Владимирович

Статья научная

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

Бесплатно

Методы текстурного анализа изображений, обработка данных дистанционного зондирования Земли

Методы текстурного анализа изображений, обработка данных дистанционного зондирования Земли

Фраленко Виталий Петрович

Статья научная

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

Бесплатно

Миграция с Oracle на PostgreSQL сильно связной МИС Интерин

Миграция с Oracle на PostgreSQL сильно связной МИС Интерин

Малых Владимир Леонидович, Калинин Алексей Николаевич

Статья научная

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

Бесплатно

Минимизация средних затрат на перераспределение при работе с work-stealing деком в двухуровневой памяти

Минимизация средних затрат на перераспределение при работе с work-stealing деком в двухуровневой памяти

Е. А. Аксёнова, А. А. Лазутина, А. В. Соколов

Статья научная

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

Бесплатно

Многоклассовая классификация в задаче дифференциальной диагностики венозных заболеваний по данным микроволновой радиотермометрии

Многоклассовая классификация в задаче дифференциальной диагностики венозных заболеваний по данным микроволновой радиотермометрии

В. В. Левшинский

Статья научная

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

Бесплатно

Модальность достоверности в задаче извлечения фактографической информации из текстов на естественном языке

Модальность достоверности в задаче извлечения фактографической информации из текстов на естественном языке

Егикян Седа Рубеновна, Сулейманова Елена Анатольевна

Ред. заметка

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

Бесплатно

Модели программирования для современных суперкомпьютеров

Модели программирования для современных суперкомпьютеров

Лацис Алексей Оттович

Статья научная

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

Бесплатно

Модели управления параметризованной структуры

Модели управления параметризованной структуры

Трушкова Екатерина Александровна, Фесько Олесь Владимирович

Статья научная

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

Бесплатно

Модели управления потоками закупок/продаж на рынке ценных бумаг

Модели управления потоками закупок/продаж на рынке ценных бумаг

Ахременков Александр Александрович, Цирлин Анатолий Михайлович

Статья научная

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

Бесплатно

Модели управляемых систем, порождающие магистральные решения задач оптимального управления

Модели управляемых систем, порождающие магистральные решения задач оптимального управления

Гурман Владимир Иосифович, Гусева Ирина Сергеевна

Статья научная

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

Бесплатно

Моделирование влияния волнения поверхности на спектр собственного излучения океана

Моделирование влияния волнения поверхности на спектр собственного излучения океана

Гавриков Александр Александрович, Князьков Дмитрий Юрьевич, Романова Алла Владимировна, Черник Виталий Валерьевич, Шамаев Алексей Станиславович

Статья научная

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

Бесплатно

Моделирование временного аспекта описания ситуации в задаче извлечения информации из текстов

Моделирование временного аспекта описания ситуации в задаче извлечения информации из текстов

Виноградов Андрей Николаевич, Воздвиженский Илья Николаевич, Кормалев Дмитрий Анатольевич, Куршев Евгений Петрович

Статья научная

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

Бесплатно

Моделирование действия коротких оптических импульсов на графен

Моделирование действия коротких оптических импульсов на графен

Панферов Анатолий Дмитриевич, Маханьков Алексей Владимирович

Статья научная

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

Бесплатно

Моделирование задачи оптимального выравнивания последовательностей

Моделирование задачи оптимального выравнивания последовательностей

Знаменский Сергей Витальевич

Статья научная

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

Бесплатно

Моделирование многофункционального микромеханического гироскопа

Моделирование многофункционального микромеханического гироскопа

Бахтиева Ляля Узбековна, Боголюбов Владимир Михайлович, Тумаков Максим Дмитриевич

Статья научная

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

Бесплатно

Моделирование обработки запросов на гибридных вычислительных системах с многоядерными сопроцессорами и графическими ускорителями

Моделирование обработки запросов на гибридных вычислительных системах с многоядерными сопроцессорами и графическими ускорителями

Беседин Константин Юрьевич, Костенецкий Павел Сергеевич

Статья научная

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

Бесплатно

Журнал