Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (базовый формализм и его расширения)

обработка данных хранение данных распределенные системы абстрактные машины сети абстрактных машин абстрактные машины высших порядков базовый формализм

Механизмы управления системой менеджмента качества государственного университета на основе процессного подхода, Вакуумные емкостные делители напряжений для ИИС и АСУ ТП, ...

С. А. Зинкин СЕТИ АБСТРАКТНЫХ МАШИН ВЫСШИХ ПОРЯДКОВ В ПРОЕКТИРОВАНИИ СИСТЕМ И СЕТЕЙ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ (БАЗОВЫЙ ФОРМАЛИЗМ И ЕГО РАСШИРЕНИЯ) Рассматриваются проблемы интеграции формальных представлений распределенных процессов и объектов, взаимодействующих через общее структурированное пространство памяти. <...> Предложен новый формализм для описания согласованных взаимодействий процессов и объектов в системах и сетях хранения и обработки данных, базирующийся на декларативном и процедурном подходах к представлению знаний о функционировании распределенных систем. <...> Введение К настоящему времени разработан ряд технологий проектирования распределенных вычислительных систем, в том числе распределенных систем управления базами данных, систем управления промышленными объектами. <...> Подобная среда должна обеспечить как обработку неструктурированной информации, так и выполнение операций над базами данных. <...> Определение базового формализма При обсуждении принципов построения распределенных систем хранения и обработки данных рассматривается ряд парадигм, определяющих оригинальные методологии их логического проектирования. <...> Поволжский регион сетей абстрактных машин, берущих свое начало от машин Колмогорова– Успенского–Шёнхаге [1–3] и Гуревича [4, 5]. <...> При определении декларативной составляющей формализма используется понятие алгебраических систем (в смысле работ [6–9]) и логик высших порядков [10], а для представления процедурной составляющей используются некоторые элементы алгебры алгоритмов Глушкова [11, 12], в частности операции α-дизъюнкции и α-итерации для всюду определенных условий. <...> Этот предикат определяется следующим образом: M test:( )P \ – отображение, сопоставляющее каждому модулю P \ – отображение, сопоставляющее каждому модулю подмножество функций и предикатов, с которыми оперирует данный модуль, причем Известия высших учебных заведений. <...> Поволжский регион Q – множество <...>

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