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

12+

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

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

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

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

 


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

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

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

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

 

4

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

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

11 с.

PDF

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

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

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

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

http://psta.psiras.ru/read/psta2015_1_39-49.pdf

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

https://doi.org/10.25209/2079-3316-2015-6-1-39-49

5

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

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

10 с.

PDF

Смирнов С.А.
Облачная система подстройки параметров алгоритмов

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

Ключевые слова:
оптимизация параметров алгоритмов, облачные вычисления.

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

http://psta.psiras.ru/read/psta2015_1_51-60.pdf

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

https://doi.org/10.25209/2079-3316-2015-6-1-51-60

6

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

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

11 с.

PDF  

Воробьев В.И., Рыжков С.Р., Фаткиева Р.Р.
Защита периметра облачных вычислений

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


Ключевые слова: облака, облачные вычисления, периметр безопасности, геотегирование.

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

http://psta.psiras.ru/read/psta2015_1_61-71.pdf

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

https://doi.org/10.25209/2079-3316-2015-6-1-61-71

8

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

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

15 с.

PDF

Цветков А.А.
Мультиагентный подход к управлению операционной средой, содержащей сверхбольшие базы данных

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

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

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

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

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

https://doi.org/10.25209/2079-3316-2015-6-1-83-97

9

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

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

10 с.

PDF  

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

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


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

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

http://psta.psiras.ru/read/psta2015_1_99-108.pdf

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

https://doi.org/10.25209/2079-3316-2015-6-1-99-108

10

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

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

12 с.

PDF

Климов Ю.А., Шворин А.Б., Хренов А.Ю., Адамович И.А., Орлов А.Ю., Абрамов С.М., Шевчук Ю.В., Пономарев А.Ю.
Паутина: высокоскоростная коммуникационная сеть

В статье представлена разработанная в Институте программных систем им. А.К. Айламазяна РАН в кооперации с отечественными компаниями высокоскоростная коммуникационная сеть Паутина, основанная на активных оптических кабелях (АОК) и программируемых логических интегральных схемах (ПЛИС). Данная сеть предназначена для использования в высокопроизводительных вычислительных системах (суперкомпьютерах). В рамках проекта разработана плата сетевого адаптера, активные оптические кабели, а также аппаратное (на основе ПЛИС) и программное обеспечение. Технические характеристики сети находятся на современном уровне и обеспечивают скорость передачи данных до 56 Гбит/с между двумя платами по активному оптическому кабелю.

Ключевые слова:
коммуникационная сеть, активный оптический кабель, ПЛИС, высокопроизводительная вычислительная система, суперкомпьютер.

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

http://psta.psiras.ru/read/psta2015_1_109-120.pdf

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

https://doi.org/10.25209/2079-3316-2015-6-1-109-120

12

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

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

11 с.

PDF  

Кузнецов А.А.
Исследование криптостойкости протокола аутентификации BotikKey к компрометации уязвимостей алгоритма хеширования MD5

В работе приведен анализ уязвимостей сетевого протокола BotikKey, который используется в системе телекоммуникаций «Ботик» г. Переславля-Залесского для аутентификации абонентских подключений. Протокол разработан в рамках подхода Ботик-технологий, согласно которому все программно-аппаратное обеспечение сети «Ботик» является либо свободно-распространяемым, либо разработано собственными усилиями компании-провайдера. Дано описание назначения протокола и деталей реализации, и перечислены уязвимости, связанные с использованием алгоритма хеширования MD5. Приведены возможные способы компрометации протокола BotikKey, в том числе APOP-атака, целью которой является подбор пароля доступа. Даны рекомендации провайдеру услуг связи системы телекоммуникаций «Ботик» по отказу от системы BotikKey, либо переходу на более актуальные средства аутентификации абонентов.


Ключевые слова: протокол BotikKey, безопасная аутентификация, криптография, алгоритм MD5, APOP-атака.

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

http://psta.psiras.ru/read/psta2015_1_135-145.pdf

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

https://doi.org/10.25209/2079-3316-2015-6-1-135-145

13

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

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

10 с.

PDF

Кузнецов А.А.
Исследование устойчивости сетевого протокола BotikKey к подбору пароля доступа методом прямого перебора

В работе приведено исследование устойчивости к различного рода атакам сетевого протокола BotikKey, который используется в системе телекоммуникаций «Ботик» г. Переславля-Залесского для аутентификации абонентских подключений. Протокол разработан в рамках подхода Ботик-технологий, согласно которому все программно-аппаратное обеспечение сети «Ботик» является либо свободнораспространяемым, либо разработано собственными усилиями компании-провайдера. В работе представлено назначение протокола, понятие пароля, ключа доступа, региона доступа, и схема выполнения сетевых обменов между клиентом и сервером BotikKey. Перечислены уязвимости протокола BotikKey: подбор ключа доступа методом прямого перебора на параллельных вычислительных системах, либо на «облачных» сервисах, подбор BotikKey-пароля с использованием радужных таблиц для функции хеширования MD5, SSL-атака на пользователей протокола с целью подбора пароля доступа к сети Интернет, описание последствий кражи пароля из файловой системы. Даны рекомендации провайдеру услуг связи системы телекоммуникаций «Ботик» по отказу от системы BotikKey, либо переходу на более актуальные средства аутентификации абонентских подключений.

Ключевые слова:
протокол BotikKey, доступ к сети, безопасная аутентификация абонентов, радужные таблицы, прямой перебор пароля.

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

http://psta.psiras.ru/read/psta2015_1_147-156.pdf

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

https://doi.org/10.25209/2079-3316-2015-6-1-147-156

14

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

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

18 с.

PDF  

Спицина А.М., Орлов Ю.Л., Подколодная Н.Н., Свичкарев А.В., Дергилев А.И., М. Чен, Кучин Н.В., Черных И.Г., Глинский Б.М.
Суперкомпьютерный анализ геномных и транскриптомных данных, полученных с помощью технологий высокопроизводительного секвенирования ДНК

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


Ключевые слова: биоинформатика, секвенирование ДНК, микрочипы, регуляэкспрессии генов, транскрипция, базы данных.

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

http://psta.psiras.ru/read/psta2015_1_157-174.pdf

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

https://doi.org/10.25209/2079-3316-2015-6-1-157-174

 

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

 

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

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