查询词典 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.

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

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。