抽象且具体的计算机模型