建模与仿真系统的VV&A问题研究