Szimulációs algoritmusok atomi DEVS-hez - Simulation algorithms for atomic DEVS

Atomi DEVS modellt figyelembe véve a szimulációs algoritmusok olyan módszerek a modell jogi viselkedésének létrehozására, amelyek olyan pályák, amelyeket nem szabad elérni az illegális államok felé. (lásd DEVS viselkedése ). [Zeigler84] eredetileg be az algoritmusok, amelyek kezelik időben összefüggő változók élettartama és az eltelt idő bevezetésével két másik alkalommal változó, utolsó esemény ideje , és a következő esemény időpontja a következő összefüggések: ${\ displaystyle t_ {s} \ itt: [0, \ infty]}$ ${\ displaystyle t_ {e} \ in [0, \ infty)}$${\ displaystyle t_ {l} \ in [0, \ infty)}$ ${\ displaystyle t_ {n} \ itt: [0, \ infty]}$

és

ahol az aktuális időt jelöli . És a hátralévő idő , ${\ displaystyle t \ in [0, \ infty)}$

ekvivalens módon kiszámítva

, látszólag . ${\ displaystyle t_ {r} \ itt: [0, \ infty]}$

Mivel egy adott atomi DEVS-modell viselkedését a teljes állapot és a külső átmeneti függvény függvényében két különböző nézetben lehet meghatározni (lásd a DEVS viselkedését ), a szimulációs algoritmusokat két különböző nézetben is bemutatjuk, az alábbiak szerint.

Közös részek

A teljes állapotok két különböző nézetétől függetlenül az inicializálás algoritmusait és a belső átmeneti eseteket általában az alábbiakban definiáljuk.

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

1. nézet: összes állapot = állapot * eltelt idők

Amint azt az Atom viselkedése című DEVS- ben megfogalmaztuk , amikor a DEVS bemeneti eseményt fogad, a helyes hívást , az utolsó esemény idejét az aktuális idő állítja be , így az eltelt idő nulla lesz, mert . ${\ displaystyle \ delta _ {ext}}$${\ displaystyle t_ {l}}$${\ displaystyle t}$${\ displaystyle t_ {e}}$${\ displaystyle t_ {e} = t-t_ {l}}$

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

2. nézet: összes állapot = állapot * élettartam * eltelt idők

Figyelje meg, hogy amint azt a Behavior of Atomic DEVS című cikkben említettük , a visszatérés értékétől függően, az utolsó esemény időpontja , és a következő esemény ideje , következésképpen az eltelt idő és az élettartam frissül (ha ) vagy megőrződik (ha ). ${\ displaystyle b}$${\ displaystyle \ delta _ {ext}}$${\ displaystyle t_ {l}}$${\ displaystyle t_ {n}}$${\ displaystyle t_ {e}}$${\ displaystyle t_ {n}}$${\ displaystyle b = 1}$${\ displaystyle b = 0}$

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

Lásd még

• Atomi DEVS
• Az atom DEVS viselkedése
• Szimulációs algoritmusok kapcsolt DEVS-hez

Hivatkozások

• [Zeigler84] Bernard Zeigler (1984). Többcélú modellezés és diszkrét eseményszimuláció . Academic Press, London; Orlando. ISBN   978-0-12-778450-2 .
• [ZKP00] Bernard Zeigler; Tag Gon Kim; Herbert Praehofer (2000). Modellezés és szimuláció elmélete (második kiadás). Academic Press, New York. ISBN   978-0-12-778455-7 .