|
|
• Содержание выпуска • • Математические основы программирования • • Методы оптимизации и теория управления • • Программное и аппаратное обеспечение распределенных и суперкомпьютерных систем • • Искусственный интеллект, интеллектуальные системы, нейронные сети • • Программное и аппаратное обеспечение для суперЭВМ •
Математические основы программирования
Ответственные за рубрику: д.ф.-м.н.
Непейвода Н.Н.
Слева для каждой статьи показаны: присвоенный статье порядковый номер;
дата поступления статьи в
редакцию; количество страниц статьи в
формате А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 |
• Содержание выпуска • • Математические основы программирования • • Методы оптимизации и теория управления • • Программное и аппаратное обеспечение распределенных и суперкомпьютерных систем • • Искусственный интеллект, интеллектуальные системы, нейронные сети • • Программное и аппаратное обеспечение для суперЭВМ •
|