书名和简介翻译(二)? the book demonstrates how linearization may be used to give a diverse check on the correctness of the as-programmed model and explains how formal techniques of model validation may be used to produce a quantitative check on the simulation model's overall validity. 本书论证了如何应用线性化检验已编程模型的正确性,说明了如何应用常规模型验证技术全面有效的检验模拟模型。 第二句的重点我认为应该是红字部分 增补了大量重要的新结 论, 感觉这样说比较正式 [ ]查看更多