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

абстрактные машины сети хранения проектирование систем обработка данных логико-алгебраические подходы системы хранения сети абстрактных машин коммуникационные среды информационные объекты механизмы интерпретации сетей метакомпьютерные приложения логика высших порядков декомпозиция сетей сигнатура интерпретация сигнатуры

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

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

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