验证

This paper gives the study of polynomial symbolic algebraic theory in formal verification method.

本文研究基于多项式符号代数理论的形式化验证方法。

Formal Verification; Polynomial Symbolic Algebraic; WGLs; TEDs

形式化验证；多项式符号代数； WGLs； TEDs

Experimental results show that the accurate reduction and the average algebraic sum all obtain the preferable values.

最后通过两个经典算例进行了验证，无论在约简的准确性上，还是平均运行代数上都取得了较好的结果。

To speed up the convergence rate of the iterative algor...

用所提出的耦合算法分析算例，得到的结果与有限元法、边界元法和另一种耦合算法的数值计算结果一致，验证了这种算法的正确性和可行性。

The finite element analysis software ALGOR is used to verify the results.

本文从正交各向异性假设出发，推导了肋骨具有斜度时环加肋圆柱壳总体失稳的临界水压公式，并且用有限元分析软件ALGOR进行了验证。

The advantages of the algorithm are analyzed in theory,and the performance of the algorithm is validated by simulation.

从理论上分析了该算法的优越性，并通过实验仿真对算法的性能进行验证。

Finally, we verify the algorithm with theory model and field data.

在文中最后，作者通过理论模型和实例验证了上述的思想。

The result of industrial verification and experimental studies shows that the theory and algorithm are correct.

工业验证及实验研究的结果表明上述理论和算法是正确的。

ABSTRACT : Objective Through the review v alid ation, the opinions and suggestions about production and quality management were put forward.

目的 通过再验证，提出对生产和质量管理的意见和建议。

Some examples prove that the method is robust and efficient for aligning large number of data with noise.

通过实例验证了该算法有较好的抗噪性和运行速度。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！