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

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

Шаблоны в модуле визуализации Web-интерфейса системы мониторинга BotikMon
Ред. заметка
Статья посвящена системе мониторинга BotikMon, разработанной в ИПС им.~А.~К.~Айламазяна РАН. Система предназначена для архивации и визуализации информации, полученной от большого числа датчиков. В данной статье рассматривается вопрос разработки структур данных для страниц «избранное» в графическом интерфейсе пользователя системы BotikMon. Страницы «избранное» дают возможность сводить на одну страницу выбранные оператором данные и настраивать режимы отображения для них. Предлагается подход, основанный на использовании объектов\=/шаблонов, для которых поддерживается механизм наследования.
Бесплатно

Школа-семинар «Приближенные методы оптимального управления в параллельных вычислениях»
Статья
Бесплатно

Эволюция выразительных способностей языка OWL
Статья научная
Рассматриваются языковые конструкции диалектов языка OWL, как средства спецификации предметных онтологий. Затрагивается проблема представления n-арных предметных отношений. Анализируется характер и значимость нововведений в синтаксисе.
Бесплатно

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

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

Эксафлопсные суперЭВМ. 1 контуры архитектуры
Статья научная
Исследованы архитектурные аспекты вычислительных систем эксафлопной производительности. Оценены параметры вычислительной и коммуникационной сред. Показано, что для достижения эксафлопной производительности необходимы гибридные системы. Процессорные элементы этих систем содержат ядра универсальных процессоров и арифметические ускорители. Они реализуют MIMD и SIMD дисциплины вычислений соответственно. Эффективное задействование эксафлопных гибридных систем требует принципиально нового программного обеспечения и средств архитектурного масштабирования эффективности. Применение перечисленных средств иллюстрируется на примерах тестовых программ молекулярной динамики и NPB LU. В результате достигается динамическая адаптируемость архитектуры к особенностям исполняемой программы, что в свою очередь обеспечивает эффективность применения эксафлопных суперЭВМ.
Бесплатно

Статья научная
Анализируются причины, проявления и индустриальные проблемы кризиса структурного насыщения микропроцессорных архитектур. Рассматривается состояние рынка однокристальных компьютеровускорителей общего назначения для задач с массовым параллелизмом. Предлагается концепция развития отечественной линии высокопараллельных компьютеров ПС-2000, которые можно рассматривать как первых представителей общедоступных многопроцессорных систем класса GP (General Purpose). В развитие архитектуры ПС-2000 приводится описание свойств однокристальной масштабируемой и комплексируемой многопроцессорной системы ПС2000М, обладающей архитектурным потенциалом опережения. Приводится сопоставление архитектуры ПС-2000М с современными архитектурами однокристальных компьютеров с массовым параллелизмом.
Бесплатно

Статья научная
Пусть процесс поиска решения в некоторой задаче дискретной оптимизации пакетом, реализующим алгоритм ветвей и границ, занимает определенное время. Можно ли ускорить решение той же задачи если нам доступна вычислительная среда, где можно запустить несколько одновременно работающих «экземпляров» того же пакета оптимизации? В докладе рассматривается способ получить заметное ускорение для пакетов с открытым кодом в виртуальной многопроцессорной вычислительной среде. В основе подхода: (1) предварительная декомпозиция исходной задачи на несколько подзадач путем фиксации целочисленных (булевых) значений части дискретных переменных, выбираемых согласно некоторому эвристическому правилу, реализованному в форме программы на высокоуровневом языке оптимизационного моделирования AMPL; (2) одновременное решение полученных подзадач экземплярами того же пакета, с добавленной возможностью обмена найденными рекордными значениями целевой функции. Предлагаемый подход привлекает относительной простотой программной реализации и демонстрируется на примерах решения задачи коммивояжера и составления расписаний назначения работ исполнителям
Бесплатно

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

Эффективный расчет двумерного БПФ на однородном или гетерогенном вычислительном кластере
Ред. заметка
Рассмотрена задача осуществления двумерного БПФ матрицы на суперкомпьютере. Исследована зависимость времени выполнения БПФ от размера матрицы для суперкомпьютеров МВС-100К, МВС-10П и HybriLIT. Описан метод балансировки вычислительной нагрузки между вычислениями на процессоре и видеокарте при использовании гетерогенного кластера. На примере видеокарты TESLA K40 показано, что время, необходимое для перемещения данных, близко времени, требуемому для осуществления двумерного БПФ на графическом вычислителе, а само время расчета в 48 раз меньше времени счета на двухпроцессорном узле
Бесплатно

Язык программирования AJL: автоматическое динамическое распараллеливание для платформы JVM
Ред. заметка
Нынешнее состояние программного обеспечения и аппаратных средств широкого применения настойчиво требует развития инструментов параллельного программирования на основе языка Java. В ИПС им. А.К. Айламазяна РАН выполнена реализация языка Ajl, являющегося расширением языка Java и предназначенного для разработки параллельных программ на основе использования вычислительной модели «самотрансформация вычисляемой сети». В данной публикации рассматриваются различные аспекты выполненной работы — от синтаксиса и семантики конструкций языка и методов разработки транслятора до реализации базовых понятий использованной модели вычислений. Описывается экспериментальное исследование выполненной реализации и обсуждаются его результаты. В заключение приводится краткий обзор близких работ
Бесплатно