Věta o obrácené sloučenině - Reversed compound agent theorem - Wikipedia
v teorie pravděpodobnosti, věta o obrácené sloučenině (RCAT) je sada dostatečný podmínky pro a stochastický proces vyjádřený v jakémkoli formalismu mít a produktová forma stacionární distribuce[1] (za předpokladu, že proces je stacionární[2][1]). Věta ukazuje, že produktová forma řešení v Jacksonova věta,[1] the BCMP teorém[3] a G-sítě jsou založeny na stejných základních mechanismech.[4]
Věta identifikuje obrácený proces pomocí Kellyho lemma, ze kterých lze vypočítat stacionární distribuci.[1]
Reference
- ^ A b C d Harrison, P. G. (2003). „Vrátit čas v Markovianově procesní algebře“. Teoretická informatika. 290 (3): 1947–2013. doi:10.1016 / S0304-3975 (02) 00375-4.
- ^ Harrison, P. G. (2006). „Zpracovat algebraické neproduktové formy“ (PDF). Elektronické poznámky v teoretické informatice. 151 (3): 61–06. doi:10.1016 / j.entcs.2006.03.012.
- ^ Harrison, P. G. (2004). „Obrácené procesy, produktové formy a neproduktivní forma“. Lineární algebra a její aplikace. 386: 359–381. doi:10.1016 / j.laa.2004.02.020.
- ^ Hillston, J. (2005). „Procesní algebry pro kvantitativní analýzu“ (PDF). 20. výroční sympozium IEEE o logice v informatice (LICS '05). 239–248. doi:10.1109 / LICS.2005.35. ISBN 0-7695-2266-1.
externí odkazy
- RCAT: Od PEPA po produktovou formu krátký úvod do RCAT
![]() | Tento pravděpodobnost související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |