代数系,algebra system,在线英语词典,英文翻译,专业英语

1) algebra system

代数系

2) algebraic system

代数系统

The existence of congruence relation between them was proved by constructing the corresponding algebraic system respectively.

为机器M与M′构造相关的代数系统,证明了二者之间存在同余关系。

Through the application of algebraic system in computer fields,we want to reveal a profound theory about operating on the database to lead to several common algebraic formulations in the system of simplified operation,to directly link up discrete mathematics with computer science.

通过代数系统在计算机领域中的应用,揭示数据库操作的深刻原理,导出简化探作程序中几个常用的代数运算公式,从一个侧面沟通了离散数学与计算机,科学的直接联系。

The aim of this paper is to research on a method for uniformly representing data objects, which is needed by the management tools of CMM, and their operations by the algebraic system.

本文旨在研究使用代数系统对CMM管理工具所需数据对象及其上操作进行统一描述的方法,结合代数系统的定义和定理,将数据对象的全体看作集合,将数据对象上的各种操作定义成该集合上的运算,从而构成代数系统。

3) algebra system

代数系统

We give a new method of DOCEM model-based binding computation for XML algebra system.

给出了一种新的基于分布开放计算模型的XML代数系统的计算方法,并详细论证了该算法的有效性。

Cyclic group is a kind of important algebra system in discrete mathematics.

在离散数学中,循环群是一类重要的代数系统,生成元的求解是判定循环群的一项重要操作。

Without the partial ordering relation and ordering structure, a conversant algebra system Boolean algebra is analyzed with a new point of view in this paper, which makes most concepts in discrete mathematical being understood more deeply.

在不涉及偏序关系和序结构的前提下,用一种新的观点剖析了一个熟悉的代数系统———布尔代数,加深了离散数学中代数系统的有关概念的理解和认识。

4) LF algebraic system

LF代数系

5) UB-algebras

UB代数系统

6) semi-algebraic system

半代数系统

参考词条

微分-代数系统诱导代数系统除-符合代数系统减-除-非代数系统或-符合代数系统差分-代数系统与、异或代数系统符号代数系统减除非代数系统非线性代数系统球形砧镦粗脉冲催化色谱动力学

补充资料：代数系统簇

代数系统簇
algebraic systems, variety of

代数系统簇【目geb面cs声tems，.‘etyof;剐n6‘一，以洲翻盆。侧，愁从袖佣加脚创眼] 固定表征为Q的、可用等式公理化的代数系统的一个类(见代数系统类(al罗braies”tems，dass of))·等式即形如倒x，)一钾xs)p汀，，二，无)的公式，其中尸是Q的谓词符号或等号，fl，…，f.;是表征为Q且对象变数在x:，…，x、中的项.代数系统的簇也称为夺厚举(叫旧山n司c砒或p山面tiwc她).表征为Q的簇也可定义为(Birkl幻ff定理(Bir]吐幻fft坛幻-咖))关于子系统，同态象和L地笑即比昭积封闭的0系统的一个非空类. 包含一个给定(不必是抽象类)O系统类只的表征为。的所有簇的交，称为类只的夺厚卿粤(equationald份ure)，或称为由类女生成的簇，并且用var究表示它.特别地，如果类凭仅由一个Q系统A构成，那么它的方程闭包用varA表示.如果系统A是有限的，那么varA中所有有限生成的系统也是有限的(〔l]，!2』). 设了是Q系统的一个类，我们用S丫表示由丫的系统的子统构成的类，用H了表示了的系统的同态象所构成的类，并且用n丫表示同构于了的系统的Descartes积的系统所构成的类.对O系统的任一非空类决，下列关系(【l]，【2])成立: var异二万Sn豆一个簇称为平凡的，如果等式x=y在它的每一个系统中成立.任一非平凡簇叭包含有任意秩从的自由系统r.(亚)，并且业=varF:。(业)([l]，[2])· 设S是表征为Q的某些等式构成的集合，并且设KS是由S的所有等式在其中成立的所有Q系统所构成的类.如果对表征为Q的一个簇叭，等式叭=人S成立，那么就称S是簇纽的一个基(b asis).如果簇叭有一个有限基S，那么就称M为有限可基的(fi nitelybaseable).对任一系统A，簇varA的一个基也称为系统A的等式基(basis of identities).如果叭是一个有有限表征的，有限可基的代数的簇，并且叭的所有代数具有分配合同关系格，那么吸的每一有限代数A有一个有限等式基“10】).特别地，任一有限格有有限等式基.任意一个有限群有有限等式基(【3]).另外，存在一个没有有限等式基的六个元素的半群和三个元素的广群(16]). 包含在表征为Q的某一固定簇纽内的所有Q系统簇关于包含关系构成一个有零(zero)和1扣nit)的完全格乙(叨);称此格为叭的子簇格(latti份of subvar-ieties).这个格的零是基为x=y，p(x.，…，x。)(1， eQ)的簇，而这个格的1是簇叭.如果簇叭是非平凡的，那么格L(业)反同构于系统F:。(叭)的所有舍特呼章回(fully一characteristic congruence)关系构成的格，其中F:。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

首页 \| 翻译 \| 影视 \| 论坛 \| 索引格代数系统代数系列课商代数系统计算机代数系统微分代数系统

