Алгоритмы моделирования для связанных DEVS

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

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

и

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

где $t\in [0,\infty )$ обозначает текущее время . А оставшееся время ,

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

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

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

видимо $t_{r}\in [0,\infty ]$ .

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

Алгоритм

algorithm DEVS-coordinator
  Variables:
     parent // parent coordinator
      $t_{l}$ : // time of last event
      $t_{n}$ : // time of next event
      $N=(X,Y,D,\{M_{i}\},C_{xx},C_{yx},C_{yy},Select)$  // the associated Coupled DEVS model
    when receive init-message(Time t)
        for each  $i\in D$  do
            send init-message(t) to child  $i$ 
         $t_{l}\leftarrow \max\{t_{li}:i\in D\}$ ;
         $t_{n}\leftarrow \min\{t_{ni}:i\in D\}$ ;
    when receive star-message(Time t)
        if  $t\neq t_{n}$  then
            error: bad synchronization;
         $i^{*}\leftarrow Select(\{i\in D:t_{ni}=t_{n}\});$ 
        send star-message(t)to  $i^{*}$ 
         $t_{l}\leftarrow \max\{t_{li}:i\in D\}$ ;
         $t_{n}\leftarrow \min\{t_{ni}:i\in D\}$ ;
    when receive x-message( $x\in X$ , Time t)
        if  $(t_{l}\leq t$  and  $t\leq t_{n})$  == false then
            error: bad synchronization;
        for each  $(x,x_{i})\in C_{xx}$  do
            send x-message( $x_{i}$ ,t) to child  $i$ 
         $t_{l}\leftarrow \max\{t_{li}:i\in D\}$ ;
         $t_{n}\leftarrow \min\{t_{ni}:i\in D\}$ ;
    when receive y-message( $y_{i}\in Y_{i}$ , Time t)
        for each  $(y_{i},x_{i})\in C_{yx}$  do
            send x-message( $x_{i}$ ,t) to child  $i$ 
        if  $C_{yy}(y_{i})\neq \phi$  then
            send y-message( $C_{yy}(y_{i})$ , t) to parent;
         $t_{l}\leftarrow \max\{t_{li}:i\in D\}$ ;
         $t_{n}\leftarrow \min\{t_{ni}:i\in D\}$ ;

См. также

Ссылки

[Зейглер84] Бернард Зейглер (1984). Многогранное моделирование и дискретное моделирование событий . Академическая пресса, Лондон; Орландо. ISBN 978-0-12-778450-2 .
[ЗКП00] Бернард Зейглер; Таг Гон Ким; Герберт Прехофер (2000). Теория моделирования и симуляции (второе изд.). Академик Пресс, Нью-Йорк. ISBN 978-0-12-778455-7 .