Carry on indoor model simulation experiment, through experimental result with perform comparison verification of result of analysis on feasibility and accuracy of method instead.
进行了室内模型模拟实验，通过实验结果与反演结果的比较验证反演方法的可行性及准确性。
Therefore, the formal method plays an important role as a bridge between the model simulation, verification of application systems.
因此，从软件系统的形式模拟与验证到实际的开发应用，形式化方法都起着一个重要的桥梁作用。
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.
介绍了数模混合信号仿真的设计流程，说明了一种在混合设计的各个层次上对系统进行仿真验证的自上而下的设计方法。
Finite element method is used to carry on numerical simulation of fluid-structure interaction for the system of TLD, and a verification of the reliability of fluid-structure coupled mode is made.
尝试用有限元分析的方法模拟TLD中流体与结构的耦合作用，并验证了由此方法建立起来的流固耦合模型的可靠性；
The results indicate that it's an effective method for complicate surface design and NC tool position verification to combine theory analysis and simulation technology.
结果表明将理论分析与仿真技术相结合，是复杂曲面设计和数控加工刀位验证的一种有效途径。
C model was applied to build simulation stimulus and expected output responses, and reusable verification structure and verification method of Grey-box were also applied to this design.
通过C仿真模型来创建仿真激励和期望响应，采用了可重用的验证结构和灰盒的验证方法。
Using this method, the computer simulation and the experimental verification of a typical decoupled biquad second-order bandpass SCF are conducted.
利用这种方法，对典型的去耦式双二次二阶带通滤波器进行了计算机模拟及实验验证。
In the past twenty years, people have studied extensively and proposed several effective verification methods for sequential behaviors of digital circuits, such as simulation method and formal method.
在过去的二十几年中，人们对于数字电路顺序行为的验证进行了深入的研究并提出了许多行之有效的验证方法，例如，模拟的方法和形式化的方法等。
In the past twenty years, people have studied extensively and proposed several effective verification methods for sequential behaviors of digital circuits, such as simulation method and formal method.
在过去的二十几年中，人们对于数字电路顺序行为的验证进行了深入的研究并提出了许多行之有效的验证方法，例如，模拟的方法和形式化的方法等。
应用推荐