ПРОГРАММНЫЕ СИСТЕМЫ: ТЕОРИЯ И ПРИЛОЖЕНИЯ

12+

Электронный научный журнал Института программных систем имени А.К. Айламазяна Российской академии наук

Титульная страница
О журнале
Редакция
Процесс публикации
Научная этика
Авторам
Выпуски журнала
Архив выпусков

Статьи представлены в формате PDF

Для чтения файлов в формате PDF рекомендуется
программа Adobe Reader

 


• Содержание выпуска •
• Методы оптимизации и теория управления •
• Программное и аппаратное обеспечение распределенных и суперкомпьютерных систем •
• Математические основы программирования •
• Искусственный интеллект, интеллектуальные системы, нейронные сети •
• Математическое моделирование •

Программное и аппаратное обеспечение распределенных и суперкомпьютерных систем

Ответственный за рубрику: д.ф.-м.н., чл.-корр. РАН Абрамов С.М.

Слева для каждой статьи показаны: присвоенный статье порядковый номер; дата поступления статьи в редакцию; количество страниц статьи в формате А5; ссылка на полный текст статьи в формате PDF .

 

2

Поступила в редакцию 10.12.2015

Подписана в печать 21.01.2016

13 с.

PDF

Биряльцев Е.В., Богданов П.Б., Галимов М.Р., Демидов Д.Е., Елизаров А.М.
Программно-техническая платформа высокопроизводительных вычислений
для нефтегазовой промышленности

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

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

Ссылка на статью обязательна

http://psta.psiras.ru/read/psta2016_1_15-27.pdf

цифровой идентификатор статьи DOI

https://doi.org/10.25209/2079-3316-2016-7-1-15-27

3

Поступила в редакцию 11.12.2015

Подписана в печать 21.01.2016

18 с.

PDF

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

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

Ключевые слова: дискретная оптимизация, метод ветвей и границ, предварительная эвристическая декомпозиция.

Ссылка на статью обязательна

http://psta.psiras.ru/read/psta2016_1_29-46.pdf

цифровой идентификатор статьи DOI

https://doi.org/10.25209/2079-3316-2016-7-1-29-46

5

Поступила в редакцию 27.01.2016

Подписана в печать 24.02.2016

37 с.

PDF

Исупов К.С., Князьков В.С.
Арифметика многократной точности на основе систем остаточных классов

В работе рассматриваются алгоритмы высокоточной арифметики, основанные на использовании многомодульных систем остаточных классов (СОК) для представления мантисс чисел с плавающей точкой произвольной разрядности; порядок хранится в двоичной системе счисления. Такое представление обеспечивает большой динамический диапазон и допускает эффективное распараллеливание арифметических операций над цифрами многоразрядных мантисс по модулям СОК, что хорошо согласуется с особенностями архитектуры современных параллельных вычислительных систем. Дополнительно, в числовой формат включена атрибутивная информация, которая обеспечивает быструю оценку величины мантиссы, масштабированной относительно произведения модулей, и способствует ускоренному выполнению целого ряда проблемных для СОК немодульных процедур, таких как сравнение, контроль переполнения диапазона, округление и пр. Представлены результаты экспериментальной оценки точности и быстродействия алгоритмов, а также эффективности использования SIMD.

Ключевые слова: компьютерная арифметика, высокоточные вычисления, параллельные алгоритмы, система остаточных классов, SIMD.

Ссылка на статью обязательна

http://psta.psiras.ru/read/psta2016_1_61-97.pdf

цифровой идентификатор статьи DOI

https://doi.org/10.25209/2079-3316-2016-7-1-61-97

7

Поступила в редакцию 18.12.2015

Подписана в печать 29.02.2016

18 с.

PDF

Баранов А.В., Николаев Д.С.
Использование контейнерной виртуализации в организации высокопроизводительных вычислений

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

Ключевые слова:
высокопроизводительные вычисления, контейнерная виртуализация, LXC, Docker, накладные расходы на виртуализацию

Ссылка на статью обязательна

http://psta.psiras.ru/read/psta2016_1_117-134.pdf

цифровой идентификатор статьи DOI

https://doi.org/10.25209/2079-3316-2016-7-1-117-134

   

 

• Содержание выпуска •
• Методы оптимизации и теория управления •
• Программное и аппаратное обеспечение распределенных и суперкомпьютерных систем •
• Математические основы программирования •
• Искусственный интеллект, интеллектуальные системы, нейронные сети •
• Математическое моделирование •

 

Адрес редакции: 152021, Ярославская обл., Переславский район, село Веськово, ул. Петра Первого, д. 4 "а"
Тел.: (4852) 695-228.       E-mail: info@psta.psiras.ru.      Сетевой адрес издания: http://psta.psiras.ru

© Электронный научный журнал «Программные системы: теория и приложения» (дизайн) 2010-2017
© Институт программных систем имени А.К. Айламазяна РАН  2010-2018