RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Программные системы: теория и приложения:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Программные системы: теория и приложения, 2015, том 6, выпуск 1, страницы 3–10 (Mi ps149)  

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

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

С. П. Ковалёв

Институт проблем управления им. В. А. Трапезникова РАН

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

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

Полный текст: PDF файл (592 kB)
Список литературы: PDF файл   HTML файл

Тип публикации: Статья
УДК: 519.68
Поступила в редакцию: 14.12.2014
Подписана в печать : 28.01.2015

Образец цитирования: С. П. Ковалёв, “Теоретико-категорный подход к проектированию вычислительных систем”, Программные системы: теория и приложения, 6:1 (2015), 3–10

Цитирование в формате AMSBIB
\RBibitem{Kov15}
\by С.~П.~Ковалёв
\paper Теоретико-категорный подход к проектированию вычислительных систем
\jour Программные системы: теория и приложения
\yr 2015
\vol 6
\issue 1
\pages 3--10
\mathnet{http://mi.mathnet.ru/ps149}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ps149
  • http://mi.mathnet.ru/rus/ps/v6/i1/p3

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Программные системы: теория и приложения
    Просмотров:
    Эта страница:136
    Полный текст:60
    Литература:17

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019