%0 Journal Article %T 对象族特征模型几何约束求解研究 %A 刘宪国 %A 孙立镌? %J 计算机科学 %D 2012 %X 提出一种求解对象族模型的新的几何求解方法。提出两种新类型的组,即可伸缩组和可放射组。在刚性组或非刚性组系统中穷举地使用重写规则的较小的集合,一直到没有可用的重写规则为止,最后的组的集合就表示系统的求解策略。提出并实现一种增量算法,以及在这种新的求解方法中的解选择方法,这些方法都可以高效地找到问题的解,并减少解的个数。 %K 对象族 %K 几何约束 %K 求解规则 %K 增量算法 %K 解选择策略 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=120463&flag=1