查询词典 congruence zeta function

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.

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

Another way to consider differences among education, marketing, and law is in relation to the congruence of pre-existing self-interests held by the target and the manager.

研究教育行为、营销行为和法律行为区别的另一种途径同行为者及其目标原先存在的自身利益是否一致有关。

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.

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

One hundred and eight of them returned their questionnaires, making a return rate of 72%. The final sample includes 104 respondents after excluding 4 incomplete questionnaires. The results show that value congruence had a positive relation with organizational commitment, but no relations with job involvement and job satisfaction.

本研究以民间企业及公家机关的员工为研究对象，采用问卷调查方式搜集资料，共计发予30家企业机关的员工，总计150份问卷，收回108份问卷，回收率达72%，最后有效问卷为104份。

Kuroki N firstly put forward the notion of rough subsets and rough ideals in semigroups, testifying that 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首先研究了半群中的粗理想，首次提出了粗子半群和粗理想的概念，证明了在同余关系下，半群的粗糙集是半群，左理想的粗糙集是左理想。

The teacher likes the honeymouthed little girl very much.

老师很喜欢这个嘴甜的小姑娘。

Mr. Notker Bien's interests are traveling, spending quality time with the family and long-distance-running.

诺特卡·柏恩先生热爱旅游，长跑，以及和家人一起共度美好时光。