查询词典 complement

The experiments show that the method can make up the deficiencies of the description logic reasoner and complement the theorem prover for satisfiable formulas.

实验结果表明，这样可以解决描述逻辑工具的不足，并可以弥补定理证明器对可满足的公式推理的不完备性。

By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln. The results obtained can complement and enhance the original theory of metrology of logic, and can give a new frame for fuzzy reasoning study.

特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

We studied the immunogenicity of pseudorabies virus gC DNA vaccination by fusing the murine complement C3d receptor binding domain.

研究补体C3d的受体结合功能区(M28)对伪狂犬病毒gC基因DNA疫苗免疫增强作用。

Her study shows that exercise is a very good complement to psychotropic medications in this animal model of depression.

她的研究显示，运动是一个很好的补充，精神科药物，在这种动物模型中的抑郁症状。

In order to adapt orthogonal digital video signal processing,it adopts orthogonal processing technology,advanced methods of range error extraction,high accuracy range quantization error and high-speed code complement counter etc.

为了适应正交数字视频信号的处理，采用了正交处理技术、先进的距离误差提取方法、高精度距离量化误差及高速反码计数器等新技术

The radix -1 complement was used in the early days of computer technology.

反码的主要问题是它存在负零或者正零，技术中。

Notice that each digit of the number is subtracted from one to generate the radix -1 complement.

注意，用 1 减去该数的每一位数字，以便生成反码。

The radix complement is used to represent negative numbers in modern computer systems.

反码的主要问题是它存在负零或者正零，而补码系统中只能存在正零。

The radix complement in the pure binary numeration system.

纯二进制记数系统中的基数补码。

All the better, it proves the movement of différance, dissemination,trace and complement of presence.

在此，非主题不强调或证明意义的在场，在场就是不在场，反之，越是强调不在场，越是强调解构，反而证明了在场的分延、播散、踪迹、替补的运动。

I can do simple painting, carpentry and plumbing.

我能做简单的油漆、木工和修水管等工作。

The motivations, notations and outline of this work are also given in this chapter.

从这个意义上讲，这些时滞是无害的。然后用实例说明这三个定理的应用和互不包含性。