4.1.2 程序的仿真与下载