查询词典 congruence method

Congruence and ideal are major tools in studying the structure of semiring. Many scholars have deeply, systematically studied on them.

半环的同余，理想是研究半环结构的主要工具，许多代数学者对此进行了深入系统的研究。

The semiring congruence on a class of generalized regular semiring S was studied.

研究了一类广义正则半环 S上的半环同余。

A Green's relation of the a dditive redect of an idempotentsemiring S is a congruence of the semiring S, but Green's relation of the multiplicative redect of S need not be.

幂等元半环S的加法半群上的Green关系是半环S的同余，然而S的乘法半群上的Green关系未必是S上的同余。

Pastijn left the question open whether is a congruence on the free idempotent semiring generated by two free generators. In this paper, the open question will be solved.

从而，提出了一个公开问题：是否为由两个自由生成元生成的幂等元半环上的同余，本文给出了这个问题的一个肯定的回答。

The concept of semialgebra is given,then the realitionship between the additive can-cellation semialgebras with triviality congruence and algebras over semiring.

给出半环上半代数的概念，证明了半环上加法可消半代数，且只有非平凡同余，那么该半代数是半环上的代数。

Results:(1) In both subliminal and supraliminal affective priming tasks, significant main effects of affective congruence were found for both correct rates and mean response latencies.

离线处理ERPs数据后，对述情障碍组与非述情障碍组在不同启动条件下诱发的相关ERPs成分的波峰和潜伏期进行比较分析。

Conclusi on Indi vidual self-esteem was a mediator factor between collective self-esteem and se lf-consistency congruence.

个人自尊对集体自尊与自我和谐的关系起了中介的影响。

In this paper the notion of the greatest saturating congruence on an algebra is introduced and properties of these congruences are characterized.

本文首先引入了一个泛代数上的渗透一个子集合的最大同余的概念，然后对其性质进行了刻画。

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的一个关于同余的分划。

So it was last week in Selma , alabama.

上星期在亚拉巴马州塞尔马市发生的事件也是这样一个转折点。

The group also spearheads various social programs in China.

该组织还带头参与中国的各种社会活动。