Teskari birikma agenti teoremasi - Reversed compound agent theorem - Wikipedia

Yilda ehtimollik nazariyasi, teskari birikma agenti teoremasi (RCAT) to'plamidir etarli uchun shartlar stoxastik jarayon ega bo'lish uchun har qanday rasmiyatchilikda ifodalangan mahsulot shakli statsionar tarqatish[1] (jarayon statsionar deb hisoblasak[2][1]). Teorema shuni ko'rsatadiki, mahsulot shaklidagi echimlar Jekson teoremasi,[1] The BCMP teoremasi[3] va G-tarmoqlar xuddi shu asosiy mexanizmlarga asoslanadi.[4]

Teorema yordamida teskari jarayonni aniqlaydi Kellining lemmasi, undan statsionar taqsimotni hisoblash mumkin.[1]

Adabiyotlar

  1. ^ a b v d Harrison, P. G. (2003). "Markovian algebra jarayonidagi orqaga burilish". Nazariy kompyuter fanlari. 290 (3): 1947–2013. doi:10.1016 / S0304-3975 (02) 00375-4.
  2. ^ Harrison, P. G. (2006). "Algebraik mahsulot bo'lmagan shakllar" (PDF). Nazariy kompyuter fanidagi elektron yozuvlar. 151 (3): 61–06. doi:10.1016 / j.entcs.2006.03.012.
  3. ^ Harrison, P. G. (2004). "Teskari jarayonlar, mahsulot shakllari va mahsulotga tegishli bo'lmagan shakl". Chiziqli algebra va uning qo'llanilishi. 386: 359–381. doi:10.1016 / j.laa.2004.02.020.
  4. ^ Xillston, J. (2005). "Miqdoriy tahlil uchun jarayon algebralari" (PDF). Kompyuter fanida mantiq bo'yicha IEEE 20 yillik simpoziumi (LICS '05). 239-248 betlar. doi:10.1109 / LICS.2005.35. ISBN  0-7695-2266-1.

Tashqi havolalar