원자 DEVS 시뮬레이션 알고리즘

원자 DEVS 모델이 주어졌을 때 시뮬레이션 알고리즘은 불법 상태에 도달하지 않는 궤적인 모델의 법적 행동을 생성하는 방법이다.( 「DEVS 의 동작」을 참조해 주세요.[Zeigler84]는 $t_{s}\in [0,\infty ]$ t s $t_{s}\in [0,\infty ]$ , [ $t_{s}\in [0,\infty ]$ , $]$ \ $displaystyle$ $t$ $t_{s}\in [0,\infty ]$ { $s$ } \ $in [ 0$ , \ $infty ]$ elapsed $t_{s}\in [0,\infty ]$ elapsed elapsed elapsed $t_{e}\in [0,\infty )$ $t_{l}\in [0,\infty )$ e $t_{e}\in [0,\infty )$ [ 0 , $t_{e}\in [0,\infty )$ ] $elapsed$ [ $t_{e}\in [0,\infty )$ $t_{l}\in [0,\infty )$ { $e$ } \ $in$ [ $0$ , \ $infty$ $t_{l}\in [0,\infty )$ ]와 $t_{e}\in [0,\infty )$ 관련된 시간 변수를 처리하는 알고리즘을 도입했습니다 $t_{l}\in [0,\infty )$ ${\$ ) { $displaystyle$ t $_$ { l $t_{l}\in [0,\infty )$ } \ $in$ [ 0 , \ $t_{l}\in [0,\infty )$ infty $t_{l}\in [0,\infty )$ } $next$ $t_{n}\in [0,\infty ]$ event event event time time $t_{n}\in [0,\infty ]$ time time $t_{n}\in [0,\infty ]$ time t n $t_{n}\in [0,\infty ]$ [ 0 , $]{$ $displaystyle t$ _ { $n }$ \ $in$ [ 0 , \ $t_{n}\in [0,\infty ]$ infty $t_{n}\in [0,\infty ]$ ] ） $t_{l}\in [0,\infty )$

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

그리고.

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

$t\in [0,\infty )$ 서 t $t\in [0,\infty )$ [ [ $t\in [0,\infty )$ 0 , $]{$ $displaystyle$ t \ $in$ [ $0$ , \ $infty$ }는 $t\in [0,\infty )$ 현재 시각을 나타냅니다.그리고 남은 시간은

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

로서 동등하게 계산된다.

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

$t_{r}\in [0,\infty ]$ $t_{r}\in [0,\infty ]$ $t_{r}\in [0,\infty ]$ [ $t_{r}\in [0,\infty ]$ , $]{$ $displaystyle t_{r$ }\ $in$ [ $0$ , \ $infty ]$ } 。

특정 원자 DEVS 모델의 동작은 총 상태와 외부 전이 함수에 따라 2개의 다른 뷰로 정의될 수 있으므로(DEVS 동작 참조), 시뮬레이션 알고리즘도 다음과 같이 2개의 다른 뷰로 도입됩니다.

공통 부품

총 상태의 두 가지 다른 뷰에 관계없이 초기화 알고리즘과 내부 전이 케이스 알고리즘은 일반적으로 다음과 같이 정의됩니다.

DEVS 시뮬레이터  $변수$ :  $부모$  // 부모  $t_{l}$  t $t_{l}$ l {\ $displaystyle t_{$ l} $t_{l}$  // 마지막  $t_{n}$  tn {\ $displaystyle t_{n}$  // 다음 이벤트 A  $=$  ( $X$  , $A=(X,Y,S,ta,\delta _{ext},\delta _{int},\lambda )$  , $A=(X,Y,S,ta,\delta _{ext},\delta _{int},\lambda )$  ,  $A=(X,Y,S,ta,\delta _{ext},\delta _{int},\lambda )$   $A=(X,Y,S,ta,\delta _{ext},\delta _{int},\lambda )$  、  $A=(X,Y,S,ta,\delta _{ext},\delta _{int},\lambda )$   $A=(X,Y,S,ta,\delta _{ext},\delta _{int},\lambda )$  x $A=(X,Y,S,ta,\delta _{ext},\delta _{int},\lambda )$  , 、  $A=(X,Y,S,ta,\delta _{ext},\delta _{int},\lambda )$  , $A=(X,Y,S,ta,\delta _{ext},\delta _{int},\lambda )$ ） = ( X , Y ,  $EXT$ , { $t$  ) $\displayda$ )  $A=(X,Y,S,ta,\delta _{ext},\delta _{int},\lambda )$ // init-message (  $Time$ t \  $displaystyle$ t $t$ )  $t_{l}\leftarrow t;$   $t_{l}\leftarrow t;$ ; {  $displaystyle$  t  $_$ { l } \  $t_{n}\leftarrow t_{l}+ta(s);$  $t_{l}\leftarrow t;$ t n  $t_{n}\leftarrow t_{l}+ta(s);$   $t_{n}\leftarrow t_{l}+ta(s);$  +  $t_{n}\leftarrow t_{l}+ta(s);$   $t_{n}\leftarrow t_{l}+ta(s);$ s $t_{n}\leftarrow t_{l}+ta(s);$ ) ; {  $displaystyle t_$  { n $t_{n}\leftarrow t_{l}+ta(s);$ } \  $ar$ (((  $t_$  ${$  l + $ta$  ( $ta$  ) ; display stypleftraffectressage( styleft - t ) ; ${\displaystyle$  t $\neq t_{$ n $t\neq t_{n}$ } 다음 오류: 동기 불량; y  $);$  {\ $displaystyle$  y $\left$  arrow  $\displayda (s);}$  전송 $y\leftarrow \lambda (s);$  y 메시지(  $y$  ,t{ $displaystyle$ y ,t $y,t$ 를 부모에게  $전달$ 합니다.s  $s\leftarrow \delta _{int}(s)$  s $s\leftarrow \delta _{int}(s)$ ← s  $i$  n  $s\leftarrow \delta _{int}(s)$   $s\leftarrow \delta _{int}(s)$  n  $s\leftarrow \delta _{int}(s)$   $s\leftarrow \delta _{int}(s)$ ） \  $displaystyle s$  \  $left$  $arrow$  $s\leftarrow \delta _{int}(s)$ \  $int$  $s\leftarrow \delta _{int}(s)$ （  $s$ ）  $t_{l}\leftarrow t;$  $t_{n}\leftarrow t_{l}+ta(s);$   $t_{l}\leftarrow t;$  $t_{n}\leftarrow t_{l}+ta(s);$  $t_{l}\leftarrow t;$  $t_{n}\leftarrow t_{l}+ta(s);$   $t_{n}\leftarrow t_{l}+ta(s);$ +  $t_{n}\leftarrow t_{l}+ta(s);$   $t_{n}\leftarrow t_{l}+ta(s);$  (  $t_{n}\leftarrow t_{l}+ta(s);$ ) $t_{n}\leftarrow t_{l}+ta(s);$ ; $t_{n}\leftarrow t_{l}+ta(s);$ {  $displaystyle t$ _  ${$  $n$ } \ 、 t  $_ l }$  +  $ta$  ( s  $;$  s )

보기 1: 총 상태 = 상태 * 경과 시간

Atomic DEVS 동작에서 설명한 바와 같이 DEVS가 입력이벤트를 수신하면 마지막 이벤트 시각인 오른쪽 호출 $\delta _{ext}$ $\delta _{ext}$ \ $displaystyle$ \ $delta$ _ { $ext$ }, $t_{l}$ \ $displaystyle$ $t_$ { $l$ $t$ 가 $t_{l}$ 현재 $시각$ 으로 설정됩니다 $.$ $따라서$ t $t_{e}=t-t_{l}$ $t_{e}=t-t_{l}$ - $t_{e}=t-t_{l}$ l { $displaystyle t$ _ { $e$ $t_{e}$ } = t - t _ { e } = t - t _ { $l$ } 이므로 $t_{e}$ $t_{e}$ e는 $t_{e}$ 0이 됩니다.

x-message (  $x\in X$   $x\in X$  $(t_{l}\leq t$  \  $displaystyle$  $(t_{l}\leq t$ x \  $in$  $x\in X$ X $x\in X$ ) 、 $time$  t {  $displaystyle$  $t$ (  $t$ _ {  $l$  \ $leq$  $(t_{l}\leq t$  $t }및$  then t  $)$ == $t\leq t_{n})$  false일  $경우$  $s\leftarrow \delta _{ext}(s,t-t_{l},x)$ ,  $s\leftarrow \delta _{ext}(s,t-t_{l},x)$   $s\leftarrow \delta _{ext}(s,t-t_{l},x)$   $s\leftarrow \delta _{ext}(s,t-t_{l},x)$  e  $s\leftarrow \delta _{ext}(s,t-t_{l},x)$ -  $s\leftarrow \delta _{ext}(s,t-t_{l},x)$  (  $s\leftarrow \delta _{ext}(s,t-t_{l},x)$  ) $s\leftarrow \delta _{ext}(s,t-t_{l},x)$   $s\leftarrow \delta _{ext}(s,t-t_{l},x)$  . $)({displaystyle$  s $\leftarrow _{ext}($  $t_{l}\leftarrow t;$  $,t-t_$  ${$  $t_{n}\leftarrow t_{l}+ta(s);$  $},$  $t_{l}\leftarrow t;$ )}  $t_{l}\leftarrow t;$  l $t_{l}\leftarrow t;$  $t_{n}\leftarrow t_{l}+ta(s);$  t  $t_{n}\leftarrow t_{l}+ta(s);$   $t_{n}\leftarrow t_{l}+ta(s);$   $t_{n}\leftarrow t_{l}+ta(s);$   $t_{n}\leftarrow t_{l}+ta(s);$  + $t_{n}\leftarrow t_{l}+ta(s);$ t $t_{n}\leftarrow t_{l}+ta(s);$  ( ) $t_{n}\leftarrow t_{l}+ta(s);$ ; { $displaystyle t_{n}\leftarrow t_{l$ }+ $ta(s;)$  ; $t_{l}\leftarrow t;$ })

보기 2: 총 상태 = 상태 * 수명 * 경과 시간

Atomic DEVS 동작에서 설명한 바와 같이b의 $값$ 에 $b$ 따라 b의 $\delta _{ext}$ 이벤트 시간 $t_{l}$ $t_{l}$ \ $displaystyle t_{l$ 및 다음 이벤트 $t_{n}$ $t_{n}$ $t_{e}$ \ $displaystyle t_{n$ 이 반환됩니다 $.$ 및 $t_{n}$ $(\$ $displaystyle$ $t_{n$ $b=1$ 이 업데이트되거나(b $1$ 인 $b=1$ ) 보존됩니다(b $b=0$ 인 $b=0$ (\ $displaystyle$ b $=0).$

 $x\in X$  ( x  $x\in X$  \  $displaystyle$ x \  $in$  $x\in X$ X $x\in X$ ) 、  $time$ t {  $displaystyle$ ( $t$  $(s,b)\leftarrow \delta _{ext}(s,t-t_{l},x)$   $(t_{l}\leq t$ {  $l$ } $(t_{l}\leq t$ \ $leq$  $(t_{l}\leq t$  $t }및$  then t n $)$ == $t\leq t_{n})$  false일  $경우$  오류: 동기 불량; ( $(s,b)\leftarrow \delta _{ext}(s,t-t_{l},x)$  , $(s,b)\leftarrow \delta _{ext}(s,t-t_{l},x)$  )  $(s,b)\leftarrow \delta _{ext}(s,t-t_{l},x)$   $(s,b)\leftarrow \delta _{ext}(s,t-t_{l},x)$  t, t, t, t, t, t  $(s,b)\leftarrow \delta _{ext}(s,t-t_{l},x)$  t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, t, $b=1$  $)\leftarrow \ext}(s$  $,t-t_$  ${l$  $},$  $x$  $b=1$  $)$  b $(s,b)\leftarrow \delta _{ext}(s,t-t_{l},x)$   $=$ 이면  $t_{l}\leftarrow t;$  l  $;$  { $displaystyle t_{l}\leftarrow$  t $;}$   $t_{n}\leftarrow t_{l}+ta(s);$  n  $t_{n}\leftarrow t_{l}+ta(s);$   $t_{n}\leftarrow t_{l}+ta(s);$  + $t_{n}\leftarrow t_{l}+ta(s);$  ( $t_{n}\leftarrow t_{l}+ta(s);$ ) $t_{n}\leftarrow t_{l}+ta(s);$ ; {  $displaystyle t_{n}\leftarrow t_{l$ } （ $ta$  ; s $t_{n}\leftarrow t_{l}+ta(s);$ }

「」를 참조해 주세요.

레퍼런스

[Zeigler84]Bernard Zeigler (1984). Multifacetted Modeling and Discrete Event Simulation. Academic Press, London; Orlando. ISBN 978-0-12-778450-2.
[ZKP00] Bernard Zeigler; Tag Gon Kim; Herbert Praehofer (2000). Theory of Modeling and Simulation (second ed.). Academic Press, New York. ISBN 978-0-12-778455-7.

Search

원자 DEVS 시뮬레이션 알고리즘

네임스페이스

더

목차

공통 부품

보기 1: 총 상태 = 상태 * 경과 시간

보기 2: 총 상태 = 상태 * 수명 * 경과 시간

「」를 참조해 주세요.

레퍼런스

Search

원자 DEVS 시뮬레이션 알고리즘

공통 부품

보기 1: 총 상태 = 상태 * 경과 시간

보기 2: 총 상태 = 상태 * 수명 * 경과 시간

「 」를 참조해 주세요.

레퍼런스

「」를 참조해 주세요.