判定算法 meaning in Chinese
decision algorithm
Examples
- It is given in chapter three and four
这些，是本文提出的判定算法的petri网方面的理论依据。 - The difficulties of the whole system design are the design of the pit judgment arithmetic , the writing of the hy6070 vxd , the design and operation about the database
所以整个系统设计的难点在于：缺陷判定算法的设计； hy6070虚拟驱动程序的编写；数据库的设计和操作。 - The difficult part of the whole system is : the design of the interface circuit , the virtual device driver of the data collection card hy - 6070c , the design of the flaw determinant algorithm and the design and operation of the database
整个系统设计的关键在于：接口电路的设计、 hy - 6070c数据采集卡虚拟驱动程序的编写、缺陷判定算法的设计、数据库的设计和操作。 - In this article , a algorithm ccn ( calculate crossing number ) is put forward to study the crossing number . it is a very important development in graph planarity issue after planarity - determinant algorithm and embedding algorithm
本文首次给出了较好的计算图的交叉数算法ccn ( calculatecrossingnumber ) ，这是继图平面性判定算法，二连通图的平面嵌入算法之后在图的平面性问题上的一个最重要的进展。 - 14 gallo g , mishra b . efficient algorithms and bounds for wu - ritt characteristic sets . effective methods in algebraic geometry , progress in mathematics , 1991 , : 119 - 142 . 15 gao x s , chou s c . a zero structure theorem for differential parametric systems
本文简要介绍了代数方程组的特征列方法及其在几何定理机器证明发现与含参数代数方程求解中的应用，进一步给出了基于特征列方法代数闭域上的一阶逻辑公式的判定算法。