Қайтымды қосылыс агент теоремасы - Reversed compound agent theorem - Wikipedia

Жылы ықтималдықтар теориясы, кері қосылыс теоремасы (RCAT) - жиынтығы жеткілікті үшін жағдайлар стохастикалық процесс болуы кез келген формализмде көрсетілген өнім формасы стационарлық үлестіру[1] (процесс стационарлы деп есептесек)[2][1]). Теорема өнімнің шешімдер формасы болатындығын көрсетеді Джексон теоремасы,[1] The BCMP теоремасы[3] және G-желілері бірдей іргелі тетіктерге негізделген.[4]

Теорема көмегімен кері процесті анықтайды Келли леммасы, одан стационарлық үлестіруді есептеуге болады.[1]

Әдебиеттер тізімі

  1. ^ а б c г. Харрисон, П. Г. (2003). «Марковтық алгебрадағы уақытты бұру». Теориялық информатика. 290 (3): 1947–2013. дои:10.1016 / S0304-3975 (02) 00375-4.
  2. ^ Харрисон, П. Г. (2006). «Процесс алгебралық емес формалар» (PDF). Теориялық информатикадағы электрондық жазбалар. 151 (3): 61–06. дои:10.1016 / j.entcs.2006.03.012.
  3. ^ Харрисон, П. Г. (2004). «Реверсивті процестер, өнімнің формалары және өнімнің емес формасы». Сызықтық алгебра және оның қолданылуы. 386: 359–381. дои:10.1016 / j.laa.2004.02.020.
  4. ^ Хиллстон, Дж. (2005). «Сандық талдауға арналған алгебралар» (PDF). Информатикадағы логика бойынша IEEE 20-жылдық симпозиумы (LICS '05). 239–248 бб. дои:10.1109 / LICS.2005.35. ISBN  0-7695-2266-1.

Сыртқы сілтемелер