全部

1·The graph analysis method for topological equivalence of interconnection networks, and the concept of logical name matrice for describing logical name structure are proposed.

本文提出了互连网络拓扑等价的图分析法和描述网络逻辑名结构的逻辑名矩阵。

2·Based on the equivalence of the true table and Karnaugh map, a novel general method of simplifying logical functions is proposed in this paper.

基于真值表和卡诺图的等价性，本文提出一种基于真值表搜索的逻辑函数自动化简方法。

3·At the same time, fuzzy hierarchical clustering and fuzzy equivalence matrix method based on fuzzy logical are designed for partial discharge pattern recognition as contrasting experiment.

与此同时，分别设计了模糊系统聚类法和模糊等价矩阵法两种模糊网络模式识别方法对局部放电信号进行识别，作为局部放电模式识别对比实验。

4·With these algorithms and the equivalence theory, the several rules to logically optimize the accessing trees were presented and the correctness for the logical optimization was proved.

根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性。

5·The adequacy condition require that all the equivalence of the form (t) should are logical consequence of this definition.

实质上适当，即所有(t)形等值式是该定义的逻辑后承。