同余的

In Chapter 4, a congruence on a commutative distributive semiring is defined by using of a style of congruence in reference [16]. Moreover, the result that the congruence is the least distributive lattice congruence is proved.

第四章，借助于文献[16]中同余的形式，定义了交换分配半环上的一个同余，并且证明了该同余是最小分配格同余。

In Chapter 3, the skew-ring congruence of regular semiring and qusi-regular semiring are characterized by using of a class of special ideals and a representation of a class of a skew-ring congruence is given by using of a quasi-order on semirings.

第三章，根据环的理想和同余的对应理论，利用半环的一类特殊理想给出了正则半环与拟正则半环上的skew-环同余的刻划；并且利用半环上的一个拟序给出了skew-环同余类的一种表示。

For each direction, the object maintains four linear congruential random number generators as protocol state machines.

对于每个方向，对象维护4个线性同余的随机数发生器作为协议状态机。

A fast and resonably complicated method is a liner congruential random number generator of the type typically found in system libraries.

一个快速可信复杂的方法是使用线性同余的随机数产生器。

The divisible semiring congruence on S was characterized. A one-toone, inclusion-preserving mapping from the set of full, closed, self-conjugate subsemirings of S to the set of divisible semiring congruence on S was established. A result for the divisible semiring congruence lattice was obtained.

给出了这类半环上可除半环同余的一种刻画，建立了S上的可除半环同余与满、闭、自共轭理想子半环的保序一一对应，得到了可除半环同余格的一个结果。

The main results are:In logic system ,G,tautologies can not be get by using upgrade algorithm to non tautologies within finite many times;In logic system G n,tautologies can be get by using upgrade algorithm to an arbitrary formula of F at most n times; Congruence partitions about on F have been given in logi...

主要结果是：在逻辑系统 G，G中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统 Gn 中，对任一公式最多进行 n次升级算法即可得到重言式；利用可达广义重言式概念和α-矛盾式概念分别在 G，G，Gn 中给出了 F的一个关于同余的分划。

The main results are:In logic system r,G r, tautologies can not be get by using upgrade algorithm to non tautologies within finite many times; In logic system S n , tautologies can be get by using upgrade algorithm to an arbitrary formula of F at most n times; Congruence partitions about ...

主要结果是：在逻辑系统 Gr，Gr 中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统Sn 中，对任一公式最多进行n次升级算法即可得到重言式；利用可达广义重言式概念和α矛盾式概念分别在 Gr，Gr，Sn 中给出了F的一个关于同余的分划。

In Chapter 2, properties of group congruences on the regular semigroups are briefly introduced.

第二章，简单介绍了正则半群上的群同余的主要性质。

It must be faced in the course of studying good congruences whether joins of good congruences are good. We give a negative answer to this problem.

在研究好同余的过程中下面的问题是我们必须面对的：好同余的并是否仍然是好同余？

Two complete congruences on the congruence lattices of regular semigroups with Q-inverse transversal s are analysed.

研究了具有Q-逆断面的正则半群上的同余格Con上的等价关系W和Q，它们都是Con上的完全同余，这些完全同余的每一个类是区间，给出了每一个类的极大、极小同余的表示。

It seems likely that Kraft will return with a better offer.

看起来卡夫要重新考虑一个更好的出价了。

But he'd rather burn off my feelers and watch me squirm.

可他却放任那个家伙对我为所欲为！