·2,447,543篇论文数据，部分数据来源于NoteExpress
In order to improve the efficiency of matching algorithm, the Numbers of minterms connected with every single variable or every variable composition are used as "signature" of the va.
为了提高匹配算法的效率，文中用最小项数目作为标签标定变量(变量组)。
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.
文中结合布尔代数，采用移除最小项的方法，提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。
An algorithm for such purpose, quite different from any others so far known, is here presented on the basis of arithmetic operations on integers, which correspond to the minterms of the function.
本文提出一种新的算法，它是从开关函数最小项集合所对应的整数集出发，通过对整数进行算术运算，从而求得接近最小的两级与一或表达式。
应用推荐