第2章 推演系统