第6章 推演系统