查询词典 correctness

The results validate the correctness and practicability of the method.

求解的结果验证了该方法的准确性和实用性。

At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.

在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。

Firstly, the paper introduced the working principle and device of the two-pass grate-rotary kiln and had an analysis method of mechanics of the tyre. We have put forward the finite element analysis of the contact stress of the tyre-roller based on the whole construction mode of shell-kiln liner-large gear-tyre-roller of the rotary kiln and obtained the strength and distributing rule of the tyre's contact stress. The research shows that within one week the contact stress mainly lies in two leading peak value and catastrophe which appear at the contact zone of the tyre and supporting roller. Then we regarded the tyre's stress as the test of unknown plane stress of principal stress. Utilizing mature and modern testing technology, we raised the testing principle and scheme of tyre stress and then had a on-the-spot test of the stress. Comparing the analysis result of the test with the one calculated from the finite element analysis, it proofed the rationality of finite element analysis method of integral modeling and the correctness of the contact stress result of the tyre and roller. Finally, for two-pass of similar rotary kilns, using the ANSYS APDL re-development technology, carried on the re-development about the overall finite element analytic method of thecontact stress of tyre-roller.

首先，本文介绍了2档回转窑的工作原理和装置，对滚圈的力学行为进行了分析，提出了基于筒体-滚圈-托轮的回转窑整体建模的有限元分析法，来对滚圈-托轮的接触应力进行有限元分析与计算，得到了滚圈接触应力的大小和分布规律，并求得滚圈外中内圈节点的主应力；其次，把滚圈的受力看成是主应力未知的平面应力的测试，利用现代测试技术，提出了滚圈主应力测试的原理和方案，并对滚圈的主应力进行了现场测试，现场测试分析结果与有限元分析计算出的主应力相比较，证明了整体法建模的有限元分析方法的合理性和滚圈-托轮接触应力结果的正确性；最后，利用ANSYS的APDL的二次开发技术，针对2档同类回转窑，就滚圈-托轮接触应力的整体有限元分析法进行了二次开发。

The benefit is that one can build up the theory of correctness provable compiler easily.

这样处理的好处是便于构造正确性可证明的编译器设计的理论基础。

Applying the aforementioned results of theoretical research to capacity proximity fuze, the paper proposes the anti-interference information criterions with certain widespread sense, basically realizes the technique of the adaptive burst-point stability control of capacity proximity fuze. Finally, the paper provides the design block of softwave and hardware of the signal processing system of capacity fuze and its simulation system, and gives the results of simulation and shooting range test, which verifies correctness of the results of the theoretical research of this paper.

本文将上述理论研究结果应用于电容近炸引信，提出了具有一定普遍意义的干扰信号抑制准则；基本解决了电容近炸引信稳定炸点控制技术；文章最后给出了电容近炸引信信号处理系统的软硬件设计框图、仿真系统设计框图及有关仿真和靶试结果，既是作者所做具体工作的反映，也是对本文理论研究所得结论的有力证明。

And she never makes the mistake that academics so often make of substituting prurience and a convoluted political correctness for insight and a clear writing style.

而不像某些学者那样，作品中充斥着情欲的纠缠，以及为不触犯的时政而措辞谨慎、佶屈聱牙的词句

Diligent and humorous, Linda Lear is a good match for her subject, and she never makes the mistake that academics so often make of substituting prurience and a convoluted political correctness for insight and a clear writing style.

这本传记的作者琳达·利尔同她的主人公一样勤勉而幽默，作品见解独到，风格简约，而不像某些学者那样，作品中充斥着情欲的纠缠，以及为不触犯的时政而谨慎得到佶屈聱牙的词句。

The WSCC 3-machine and 9-bus system is used as a example, and is simulated in PSAT system, with a good result in correctness and effectiveness.

运用电力系统分析工具PSAT1.3.4对WSCC-3机9节点系统进行仿真计算，结果进一步验证了文中方法的正确性和有效性。

The following work has been done in this paper: Pseudo random number theory and method has been studied by the numbers. A software system based on RBD and simulation experimentation has been developed. Some examples were given to validate the correctness of pseudo random number theory and method. Comparing this software with former version in function. Comparing this software with BlockSim software.

本文主要开展了以下的工作：全面系统地研究了伪随机数的产生理论和方法：开发了"基于可靠性框图+模拟实验法的可靠性、维修性计算软件"；给出算例，对伪随机数的产生理论和方法进行了正确性验证；与前一版软件进行了功能上的对比；与BlockSim软件进行了对比。

At last, the correctness, pseudonym and security of the new scheme were analyzed.

最后，对该方案进行了正确性、匿名性和安全性分析。

If you were not , and OS X just booted normally, have no fear.

如果你没有，和OS X刚刚启动通常，没有恐惧。

I only want to preserve our all .

我只想保存好我们的一切