子模型
Lawson
短小精悍的
relatively compact set
automatic titration