从实际问题抽象出模型,再用编码去实现模型