Элементы технологии иерархического концептуального моделирования и реализации систем и сетей хранения и обработки данных

сети хранения данных обработка данных иерархическое концептуальное моделирование системное моделирование сетевое программирование сети абстрактных машин СеАМ сценарные модели самомодифицируемые сценарии

Повышение качества эволюционно-генетических вычислений с помощью разделения оценки и масштабирования, Влияние нестационарности объекта управления на параметры установившихся автоколебаний, ...

С. А. Зинкин ЭЛЕМЕНТЫ ТЕХНОЛОГИИ ИЕРАРХИЧЕСКОГО КОНЦЕПТУАЛЬНОГО МОДЕЛИРОВАНИЯ И РЕАЛИЗАЦИИ СИСТЕМ И СЕТЕЙ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ Предлагаются модели и методы, которые могут быть использованы в качестве основы создания новой объектно-ориентированной сетевой технологии моделирования и проектирования распределенных систем хранения и обработки данных на основе согласованных взаимодействий объектов через общее пространство – коммуникационную среду или общее пространство информационных объектов. <...> В работах [2, 3] были определены сети абстрактных машин (СеАМ) нескольких видов, которые могут быть положены в основу построения новых инструментальных средств для распределенного моделирования и программирования, базирующихся на концепции непосредственно интерпретируемых спецификаций. <...> При реализации сетевой технологии, базирующейся на формализме СеАМ, требуется размещение в операционной среде вычислительной сети данных, структурированных как объекты некоторого FS-пространства (от function spaces). <...> Пусть – множество функциональных и предикатных символов различных арностей (в многосортных, или многоосновных, системах тип n-арного предикатного символа – это кортеж (i1, i2, …, in, j), а тип n-арного предикатного символа – это кортеж (i1, i2, …, in), где i1, i2, …, in, j – названия (сорта) для основ, или носителей), S – множество конкретных функций и предикатов. <...> Сеть абстрактных машин СеАМ иcпользует построенные с использованием определенной в работах [2, 3] алгебры модулей абстрактных машин «модули-продукции» и «модули-процедуры», которые модифицируют, или «обновляют», интерпретацию I, выполняя сгруппированные в блоки так называемые правила обновления вида I(i) Sj. <...> В работах [4, 5] предложено использовать в машинах абстрактных состояний специальные операции – элементарные обновления функций и предикатов. <...> В случае, если s – функциональный символ, то tk 1 – суть терм любого сорта, а если s – предикатный символ <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт