Самомодифицируемые сценарные модели функционирования систем и сетей хранения и обработки данных (реализация и свойства сценарных сетей)
Рассмотрены вопросы реализации временных сценарных сетей, на основе которых возможно построение имитационных моделей систем хранения и обработки данных. Исследованы свойства темпоральных операторов, на основе которых построена алгебра сценарных сетей. Приведены примеры графического представления одноуровневых и иерархических сценариев.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
2, 2007 УДК 681.324 С. А. Зинкин САМОМОДИФИЦИРУЕМЫЕ СЦЕНАРНЫЕ МОДЕЛИ ФУНКЦИОНИРОВАНИЯ СИСТЕМ И СЕТЕЙ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ (РЕАЛИЗАЦИЯ И СВОЙСТВА СЦЕНАРНЫХ СЕТЕЙ) Рассмотрены вопросы реализации временных сценарных сетей, на основе которых возможно построение имитационных моделей систем хранения и обработки данных. <...> Исследованы свойства темпоральных операторов, на основе которых построена алгебра сценарных сетей. <...> Приведены примеры графического представления одноуровневых и иерархических сценариев. <...> Любая метафора должна соответствовать тому или иному способу согласованного использования информационных объектов, представляющих сигнатуру многоосновной алгебраической системы. <...> Сценарии реализуются сетями абстрактных машин (СеАМ) [2], состоящих из модулей, объединенных каузальными (причинно-следственными) связями. <...> Временные сценарные модели Для временных сетей сценариев расширим сигнатуру (следуя [3]) пу t – объектов сорта Time 1: Time, 2 : Time, ..., : Time f plus: Time Time Time,Ч f le: Time Time {true, false},Ч f begin:A Time, f end:A Time, где plusf ных чисел, измеряющих моменты времени; (1) (2) (3) (4) – функция, с помощью которой производится сложение натуральf le – двуместный предикат, за13 тем включения в нее 0-арных функций (счетного множества констант) 0: Time, и следующих функций: Технические науки. <...> Следующий фрагмент РСеАМ реализует задержку на время d:
(5)
R
le
fa f() begin(
ff adelay_i
delay_i
end
f
( (),
delay_i
end
где delay_i – унарная функция, используемая при генерировании значений
времени задержки;
f
delay_i
fbegin – унарная функция, фиксирующая текущее показание
системных часов (задает начало интервала задержки); clock – унарная
функция, хранящая показания системных часов;
задающая окончание интервала задержки;
f
delay_i
fend
– унарная функция,
f plus – бинарная функция, аргуf
le – бинарный предикат
mf f fplus clock (time), τ
ime <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: