Chování spojených DEVS - Behavior of coupled DEVS

Tento článek má několik problémů. Prosím pomozte vylepši to nebo diskutovat o těchto otázkách na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) Téma tohoto článku nemusí splňovat požadavky Wikipedie obecný pokyn k notabilitě. Pomozte prosím určit notabilitu citováním spolehlivé sekundární zdroje to jsou nezávislý tématu a poskytnout jeho významné pokrytí nad rámec pouhé triviální zmínky. Pokud nelze určit významnost, je pravděpodobné, že článek bude sloučeny, přesměrovánnebo smazáno. Najít zdroje: "Chování spojených DEVS"  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Listopad 2012) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) tento článek může být pro většinu čtenářů příliš technická na to, aby je pochopili. Prosím pomozte to vylepšit na aby to bylo srozumitelné pro neodborníky, aniž by byly odstraněny technické podrobnosti. (Listopad 2012) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) tento článek poskytuje nedostatečný kontext osobám, které toto téma neznají. Prosím pomozte vylepšit článek podle poskytuje čtenáři více kontextu. (Listopad 2012) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

DEVS je pod spojkou uzavřen [Zeigper84] [ZPK00]. Jinými slovy, vzhledem k vázané DEVS Modelka ${displaystyle N}$, jeho chování je popsáno jako atomový model DEVS ${displaystyle M}$. Pro daný spojený DEVS ${displaystyle N}$, jakmile budeme mít ekvivalentní atomový DEVS ${displaystyle M}$chování ${displaystyle M}$ lze odkázat chování atomových DEVS který je založen na Systém časovaných událostí.

Podobný chování atomových DEVS, chování třídy Coupled DEVS je popsáno v závislosti na definici celkové sady stavů a ​​jejím zpracování následujícím způsobem.

Pohled 1: Celkový stav = stavy * uplynulé časy

Vzhledem k vázané DEVS Modelka ${displaystyle N = }$, jeho chování je popsáno jako atomový model DEVS ${displaystyle M = }$

kde

• ${displaystyle X}$ a ${displaystyle Y}$ jsou sada vstupních událostí a sada výstupních událostí.
• ${displaystyle S = {underset {iin D} {imes}} Q_ {i}}$ je dílčí stav nastavený kde ${displaystyle Q_ {i} = {(s_ {i}, t_ {ei}) | s_ {i} in S_ {i}, t_ {ei} in (mathbb {T} cap [0, ta_ {i} (s_ {i})])}}$ je celková stavová sada komponenty ${displaystyle iin D}$ (Odkazují na Pohled1 na chování DEVS ), kde ${displaystyle mathbb {T} = [0, infty)}$ je množina nezáporných reálných čísel.
• ${displaystyle s_ {0} = {podmnožina {iin D} {imes}} q_ {0i}}$ je počáteční stav nastavený kde ${displaystyle q_ {0i} = (s_ {0i}, 0)}$ je celkový počáteční stav komponenty ${displaystyle iin D}$.
• ${displaystyle ta: Sightarrow mathbb {T} ^ {infty}}$ je funkce časového posunu, kde ${displaystyle mathbb {T} ^ {infty} = [0, infty]}$ je množina nezáporných reálných čísel plus nekonečno. Dáno ${displaystyle s = (ldots, (s_ {i}, t_ {ei}), ldots)}$, ${displaystyle ta (s) = min {ta_ {i} (si) -t_ {ei} | iin D}.}$

• ${displaystyle delta _ {ext}: Q imes Xightarrow S}$ je funkce vnějšího stavu. Vzhledem k celkovému stavu ${displaystyle q = (s, t_ {e})}$ kde ${displaystyle s = (ldots, (s_ {i}, t_ {ei}), ldots), t_ {e} in (mathbb {T} cap [0, ta (s)])}$a vstupní událost ${displaystyle xin X}$, další stav je dán ${displaystyle delta _ {ext} (q, x) = s '= (ldots, (s_ {i}', t_ {ei} '), ldots)}$

kde

${displaystyle (s_ {i} ', t_ {ei}') = {egin {cases} (delta _ {ext} (s_ {i}, t_ {ei}, x_ {i}), 0) & {ext { if}} (x, x_ {i}) v C_ {xx} (s_ {i}, t_ {ei}) a {ext {jinak}}. end {cases}}}$

Vzhledem k částečnému stavu ${displaystyle s = (ldots, (s_ {i}, t_ {ei}), ldots) v S}$, nechť ${displaystyle IMM (s) = {iin D | ta_ {i} (s_ {i}) = ta (s)}}$ označit sada bezprostředních komponent. The vypalovací složka ${displaystyle i ^ {*} v D}$ který spouští přechod vnitřního stavu a výstupní událost je určena

${displaystyle i ^ {*} = Vybrat (IMM).}$

• ${displaystyle delta _ {int}: Sightarrow S}$ je funkce vnitřního stavu. Vzhledem k částečnému stavu ${displaystyle s = (ldots, (s_ {i}, t_ {ei}), ldots)}$, další stav je dán ${displaystyle delta _ {int} (s) = s '= (ldots, (s_ {i}', t_ {ei} '), ldots)}$

kde

${displaystyle (s_ {i} ', t_ {ei}') = {egin {cases} (delta _ {int} (s_ {i}), 0) & {ext {if}} i = i ^ {*} (delta _ {ext} (s_ {i}, t_ {ei}, x_ {i}), 0) & {ext {if}} (lambda _ {i ^ {*}} (s_ {i ^ {* }}), x_ {i}) v C_ {yx} (s_ {i}, t_ {ei}) a {ext {jinak}}. end {cases}}}$

• ${displaystyle lambda: Sightarrow Y ^ {phi}}$ je výstupní funkce. Vzhledem k částečnému stavu ${displaystyle s = (ldots, (s_ {i}, t_ {ei}), ldots)}$, ${displaystyle lambda (s) = {egin {cases} phi & {ext {if}} lambda _ {i ^ {*}} (s_ {i ^ {*}}) = phi C_ {yy} (lambda _ { i ^ {*}} (s_ {i ^ {*}})) a {ext {jinak}}. end {cases}}}$

View2: Total States = States * Lifespan * Elapsed Times

Vzhledem k spojené DEVS Modelka ${displaystyle N = }$, jeho chování je popsáno jako atomový model DEVS ${displaystyle M = }$

kde

• ${displaystyle X}$ a ${displaystyle Y}$ jsou sada vstupních událostí a sada výstupních událostí.
• ${displaystyle S = {underset {iin D} {imes}} Q_ {i}}$ je dílčí stav nastavený kde ${displaystyle Q_ {i} = {(s_ {i}, t_ {si}, t_ {ei}) | s_ {i} v S_ {i}, t_ {si} v mathbb {T} ^ {infty}, t_ {ei} in (mathbb {T} cap [0, t_ {si}])}}$ je celková stavová sada komponenty ${displaystyle iin D}$ (Odkazují na Pohled2 na chování DEVS ).
• ${displaystyle s_ {0} = {podmnožina {iin D} {imes}} q_ {0i}}$ je počáteční stav nastavený kde ${displaystyle q_ {0i} = (s_ {0i}, ta_ {i} (s_ {0i}), 0)}$ je celkový počáteční stav komponenty ${displaystyle iin D}$.
• ${displaystyle ta: Sightarrow mathbb {T} ^ {infty}}$ je funkce časového posunu. Dáno ${displaystyle s = (ldots, (s_ {i}, t_ {si}, t_ {ei}), ldots)}$, ${displaystyle ta (s) = min {t_ {si} -t_ {ei} | iin D}.}$

• ${displaystyle delta _ {ext}: Q imes Xightarrow S imes {0,1}}$ je funkce vnějšího stavu. Vzhledem k celkovému stavu ${displaystyle q = (s, t_ {s}, t_ {e})}$ kde ${displaystyle s = (ldots, (s_ {i}, t_ {si}, t_ {ei}), ldots), t_ {s} v mathbb {T} ^ {infty}, t_ {e} v (mathbb {T } omezení [0, t_ {s}])}$a vstupní událost ${displaystyle xin X}$, další stav je dán ${displaystyle delta _ {ext} (q, x) = ((ldots, (s_ {i} ', t_ {si}', t_ {ei} '), ldots), b)}$

kde

${displaystyle (s_ {i} ', t_ {si}', t_ {ei} ') = {egin {cases} (s_ {i}', ta_ {i} (s_ {i} '), 0) & { ext {if}} (x, x_ {i}) v C_ {xx}, delta _ {ext} (s_ {i}, t_ {si}, t_ {ei}, x_ {i}) = (s_ {i } ', 1) (s_ {i}', t_ {si}, t_ {ei}) & {ext {if}} (x, x_ {i}) v C_ {xx}, delta _ {ext} ( s_ {i}, t_ {si}, t_ {ei}, x_ {i}) = (s_ {i} ', 0) (s_ {i}, t_ {si}, t_ {ei}) a {ext {jinak}} konec {případů}}}$

a

${displaystyle b = {egin {cases} 1 & {ext {if}} exists iin D: (x, x_ {i}) in C_ {xx}, delta _ {ext} (s_ {i}, t_ {si}, t_ {ei}, x_ {i}) = (s_ {i} ', 1) 0 & {ext {jinak}}. end {cases}}}$

Vzhledem k částečnému stavu ${displaystyle s = (ldots, (s_ {i}, t_ {si}, t_ {ei}), ldots) v S}$, nechť ${displaystyle IMM (s) = {iin D | t_ {si} -t_ {ei} = ta (s)}}$ označit sada bezprostředních komponent. The vypalovací složka ${displaystyle i ^ {*} v D}$ který spouští přechod vnitřního stavu a výstupní událost je určena

${displaystyle i ^ {*} = Vybrat (IMM).}$

• ${displaystyle delta _ {int}: Sightarrow S}$ je funkce vnitřního stavu. Vzhledem k částečnému stavu ${displaystyle s = (ldots, (s_ {i}, t_ {si}, t_ {ei}), ldots)}$, další stav je dán ${displaystyle delta _ {int} (s) = s '= (ldots, (s_ {i}', t_ {si} ', t_ {ei}'), ldots)}$

kde

${displaystyle (s_ {i} ', t_ {si}', t_ {ei} ') = {egin {cases} (s_ {i}', ta_ {i} (s_ {i} '), 0) & { ext {if}} i = i ^ {*}, delta _ {int} (s_ {i}) = s_ {i} ', (s_ {i}', ta_ {i} (s_ {i} ') , 0) & {ext {if}} (lambda _ {i ^ {*}} (s_ {i ^ {*}}), x_ {i}) v C_ {yx}, delta _ {ext} (s_ { i}, t_ {si}, t_ {ei}, x_ {i}) = (s ', 1) (s_ {i}', t_ {si}, t_ {ei}) & {ext {if}} (lambda _ {i ^ {*}} (s_ {i ^ {*}}), x_ {i}) v C_ {yx}, delta _ {ext} (s_ {i}, t_ {si}, t_ { ei}, x_ {i}) = (s ', 0) (s_ {i}, t_ {si}, t_ {ei}) a {ext {jinak}}. end {cases}}}$

• ${displaystyle lambda: Sightarrow Y ^ {phi}}$ je výstupní funkce. Vzhledem k částečnému stavu ${displaystyle s = (ldots, (s_ {i}, t_ {si}, t_ {ei}), ldots)}$, ${displaystyle lambda (s) = {egin {cases} phi & {ext {if}} lambda _ {i ^ {*}} (s_ {i ^ {*}}) = phi C_ {yy} (lambda _ { i ^ {*}} (s_ {i ^ {*}})) a {ext {jinak}}. end {cases}}}$

Časový průchod

Protože ve spojeném modelu DEVS s neprázdnými dílčími komponenty, tj. ${displaystyle | D |> 0}$, počet hodin, které sledují jejich uplynulé časy, je několikanásobný, takže je patrný časový přechod modelu.

Pro zobrazení 1

Vzhledem k celkovému stavu ${displaystyle q = (s, t_ {e}) v Q}$ kde ${displaystyle s = (ldots, (s_ {i}, t_ {ei}), ldots)}$

Li segment události jednotky ${displaystyle omega}$ je nulový segment události, tj. ${displaystyle omega = epsilon _ {[t, t + dt]}}$, trajektorie stavu z hlediska Systém časovaných událostí je

${displaystyle Delta (q, omega) = ((ldots, (s_ {i}, t_ {ei} + dt), ldots), t_ {e} + dt).}$

Pro View2

Vzhledem k celkovému stavu ${displaystyle q = (s, t_ {s}, t_ {e}) v Q}$ kde ${displaystyle s = (ldots, (s_ {i}, t_ {si}, t_ {ei}), ldots)}$

Li segment události jednotky ${displaystyle omega}$ je nulový segment události, tj. ${displaystyle omega = epsilon _ {[t, t + dt]}}$, trajektorie stavu z hlediska Systém časovaných událostí je

${displaystyle Delta (q, omega) = ((ldots, (s_ {i}, t_ {si}, t_ {ei} + dt), ldots), t_ {s}, t_ {e} + dt).}$

Poznámky

1. Chování pár sítí DEVS, jejichž všechny dílčí komponenty jsou deterministický DEVS modely mohou být nedeterministický -li ${displaystyle Select (IMM (s))}$ je nedeterministický.

Viz také

• DEVS
• Chování Atomic DEVS
• Simulační algoritmy pro vázané zařízení DEVS
• Simulační algoritmy pro Atomic DEVS

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.