РУсскоязычный Архив Электронных СТатей периодических изданий
Известия высших учебных заведений. Поволжский регион. Технические науки/2011/№ 4/

Абстрактное и структурное моделирование сетей хранения и обработки данных

Рассматриваются проблемы использования формальных представлений распределенных процессов и объектов, взаимодействующих через общее структурированное пространство памяти. Использован алгебраический подход к определению операционной семантики распределенных систем хранения и обработки данных, основанный на определении данных систем сетями абстрактных машин. Решение поставленных задач основано на интеграции методов искусственного интеллекта с методами формально определенного распределенного поведенческого моделирования. На формальном уровне описан переход от централизованных систем внешнего хранения и обработки данных к функционально и топологически децентрализованным сетям.

Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
Использован алгебраический подход к определению операционной семантики распределенных систем хранения и обработки данных, основанный на определении данных систем сетями абстрактных машин. <...> Введение В сетях внешних запоминающих устройств (ВЗУ) совокупность сетевых дисковых модулей может быть представлена некоторым коллективно используемым распределенным ресурсом. <...> Различие запросов характерно, например, для распределенных RAIDмассивов и реплицированных распределенных баз данных, реализуемых на базе сетей ВЗУ. <...> Поволжский регион Вопросы физической реализации систем и сетей хранения и обработки данных были рассмотрены, например, в [1, 2], однако в этих и других работах рассматривались в основном технические аспекты построения систем и сетей хранения данных и практически не затрагивались вопросы связи процессов абстрактного и структурного проектирования. <...> В качестве характерного примера подобного центра обслуживания выберем ВЗУ на магнитных дисках со встроенной распределенной кэшпамятью и модулями распределенного процессора базы данных [3]. <...> Применение квантифицированных операторов, а также дополнительных «связывающих» предикатов может привести к существенному уменьшению необходимого числа применяемых модулей СеАМ и упрощению описывающих выражений. <...> Так, работа 4 модуля блокируется, если при попытке выполнения оператора ! (оператора выборки произвольного кортежа из области истинности предиката) в области 4 (20), 2011 Технические науки. <...> Информатика, вычислительная техника истинности предиката, описываемого выражением справа, нет ни одного кортежа. <...> Работа модуля, использующего оператор !! , блокируется, если имеющийся в области истинности предиката кортеж не является единственным или эта область вообще не содержит ни одного кортежа. <...> Определим данный ресурс сетью абстрактных машин, формализующей процессы, происходящие в многофункциональной системе ВЗУ, структура которой <...>
** - вычисляется автоматически, возможны погрешности

Похожие документы: