35868

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

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

ISBN/ISSN: 

0044-4669

Наименование источника: 

  • Журнал вычислительной математики и математической физики

Обозначение и номер тома: 

Т. 56, № 1

Город: 

  • Москва

Издательство: 

  • Издательство "Наука"

Год издания: 

2016

Страницы: 

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

Библиографическая ссылка: 

Ковалёв С.П. Теоретико-категорные модели алгебраических вычислительных систем // Журнал вычислительной математики и математической физики. 2016. Т. 56, № 1. С. 167-179.