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

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

Интерпретация реверсивных частично маркированных SNCES-сетей, Расчет сил резания для инструмента со скругленной режущей кромкой, ...

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

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