查询词典 completeness

Visas Consulting Group office does not warrant the quality, accuracy, or completeness of any information on this site.

百富顾问集团虽然已尽谨慎之责，但，并不担保本网站所提供信息之准确性和完整性，阅读者应了解本网站内容可能出现不完整及/或文字编印错误。

It investigates mainly the dualinvariant of λ- multiplier convergent series, the full invariant ofλ-multiplier convergent series, the λ- multiplier convergent series in spaceswith a basis, the compact sets in the infinite matrix topological algebras, thecharacteristics of have the same compact sets in different topologies,the weak sequentially completeness of , the characteristics ofSchur-matrices, the characteristics of p- uniform Toeplitz matrices and theEberlein-Smulian theorem in the locally convex spaces, etc.

主要研究了〓数乘收敛级数的对偶不变性，〓数乘收敛级数的全程不变性，有基空间中的〓数乘收敛级数，无穷矩阵拓扑代数〓中的紧集，〓在不同拓扑下具有相同紧集的刻划，〓的弱序列完备性，Schur—矩阵的刻划，p-一致Toeplitz矩阵的刻划以及局部凸空间上的Eberlein—Smulian定理等。

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，即所有的计算都在有限的时间内完成）。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。