812
个编辑
更改
无编辑摘要
===弱成块性 Weak Lumpability===
===弱成块性 Weak Lumpability===
弱成块性（weak lumpability）<ref name=":3" />是指简化过程仅对某些初始状态满足成块性，而不是对所有初始状态都满足。
弱成块性（weak lumpability）<ref name=":1" />是指简化过程仅对某些初始状态满足成块性，而不是对所有初始状态都满足。
例如，我们有一个简化过程，从<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>，该简化过程会一直满足成块性。
例如，我们有一个简化过程，从<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>，该简化过程会一直满足成块性。