Алгоритмы моделирования атомных 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 может быть определено в двух разных представлениях в зависимости от общего состояния и внешней функции перехода (см. « Поведение DEVS» ), алгоритмы моделирования также представлены в двух разных представлениях, как показано ниже.

Общие части

Независимо от двух разных представлений об общих состояниях, алгоритмы инициализации и случаев внутреннего перехода обычно определяются, как показано ниже.

DEVS-simulator
  variables:
    parent // parent coordinator
     $t_{l}$      // time of last event
     $t_{n}$      // time of next event
     $A=(X,Y,S,ta,\delta _{ext},\delta _{int},\lambda )$ // the associated Atomic DEVS model 
  when receive init-message(Time  $t$ )
      $t_{l}\leftarrow t;$ 
      $t_{n}\leftarrow t_{l}+ta(s);$ 
  when receive star-message(Time  $t$ )
     if  $t\neq t_{n}$  then
        error: bad synchronization;
      $y\leftarrow \lambda (s);$ 
     send y-message( $y,t$ ) to parent;
      $s\leftarrow \delta _{int}(s)$ 
      $t_{l}\leftarrow t;$ 
      $t_{n}\leftarrow t_{l}+ta(s);$

Вид 1: общее количество состояний = состояния * прошедшее время

Как указано в разделе «Поведение атомарного DEVS» , когда DEVS получает событие ввода, правильный вызов $\delta _{ext}$ , время последнего события, $t_{l}$ устанавливается по текущему времени, $t$ , таким образом, прошедшее время $t_{e}$ становится нулевым, потому что $t_{e}=t-t_{l}$ .

  when receive x-message( $x\in X$ , Time  $t$ )
     if  $(t_{l}\leq t$  and  $t\leq t_{n})$  == false then
        error: bad synchronization;
      $s\leftarrow \delta _{ext}(s,t-t_{l},x)$ 
      $t_{l}\leftarrow t;$ 
      $t_{n}\leftarrow t_{l}+ta(s);$

Вид 2: общее количество состояний = состояния * продолжительность жизни * затраченное время.

Обратите внимание, что, как указано в разделе «Поведение Atomic DEVS» , в зависимости от значения $b$ вернуться через $\delta _{ext}$ , время последнего события, $t_{l}$ , и время следующего события, $t_{n}$ , следовательно, прошедшее время, $t_{e}$ и продолжительность жизни $t_{n}$ , обновляются (если $b=1$ ) или сохраняется (если $b=0$ ).

  when receive x-message( $x\in X$ , Time  $t$ )
     if  $(t_{l}\leq t$  and  $t\leq t_{n})$  == false then
        error: bad synchronization;
      $(s,b)\leftarrow \delta _{ext}(s,t-t_{l},x)$ 
     if  $b=1$  then 
         $t_{l}\leftarrow t;$ 
         $t_{n}\leftarrow t_{l}+ta(s);$

См. также

Ссылки

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