查询词典 weak completeness

The bending of rectangular plate is divided into the generalized statically determinate bending and the generalized statically indeterminate bending based on the analysis of the completeness of calculating condition at the corner point.

在分析角点求解条件完备性的基础上将矩形板弯曲划分为广义静定问题和广义超静定问题。

The bending of rectangular plate is divided into the generalized statically determinate bending and the generalized statically indeterminate bending based on the analysis of the completeness of calculating condition at the corner point. The former can be solved directly by the equilibrium differential equation and the boundary conditions of four edges of the plate.

在分析角点求解条件完备性的基础上将矩形板弯曲划分为广义静定问题和广义超静定问题，广义静定弯曲可以由板的平衡微分方程及四边边界条件直接求解，广义超静定弯曲可以由叠加法求解。

Though testing completeness of foreign testers are evident, their shortcoming such as alarming costliness and complicated human-machine interface are obvious.

虽然进口的测试设备可以提供完备的测试，但是其高昂的价格和复杂的人机接口制约了其大规模应用。

The total RNA of BuckWheat cotyledon extracted by this method has good completeness and high purity,and is suitable fort-PCR and RACE.

尽管RNA的提取已经成为很成熟的技术，但在实际研究中经常很难做到顺利获得质量好的RNA。

It is intended to be used in situations where very high expressiveness is more important than being able to guarantee the decidability or computational completeness of the language.

推理机采用的是Racer，下载的是RacerPro-1-9-0-Setup，四月底就不为学校及科研单位提高免费的版本了，其他的要收钱使用了。

A formal semantics is given. We prove 79's soundness, consistency, completeness, and decidability with respect to the semantics.

本文和给出严格形式语义的基础上，证明了该系统具有可靠性、协调性、完全性和可判定性。

OWL DL supports those users who want the maximum expressiveness while retaining computational completeness (all conclusions are guaranteed to be computable) and decidability (all computations will finish in finite time).

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完备性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

OWL DL '' supports those users who want the maximum expressiveness while retaining computational completeness (all conclusions are guaranteed to be computable) and decidability (all computations will finish in finite time).

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完全性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

OWL DL supports those users who want the maximum expressiveness without losing computational completeness (all entailments are guaranteed to be computed) and decidability (all computations will finish in finite time) of reasoning systems.

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完全性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

About this, the completeness of the formal deductive systems is one of the main branches.

对于一个形式系统而言，完备性是至关重要的逻辑性质，它反映了该系统语法与语义的和谐性。

That snake Alaric named Archbishop...

庇护。。。那个毒如蛇蝎的Alaric被命名为大教主。。。

You have done lots of magical things to be amazed at.

你做了很多神奇的事物感到惊讶。