Simulační algoritmy pro vázané zařízení DEVS - Simulation algorithms for coupled DEVS

Vzhledem k vázanému modelu DEVS jsou simulační algoritmy metodami pro generování modelu právní chování, což je soubor trajektorií, kterými nelze dosáhnout nelegálních států. (vidět chování sdruženého zařízení DEVS Modelka.) [Zeigler84] původně představil algoritmy, které zpracovávají časové proměnné související s životnost ${ displaystyle t_ {s} v [0, infty]}$ a uplynulý čas ${ displaystyle t_ {e} v [0, infty)}$ zavedením dvou dalších časových proměnných, čas poslední události, ${ displaystyle t_ {l} v [0, infty)}$ , a čas příští události ${ displaystyle t_ {n} v [0, infty]}$ s následujícími vztahy:

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

a

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

kde ${ displaystyle t v [0, infty)}$ označuje aktuální čas. A zbývající čas,

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

je ekvivalentně počítán jako

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

podle všeho ${ displaystyle t_ {r} v [0, infty]}$ .

Na základě těchto vztahů jsou algoritmy simulující chování dané Coupled DEVS napsány následovně.

Algoritmy

DEVS-coordinator Proměnné: parent // parent coordinator  ${ displaystyle t_ {l}}$ : // čas poslední události  ${ displaystyle t_ {n}}$ : // čas příští události  ${ displaystyle N = (X, Y, D, {M_ {i} }, C_ {xx}, C_ {yx}, C_ {yy}, výběr)}$ // přidružené Spojené DEVS model při příjmu zprávy init (čas t)     pro každého  ${ displaystyle i v D}$  pošlete zprávu init (t) dítěti  ${ displaystyle i}$       ${ displaystyle t_ {l} leftarrow max {t_ {li}: i in D }}$ ;      ${ displaystyle t_ {n} leftarrow min {t_ {ni}: i in D }}$ ; když obdržíte hvězdnou zprávu (čas t) pokud  ${ displaystyle t neq t_ {n}}$  pak chyba: špatná synchronizace;  ${ displaystyle i ^ {*} leftarrow Select ( {i v D: t_ {ni} = t_ {n} });}$      poslat hvězdnou zprávu (t)na  ${ displaystyle i ^ {*}}$       ${ displaystyle t_ {l} leftarrow max {t_ {li}: i in D }}$ ;      ${ displaystyle t_ {n} leftarrow min {t_ {ni}: i in D }}$ ; při přijetí zprávy x ( ${ displaystyle x v X}$ , Čas t) pokud  ${ displaystyle (t_ {l} leq t}$  a  ${ displaystyle t leq t_ {n})}$  == false pak chyba: špatná synchronizace; pro každého  ${ displaystyle (x, x_ {i}) v C_ {xx}}$  pošlete x-zprávu ( ${ displaystyle x_ {i}}$ ,t) dítěti  ${ displaystyle i}$       ${ displaystyle t_ {l} leftarrow max {t_ {li}: i in D }}$ ;      ${ displaystyle t_ {n} leftarrow min {t_ {ni}: i in D }}$ ; při příjmu zprávy y ( ${ displaystyle y_ {i} v Y_ {i}}$ , Čas t)     pro každého  ${ displaystyle (y_ {i}, x_ {i}) v C_ {yx}}$  pošlete x-zprávu ( ${ displaystyle x_ {i}}$ ,t) dítěti  ${ displaystyle i}$      -li  ${ displaystyle C_ {yy} (y_ {i}) neq phi}$  poté odešlete zprávu y ( ${ displaystyle C_ {yy} (y_ {i})}$ , t) rodiči;  ${ displaystyle t_ {l} leftarrow max {t_ {li}: i in D }}$ ;      ${ displaystyle t_ {n} leftarrow min {t_ {ni}: i in D }}$ ;

Viz také

Reference

[Zeigler84] Bernard Zeigler (1984). Mnohostranné modelování a diskrétní simulace událostí. Academic Press, Londýn; Orlando. ISBN 978-0-12-778450-2.
[ZKP00] Bernard Zeigler; Tag Gon Kim; Herbert Praehofer (2000). Teorie modelování a simulace (druhé vydání). Academic Press, New York. ISBN 978-0-12-778455-7.