查询词典 subjective complement

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.

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

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.

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

After explaining total design of automated test system for microcircuit , the thesis introduces GPIB standard .

文章在说明了微电路模块自动测试系统的总体设计后，对GPIB标准进行了介绍。

He interceded in my behalf.

他替我说情。