Szimulációs algoritmusok kapcsolt DEVS-hez - Simulation algorithms for coupled DEVS

Egy csatolt DEVS-modellt figyelembe véve a szimulációs algoritmusok olyan módszerek a modell legális viselkedésének létrehozására, amelyek olyan pályák, amelyek nem érik el az illegális állapotokat. (lásd viselkedése csatolású DEVS modell szerint.) [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]}$

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

és

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

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

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

ekvivalens módon kiszámítva

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

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

Ezen összefüggések alapján az alábbiakban írjuk le az algoritmusokat, amelyek egy adott kapcsolt DEVS viselkedését szimulálják.

Algoritmusok

DEVS-coordinator
  Variables:
     parent // parent coordinator
     ${\displaystyle t_{l}}$: // time of last event
     ${\displaystyle t_{n}}$: // time of next event
     ${\displaystyle N=(X,Y,D,\{M_{i}\},C_{xx},C_{yx},C_{yy},Select)}$// the associated Coupled DEVS model
  when receive init-message(Time t)
     for each ${\displaystyle i\in D}$ do
        send init-message(t) to child ${\displaystyle i}$
     ${\displaystyle t_{l}\leftarrow \max\{t_{li}:i\in D\}}$;
     ${\displaystyle t_{n}\leftarrow \min\{t_{ni}:i\in D\}}$;
  when receive star-message(Time t)
     if ${\displaystyle t\neq t_{n}}$ then
        error: bad synchronization;
     ${\displaystyle i^{*}\leftarrow Select(\{i\in D:t_{ni}=t_{n}\});}$
     send star-message(t)to ${\displaystyle i^{*}}$
     ${\displaystyle t_{l}\leftarrow \max\{t_{li}:i\in D\}}$;
     ${\displaystyle t_{n}\leftarrow \min\{t_{ni}:i\in D\}}$;
  when receive x-message(${\displaystyle x\in X}$, Time t)
     if ${\displaystyle (t_{l}\leq t}$ and ${\displaystyle t\leq t_{n})}$ == false then
        error: bad synchronization;
     for each ${\displaystyle (x,x_{i})\in C_{xx}}$ do
        send x-message(${\displaystyle x_{i}}$,t) to child ${\displaystyle i}$
     ${\displaystyle t_{l}\leftarrow \max\{t_{li}:i\in D\}}$;
     ${\displaystyle t_{n}\leftarrow \min\{t_{ni}:i\in D\}}$;
  when receive y-message(${\displaystyle y_{i}\in Y_{i}}$, Time t)
     for each ${\displaystyle (y_{i},x_{i})\in C_{yx}}$ do
        send x-message(${\displaystyle x_{i}}$,t) to child ${\displaystyle i}$
     if ${\displaystyle C_{yy}(y_{i})\neq \phi }$ then
        send y-message(${\displaystyle C_{yy}(y_{i})}$, t) to parent;
     ${\displaystyle t_{l}\leftarrow \max\{t_{li}:i\in D\}}$;
     ${\displaystyle t_{n}\leftarrow \min\{t_{ni}:i\in D\}}$;

Lásd még

• Párosított DEVS
• A kapcsolt DEVS viselkedése
• Szimulációs algoritmusok az atom DEVS számára

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 .