812
个编辑
更改
跳到导航
跳到搜索
第445行：
第445行： − +
→弱成块性 Weak Lumpability
弱成块性（weak lumpability）<ref name=":3" />是指简化过程仅对某些初始状态满足成块性，而不是对所有初始状态都满足。
弱成块性（weak lumpability）<ref name=":3" />是指简化过程仅对某些初始状态满足成块性，而不是对所有初始状态都满足。
例如，我们有一个简化过程，从<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>出发时能满足成块性（式子{{EquationNote|2}}），但从<math>s_j</math>出发时不满足。当<math>s_i</math>到<math>s_j</math>之间不连通，且初始状态为<math>s_i</math>时，由于永远不会到达<math>s_j</math>，该简化过程会一直满足成块性。
简单的例子：
简单的例子：