查询词典 complement of a number

A renaming is a function mapping propositional variable to itself or its complement, a variable renaming is a permutation over the set of propositional variables of a formula, and a literal renaming is a combination of a renaming and a variable renaming.

许道云 ，董改芳，王健改名是一个将变元映射到变元本身或它的补的函数，变元改名是公式变元集合上的一个置换，文字改名是一个改名和一个变元改名的组合。

PROTEA is intended to be a useful complement to existing tools based on homology search or statistical properties of the sequences.

PROTEA试图成为基于相似性搜索或序列的统计属性的现有工具的一个有用补充。

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.

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

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

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

The radix complement in the pure binary numeration system.

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

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。