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

12+

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

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

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

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

 


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

Математические основы программирования

Ответственные за рубрику: д.ф.-м.н. Непейвода Н.Н.

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

 

1

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

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

8 с.

PDF

Ковалёв С.П.
Теоретико-категорный подход к проектированию вычислительных систем
 

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

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

 http://psta.psiras.ru/read/psta2015_1_3-10.pdf

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

https://doi.org/10.25209/2079-3316-2015-6-1-3-10

16

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

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

9 с.

PDF

Знаменский С.В.
Модель и алгоритм выравнивания последовательностей
 

Задача выравнивания (сопоставления) двух текстов с целью выделения общих и различающихся фрагментов обычно имеет не единственное решение. Вычисление лучшего сопоставления канонически базируется на поиске длиннейшей общей подпоследовательности совпадений (LCS) и широко используется в разных целях. Однако многие из современных систем управления версиями предпочитают альтернативные эвристические алгоритмы, работающие не только быстрее, но обычно с лучшим чем поиск LCS результатом. В статье показаны принципиальные недостатки известных алгоритмов выравнивания последовательностей:
(1) иногда LCS ошибочно состоит из коротких малоинформативных общих фрагментов;
(2) известные альтернативные алгоритмы начинают с выделения наиболее информативного общего фрагмента, что порой исключает произвольно длинную последовательность лишь немногим менее значимых.

Абстрактная задача выравнивания последовательностей рассмотрена как модель выделения изменений в совместно редактируемом тексте с целью минимизации вероятности конфликта (наложения) при слиянии изменений. Минимизируется вероятность пересечения выделенных изменений со случайной строкой. Такая оптимизация свободна от упомянутых недостатков. Предложен алгоритм кубической сложности. (Англ.)

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

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

 http://psta.psiras.ru/read/psta2015_1_189-197.pdf

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

https://doi.org/10.25209/2079-3316-2015-6-1-189-197

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

 

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

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