이벤트 세그먼트

컴퓨팅에 있어서의 시스템 변수의 세그먼트는, 일정기간에 걸친 시스템 다이내믹스의 균질한 상태를 나타냅니다.여기서 변수의 균질 상태는 공식의 계수 세트로 기술할 수 있는 상태를 말한다.예를 들어, 균질 상태의 경우 일정(스위치의 ON) 및 선형(속도의 경우 시속 96km) 상태를 가져올 수 있습니다.수학적으로 세그먼트는 실제 간격으로 정의할 수 있는 시간 집합에서 $집합$ Z ${\displaystyle$ Z $Z$ [Zeigler76], [ZPK00 ], [Hwang13]에 대한 함수 매핑입니다.시스템 변수의 궤적은 연결된 세그먼트의 시퀀스입니다.연결 세그먼트가 일정하면 궤적 상수(각각 선형)라고 부른다.

이벤트 세그먼트는 상수 세그먼트가 시간 지정 이벤트 또는 늘 세그먼트 중 하나라는 제약 조건이 있는 상수 세그먼트의 특수 클래스입니다.이벤트 세그먼트는 DEVS, 시간 자동 데이터 및 시간 지정 페트리 네트와 같은 시간 지정 이벤트 시스템을 정의하는 데 사용됩니다.

이벤트 세그먼트

타임 베이스

관련 시스템의 타임베이스는 T $\mathbb {T}$ \ $displaystyle \mathbb {T$ 로 $\mathbb {T}$ 정의됩니다.

\displaystyle \mathbb {T} = [0,\infty}

음이 아닌 실수의 집합으로 사용됩니다.

이벤트 및 null 이벤트

이벤트는 변경을 추상화하는 레이블입니다.이벤트 $세트$ Z(\ $displaystyle$ Z $Z$ 를 지정하면 $\epsilon \not \in Z$ Z $(\displaystyle\epsilon\in$ Z $)$ 로 $\epsilon \not \in Z$ 표시되는 늘이벤트는 아무것도 변경되지 않습니다.

시간 지정 이벤트

timed 이벤트는 $(t,z)$ ( $(t,z)$ , z ) { displaystyle $( t$ , $z$ )입니다 $(t,z)$ $.$ 여기서 t $t\in \mathbb {T}$ $z\in Z$ $t\in \mathbb {T}$ T { $style$ t \ $in$ \ $mathbb$ { $T$ } $z\in Z$ z $z\in Z$ { \ $displaystyle$ z $\in$ Z $}$ 는 $z\in Z$ $z\in Z$ 이벤트 $z\in Z$ ${\$ z $\in$ Z $t\in \mathbb {T}$ 가 t $t\in \mathbb {T}$ T { $t\in \mathbb {T}$ mathbbb $}$ 에 발생함을 나타냅니다.

특수한 세그먼트

시간 $[t_{l},t_{u}]\subset \mathbb {T}$ 간격에 걸친 늘세그먼트 [ $t$ l , $[t_{l},t_{u}]\subset \mathbb {T}$ u ] $[t_{l},t_{u}]\subset \mathbb {T}$ t $[t_{l},t_{u}]\subset \mathbb {T}$ { { $displaystyle$ [ t _ { $l$ , $t$ _ { $u }$ $[t_{l},t_{u}]\subset \mathbb {T}$ } [ $\epsilon _{[t_{l},t_{u}]}$ $[t_{l},t_{u}]\subset \mathbb {T}$ $\epsilon _{[t_{l},t_{u}]}$ [ $\epsilon _{[t_{l},t_{u}]}$ t t t t t t t t t ] [ $[t_{l},t_{u}]$ $\epsilon _{[t_{l},t_{u}]}$ $[t_{l},t_{u}]$ , $tu ]{ displaystyle$ \ $epsilon$ _ { $t$ $[t_{l},t_{u}]\subset \mathbb {T}$ }}}로 $[t_{l},t_{u}]\subset \mathbb {T}$ $\epsilon _{[t_{l},t_{u}]}$ 나타나며, $[t_{l},t_{u}]$ 는 $[t_{l},t_{u}]$ $Z$ { $displaystyle$ Z $[t_{l},t_{u}]$ 에서 $Z$ $Z$ 도 발생하지 않음을 의미합니다.

단위 이벤트 세그먼트

단위 이벤트 세그먼트는 Null 이벤트 세그먼트 또는 시간 지정 이벤트입니다.

연결

이벤트 $세트$ Z({ $displaystyle$ Z $Z$ 를 $[t_{1},t_{2}]$ 지정하면 2개의 유닛이벤트 $(\displaystyle \obega$ $}$ $[t_{1},t_{2}]$ over $\omega$ $\omega '$ [ $[t_{1},t_{2}]$ $[t_{3},t_{4}]$ $[t_{1},t_{2}]$ , t $[t_{1},t_{2}]$ $[t_{3},t_{4}]$ $]$ { $displaystyle$ $[t_{1},t_{2}]$ $[$ $t$ $_$ { $1$ , $[t_{3},t_{4}]$ $[t_{1},t_{2}]$ $_$ { $2$ $[t_{1},t_{2}]$ } $[t_{3},t_{4}]$ } $[t_{3},t_{4}]$ $ωωωωωdisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplay segments$ $)$ 의 결합은 다음과 $\omega \omega '$ $ga$ ' $\omega \omega '$ } 。시간 $[t_{1},t_{4}]$ 은 $[t_{1},t_{4}]$ [ $[t_{1},t_{4}]$ 1 , $[t_{1},t_{4}]$ $]$ { $displaystyle$ [ $t$ _ { $1$ , $t$ _ { $4$ } $[t_{1},t_{4}]$ $t_{2}=t_{3}$ 、 $t_{2}=t_{3}$ { $displaystyle t$ _ {2} $= t$ _ {3} $t_{2}=t_{3}$ 。

이벤트 궤적

$이벤트$ $세트$ Z $({displaystyle$ Z $Z$ $(t_{1},z_{1})(t_{2},z_{2})\cdots (t_{n},z_{n})$ 및 시간 $[t_{l},t_{u}]\subset \mathbb {T}$ t $[t_{l},t_{u}]\subset \mathbb {T}$ $[t_{l},t_{u}]\subset \mathbb {T}$ , $[t_{l},t_{u}]\subset \mathbb {T}$ , t $(t_{1},z_{1})(t_{2},z_{2})\cdots (t_{n},z_{n})$ t)에 $(t_{1},z_{1})(t_{2},z_{2})\cdots (t_{n},z_{n})$ 걸친 이벤트 $(t_{1},z_{1})(t_{2},z_{2})\cdots (t_{n},z_{n})$ 궤적 ( $t1$ $(t_{1},z_{1})(t_{2},z_{2})\cdots (t_{n},z_{n})$ $[t_{l},t_{u}]\subset \mathbb {T}$ $(t_{1},z_{1})(t_{2},z_{2})\cdots (t_{n},z_{n})$ t _ $displaystyle$ T $[t_{l},t_{u}]\subset \mathbb {T}$ $(t_{1},z_{1})(t_{2},z_{2})\cdots (t_{n},z_{n})$ $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ [ $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ , $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ 1 $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ , ( $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ , $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ 1 ) , $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ [ $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ , $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ 2 $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ , $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ , $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ ( $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ t $n$ , $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ n ) , \ $displaystyle$ \ $explon$ _ { [ $t _$ { l , $t$ _ { $1$ } , \ $explaystyle$ _ { t $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ _ { t $\epsilon _{[t_{l},t_{1}]},(t_{1},z_{1}),\epsilon _{[t_{1},t_{2}]},(t_{2},z_{2}),\ldots ,(t_{n},z_{n}),$ _ { $t }$ , $z$ _ { t } , { t } } $t_{l}\leq t_{1}\leq t_{2}\leq \cdots \leq t_{n-1}\leq t_{n}\leq t_{u}$ $t_{l}\leq t_{1}\leq t_{2}\leq \cdots \leq t_{n-1}\leq t_{n}\leq t_{u}$ l $t_{l}\leq t_{1}\leq t_{2}\leq \cdots \leq t_{n-1}\leq t_{n}\leq t_{u}$ $t_{l}\leq t_{1}\leq t_{2}\leq \cdots \leq t_{n-1}\leq t_{n}\leq t_{u}$ 1 $t_{l}\leq t_{1}\leq t_{2}\leq \cdots \leq t_{n-1}\leq t_{n}\leq t_{u}$ t $t_{l}\leq t_{1}\leq t_{2}\leq \cdots \leq t_{n-1}\leq t_{n}\leq t_{u}$ $t_{l}\leq t_{1}\leq t_{2}\leq \cdots \leq t_{n-1}\leq t_{n}\leq t_{u}$ t $t_{l}\leq t_{1}\leq t_{2}\leq \cdots \leq t_{n-1}\leq t_{n}\leq t_{u}$ n - $t_{l}\leq t_{1}\leq t_{2}\leq \cdots \leq t_{n-1}\leq t_{n}\leq t_{u}$ $t_{l}\leq t_{1}\leq t_{2}\leq \cdots \leq t_{n-1}\leq t_{n}\leq t_{u}$ n $t_{l}\leq t_{1}\leq t_{2}\leq \cdots \leq t_{n-1}\leq t_{n}\leq t_{u}$ $t_{l}\leq t_{1}\leq t_{2}\leq \cdots \leq t_{n-1}\leq t_{n}\leq t_{u}$ u { $display style$ t_ ${l}\leq t_{1}\leq t_cdots \leq t_{n-1$ }\ $leq t_$ u}

수학적으로 이벤트 궤적은 이벤트 $세트$ Z {\ $displaystyle$ $\omega$ Z $Z$ 에 $\omega$ 대한 시간 $[t_{l},t_{u}]\subseteq \mathbb {T}$ 주기 $\omega$ [ $[t_{l},t_{u}]\subseteq \mathbb {T}$ l , $[t_{l},t_{u}]\subseteq \mathbb {T}$ u $]$ $[t_{l},t_{u}]\subseteq \mathbb {T}$ T $[t_{l},t_{u}]\subseteq \mathbb {T}$ \ $displaystyle$ [ t $_ l$ , t _ { $u$ } \ $subseteq$ \ $mathbb$ { $T$ } $}}$ $displaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplaydisplay$ $[t_{l},t_{u}]\subseteq \mathbb {T}$ : : :displaydisplaydisplay : :displaydisplay : : : : : : : : : : : : : : : : : : : : : : : : : : :displaydisplay : : : : : : : : : : : : : : : : : : : : $displaydisplay$ : z z

\displaystyle \ope : [ t _ { l , t _ {u } \ rightrow Z^ { * } 。}

시간 지정 언어

이벤트 $세트$ Z(\ $displaystyle$ $\Omega _{Z,[t_{l},t_{u}]}$ Z $}$ 및 $Z$ 시간 $[t_{l},t_{u}]\subset \mathbb {T}$ 간격 [ $[t_{l},t_{u}]\subset \mathbb {T}$ $l$ , $t$ u $\Omega _{Z,[t_{l},t_{u}]}$ $[t_{l},t_{u}]\subset \mathbb {T}$ 의 $\Omega _{Z,[t_{l},t_{u}]}$ 유니버설타이밍 언어 $\Omega _{Z,[t_{l},t_{u}]}$ Z , $\Omega _{Z,[t_{l},t_{u}]}$ [ $\Omega _{Z,[t_{l},t_{u}]}$ , t u ], [ t l , $t _ {$ u $[t_{l},t_{u}]\subset \mathbb {T}$ ])는 $[t_{l},t_{u}]\subset \mathbb {T}$ T \ $displaystyle [ t_l$ , $t_u },$ \ $subset$ \mathbbbbbbbb ${t}$ 입니다 $.$ $[t_{l},t_{u}]$ $]$ { $displaystyle [t_{l},t_{u$ 입니다.

이벤트 $세트$ Z({ $displaystyle$ Z}) 및 $Z$ 시간 간격 $[t_{l},t_{u}]$ l $[t_{l},t_{u}]$ $]({displaystyle$ $[$ $t_{l$ $}, t_{$ u})에 $[t_{l},t_{u}]$ 대한 $시간$ $언어$ L({ $displaystyle$ Z $Z$ $[t_{l},t_{u}]$ 및 [ $[t_{l},t_{u}]$ $, t_u$ $L\subseteq \Omega _{Z,[t_{l},t_{u}]}$ 은 $[t_{l},t_{u}]$ 다음과 같은 경우 $L\subseteq \Omega _{Z,[t_{l},t_{u}]}$ 의 이벤트 $궤적$ 입니다. $playstyle$ L $\subseteq \Omega$ _ ${Z,[t_{l},t_{u$

「」를 참조해 주세요.

컴퓨팅의 개요

레퍼런스

[Zeigler76]Bernard Zeigler (1976). Theory of Modeling and Simulation (first ed.). Wiley Interscience, New York.
[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.
[Giambasi01] Giambasi N, Escude B.Ghosh S. "다이나믹 시스템의 일반 이산 이벤트 시뮬레이션", SCS 트랜잭션 4호:DEVS 방법론의 최근 발전 - 파트 II, Vol. 18, 페이지 216–229, 2001년 12월
[Hwang13] 황모씨, 2013년 4월 7일~10일 미국 샌디에이고, 모델링 및 시뮬레이션 이론 심포지엄 진행 - DEVS 통합 M&S 심포지엄

Search

이벤트 세그먼트

네임스페이스

더

목차