The present study manages to prove the equivalence of the two different kinds of semantic expressions through a series of formal deductions step by step according to some related characteristics of relational algebra.
文章尝试通过一系列等价变换,证明派生算子语义的这两种表达式间的等价性。
参考来源 - 关系代数派生算子语义表达式间等价性证明 in CThis paper proposes a new VLSI design methodology,resource sharing based on equivalent transformation,suitable for designing with both HDL and schematics.
文章结合ALU设计,提出了基于等价变换的资源共享设计方法。
参考来源 - 基于资源共享的ALU设计·2,447,543篇论文数据，部分数据来源于NoteExpress
本文引进了同馀矩阵的新概念，并讨论了它的等价变换。
A new concept of congruent matrix is introduced in the paper and its equivalent transformations are discussed.
本文讨论了多种车流网络到单种车流网络的等价变换方法。
This paper is intended to provide a method for the transformation of multi-vehicle flow networks equivalently into single-vehicle flow ones.
文中还给出了等价变换在建模、传函矩阵计算和有关定理证明方面应用的实例。
Meanwhile, the application examples of equivalent transformation in the modeling, transfer function calculating and theorem proving are suggested.
应用推荐