逻辑运算

Every algorithm can be converted to a series of mathematical operation or logical judgement.

而每种算法都可以转化为一系列数学运算或逻辑判断。

The algorithm is efficiently length-reduced compared with the traditional ones. It uses bitwise operation and shift logical for data substitution, and generates a length-fixed MAC.

算法通过位运算和逻辑移位进行数据替换，从而得到与验证的数据长度无关的定长MAC，有效减小了MAC的数据传输量。

The assignment operator '='(the "equal" sign) is used to assign specific values (numerical, string or logical, depending on the variable type) to variables.

赋值运算元'='使用在指定特定值(数值的，串的或逻辑，依据可变型态)到可变性。

In 19 century's ends, a series of inconceivable experiments cause the lorentz transformation production, afterward theory of relativity production .the classical space and time operation does not have in logical the mistake!

在19世纪末，一系列不可思议的实验让经典时空观倍受打击，而洛伦兹变换在此时产生，之后相对论产生，经典的时空运算并没逻辑上的错误！

A"bit-mismatch"squarer and a"digit-serial"polynomial multiplier have been designed for finite field arithmetic and the modular inverse in GF (2〓) can be calculated under the combination of the squarer and the multiplier. Based on the Montgomery method for the elliptic curve scalar multiplication, a new improved process has been put forward in the thesis.

论文改进了标量乘法Montgomery算法流程，利用寄存器间的数据交换，将0和1两种情况下的中间结果"点加一倍点"操作统一起来，简化了控制流程，使关键路径延时下降，而且减少了运算单元输入输出的连线逻辑。

In their proposed method to implement digital multipliers using decomposition logic, the multiplication process is split into subunits, and their outputs are combined to get the final results.

在他们的提案中，数字乘法器可以通过逻辑分解实现，乘法的过程可以分解为小的单元，同时这些小的单元的输出在组合成为最后的结果，这种并行运算的结构比传统的树状乘法器更有优势。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

998 Logic elements are used to construct the structure of scalar multiplication,and it takes 567.69us to multiply in the clock frequency of 100MHz.

改进后的椭圆曲线标量乘法需要2，741，998个逻辑单元，在100MHz的时钟约束下，运行一次标量乘法运算需要567.69us。

In a broad, sense, the Ramsey methodgives stress on the description of the relationship between th...

本文通过比较Ramsey方法与逻辑经验主义对运算和解释的区分以及对近代科学方法论的若干思考而得到这一对Ramsey方法的广义理解。

An operation that follows the rules of symbolic logic.

依据数理逻辑法则进行的操作或运算。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失