5.1 时序逻辑建模概述