Теоретико-категорный подход к проектированию вычислительных систем
Автор: Ковалв Сергей Протасович
Журнал: Программные системы: теория и приложения @programmnye-sistemy
Рубрика: Математические основы программирования
Статья в выпуске: 1 (24) т.6, 2015 года.
Бесплатный доступ
Вычислительная система называется алгебраической, если она содержит дискретные управляемые посткремниевые узлы. Предложен теоретико-категорный подход к проектированию таких систем, нацеленный на эффективное применение математических методов отображения расчетных задач на архитектуру таких систем. Построены категории, объектами которых служат алгебраические модели вычислений узлов и систем, а морфизмами служат спецификации действий по интеграции узлов в системы. Конечные диаграммы в таких категориях представляют собой формальные архитектурные модели алгебраических вычислительных систем.
Алгебраическая вычислительная система, отображение расчетных задач на архитектуру систем., полупримальная алгебра, структурная категория алгебр
Короткий адрес: https://sciup.org/14336140
IDR: 14336140
Список литературы Теоретико-категорный подход к проектированию вычислительных систем
- Н. Н. Непейвода. От численного моделирования к алгебраическому//Тр. междунар. конф. PACO’2012. Т. 1, ИПУ РАН, М., 2012. С. 93-103.
- J. W. Mills, M. Parker, B. Himebaugh, C. Shue, B. Kopecky, C. Weilemann. "Empty space" computes: the evolution of an unconventional supercomputer//Proc. 3rd Conf. Computing Frontiers (Ischia, 2006). P. 115-126.
- В. В. Воеводин. Отображение проблем вычислительной математики на архитектуру вычислительных систем//Вычисл. методы и программирование, 1 (2000). С. 37-44.
- В. В. Топорков. Модели распределенных вычислений, Физматлит, М., 2004.
- J. L. Fiadeiro. Categories for Software Engineering, Springer, Berlin-Heidelberg-N.Y., 2005.
- С. П. Ковалёв. Алгебраический подход к проектированию распределенных вычислительных систем//Сиб. журн. индустр. математики, Т. X, №.2. 2007. С. 70-84.
- A. L. Foster, A. F. Pixley. Semi-categorical algebras. I: Semi-primal algebras//Math. Z., V. 83. No. 2. 1964. P. 147-169.
- С. П. Ковалёв. Категория вычислительных систем//Междунар. конф. "Алгебра и логика: теория и приложения", Тез. докл., СФУ, Красноярск, 2013. С. 64-66.
- J. Ad´mek, H. Herrlich, G. Strecker. Abstract and Concrete Categories, a Wiley and Sons, N.Y., 1990.
- J.-L. Giavitto, O. Michel, A. Spicher. Unconventional and nested computations in spatial computing//Internat. J. Unconventional Computing, V. 9. No. 1-2. 2013. P. 71-95.
- Э. Таненбаум. Архитектура компьютера, 4-е изд., Питер, СПб., 2002.
