Carry on indoor model simulation experiment, through experimental result with perform comparison verification of result of analysis on feasibility and accuracy of method instead.
进行了室内模型模拟实验，通过实验结果与反演结果的比较验证反演方法的可行性及准确性。
2
Therefore, the formal method plays an important role as a bridge between the model simulation, verification of application systems.
因此，从软件系统的形式模拟与验证到实际的开发应用，形式化方法都起着一个重要的桥梁作用。
3
A design flow based on mixed-signal simulation is proposed. The top-down design method indicates simulation and verification at each level of the mixed signal system design.