更改

跳到导航 跳到搜索
第445行: 第445行:  
弱成块性(weak lumpability)<ref name=":3" />是指简化过程仅对某些初始状态满足成块性,而不是对所有初始状态都满足。
 
弱成块性(weak lumpability)<ref name=":3" />是指简化过程仅对某些初始状态满足成块性,而不是对所有初始状态都满足。
   −
例如,我们有一个简化过程,从<math>s_i</math>出发时能满足成块性,但从<math>s_j</math>出发时不满足。当<math>p_{s_i \rightarrow s_j} = 0</math>,且初始状态为<math>s_i</math>时,由于永远不会到达<math>s_j</math>,简化过程会一直满足成块性。
+
例如,我们有一个简化过程,从<math>s_i</math>出发时能满足成块性,但从<math>s_j</math>出发时不满足。当<math>s_i</math>到<math>s_j</math>之间不连通,且初始状态为<math>s_i</math>时,由于永远不会到达<math>s_j</math>,简化过程会一直满足成块性。
    
简单的例子:
 
简单的例子:
812

个编辑

导航菜单