812
个编辑
更改
跳到导航
跳到搜索
第627行：
第627行： + + + + + + + + + + + + +
→比例成块性 Proportional Lumpability
所以，<math>Q</math>和<math>Q'=KQ</math>对应的转移矩阵分别为<math>P = \sum_{n=0}^\infty \frac{ (tQ)^n }{ n! }</math>和<math>P = \sum_{n=0}^\infty \frac{ (tKQ)^n }{ n! }</math>，并无简单的对应关系。
所以，<math>Q</math>和<math>Q'=KQ</math>对应的转移矩阵分别为<math>P = \sum_{n=0}^\infty \frac{ (tQ)^n }{ n! }</math>和<math>P = \sum_{n=0}^\infty \frac{ (tKQ)^n }{ n! }</math>，并无简单的对应关系。
下面是CTMC的强成块性和比例成块性例子示意图：
[[文件:Lump fig1.png|缩略图|图8：CTMC的强成块性和比例成块性例子示意图。Q_1, Q_2为强成块Q矩阵，Q_3为比例成块Q矩阵，P_1, P_2, P_3为对应的DTMC TPM。|替代=|500像素|无]]
其中，<math>Q_1</math>为强成块的Q矩阵，设<math>t=1</math>代入<math>P(t) = exp(tQ)</math>，我们会得到一个强成块的<math>P_1</math>。
然后，对<math>Q_1</math>中所有元素乘以2，得到<math>Q_2</math>，会得到另一个跟<math>P_1</math>不一样的强成块的<math>P_2</math>。这说明，在Q矩阵上的改动，反映到P矩阵上并不是线性的简单关系。
把<math>Q_1</math>中'''第二行'''元素乘以2，得到一个比例成块的<math>Q_3</math>，并得到对应的<math>P_3</math>。因为对第二行进行了改动，所以<math>P_3</math>中<math>s_1</math>和<math>s_2</math>就不再满足能放在同一组里的条件，但<math>s_3</math>和<math>s_4</math>仍能划分在同一组里。所以，<math>P_3</math>的强成块分组为<math>\{1\}, \{2\}, \{3, 4\}</math>。
在该例子中，虽然从<math>Q_1</math>到<math>Q_3</math>之间的操作比较简单， 但<math>P_1</math>和<math>P_3</math>之间并没有一个明显的对应关系。比较清楚的是，当我们把<math>Q_3</math>的'''第2行'''速率调快了之后，停留在<math>s_2</math>的概率变小了，所以<math>P_3</math>的'''第2列'''就变小了。