РУсскоязычный Архив Электронных СТатей периодических изданий
Известия высших учебных заведений. Поволжский регион. Технические науки/2007/№ 1/
В наличии за
40 руб.
Купить
Облако ключевых слов*
* - вычисляется автоматически
Недавно смотрели:

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

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

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

Похожие документы: