8.6 离散系统计算机辅助分析与仿真