(Перенаправлено из RCAT )
Перейти к навигации Перейти к поискуВ теории вероятностей теорема об обратном составном агенте ( RCAT ) - это набор достаточных условий для того, чтобы случайный процесс, выраженный в любом формализме, имел стационарное распределение продукта [1] (при условии, что процесс стационарный [2] [1] ) . Теорема показывает , что форма продукта решения в теореме Джексона , [1] теорема BCMP [3] и G-сети , основанные на одних и тех же основных механизмов. [4]
Теорема идентифицирует обратный процесс с помощью леммы Келли , из которой может быть вычислено стационарное распределение. [1]
Ссылки [ править ]
- ^ а б в г Харрисон, PG (2003). «Обращение вспять в алгебре марковских процессов» . Теоретическая информатика . 290 (3): 1947–2013. DOI : 10.1016 / S0304-3975 (02) 00375-4 .
- Перейти ↑ Harrison, PG (2006). "Обработка алгебраических непродуктовых форм" (PDF) . Электронные заметки по теоретической информатике . 151 (3): 61–06. DOI : 10.1016 / j.entcs.2006.03.012 .
- Перейти ↑ Harrison, PG (2004). «Обратные процессы, формы продукта и непродуктовая форма» . Линейная алгебра и ее приложения . 386 : 359–381. DOI : 10.1016 / j.laa.2004.02.020 .
- ^ Hillston, J. (2005). "Алгебры процессов для количественного анализа" (PDF) . 20-й ежегодный симпозиум IEEE по логике в компьютерных науках (LICS '05) . С. 239–248. DOI : 10,1109 / LICS.2005.35 . ISBN 0-7695-2266-1.
Внешние ссылки [ править ]
- RCAT: от PEPA к продукту - краткое введение в RCAT
