Память ЭВМ как абстрактный автомат
Аннотация
Представлен формализм построения абстрактного автомата, реализующего функциональность оперативной памяти ЭВМ, построено метрическое множество таких автоматов, определены операции сложения и умножения. Рассмотрены вопросы использования полученных формальных решений в практике распределенных вычислений.Литература
Кудрявцев В. Б., Алешин С. В., Подколзин А. С. Введение в теорию автоматов М.: Наука, 1985. — 320 c.
Корн Г., Корн Т. Справочник по математике (для научных работников и инженеров), 4-е изд. М.: Наука, 1977. — 832 с.
The Message Passing Interface Standard.
Новости мира высокопроизводительных вычислений. Лаборатория Параллельных Информационных Технологий, НИВЦ МГУ.
Foster I., Kesselman C., Tuecke S. The Anatomy of the Grid: Enabling Scalable Virtual Organizations // Supercomputer Applications N 15(3), 2001. — 25 с.
Foster I., Kesselman C., Nick J., Tuecke S. The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration. Open Grid Service Infrastructure
Globus: Data GRID architecture
Корн Г., Корн Т. Справочник по математике (для научных работников и инженеров), 4-е изд. М.: Наука, 1977. — 832 с.
The Message Passing Interface Standard
Новости мира высокопроизводительных вычислений. Лаборатория Параллельных Информационных Технологий, НИВЦ МГУ
Foster I., Kesselman C., Tuecke S. The Anatomy of the Grid: Enabling Scalable Virtual Organizations // Supercomputer Applications N 15(3), 2001. — 25 с.
Foster I., Kesselman C., Nick J., Tuecke S. The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration. Open Grid Service Infrastructure
Globus: Data GRID architecture
Computer memory in abstract automat approach
Abstract
Construction of the abstract computer memory automat is provided, which realizes functionality of the computer’s memory, additive and multiplicative operation are defined. Discussed some questions of utilization achieved formal results in practice of distributed computing.Опубликован
2005-04-01
Как цитировать
Сурков,. (2005). Память ЭВМ как абстрактный автомат. Труды СПИИРАН, 2(2), 201-211. https://doi.org/10.15622/sp.2.18
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
