A prover for parallel numerical verification of a class of constructive geometry theorems.
一类构造性几何定理的数值并行法证明器。
Secondly, a technique of numerical order verification was applied to verify that the asymptotic solutions were uniformly valid for small parameter.
其次，一种数值阶验证技术证实求得的二阶渐近解对小参数都是一致有效的。
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中流体与结构的耦合作用，并验证了由此方法建立起来的流固耦合模型的可靠性；
Finally, based on theoretical analysis, numerical simulation and test verification, the strength reduction factor and the calculation expression of normal section bearing capacity of CFRP are given.
最后，在理论分析、数值模拟及试验验证的基础上，给出了CFRP的强度折减系数值和正截面承载力计算表达式。
After gas injection at Yangquan mine area test verification, the parameters obtained from the numerical model are more reasonable.
经过在阳泉矿区现场注气试验验证，由数值模型得出的工艺参数较为合理。
This paper gives a brief account on the numerical simulation of non-Newtonian fluid mechanics and the main aspects of its experimental verification.
文章扼要地论述了高分子流体动力学问题的数值模拟方法，及实验验证方面的主要问题。
The verification of the numerical model by experiments shows that the technique is of high efficiency in parameterized detection of weak fault characteristics, hence the method is well promising.
数值模型试验验证表明，该技术具有弱缺陷特征检测能力强、参数化和高效率等特点以及较好的应用潜力。
In addition, a fractal tree-like channel heat sink and a serpentine channel heat sink are respectively designed and fabricated to conduct the verification experiment for numerical simulation.
同时，加工了分形树状通道换热器及蛇形通道换热器各一套，对数值模拟结果进行了实验验证。
Based the numerical simulation for sphere tank with defects, fracture safety assessment and stress strength verification are done under the cases of working pressure and over pressure.
在数值模拟计算含缺陷球罐应力场的基础上，对含缺陷球罐在工作压力和超压两种工况下进行了断裂安全评定和强度校核。
An intelligent software system has been set up to analyze the overloading data to achieve numerical management for the operation of security verification and the graphics display of the results.
建立分析超限数据的智能化软件系统，实现对安检操作的数字管理和结果的图形化显示。
Results of the mathematical model verification and the numerical results of heat consumption computer-assisted management control system operation are shown on Figure 2.
数学模型验证的结果和数值结果的热量消耗计算机辅助管理控制系统操作在图2所示。
The numerical simulation prediction is in a good agreement with the real production verification.
结果表明模拟预报与生产验证结果基本一致。
The numerical simulation prediction is in a good agreement with the real production verification.
结果表明模拟预报与生产验证结果基本一致。
应用推荐