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

  1. ^ 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.
  2. ^ 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.
  3. ^ 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.
  4. ^ 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