|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Алгебраическая спецификация графовых вычислительных структур
С. П. Ковалёв Институт проблем управления им. В. А. Трапезникова Российской академии наук
Аннотация:
Рассматриваются проблемы составления алгебраических спецификаций многокомпонентных вычислительных структур, представляемых графами потоков данных. Кратко показано, как при помощи теории категорий алгебраические средства спецификации программ развивались от многосортных алгебр через коалгебры к объемлющей конструкции диалгебры, способной описывать интерактивные вычислительные узлы. В качестве ее обобщения предложена новая теоретико-категорная конструкция графалгебры, позволяющая комбинировать диалгебры в произвольные ориентированные мультиграфы (диаграммы), ребра которых отвечают вычислительным операциям в узлах, а вершины описывают передаваемые между узлами данные. Приведены примеры графалгебраических спецификаций нейронных сетей и разнообразных многопроцессорных вычислительных систем. Описан способ построения категорий графалгебр посредством универсальных конструкций. Для вычислительной структуры вида системы систем, состоящей из графовых структур, предложены методы иерархического построения алгебраической спецификации из спецификаций составляющих.
Ключевые слова:
алгебраическая спецификация, графовая вычислительная структура, система систем, теория категорий, диалгебра, графалгебра, декартов квадрат.
Поступила в редакцию: 03.09.2020
Образец цитирования:
С. П. Ковалёв, “Алгебраическая спецификация графовых вычислительных структур”, Информ. и её примен., 16:1 (2022), 2–9
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ia767 https://www.mathnet.ru/rus/ia/v16/i1/p2
|
Статистика просмотров: |
Страница аннотации: | 151 | PDF полного текста: | 84 | Список литературы: | 28 |
|