正确性

However, as a Strand space model, it is inclined to be used for the proof of correctness, and is relatively weaker for incorrectness analysis.

但是与Strand空间模型一样，它主要用于协议正确性证明，在协议为何不正确以及如何进行改进这个问题上处理分析能力较弱。

Authentication Test is a new type of analysis and design method of security protocols based on Strand space model, and it can be used for most types of the security protocols. However, as a Strand space model, it is inclined to be used for the proof of correctness, and is relatively weaker for incorrectness analysis.

认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术，可用于大部分协议的关联属性的分析；但是与Strand空间模型一样，它主要用于协议正确性证明，在协议为何不正确以及如何进行改进这个问题上处理分析能力较弱。

With the enlarging of scale and increasing of function, there are more strict requirements to SoC designing on funct

随着片上系统规模的不断扩大和功能的不断增加，对片上系统的功能正确性、速度、功耗、可靠性等方面都提出更加严格的要求。

The effect of parameters such as the wedge angle, the incident wavefrequency and the angle of incidence is also analyzed. Furthermore, theaccuracies of the numerical results are checked by the convergence of theground surface displacement and residual errors of boundary conditionswith the increasing progression term.

本文定性分析了地形角度、入射角度和入射频率等因素的影响，并从级数项数增加时地表位移结果的收敛以及边界条件残量的收敛两个方面验证了结果的正确性。

The retrieval precision of atmospheric correction in some degrees depends on the validity of model inputs. But obviously, the input parameters can not be satisfied due to the model input is very complex and indeterminable i.e.

大气订正模型反演精度的高低从一定程度上来讲依赖于模型输入参数的正确性，然而对于大气辐射校正模型来说，其输入参数是成像时刻的大气状况，显而易见这是无法精确获知的。

The experiment result indicates that the method is true.

实验结果表明了这种方法的正确性。

The results of CFTanalysis of experimental CER spectra presented an indirect proof of the dynamics model.

实验研究了SIN+GaAs结构CER谱及其CFT谱，由CFT谱中四个特征频率随调制电压的变化关系间接地证明了理论模型的正确性。

It is proved that the method of GA-BP is effective and validity of program of Gene-MEBP is indubitable.

最后用深圳罗湖地铁站基坑工程的位移实测值验证了GA-BP位移反分析法的正确性和Gene－MEBP程序的有效性。

The change of these two kinds of charge induced by ionizing radiation as a function of radiation dose can be well described by the expressions proposed in this model. At last, the correlation between these two kinds of charge is discussed and a linear dependence is suggested at low dose level.

最后讨论了低剂量辐照下，两种辐射诱导陷阱电荷密度之间的关系，认为低辐射剂量下两者存在线性关系，并用实验验证了理论模型的正确性。

We only prove an inequation rather than the standard dataflow equation (8) because we are interested only in the correctness of the solution, not in its optimality.

我们只证明这个不等式方程，而没有证明标准数据流方程(8)，原因是我们所感兴趣的只是解的正确性而不是解的最优性。

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

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

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

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