并举例说明，对于不一致决策表，其属性约简的代数表示不能用条件信息量来等价表示。
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.
应用推荐