因此，从软件系统的形式模拟与验证到实际的开发应用，形式化方法都起着一个重要的桥梁作用。
Therefore, the formal method plays an important role as a bridge between the model simulation, verification of application systems.
对这次撞击的计算机模拟显示，这两个物体都会在撞击中熔化，而撞击者稠密的核心会以熔融岩石的形式落入地球的液化铁芯中。
Computer simulations of this impact show that both of the objects would melt in the impact and the dense core of the impactor would fall as molten rock into the liquefied iron core of Earth.
最好的学习体验是模仿你在现实生活中学习这东西的情形——但却以一种安全、模拟和集中 的形式展现出来。
The best learning experience considers the way you'd learnthat particular thing in real life -- but offers it in a safe, simulated, compressed form.
应用推荐