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

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

Повышение эффективности охлаждения воздуха посредством совместной работы вихревой трубы и вихревого диспергатора-распылителя, Автоматизация синтеза операционной технологии на основе размерного анализа, ...

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 <...>

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