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

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

Моделирование структуры композита, Построение семантической сети предметной области на основе извлечения знаний из научного текста, ...

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

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