• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Вопросы автоматно-сетевого моделирования вычислительных систем с управлением потоком данных

В статье приводится формализация dataflow вычислительного процесса (т.е. вычислительного процесса с управлением потоком данных). Основой для формальной модели послужи: теория конечных автоматов, процессная сеть Кана и объектно-атрибутная архитектура вычислительной систельной системы. Формальная модель описывает параллельную вычислительную систему как с общей или распределенной памятью. Модель также позволяет описывать процесс синтеза  и обработки сложноструктурированных данных. Изначально модель создавалась для описания объектно-атрибутной вычислительной системы, однако она может быть использована для описания любой другой вычислительной системы, работающий по принципу dataflow.