Журнал вычислительной математики и математической физики
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Ж. вычисл. матем. и матем. физ.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Журнал вычислительной математики и математической физики, 2016, том 56, номер 1, страницы 167–179
DOI: https://doi.org/10.7868/S0044466916010129 (Mi zvmmf10333) 		 
Теоретико-категорные модели алгебраических вычислительных систем

С. П. Ковалёв

117997 Москва, ул. Профсоюзная, 65, ИПУ РАН
PDF полного текста (151 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.7868/S0044466916010129
Аннотация: Вычислительная система называется алгебраической, если она содержит узлы, которые реализуют нетрадиционные парадигмы вычисления, основанные на универсальной алгебре. Предложен категорный подход к моделированию таких систем, образующий теоретическую основу для отображения задач на их архитектуру. Конструирование алгебраических моделей вычислений общего назначения, обладающих условными операторами и контролем переполнения, формально описано рефлектором в подходящей категории алгебр. Доказано, что этот рефлектор переводит кольцо вычетов, операции которого реализуются в традиционных арифметических устройствах, в логическую матрицу Лукасевича. Найдены обогащения множества кольцевых операций, образующие базисы в матрице Лукасевича. Библ. 20.
Ключевые слова: алгебраическая вычислительная система, полупримальная алгебра, структурная категория алгебр, арифметика по модулю.
Поступила в редакцию: 12.04.2014
Англоязычная версия:
Computational Mathematics and Mathematical Physics, 2016, Volume 56, Issue 1, Pages 173–184
DOI: https://doi.org/10.1134/S0965542516010115
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.7
Образец цитирования: С. П. Ковалёв, “Теоретико-категорные модели алгебраических вычислительных систем”, Ж. вычисл. матем. и матем. физ., 56:1 (2016), 167–179; Comput. Math. Math. Phys., 56:1 (2016), 173–184
Цитирование в формате AMSBIB
\RBibitem{Kov16}
\by С.~П.~Ковалёв
\paper Теоретико-категорные модели алгебраических вычислительных систем
\jour Ж. вычисл. матем. и матем. физ.
\yr 2016
\vol 56
\issue 1
\pages 167--179
\mathnet{http://mi.mathnet.ru/zvmmf10333}
\crossref{https://doi.org/10.7868/S0044466916010129}
\elib{https://elibrary.ru/item.asp?id=25343605}
\transl
\jour Comput. Math. Math. Phys.
\yr 2016
\vol 56
\issue 1
\pages 173--184
\crossref{https://doi.org/10.1134/S0965542516010115}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000373076900012}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84961575644}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/zvmmf10333
  • https://www.mathnet.ru/rus/zvmmf/v56/i1/p167
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Журнал вычислительной математики и математической физики Computational Mathematics and Mathematical Physics
    Статистика просмотров:
    Страница аннотации:210
    PDF полного текста:43
    Список литературы:84
    Первая страница:9
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024