查询词典 verifications

To tackle this problem within the continuum mechanics approach, one should establish new mechanics models, and further, use molecular dynamics simulation or other experimental to give reasonable verifications and supplements to the theory.

运用连续介质力学方法研究此类问题，首先需要建立新的力学模型；此外，还应当运用分子动力学（molecular dynamics，简称MD）模拟技术或者其他实验手段来对理论进行合理的检验及补充。

That system carried out the customer debarkation and a verifications, products discrepancy warehouse management, the search of the product etc.

该系统实现了用户登陆及身份验证、产品出入仓库管理、产品的查询等功能。

These phenomena and results of the test thus provide the clues and verifications for a proper calculating formula of columns distortional buckling strength.

这些试验现象和试验结果为ANSYS有限元分析以及压杆畸变屈曲承载力计算提供了线索和验证。

How to generate program assertions is of great importance to software verifications Classical approach to this problem relies on a good command of program structures and repeatedly applying Hoare's rule for deducing Hoare triples.

如何生成程序断言对于软件验证十分重要。传统方法要求既要对程序结构有深入地把握又要做繁复的Hoare三元式推演工作。

We presented several new algorithms of model checking epistemic logics, and explore their applications in verifications of security protocols.

我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。

E as governing equation by Massel. Whats more, a new explicit solution to the wave dispersion relationship with higher accuracy is adopted in my work. Non-linear factors are also considered.Several verifications are performed to validate the accuracy of the numerical model on representative topography.

本文中数学模型的建立是以Berkhoff提出的椭圆型缓坡方程为基础，利用Massel由经典缓坡方程推导出的扩展模式为控制方程，同时引入了一个新的线性弥散关系显式解公式，并且考虑了非线性的影响因素。

Studies in this thesis are explorative. Theoretical illuminations and partly experimental verifications have shown the availability of research results.

本文内容具有较强的探索性，理论上的阐述和实验的部分验证表明了论文研究思路的合理性。

It is easy to obtain confirmations, or verifications, for nearly every theory - if we look for

用这个方法都很容易获得确认，或检定，-如果我们要得到认可，还必需将预测的风险计算

Theoretical analyses and experimental verifications are presented to demonstrate the feasibility of this method.

理论分析和实验结果都证明该方法的可行性。

It is a strategy that went through many trials and verifications.

它已经通过了数次的试验和检验。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了