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

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

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

Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
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 <...>
** - вычисляется автоматически, возможны погрешности

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