查询词典 congruence relation

In this paper, we discuss some kinds of special filters and congruence relation in fuzzy algebraic system MTL which is used extensively. The conceptions of the special filter are fuzzified in terms of the fuzzy set of Zadehs theories and further study them by way of logic algebra of n-value.

本文在具有广泛应用的模糊逻辑代数系统MTL-代数中，讨论了几类特殊滤子和同余关系，并且进一步用多值逻辑代数的方法研究它们。

An adequate version of CCS is developed, and weak bisimulation of this calculus is proved to be a congruence relation.

提出了一个CCS的变形系统，证明了系统的弱互模拟是同余关系。

An adequate version of π-calculus is developed, and bisimulation of this calculus is proved to be a congruence relation.

提出了一个π-演算的变形系统，证明了系统的互模拟是同余关系。

In this note, we prove a congruence relation on real quadratic fields which relates class number and certain character sum.

本文证明了关于实二次域的类数和某类特征和的同余式，同时给出某类实二次域的类数可除性的一个判别法则。

By applying the definition of coset , the author first defines that ρ is one of the equivalent relations in G, then gives the pro of that ρ is a congruence relation.

由陪集的定义解释问题，首先确定了ρ是G中的一个等价关系，然后给予了ρ是同余关系的几种证明。

A ∞-semimodule over a ∞-semiring is introduced in this paper, based on which, the absorb subsemimodule and the congruence relation on a ∞-semimodule are proposed.

引入∞-半环上的∞-半模的概念，在此基础上引入吸收子半模以及∞-半模上的同余关系等概念，得到一些初步性质。

Rough ideals been first introduced by Kuroki N. Under the condition of the congruence relation, a rough set of a subsemigroup was proved to be its subsemigroup, while that of a leftideal was also proved to be its leftideal.

Kuroki N研究了半群中的粗理想，首次提出了粗子半群和粗理想的概念，证明了在同余关系下，半群的粗糙集是半群，左理想的粗糙集是左理想。

At the same time, some properties of rough Set in quotient ring are given and proved. The fifth chapter is Rough Primary Ideals and Rough Fuzzy Primary Ideals in Semigroups, the concept of rough primary ideals and fuzzy rough primary ideals in semigroups are introduced. Under the condition of the complete congruence relation, a rough set of a primary ideal in semigroups is proved to be its primary ideal.

同时，在商环中讨论了粗糙集的一些性质，并给出这些结论的严格证明；第五章是半群中的粗准素理想和粗模糊准素理想，首次提出了半群中的粗准素理想与粗模糊准素理想的概念，证明了在完备同余关系下，半群中准素理想的粗糙集是准素理想。

Is proved to be a residuated lattice. In the second chapter, the concept of congruence relation on a residuated lattice is introduced. It is proved that the quotient algebra of a residuated lattice about the congruence relation is still a residuated lattice. Then as a generalization of the congruence relation, the concept of fuzzy congruence relation is brought in.

本文的第二章首先定义了剩余格上的同余关系，证明了剩余格中的滤子对应一个同余关系，并由该同余关系确定的商代数仍是剩余格；然后将同余关系自然推广，定义了Fuzzy同余关系，证明了Fuzzy同余关系与Fuzzy滤子是一一对应的。

Chapter three: Define fuzzy congruence relation of MTL-algebra, prove that fuzzy fiter and fuzzy congruence relation is a bijective function in MTL-algebra, quotient algebra induced by congruence relation still forms a MTL-algebra; Introduce the relation between some kinds of fiters and fuzzy filters maitained above in IMTL-algebra,i.e. BR_0 algebra, which is a MTL-algebra satisfied inversely odering and involutive relation.

第三章：定义了MTL-代数中的Fuzzy同余关系，证明了MTL-代数中Fuzzy滤子与Fuzzy同余关系是——对应的，由同余关系所诱导的商代数依然构成一个MTL-代数；介绍了在满足逆序对合对应的MTL-代数-IMTL-代数，即BR_0-代数中上述几中特殊滤子，Fuzzy滤子之间的关系。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。