第八章Witness建模与仿真实例3