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

Все статьи: 433

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

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

Блинов Александр Олегович, Дмитриев Михаил Геннадьевич

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

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

Бесплатно

Шаблоны в модуле визуализации Web-интерфейса системы мониторинга BotikMon

Шаблоны в модуле визуализации Web-интерфейса системы мониторинга BotikMon

Стоцкий Максим Викторович, Шевчук Юрий Владимирович

Ред. заметка

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

Бесплатно

Эволюция выразительных способностей языка OWL

Эволюция выразительных способностей языка OWL

Трофимов Игорь Владимирович

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

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

Бесплатно

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

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

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

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

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

Бесплатно

Экономическая эффективность продажи программного обеспечения при наличии пиратского рынка

Экономическая эффективность продажи программного обеспечения при наличии пиратского рынка

Иванова Ольга Сергеевна, Амелькин Сергей Анатольевич

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

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

Бесплатно

Эксафлопсные суперЭВМ. 1 контуры архитектуры

Эксафлопсные суперЭВМ. 1 контуры архитектуры

Степаненко Сергей Александрович, Южаков Василий Васильевич

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

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

Бесплатно

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

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

Затуливетер Юрий Семенович, Фищенко Елена Алексеевна, Артамонов Сергей Евгеньевич, Козлов Владимир Алексеевич

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

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

Бесплатно

Эффективное применение пакетов дискретной оптимизации в облачной инфраструктуре на основе эвристической декомпозиции исходной задачи в системе оптимизационного моделирования AMPL

Эффективное применение пакетов дискретной оптимизации в облачной инфраструктуре на основе эвристической декомпозиции исходной задачи в системе оптимизационного моделирования AMPL

Смирнов Сергей Андреевич, Волошинов Владимир Владимирович

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

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

Бесплатно

Эффективность использования сопроцессоров NVIDIA для моделирования поведения носителей заряда в графене

Эффективность использования сопроцессоров NVIDIA для моделирования поведения носителей заряда в графене

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

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

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

Бесплатно

Эффективный расчет двумерного БПФ на однородном или гетерогенном вычислительном кластере

Эффективный расчет двумерного БПФ на однородном или гетерогенном вычислительном кластере

Князьков Дмитрий Юрьевич

Ред. заметка

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

Бесплатно

Язык программирования AJL: автоматическое динамическое распараллеливание для платформы JVM

Язык программирования AJL: автоматическое динамическое распараллеливание для платформы JVM

Адамович Алексей Игоревич

Ред. заметка

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

Бесплатно

Журнал