利用抽象思维建立计算模型是探索和理解实际系统的一种方式