三、基于模型的快速论证