The results show that the framework is adaptable and the arithmetics, which have high conflict identification ratio and reasonable space and time complex degree, have the more practicality value.

• 结果说明框架具有可适应性,算法具有很高的冲突识别率,并具有合理的时空复杂度,具有一定的实用价值。