要在单元测试中模拟Grails验证，添加mockforconstraintstests方法，如清单6所示。
To mock out the Grails validation in a unit test, add the mockForConstraintsTests method, as shown in Listing 6.
模拟结果和实际符合的很好，从而验证了此方法的可行性。
The simulation results and actual comply with the good, which verifies the feasibility of this method.
最后结合数值模拟分析的方法，对模型试验的结果进行验证。
And combined with numerical simulation analysis, the result of the experiment on the model is validated.
通过模拟试验，验证了新的计算方法的正确性。
Through imitative tests, the correctness of the new calculation method is verified.
通过可靠性模拟软件验证这些方法，为CMOS数字电路提高抗热载流子能力提供了参考。
These methods are validated with reliability simulation software and are useful for improving the HCE performance of CMOS digital integrate circuit.
同时验证了本文汽车侧面碰撞虚拟试验数值模拟的方法，证明汽车侧面碰撞虚拟试验仿真模型的正确性。
At the same time virtual test validated the article automobile side impact virtual test simulation method, testified the accuracy of automobile side impact virtual test simulation model.
因此，从软件系统的形式模拟与验证到实际的开发应用，形式化方法都起着一个重要的桥梁作用。
Therefore, the formal method plays an important role as a bridge between the model simulation, verification of application systems.
为了验证双向蒙特卡罗法模拟热辐射传递，与文献中其它方法计算结果进行了比较。
To validate the Bidirectional Monte-Carlo simulation for radiative heat transfer, the solution obtained from this method is compared with that from other methods.
计算机模拟实验和对瓷砖破裂过程的实际测量验证了此种方法的正确性。
Computer simulation experiment and glazed tile rupture experiment proves the feasibility of this method.
为了验证方法和程序的正确性，论文中对M6机翼和F4翼身组合体的流场进行了数值模拟，并与试验结果进行了对比。
The viscous flow around M6 wing and F4 wing-body configuration are simulated and compared with the results of wind tunnel experiment.
数值模拟结果验证了方法的有效性。
The numeric modeling results proved the effectiveness of the method.
为提高验证效率，提出了自验证和混合模型模拟两种模拟加速方法。
To improve the efficiency of functional verification, this paper presents two efficient acceleration techniques: self-verification and co-simulation of mixed model.
数值试验证明，这种方法比传统模拟退火法的计算效率高出十倍以上。
The numerical test of a typical economics inversion problem has proved that this approach can improve the efficiency of simulated annealing remarkably.
通过在动模机上进行故障的动态模拟实验，验证了该方法的正确性。
The method was verified by comparison with results obtained from the experiment on the analog salient-pole synchronous generator in the Tsinghua University motor lab.
进程演算通常用来研究交互式反应系统，其中的互模拟方法是用来形式化验证系统属性的重要途径。
Process calculus is usually used to reason about reactive systems, in which bisimulation method is an important way to formally verify the properties of a system.
利用含有甘油三油酸酯的半透膜装置进行室内模拟实验和野外验证实验，旨在开发一种可以模拟生物过程的监测地下水的方法。
The paper presents the simulation experiment using semi-permeable sampling device(SPMD) with triolein in order to develop a method to monitor groundwater by simulating bio-accumulation process.
依靠加速器产生的重粒子进行单粒子翻转的模拟实验，是一种有效的验证方法。
It is an efficacious method to simulate the SEU with Heavy Ion produced by Accelerator.
选择一个实际配电系统作为电脑模拟之研究以验证本论文所提出的方法之可行性。
To demonstrate the effectiveness of the proposed methodology, a sample distribution system has been selected for computer simulation.
文中设计了等离子体粒子模拟的计算机模拟实验方案，验证了有限大小粒子和时间差分方法引起的对于色散关系的偏离；
The computer experimental scheme to simulate the plasma particle is de-signed. The simulation result shows the effects of finite—size particle and time difference on dispersion relation.
进行了室内模型模拟实验，通过实验结果与反演结果的比较验证反演方法的可行性及准确性。
Carry on indoor model simulation experiment, through experimental result with perform comparison verification of result of analysis on feasibility and accuracy of method instead.
通过模拟结果与热电偶测得的特征点温度曲线的比较，验证了热模型和模拟方法的正确性。
Correctness of the thermal modeling and the simulation method is validated by comparing simulated result with temperature data gained from characteristic positions.
数值模拟结果验证了方法的有效性。
Numerical simulations validate the effectiveness of the method.
用试验的方法对模拟的结果进行了验证。
The experiment results show the resemble results with simulation.
数值模拟结果与实测资料和物理模型试验结果的验证比较表明，该方法可以定性分析漂浮物的堆积形态。
Comparison between numerical simulation and measured results of the physical model test shows that this model can qualitatively simulate the floating-debris' accumulation form.
同时，设计合理的模块分别模拟真实电表和读表模块，采用软硬件相结合的方法验证智能电表红外通信协议的正确性。
The modules are also designed to simulate the real meter and meter reading module, using the method of combining software and hardware to verify smart meter infrared communication protocol is correct.
介绍了汽车噪声模拟的原理及噪声模拟系统的设计，并通过试验验证了该模拟方法和模拟系统的可行性。
The principle and the system for simulation of vehicle noise are introduced. The feasibility of the simulation method and system is verified through testing.
采用数值模拟和实验验证相结合的方法，通过改变气体注射延迟时间来测量气道附近产生气指的程度。
Combining the numerical simulation with the experiment, the change of the delayed-time was used to measure the change of the gas fingering behaviors.
采用数值模拟和实验验证相结合的方法，通过改变气体注射延迟时间来测量气道附近产生气指的程度。
Combining the numerical simulation with the experiment, the change of the delayed-time was used to measure the change of the gas fingering behaviors.
应用推荐