1) algebra system 代数系 2) algebraic system 代数系统 1. The existence of congruence relation between them was proved by constructing the corresponding algebraic system respectively. 为机器M与M′构造相关的代数系统,证明了二者之间存在同余关系。 2. Through the application of algebraic system in computer fields,we want to reveal a profound theory about operating on the database to lead to several common algebraic formulations in the system of simplified operation,to directly link up discrete mathematics with computer science. 通过代数系统在计算机领域中的应用,揭示数据库操作的深刻原理,导出简化探作程序中几个常用的代数运算公式,从一个侧面沟通了离散数学与计算机,科学的直接联系。 3. The aim of this paper is to research on a method for uniformly representing data objects, which is needed by the management tools of CMM, and their operations by the algebraic system. 本文旨在研究使用代数系统对CMM管理工具所需数据对象及其上操作进行统一描述的方法,结合代数系统的定义和定理,将数据对象的全体看作集合,将数据对象上的各种操作定义成该集合上的运算,从而构成代数系统。 3) algebra system 代数系统 1. We give a new method of DOCEM model-based binding computation for XML algebra system. 给出了一种新的基于分布开放计算模型的XML代数系统的计算方法,并详细论证了该算法的有效性。 2. Cyclic group is a kind of important algebra system in discrete mathematics. 在离散数学中,循环群是一类重要的代数系统,生成元的求解是判定循环群的一项重要操作。 3. Without the partial ordering relation and ordering structure, a conversant algebra system Boolean algebra is analyzed with a new point of view in this paper, which makes most concepts in discrete mathematical being understood more deeply. 在不涉及偏序关系和序结构的前提下,用一种新的观点剖析了一个熟悉的代数系统———布尔代数,加深了离散数学中代数系统的有关概念的理解和认识。 4) LF algebraic system LF代数系 5) UB-algebras UB代数系统 6) semi-algebraic system 半代数系统参考词条微分-代数系统诱导代数系统除-符合代数系统减-除-非代数系统或-符合代数系统差分-代数系统与、异或代数系统符号代数系统减除非代数系统非线性代数系统球形砧镦粗脉冲催化色谱动力学补充资料：代数系统簇代数系统簇 algebraic systems, variety of 代数系统簇【目geb面cs声tems，.‘etyof;剐n6‘一，以洲翻盆。侧，愁从袖佣加脚创眼] 固定表征为Q的、可用等式公理化的代数系统的一个类(见代数系统类(al罗braies”tems，dass of))·等式即形如倒x，)一钾xs)p汀，，二，无)的公式，其中尸是Q的谓词符号或等号，fl，…，f.;是表征为Q且对象变数在x:，…，x、中的项.代数系统的簇也称为夺厚举(叫旧山n司c砒或p山面tiwc她).表征为Q的簇也可定义为(Birkl幻ff定理(Bir]吐幻fft坛幻-咖))关于子系统，同态象和L地笑即比昭积封闭的0系统的一个非空类. 包含一个给定(不必是抽象类)O系统类只的表征为。的所有簇的交，称为类只的夺厚卿粤(equationald份ure)，或称为由类女生成的簇，并且用var究表示它.特别地，如果类凭仅由一个Q系统A构成，那么它的方程闭包用varA表示.如果系统A是有限的，那么varA中所有有限生成的系统也是有限的(〔l]，!2』). 设了是Q系统的一个类，我们用S丫表示由丫的系统的子统构成的类，用H了表示了的系统的同态象所构成的类，并且用n丫表示同构于了的系统的Descartes积的系统所构成的类.对O系统的任一非空类决，下列关系(【l]，【2])成立: var异二万Sn豆一个簇称为平凡的，如果等式x=y在它的每一个系统中成立.任一非平凡簇叭包含有任意秩从的自由系统r.(亚)，并且业=varF:。(业)([l]，[2])· 设S是表征为Q的某些等式构成的集合，并且设KS是由S的所有等式在其中成立的所有Q系统所构成的类.如果对表征为Q的一个簇叭，等式叭=人S成立，那么就称S是簇纽的一个基(b asis).如果簇叭有一个有限基S，那么就称M为有限可基的(fi nitelybaseable).对任一系统A，簇varA的一个基也称为系统A的等式基(basis of identities).如果叭是一个有有限表征的，有限可基的代数的簇，并且叭的所有代数具有分配合同关系格，那么吸的每一有限代数A有一个有限等式基“10】).特别地，任一有限格有有限等式基.任意一个有限群有有限等式基(【3]).另外，存在一个没有有限等式基的六个元素的半群和三个元素的广群(16]). 包含在表征为Q的某一固定簇纽内的所有Q系统簇关于包含关系构成一个有零(zero)和1扣nit)的完全格乙(叨);称此格为叭的子簇格(latti份of subvar-ieties).这个格的零是基为x=y，p(x.，…，x。)(1， eQ)的簇，而这个格的1是簇叭.如果簇叭是非平凡的，那么格L(业)反同构于系统F:。(叭)的所有舍特呼章回(fully一characteristic congruence)关系构成的格，其中F:。说明：补充资料仅用于学习参考，请勿用于其它任何用途。
©2008 dictall.com