查询词典 correctness

A kind of description logic tableaux based satisfiability reasoning algorithm for FALNUI is presented,and the correctness of the satisfiability reasoning algorithm is proved.

FALNUI的tableaux推理算法为模糊ER模型的可满足性、冗余性和包含关系等自动推理的实现提供了理论基础。

Teats on IEEE 118 bus system verify the correctness and practical utility of this approach.

并以IEEE 118节点标准网络的结果证明了该方法的正确性和实用价值。

The testification standard of audit evidence should be exposed to test of relevant experience to determine its correctness.

有关审计证据组合方面的探讨，是基于一些简单情形的研究结果。

Comprehensively experimental investigation proves its correctness in theory and reliability of the results obtained.

详尽的实验研究验证了其理论上的正确性和测量结果的可靠性。

This paper adopts the method of the combination of theoretics and experiment. It guides the experiment by academic analysis. On the contrary, results of the experiment can verify the correctness of the theoretics. It has provided the foundation for the conformation design of the connection area between arch rib in the side and rigid tie bar of the Xinguang bridge and its conclusions can also provide references for the design of other same type bridges.

本文采取理论分析与试验研究相结合的方法，通过理论分析指导试验研究，反过来用试验研究验证理论分析，为新光大桥边跨钢拱肋与刚性系杆连接区域构造设计的完善提供了依据，其结论也可供其它同类型桥梁结构的设计研究提供借鉴。

When the object motions are observed in different inertial frames, their conclusions of time dilation can be opposite; it indicates that, the experimental result of time dilation is different obviously from special relativity, and can not look upon the equivalent to the latter and testify its correctness.

从不同的参考系观察，它们的结论是可以相反的；因此，时间膨胀的实验结果与相对论是明显不同的，不应与相对论的时间膨胀效应等同起来，也不能用来证明狭义相对论的正确性。

MAIN OUTCOME MEASURES: Evaluation of PCR and DNA sequencing were used for confirming the size of segment and correctness of rank of MyoD cDNA and detecting the titre of virus.

主要观察指标：聚合酶链反应鉴定和DNA测序来证实MyoD cDNA片段大小和序列的正确性，并测定病毒滴度。

Then introduce how to choice machine, machine tool, toolholder, balance tool, tool safety, cutting parameter and cooling.4 Grouping clamp is one of the most important in the grouping technology. The grouping clam influences the effect of grouping technology. Author analyses the characteristic of designing grouping clam.5 The result has applied to the works, it validates the correctness of research.

在本文中从机床选取、刀具选取、刀具夹紧方式的选取、刀具动平衡、刀具安全性、切削用量的选取以及冷却技术等方面进行介绍。4、成组夹具是实现成组加工的有利保证，夹具的好坏直接关系到成组加工效果，本文分析了成组夹具设计特点，介绍一种孔加工成组夹具。5、以上成果已应用到生产中去，取得了显著效果，验证了研究的正确性。

We are thus unable to accept any liability for the topicality, correctness or completeness of the information provided.

如有偏差，我司对所发布信息的时事性、正确性或完整性不负有任何责任。

After the simulation system based on these algorithm for motion planning is set up, the correctness of partition principles is confirmed by many typical simulation experiments, so does the feasibility of motion planning for multi-joint robot based on topological dimension reduction method.

经过状态空间的划分，得到许多连通块，根据连通块之间的连通性的判别条件，构建特征网，最后根据搜索算法在特征网上搜索连通路径，进而从特征网上的连通路径求出机器人运动的几何路径。

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

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

I only want to preserve our all .

我只想保存好我们的一切