주어진 DEVS 모델의 동작은 일련 의 법적 상태 내에서 모델을 한 상태에서 다른 상태로 이동하게 하는 이벤트 세그먼트 라고 불리는 null 이벤트를 포함한 일련의 타이밍 설정 이벤트다. 이를 이렇게 정의하기 위해서는 일련의 불법 국가뿐만 아니라 일련의 합법 국가라는 개념이 도입될 필요가 있다.
또한, 주어진 DEVS 모델의 동작은 시간이 흐를 때와 사건이 발생할 때 모두 상태 전환이 어떻게 변화하는지 정의할 필요가 있기 때문에, 그것은 일반 시스템[ZPK00] 이라고 불리는 훨씬 일반적인 형식주의에 의해 설명되어 왔다. 이 글에서 우리는 대신 타임 이벤트 시스템이라 고 불리는 일반 시스템 형식주의 하위 클래스를 사용한다.
DEVS 모델의 총 상태 및 외부 상태 전환 기능을 어떻게 정의하느냐에 따라, Timed Event System 을 사용하여 DEVS 모델의 동작을 정의하는 두 가지 방법이 있다.커플링된 DEVS 모델의 동작은 원자 DEVS 모델로 정의되기 때문에 커플링된 DEVS 클래스의 동작도 타이밍 설정 이벤트 시스템에 의해 정의된다.
보기 1: 총 상태 = 상태 * 경과 시간 DEVS 모델 M =< X S 0 t Δ e t t Δ i t Δ {\displaystyle {\\mathcal {\M}=<X,Y,S,s_{0}}ta,\delta _{ext int}, lambda}}}}}}}}}}}}}}}}}}}}}}
외부 상태 전환 Δ e x t Q × X S {\displaystyle \delta _{ext}: Q\time X\오른쪽 S 총 상태 집합 Q t s ∈ S t e ∈ T ∩ t a ] } {\displaystyle Q=\{(s,t_{e}) s\in S,t_{e}\in (\mathb {T} \cap [0,ta(s)]) \}}} 여기 e {\ displaystyle t_{e} 0 , ) {\displaystyle \mathb {T} 0,\infty )} 그렇다면 DEVS 모델 M {\ displaystyle {\mathcal {M} 이벤트 시스템 G =< , Q , Q Q 0 ,A ,Δ {\displaystyle{G}=<Z,Q,Q_{0},Q_{A},\Delta .
이벤트 세트 Z X ∪ Y ϕ {\ displaystyle Z=X\컵 ^{\phi }}}. 상태Q Q A ∪ Q N {\ displaystyle Q=Q_{A}\cup Q_{ N}}{\n}=\{\bar{s}}\not \} QN { s in }. 초기 상태 집합 0 s 0 , 0 )} {\displaystyle \,Q_{0}=\{{(s_{0},0 승인 상태 Q A M {\displaystyle Q_{ A}={\mathcal {M}.Q.} The set of state trajectories Δ ⊆ Q × Ω Z , [ t l , t u ] × Q {\displaystyle \Delta \subseteq Q\times \Omega _{Z,[t_{l},t_{u}]}\times Q} q ∈ Q N {\displaystyle q\in Q_{N}} q ∈ Q A {\displaystyle q\in Q_{A}} q ∈ Q N {\displaystyle q\in Q_{N}} ω ∈ Ω Z , [ t l , t u ] {\displaystyle \omega \in \Omega _{Z,[t_{l},t_{u}]}} ( q , ω , q ) ∈ Δ . {\displaystyle (q,\omega ,q)\in \Delta .} For a total state q = ( s , t e ) ∈ Q A {\displaystyle q=(s,t_{e})\in Q_{A}} t ∈ T {\displaystyle t\in \mathbb {T} } event segment ω ∈ Ω Z , [ t l , t u ] {\displaystyle \omega \in \Omega _{Z,[t_{l},t_{u}]}}
단위 이벤트 세그먼트 Ω {\displaystyle \omega } null 이벤트 세그먼트 인 경우, 즉 Ω ϵ t t ] {\ displaystyle \omega =\epsilon _{[,t,t+dt]}}}}}}}}}
( q , ω , ( s , t e + d t ) ) ∈ Δ . {\displaystyle \,(q,\omega ,(s,t_{e}+dt)) \in \Delta .} 단위 이벤트 세그먼트 Ω {\displaystyle \omega } 가 이벤트 Ω t {\displaystyle \omega =(x,t)} x ∈ X {\displaysty \in }
( q , ω , ( δ e x t ( q , x ) , 0 ) ) ∈ Δ . \deltayle (q,\omega ,(\delta _{ext}(q,x),0))\\in \Delta .} 단위 이벤트 세그먼트 Ω {\displaystyle \omega } 이벤트 Ω y t {\displaystyle \omega =(y,t)} y ∈ Y ϕ {\ style y\in ^{\pi}}, ,,
{ ( q , ω , ( δ i n t ( s ) , 0 ) ) ∈ Δ 만일 t e = t a ( s ) , y = λ ( s ) ( q , ω , s ¯ ) 그렇지 않으면 . {\displaystyle {\begin}(q,\omega, (\delta _{int},0))\\Delta &{{if}~t_{e}=ta,y=\lambda(s)\(s)\(q,\omega,{bar})&\textr {otherwise}. \end{case}}} 이러한 행동의 관점을 시뮬레이션하는 컴퓨터 알고리즘은 원자핵 개발의 시뮬레이션 알고리즘 에서 이용할 수 있다.
보기 2: 총 상태 = 상태 * 수명 * 경과 시간 DEVS 모델 M =< X S 0 t Δ e t t Δ i t Δ {\displaystyle {\\mathcal {\M}=<X,Y,S,s_{0}}ta,\delta _{ext int}, lambda}}}}}}}}}}}}}}}}}}}}}}
the total state set Q = { ( s , t s , t e ) s ∈ S , t s ∈ T ∞ , t e ∈ ( T ∩ [ 0 , t s ] ) } {\displaystyle Q=\{(s,t_{s},t_{e}) s\in S,t_{s}\in \mathbb {T} ^{\infty },t_{e}\in (\mathbb {T} \cap [0,t_{s}]) \}} t s {\displaystyle t_{s}} s {\displaystyle s} t e {\displaystyle t_{e}} t s {\displaystyle t_{s}} T ∞ = [ 0 , ∞ ) ∪ { ∞ } {\displaystyle \mathbb {T} ^{\infty }=[0,\infty )\cup \{\infty \}} n-음수 실수에 인피니티까지 더하면 외부 상태 전환은 Δ e x t Q × S × 0 , 1 } {\displaystyle \delta _{ext}: Q\time X\rightarrow S\time \{0,1 그렇다면 DEVS Q D {\ displaystyle ={\mathcal{D}} 타이밍 =< Z , Q 0 A ,Δ displaystyle {G}=<Z,Q,Q_{0},Q_{A},\Delta .
이벤트 세트 Z X ∪ Y ϕ {\ displaystyle Z=X\컵 ^{\phi }}}. 상태Q Q A ∪ Q N {\ displaystyle Q=Q_{A}\cup Q_{ N}}{\n}=\{\bar{s}}\not \} QN { s in }. 초기 상태 집합 0 s 0 ,a s 0 )} {\displaystyle \,Q_{0}=\{{0 s_{0}),0 허용 상태 집합 Q A M {\displaystyle Q_{ A}={\mathcal {M}. Q} The set of state trajectories Δ ⊆ Q × Ω Z , [ t l , t u ] × Q {\displaystyle \Delta \subseteq Q\times \Omega _{Z,[t_{l},t_{u}]}\times Q} q ∈ Q N {\displaystyle q\in Q_{N}} q ∈ Q A {\displaystyle q\in Q_{A}} q ∈ Q N {\displaystyle q\in Q_{ N Ω Ω Z t l t ] displaystyle \omega \Oomega _{Z,[t_{l},t_ }]}}}}}}} (q , Ω , q) Δ . {\displaystyledelta. For a total state q = ( s , t s , t e ) ∈ Q A {\displaystyle q=(s,t_{s},t_{e})\in Q_{A}} t ∈ T {\displaystyle t\in \mathbb {T} } event segment ω ∈ Ω Z , [ t l , t u ] {\displaystyle \omega \in \Omega _{Z,[t_{l},t_{u}]}}
단위 이벤트 세그먼트 Ω {\displaystyle \omega } null 이벤트 세그먼트 인 경우, 즉 Ω ϵ t t ] {\ displaystyle \omega =\epsilon _{[,t,t+dt]}}}}}}}}}
( q , ω , ( s , t s , t e + d t ) ) ∈ Δ . {\displaystyle (q,\omega ,(s,t_{s},t_{e}+dt)) \in \Delta .} 단위 이벤트 세그먼트 Ω {\displaystyle \omega } 가 이벤트 Ω t {\displaystyle \omega =(x,t)} x ∈ X {\displaysty \in }
{ ( q , ω , ( s ′ , t a ( s ′ ) , 0 ) ) ∈ Δ 만일 δ e x t ( s , t s , t e , x ) = ( s ′ , 1 ) , ( q , ω , ( s ′ , t s , t e ) ) ∈ Δ 그렇지 않으면, 즉 δ e x t ( s , t s , t e , x ) = ( s ′ , 0 ) . {\displaystyle {\begin{cases}(q,\omega ,(s',ta(s'),0))\in \Delta &{\textrm {if}}~\delta _{ext}(s,t_{s},t_{e},x)=(s',1),\\(q,\omega ,(s',t_{s},t_{e}))\in \Delta &{\textrm {otherwise,i.e. }}~\cHB _{ext}(s,t_{s},t_{e}x)=(s',0). \end{case}}} 단위 이벤트 세그먼트 Ω {\displaystyle \omega } 이벤트 Ω y t {\displaystyle \omega =(y,t)} y ∈ Y ϕ {\ style y\in ^{\pi}}, ,,
{ ( q , ω , ( s ′ , t a ( s ′ ) , 0 ) ) ∈ Δ 만일 t e = t s , y = λ ( s ) , δ i n t ( s ) = s ′ , ( q , ω , s ¯ ) ∈ Δ 그렇지 않으면 . {\displaystyle {\begin{cases}(q,\omega ,(s',ta(s'),0))\in \Delta &{\textrm {if}}~t_{e}=t_{s},y=\lambda (s),\delta _{int}(s)=s',\\(q,\omega ,{\bar {s}})\in \Delta &{\textrm {otherwise}}. \end{case}}} 이러한 행동의 관점을 시뮬레이션하는 컴퓨터 알고리즘은 원자핵 개발의 시뮬레이션 알고리즘 에서 이용할 수 있다.
View1과 View2의 비교 뷰의 특징1 View1은 Zeigler [Zeigler84 ] 에 의해 소개되었으며, 여기에서 총 상태 q t ∈ Q {\displaystyle q=(s,t_{e})\in }
t a ( s ) = σ \displaystyle \,ta=\disma } 여기서 σ {\displaystyle \sigma } [Zeigler84] [ZPK00] 이다. In other words, the set of partial states is indeed S = { ( d , σ ) d ∈ S ′ , σ ∈ T ∞ } {\displaystyle S=\{(d,\sigma ) d\in S',\sigma \in \mathbb {T} ^{\infty }\}} S ′ {\displaystyle S'}
DEVS 모델이 입력 이벤트 x x {\displaystyle \in X} ) 시간 t {\ displaystyle t_{e} x {\displaystyle )
σ = σ − t e {\displaystyle \,\displayma =\displayma -t_{e}} 외부 상태 전환 함수 Δ e x t {\ displaystyle \delta _{ext}
σ {\displaystyle \sigma} 그 결과 상태 d ) S displaystyle =(d,\sigma )\in }
DEVS 모델의 유한한 버텍스 도달성 그래프를 신경 쓰지 않는다면 View1은 입력 이벤트가 DEVS 모델에 도착할 때마다t 0 {\displaystyle t_{e}=0} 그러나 단점은 DEVS 모델러가 위에서와 같이 t {\ displaystyle \sigma } Δ e displaystyle \ delta _ { ext} Δ {\displaystyledelta .
뷰의 특징2 뷰2는 황과 자이글러에 의해 소개되었다. HZ06] [HZ07] 이 경우 총 상태 s , t s, t e given {\displaystyle q=(s,t_{s},t_{e})\ Q 나머지 시간 {\displaysty \sigma}
σ = t s − t e . {\displaystyle \,\displayma =t_{s}-t_{e}. } When a DEVS model receives an input event x ∈ X {\displaystyle x\in X} t e {\displaystyle t_{e}} δ e x t ( q , x ) = ( s ′ , 1 ) {\displaystyle \delta _{ext}(q,x)=(s',1)} x {\displaystyle x} Δ e x t q , x s ,,0 displaystyle \property_{ext}(q,x)=(s',0)} .
View1과 달리 나머지 시간 σ {\displaystyle \sigma ( 본질적 displaystyle } 수 displaystyle } [Hz06] 를 그릴 수 있다. HZ07. 그 결과, 우리는 도달성 그래프[Hz06 ]라고 불리는 유한 버텍스 그래프로서, 예를 들어 SP-DEVS 와 FD-DEVS 와 같은 DEVS급 네트워크의 동작을 추상화할 수 있다[ HZ07] .
참고 항목 참조 [자이글러76] Bernard Zeigler (1976). Theory of Modeling and Simulation (first ed.). Wiley Interscience, New York.[자이글러84] [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 [Hz06] M. H. 황과 Bernard Zeigler , ``유한성과 결정론적 DEVS 네트워크의 도달 가능한 그래프", 2006 DEVS 심포지엄 , pp48-56, 미국 앨라배마 헌츠빌, www.acims.arizona.edu/ ://http://moonho.hwang.googlepages.com/publications) 및 http://moonho.hwang.googlepages.com/publications)에서 이용 가능 [Hz07] 황 교수와 버나드 자이글러 교수, "유한성 및 결정론적 DEVS의 접근성 그래프", IEEE 자동화 과학 및 엔지니어링 거래, 제6권, 제3권, 제3권, 제454–467권, http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?isnumber=5153598&arnumber=5071137&count=19&index=7 
![{\displaystyle Q=\{(s,t_{e})|s\in S,t_{e}\in (\mathbb {T} \cap [0,ta(s)])\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/858859e0349f18cc0370c8a7d8be94737def6d21)
t 
![{\displaystyle \Delta \subseteq Q\times \Omega _{Z,[t_{l},t_{u}]}\times Q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd4aa1a8249e4c2515cbf417a658ae967a8c0215)
![{\displaystyle \omega \in \Omega _{Z,[t_{l},t_{u}]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7cfe075628a7736029e86ae72332f6f2c53bfb9)
(가) 
![{\displaystyle Q=\{(s,t_{s},t_{e})|s\in S,t_{s}\in \mathbb {T} ^{\infty },t_{e}\in (\mathbb {T} \cap [0,t_{s}])\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/293c6673e551e1e86d4493f7a1767a51f9ba9b1c)
주어졌다.
(는) 남은 시간 
모델 제작자의 책임이다. 
