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

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

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。