Formalash (ehtimollar nazariyasi) - Uniformization (probability theory)

Yilda ehtimollik nazariyasi, bir xillik usuli, (shuningdek ma'lum Jensen usuli^[1] yoki tasodifiy usul^[2]) - bu cheklangan holatning vaqtinchalik echimlarini hisoblash usuli doimiy Markov zanjirlari, jarayonni a ga yaqinlashtirib diskret vaqt Markov zanjiri.^[2] Asl zanjir eng tez o'tish tezligi bilan o'lchanadi γ, shuning uchun o'tish har bir shtatda bir xil tezlikda sodir bo'lishi uchun, shuning uchun nom. Usul dasturlashda sodda va vaqtning bitta nuqtasida (nolga yaqin) vaqtinchalik taqsimotga yaqinlikni samarali hisoblab chiqadi.^[1] Usul birinchi marta Uinfrid Grassmann tomonidan 1977 yilda kiritilgan.^[3][4][5]

Usul tavsifi

Doimiy ravishda Markov zanjiri bilan o'tish tezligi matritsasi Q, bir xil diskret vaqtli Markov zanjiri ehtimollik matritsasiga ega ${ displaystyle P: = (p_ {ij}) _ {i, j}}$tomonidan belgilanadi^[1][6][7]

${ displaystyle p_ {ij} = { begin {case} q_ {ij} / gamma & { text {if}} i neq j 1- sum _ {j neq i} q_ {ij} / gamma & { text {if}} i = j end {case}}}$

bilan γ, bir xil stavka parametri shunday tanlangan

${ displaystyle gamma geq max _ {i} | q_ {ii} |.}$

Matritsa yozuvida:

${ displaystyle P = I + { frac {1} { gamma}} Q.}$

Distribution (0) boshlang'ich taqsimoti uchun vaqt taqsimoti tπ (t) tomonidan hisoblanadi^[1]

${ displaystyle pi (t) = sum _ {n = 0} ^ { infty} pi (0) P ^ {n} { frac {( gamma t) ^ {n}} {n!} } e ^ {- gamma t}.}$

Ushbu vakillik doimiy Markov zanjirini o'tish matritsasi bilan diskret Markov zanjiri bilan tavsiflash mumkinligini ko'rsatadi P yuqorida ta'riflanganidek, isst intensivligi bilan Puasson jarayoniga ko'ra sakrashlar sodir bo'ladi.

Amalda bu seriyali juda ko'p shartlardan so'ng bekor qilinadi.

Amalga oshirish

Psevdokod algoritm uchun Reibman va Trivedi ning 1988 yildagi qog'ozining A ilovasiga kiritilgan.^[8] A dan foydalanish parallel algoritm versiyasi, holat oralig'i 10 dan katta bo'lgan zanjirlar⁷ tahlil qilindi.^[9]

Cheklovlar

Reybman va Trivedi ta'kidlashlaricha, "bir xillik tipik muammolarni tanlash usuli" qattiq ba'zi bir moslashtirilgan algoritmlarni yaxshiroq ishlashi mumkin bo'lgan muammolar.^[8]

Tashqi havolalar

• Matlabni amalga oshirish

Izohlar