5.1.3 ModelSim的批处理工作方式