31354

Автор(ы): 

Автор(ов): 

1

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

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

Пленарный доклад

Название: 

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

Электронная публикация: 

Да

ISBN/ISSN: 

ISSN 2079-3316

Наименование конференции: 

  • 1-ая Всероссийская научно-практическая конференция «Посткремниевые вычисления» (Переславль-Залесский, 2014)

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

  • Сборник тезисов докладов 1-й Всероссийской научно-практической конференции «Посткремниевые вычисления» (Переславль-Залесский, 2014)

Город: 

  • Переславль-Залесский

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

  • ИПС РАН

Год издания: 

2014

Страницы: 

http://2014.nscf.ru/TesisAll/0_PostMoore_Plenar/14_163_KovalevSP_PM.pdf
Аннотация
Вычислительная система называется алгебраической, если она содержит дискретные управляемые посткремниевые узлы. Предложен теоретико-категорный подход к проектированию таких систем, нацеленный на эффективное применение математических методов отображения расчетных задач на архитектуру таких систем. Построена категория, объектами которой служат алгебраические модели вычислений узлов и систем, а морфизмами – спецификации действий по интеграции узлов в системы. Конечные диаграммы в такой категории представляют собой формальные архитектурные модели алгебраических вычислительных систем.

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

Ковалёв С.П. Теоретико-категорный подход к проектированию алгебраических вычислительных систем / Сборник тезисов докладов 1-й Всероссийской научно-практической конференции «Посткремниевые вычисления» (Переславль-Залесский, 2014). Переславль-Залесский: ИПС РАН, 2014. С. http://2014.nscf.ru/TesisAll/0_PostMoore_Plenar/14_163_KovalevSP_PM.pdf.