代数等价

The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .

关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。

For a given strictly proper rational function matrix over a commutative Banach algebra, the controllable, observable realizations have been constructed, the uniqueness of minimal realizations under the system equivalence has been proved, also, the necessary and sufficient conditions for decoupling have been given.

对给定的定义在交换Banach代数上的严格真有理函数矩阵，构造了可控型、可观型的实现，证明了其极小实现在系统等价意义下的唯一性；给出了交换B.fi。

Finally, the equivalence properties between Boolean matrix representation and algebra representation of attribute reduction are proved.

建立了布尔矩阵与逻辑方程组的解和决策表中的属性集之间的关系；然后在此基础上给出了决策表中的粗糙集理论的布尔矩阵表示；最后证明了属性约简在布尔矩阵和代数两种不同表示下是等价的。

It is proved that a semiring is complemented if and only if it is a direct product of some Boolean algebra and Boolean ring by studying the relations of congruences on the complemented semiring, so the complemented semiring is the commutative semiring.

s-内射模。通过研究可补半环S的性质及S上的同余关系，证明出可补半环与布尔环和布尔代数的直积是等价的，因而可补半环是交换半环。

Based on the partition of equivalent classes,the resolving of a linear system of equations and the calculation of the dual basis of the standard basis,three methodologies are presented.

以此解释了Rijndael算法S盒代数表达式复杂度低的本质原因，给出其分量函数间等价关系的一种直接证明方法。1 引言插入攻击[1]对代数次数和复杂程度低的分组密码尤其凑效。

In this paper we consider the semisimplicity of implicative BCK-alge-bras and obtain several equivalent conditions which an implicative BCK-algebra is semisimple.

本文考虑关联BCK－代数的半单性，得到这类代数为半单的若干等价条件。

Then we discuss comodule algebra on the Hopf algebroid. If L is finite generated as a left R-projective module, left L-comodule category is equivalent to the left L〓-module category.

然后讨论Hopf代数胚的余模代数，如果L是有限生成的左R-投射模，那么左L-余模范畴与左L〓-模范畴是等价的。

A method of mapping E-R representations onto corresponding XDD representation is proposed, which naturally combines together the conceptual model and the structural model of XML document.

提出了根据关系代数表达式构造查询子句的方法，关系代数表达式可以用若干个XML子句描述，并通过等价变换得到查询结果，证明了该方法的正确性。

For detail,we studied the Incidence Algebra I defined by finite Partially Ordered Set X,and sheaf F based on the topology T_x defined by the partial order;By studying the relation between finite module category mod I and the sheaf category Sh_x A,we proved that they are equivalent.

特别的，对给定的有限偏序集X确定的Incidence代数Ⅰ，及由X的序关系定义的拓扑结构T_X上的层F，通过考查有限模范畴modⅠ与层范畴Sh_XA之间的关系，证明了Incidence代数上的模范畴与层范畴的等价性。

The verification theories and algorithms of value-passing CCS and the π-calculus bisimulation equivalences are the hot point of research in the area of process algebra, and the critical step for the application of process algebra in practice.

传值CCS和π-演算互模拟等价的验证理论和算法是进程代数领域的研究热点，也是使进程代数从理论研究走向实际应用的关键环节。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。