并举例说明，对于不一致决策表，其属性约简的代数表示不能用条件信息量来等价表示。
Through examples, it shows that attribute reduction of an inconsistent decision table cannot entirely be represented by conditional information quantity.
正常跟踪算法的图像代数描述是简明的，与算法是内在一致的。
The image algebra description of the normal tracking algorithm is concise and inherently correspondent with the algorithm.
该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。
This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.
在通信协议的一致性测试中，可以使用构造类别代数来对协议进行形式化的描述。
The constructed type algebra specification has been used to specify communication protocols in protocol conformance testing.
通过代数法得到的相似平台3upu并联机构奇异位置，与用矢量法对一般3upu并联机构所作的分析一致。
The singular position of similar platform 3upu reached by algebraical method is identical to the position of general 3upu analysized by vector method.
应用三元数运算，推导得到了一般三次代数方程的求根公式，结果证明与卡尔丹公式是一致的。
Applying the operation on three ary number, we got the formula that was applied to seeking the roots of normally cubic equation, and proved that the result is consistent with Cardans formula.
基于S-P网络中P置换的重要性和加解密的一致性，本文提出了对合型列混合变换的概念，并对其代数结构、枝数和计数问题进行了深入地研究和分析。
Based on the importance of P transform and coherence in encryption-decryption in the S-P networks, we put forward the definition of involution-typed mixcolumn transform.
基于S-P网络中P置换的重要性和加解密的一致性，本文提出了对合型列混合变换的概念，并对其代数结构、枝数和计数问题进行了深入地研究和分析。
Based on the importance of P transform and coherence in encryption-decryption in the S-P networks, we put forward the definition of involution-typed mixcolumn transform.
应用推荐