С. А. Зинкин
ИЕРАРХИЧЕСКИЕ СЕТИ АБСТРАКТНЫХ МАШИН
И ВИРТУАЛИЗАЦИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ
ВНЕШНЕГО ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ
Аннотация. <...> Определяются формализмы для описания иерархий абстрактных
машин с целью последующей виртуализации систем внешнего хранения и обработки данных. <...> Дано понятие об иерархической эволюционирующей алгебраической системе, на основании которого построена конкретная иерархия абстрактных машин, легко реализуемая программно и аппаратно. <...> Ключевые слова: иерархия абстрактных машин, система обработки данных,
формальная спецификация, сети абстрактных машин. <...> Они во многом противоречат друг другу – в ряде случаев приходится жертвовать скоростью выполнения рабочих операций для повышения функциональности. <...> В качестве
интеллектуального «периферийного» устройства может быть рассмотрена и
вся локальная или глобальная сеть, с которой работает пользователь. <...> Посредством использования технологий виртуализации здесь можно реализовать,
например, сеть внешнего хранения структурированных данных или внешний
«сетевой сопроцессор» (метакомпьютер). <...> Поволжский регион
венного интеллекта зачастую вступает в противоречие с необходимостью использования в сетях по различным причинам преимущественно «классических» ЭВМ. <...> 1 Многоуровневые абстракции и виртуальные системы
Система, или сеть хранения и обработки данных, представляется пользователю в виде виртуальной вычислительной системы с многочисленными
ресурсами и функциями. <...> Как вертикальные, так и горизонтальные межмодульные связи являются результатами причинно-следственных (каузальных) связей. <...> В качестве формальной модели структурной организации виртуальной системы нами выбираются логико-алгебраические описания, или спецификации сетей абстрактных машин. <...> Такие описания удобны для их практического использования в качестве основы для непосредственно исполняемых спецификаций, которые могут быть реализованы в рамках <...>