Алгоритмы моделирования для связанных DEVS - Simulation algorithms for coupled DEVS

Учитывая связанную модель DEVS, алгоритмы моделирования - это методы для создания модели законный поведения, которые представляют собой набор траекторий, по которым они не достигают незаконных состояний. (видеть поведение связанных DEVS модель.) [Zeigler84] первоначально представил алгоритмы, которые обрабатывают временные переменные, связанные с срок жизни ${ displaystyle t_ {s} in [0, infty]}$ и пройденное время ${ Displaystyle т_ {е} в [0, infty)}$ введя две другие временные переменные, время последнего события, ${ displaystyle t_ {l} in [0, infty)}$ , и время следующего мероприятия ${ displaystyle t_ {n} in [0, infty]}$ со следующими отношениями:

{ displaystyle , t_ {e} = t-t_ {l}}

и

{ displaystyle , t_ {s} = t_ {n} -t_ {l}}

куда ${ Displaystyle т в [0, infty)}$ обозначает Текущее время. И оставшееся время,

{ displaystyle , t_ {r} = t_ {s} -t_ {e}}

эквивалентно вычисляется как

{ Displaystyle , t_ {r} = t_ {n} -t,}

по-видимому ${ displaystyle t_ {r} in [0, infty]}$ .

На основе этих соотношений алгоритмы для моделирования поведения данной связанной DEVS записываются следующим образом.

Алгоритмы

DEVS-координатор Переменные: родитель // родительский координатор  ${ displaystyle t_ {l}}$ : // время последнего события  ${ displaystyle t_ {n}}$ : // время следующего события  ${ displaystyle N = (X, Y, D, {M_ {i} }, C_ {xx}, C_ {yx}, C_ {yy}, Выбрать)}$ // связанный Связанные DEVS модель при получении сообщения инициализации (Время т)     для каждого  ${ displaystyle i in D}$  отправить сообщение инициализации (т) ребенку  ${ displaystyle i}$       ${ displaystyle t_ {l} leftarrow max {t_ {li}: я in D }}$ ;      ${ displaystyle t_ {n} leftarrow min {t_ {ni}: я in D }}$ ; при получении звездного сообщения (Время т)     если  ${ displaystyle t neq t_ {n}}$  затем ошибка: плохая синхронизация;  ${ displaystyle i ^ {*} leftarrow Select ( {i in D: t_ {ni} = t_ {n} });}$      отправить звездочку (т)к  ${ Displaystyle я ^ {*}}$       ${ displaystyle t_ {l} leftarrow max {t_ {li}: я in D }}$ ;      ${ displaystyle t_ {n} leftarrow min {t_ {ni}: я in D }}$ ; при получении x-сообщения ( ${ displaystyle x in X}$ , Время т)     если  ${ Displaystyle (т_ {л} leq т}$  и  ${ Displaystyle т leq t_ {п})}$  == false тогда ошибка: плохая синхронизация; для каждого  ${ Displaystyle (х, х_ {я}) в С_ {хх}}$  отправить x-сообщение ( ${ displaystyle x_ {i}}$ ,т) ребенку  ${ displaystyle i}$       ${ displaystyle t_ {l} leftarrow max {t_ {li}: я in D }}$ ;      ${ displaystyle t_ {n} leftarrow min {t_ {ni}: я in D }}$ ; при получении y-сообщения ( ${ displaystyle y_ {i} in Y_ {i}}$ , Время т)     для каждого  ${ displaystyle (y_ {i}, x_ {i}) in C_ {yx}}$  отправить x-сообщение ( ${ displaystyle x_ {i}}$ ,т) ребенку  ${ displaystyle i}$      если  ${ Displaystyle C_ {yy} (y_ {i}) neq phi}$  затем отправьте y-сообщение ( ${ displaystyle C_ {yy} (y_ {i})}$ , т) родителю;  ${ displaystyle t_ {l} leftarrow max {t_ {li}: я in D }}$ ;      ${ displaystyle t_ {n} leftarrow min {t_ {ni}: я in D }}$ ;

Алгоритмы моделирования для связанных DEVS - Simulation algorithms for coupled DEVS

Алгоритмы

Смотрите также

Рекомендации