整数的

According to algebraic number theory,all solutions of Pocklington equation in a ring of integers of a quadratic imaginary field are determined,which implies that the equation has only several solutions in the ring.

利用代数数论的理论与方法，决定了一个重要的不定方程在一个特殊的虚二次域整数环中的解，从而指出这个方程在比整数环更大的环中也仅有有限个解。

In the paper we generalize the while-rule in Hoare calculus to an infinite one and then present a sufficient condition much weaker than the expressiveness for Cook'2 relative completeness theorem with respect to our new axiomatic system.

程序推理使用的抽象机器与物理机器的差距降低了推理的精确度，为了缩小这个差距，本文提出了一个带位级别抽象的新抽象机，在这个机器里，二进制整数以纯语法的方式被表示成位矢量而不是非负整数。

150 Chapter 1 The History and Future of Computers 3.2 Boolean Algebra Table 3-2 Distributivity Idempotency Absorption laws 分配律同一律吸收律 a=ab+ac a+= a+a=a aa=a a+ab=a a=a'=a'b''=a'+b' DeMorgan's laws德摩根定理计算机专业英语 1-151 Chapter 1 The History and Future of Computers 3.2 Boolean Algebra Since a finite set of n elements has exactly 2n subsets, and it can be shown that the finite Boolean algebras are precisely the finite set algebras, each finite Boolean algebra consists of exactly 2n elements for some integer n.

由于n个元素的有限集有且只有个子集由于个元素的有限集有且只有2n个子集，而且很显然有限布个元素的有限集有且只有个子集，尔代数一定是有限集合代数，所以对某个整数n而言而言，尔代数一定是有限集合代数，所以对某个整数而言，每个有限布尔代数也有且只有2n个元素。例如，上文定义的集合T的限布尔代数也有且只有个元素。

In fact, we can allow patterns of the form , where is an integral vector, so that the direction of the step is determined by forming an integral combination of the columns of B. The special cases

事实上，我们可用的模式，这里是一个整数向量，因此步进方向由组成B的列的整数组合决定。Céa和Polak研究的特殊情况可简单地选择B为I和而得到。

Based on the difference, the ISIs collected from the injured dorsal root ganglion neurons discharge are analyzed. The results suggest that there are some nonlinear deterministic factors in the integer multiple fire of injured dorsal root ganglion neurons.

从这种差别出发，分析了实验中整数倍放电的ISI 序列，得到该ISI 序列是可非线性预报的，这表明大鼠损伤背根节神经元自发放电中的整数倍放电更可能是由确定性机制所产生的

Given the same number of bits, unsigned integers usually represent twice the number of absolute values representable by signed integers.

给予相同的位元，无号整数通常能表示由有号整数所代表的值的绝对值的两倍数目。

This thesis analyzes different cases where the sampling rate ratio is integer, rational, and irrational, in which the emphases is the integer case.

本文对于速率变换的整数倍和分数倍不同情况进行了详细的分析，其中整数倍的速率变换是本文研究的重点。

After analyzing Tian and Alattar algorithm, a novel lossless information hiding method based on integer linear transform was proposed. The near character of pixels could be analyzed. After the less distorted revisable vector was transformed by integer linear transform, hidden information was embedded by pair-check modulation.

在分析Tian和Alattar隐藏算法的基础上，提出了一种基于改进整数线性变换的无损隐秘传输方法，通过分析可修改矢量区域象素的邻近相关性，选取出对图像质量影响较小的可修改矢量，进行整数线性变换后再嵌入信息。

Intel has developed a set of recommended algorithms for performing floating-point division, floating-point square root, integer division, and integer remainder operations on the Intel Itanium architecture.

Intel为在Intel Itanium 体系结构上执行浮点运算的除，浮点运算的求平方根，整数除法，整数取余操作浮点运算的而开发了一套推荐的算法。

Divide, Square Root, and Remainder Algor - Intel has developed a set of recommended algorithms for performing floating-point division, floating-point square root, integer division, and integer remainder operations on the Intel Itanium architecture.

Intel为在Intel Itanium 体系结构上执行浮点运算的除，浮点运算的求平方根，整数除法，整数取余操作浮点运算的而开发了一套推荐的算法。

This paper discusses design and realizable methods of remote test output interface from logical design angle.

本文从逻辑设计的角度讨论遥测输出接口的设计及实现方法。

This also 星体投射plies to buildings, structures and geological features.

这也适用于建筑物和地质特征。