Automatically check the numbers of batteries (5-10pcs), automatically adjust the output voltage.

自动识别电池个数（5-10只），自动调整输出电压；

This paper explores the semantic consistency problem of UML class diagram, and proposes an approach to automatically check the consistency of a class diagram.

论文研究了UML类图模型的语义一致性问题，提出了一种自动检验类图一致性的方法。