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