系统建模与仿真的校核验证与确认技术(精)/学术著作丛书