论文部分内容阅读
提出一种求解对象族模型的新的几何求解方法。提出两种新类型的组,即可伸缩组和可放射组。在刚性组或非刚性组系统中穷举地使用重写规则的较小的集合,一直到没有可用的重写规则为止,最后的组的集合就表示系统的求解策略。提出并实现一种增量算法,以及在这种新的求解方法中的解选择方法,这些方法都可以高效地找到问题的解,并减少解的个数。