On the basis of the multiple-valued switch-level algebra, this paper proposes a logic design automation algorithm for NMOS and CMOS combinational circuits.
本文在多值开关级代数理论的基础上，提出了适合于NMOS及CMOS组合电路的逻辑设计自动化算法。
According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.
文中结合布尔代数，采用移除最小项的方法，提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。
In this paper the study of the algorithm which has been done by the author for generating all the Hamiltonian cycles in a graph by a method of Wang algebra is continued.
作者曾提出利用王氏代数产生图的全部哈密顿圈，本文继续研究了这种算法。
So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolic algebra is proposed.
由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法。
We also developed algebra sum segmented weighted algorithm, and after the analysis for the parameters, we proposed two algorithms for practical applications.
我们还给出了代数和分段加权算法，通过对该算法控制参数的分析，最后给出了两种实用方案的优化算法。
We also developed algebra sum segmented weighted algorithm, and after the analysis for the parameters, we proposed two algorithms for practical applications.
我们还给出了代数和分段加权算法，通过对该算法控制参数的分析，最后给出了两种实用方案的优化算法。
应用推荐