正确性

By this MGD,the damage state can be described more exactly and clearly and the problem of complex loadings can be solved expediently.

在对复合固体推进剂定速拉伸性能预测时取得了与实验曲线相一致的结果，从而验证了本模型的正确性。

By debugging the virtual machine,the test and verification of the organization and microprogram was completed.

通过对该虚拟机的调试，完成了该芯片内部组织结构和微程序的正确性验证。

The minimality of the virtual backbone is assured by designing optimization algorithm. As a result, it can effectively decrease the overhead of control packets dissemination. Simulation resluts show the correctness and the ability of self- renew.Considering the characteristic of fast-moving in wireless ad hoc networks, we construct a virtual backbone with a independent dominating set. This method can avoid sustaining connectivity between backbone nodes and the bakebone network can be rapidly reconstructed as topology change.

对规模较大、移动较频繁的ad hoc网络，用独立支配集构建虚拟骨干网，克服了骨干节点之间必须维护连通性的问题，使得拓扑变化较快时骨干网的重构能快速实现；采用动态按需路由机制，解决了骨干节点要维护路由表的问题；还利用极大独立集的求解得到极小独立支配集；并通过仿真测试了算法的正确性及自恢复能力。

Experimental results show the effectiveness and efficiency of the proposed minimization algorithm.

实验结果表明了该算法的正确性和有效性。

Based on information theory and minimum description length principle, a novel parameter estimation and selection approach are presented.

靳奉祥等讨论了在保证模式描述的正确性和可靠性的前提下，信息损失与代价函数的和最小的描述是最佳描述sj。

So a global minimum of this problem can be easily obtained.

最后给出的两个设计实例验证了本文方法的正确性和有效性。

The results showed that, the change of intracellular carbohydrates and accumulation of PHAs were coupled in the anaerobic zone, which could verify the soundness of Mino model of biochemical phosphate removal.

实验结果表明：胞内碳水化合物的变化与PHAs的生成有着一定的相关关系，验证了Mino生物除磷模型的正确性。

Until now, there are many kinds of machine language systemwhich are use to prove mathematical theorems, and several of them are recognized bythe mathematician and computer experts, such as HO1, Mizar, PVS, coq etc.

迄今为止，世界已有多种可用来进行数学命题证明和逻辑推理的机器语言系统，但其中只有少数几种语言可被普遍接受并受到数学家与计算机专家的认可，如HOL、Mizar、PVS、Coq等，它们各自的初衷不同，却有一个共同的特征：人类使用机器语言书写、计算、逻辑推理和证明文本性质的数学问题，并由计算机自动验证其正确性。

And MOA has good reliability and validity ,can be used more popular.

2MOA的稳定性、正确性是较好的，值得进一步研究和推广。

Static and modal analyses of vibration system are performed by ANSYS finite element method to prove the reliability of the theoretical model.

利用ANSYS软件建立了振动系统的有限元理论模型，对其进行了静、模态分析，证明了理论建模的正确性。

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

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

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

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