Теоретико-категорный подход к проектированию вычислительных систем
Автор: Ковалв Сергей Протасович
Журнал: Программные системы: теория и приложения @programmnye-sistemy
Рубрика: Математические основы программирования
Статья в выпуске: 1 (24) т.6, 2015 года.
Бесплатный доступ
Вычислительная система называется алгебраической, если она содержит дискретные управляемые посткремниевые узлы. Предложен теоретико-категорный подход к проектированию таких систем, нацеленный на эффективное применение математических методов отображения расчетных задач на архитектуру таких систем. Построены категории, объектами которых служат алгебраические модели вычислений узлов и систем, а морфизмами служат спецификации действий по интеграции узлов в системы. Конечные диаграммы в таких категориях представляют собой формальные архитектурные модели алгебраических вычислительных систем.
Алгебраическая вычислительная система, отображение расчетных задач на архитектуру систем., полупримальная алгебра, структурная категория алгебр
Короткий адрес: https://sciup.org/14336140
IDR: 14336140 | УДК: 519.68
Psta.psiras.ru/
A computer system is said to be algebraic if it contains discrete controllable post-silicon nodes. A theoretical-categorical approach to the design of such systems is proposed, aimed at the effective application of mathematical methods for mapping computational problems on the architecture of such systems. Categories are constructed whose objects are the algebraic models of computing nodes and systems, and the morphisms are the specifications of the actions for integrating nodes into systems. The final diagrams in such categories are formal architectural models of algebraic computing systems.
Список литературы Теоретико-категорный подход к проектированию вычислительных систем
- Н. Н. Непейвода. От численного моделирования к алгебраическому//Тр. междунар. конф. 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.
