Теорема об обратном составном агенте

В теории вероятностей обратная теорема составного агента ( RCAT ) представляет собой набор достаточных условий для того, чтобы случайный процесс, выраженный в любом формализме, имел форму продукта стационарного распределения. ^[1] (полагая, что процесс стационарный ^[2]^[1]). Теорема показывает, что произведение образует решения в теореме Джексона : ^[1] теорема BCMP ^[3] и G-сети основаны на одних и тех же фундаментальных механизмах. ^[4]

Теорема определяет обратный процесс с помощью леммы Келли , из которого можно вычислить стационарное распределение. ^[1]

Примечания

^ Jump up to: ^а ^б ^с ^д Харрисон, П.Г. (2003). «Поворот времени вспять в алгебре марковских процессов» . Теоретическая информатика . 290 (3): 1947–2013. дои : 10.1016/S0304-3975(02)00375-4 .
^ Харрисон, П.Г. (2006). «Процесс алгебраических непродуктивных форм» . Электронные заметки по теоретической информатике . 151 (3): 61–76. дои : 10.1016/j.entcs.2006.03.012 .
^ Харрисон, П.Г. (2004). «Обратные процессы, формы продукта и непродуктовая форма». Линейная алгебра и ее приложения . 386 : 359–381. дои : 10.1016/j.laa.2004.02.020 .
^ Хиллстон, Дж. (2005). «Алгебры процессов для количественного анализа» (PDF) . 20-й ежегодный симпозиум IEEE по логике в информатике (LICS'05) . стр. 239–248. дои : 10.1109/LICS.2005.35 . ISBN 0-7695-2266-1 . S2CID 1236394 .

Брэдли, Джереми Т. (28 февраля 2008 г.). RCAT: От PEPA до формы продукта (PDF) (Технический отчет DTR07-2). Факультет вычислительной техники Имперского колледжа. Краткое введение в RCAT.

Эта вероятности статья о незавершена . Вы можете помочь Википедии, расширив ее .