图的平面性判定算法是相当复杂的。
Planarity testing algorithm of graphs is a quite complex process.
本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.
在垂直搜索引擎中，网络蜘蛛的爬行策略和主题相关性判定算法是其核心。
The crawling strategy and topic relevance algorithm of web spider is the core for vertical search engines.
在单调速率调度策略的基础上，提出一种改进的任务集可调度性判定算法。
This paper present an improved method for analyzing the schedulability of periodic task sets under Rate Monotonic(RM) priority assignment.
有效重定时的判定算法是重定时优化的关键，因此也是时序调整策略的关键。
The effectivelyretiming determining algorithm is key of retiming, so it is the key of sequence adjust strategy.
然而国内在此领域还是空白，也没有激光检测轮胎气泡的计算机自动判定算法。
However, there is blank in this area of China, and there is no computer automatic judge algorithm of tire bubble.
设计并实现了图同构的一个判定算法，通过实例验证了算法的正确性和有效性。
An algorithm for determining graph isomorphism is designed and implemented, whose correctness and validity are tested and verified with some concrete examples.
本文提出的基于等价类法的形式背景同构判定算法，有效地提高了同构判定的效率。
This paper suggests an isomorphism detecting algorithm based on equivalent class, which improves the efficiency of context isomorphism detection.
提出了一种新的同构判定算法：电路模拟法，即将图的同构问题转化为电路的相同问题。
A novel method, the circuit simulation algorithm, is proposed here, which transfers the graph isomorphism problem into the identical circuits problem.
所以整个系统设计的难点在于：缺陷判定算法的设计；HY6070虚拟驱动程序的编写；
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.
本文研究工作主要集中在：（1）细化TMMA，并实现基于TMM的软件测试成熟度等级判定算法。
The author's works mainly focus on:(1) Expand TMMA, and implement the determine grades algorithm of software testing maturity.
所以整个系统设计的难点在于：缺陷判定算法的设计；hy6070虚拟驱动程序的编写；数据库的设计和操作。
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.
本文从分析主属性在关系模式中的特点出发，在模式矩阵及其分类的基础上，给出了一个基于矩阵的关系模式主属性的判定算法。
Following analysing the traits of the prime attribute in relation schema, an algorithm based on matrix to solve the prime problem is proposed in this paper.
文中提出了一个服务组合动态演化过程框架，在此框架下形式化地定义了一种新的实例可迁移性标准，并给出了相应的判定算法。
This paper presents a framework to support the dynamic evolution of Web service compositions under which a new formal migratability criterion is proposed.
这发生在算法将两个在某段时间经常交流的人判定为关联后便不再，并且不希望再交流的人群-如曾经浪漫的伴侣。
This occurs when algorithms connect two people who may have communicated frequently at one point but no longer do, and no longer wish to--such as estranged romantic partners.
刘的一部专著中提出了一个判定两个地图是否同构的算法。
A theoretical algorithm for determining two maps isomorphic has been presented in one of Liu's monographs.
以粗糙逻辑为基础，首先给出了在新实例加入论域后判断约简变化与否以及判断原极小决策算法中决策规则变化与否的判定依据。
Based on rough logic, theorems is presented, whether attribute reduction and minimal decision algorithm change or not when a new instance is added to the universe.
这些充要条件为判定树的优美性及求优美标号提供了算法。
These conditions provide the algorithm for obtaining pleasant marks as well as judging pleasant trees.
提出了一种新的动态启发式二叉判定图(BDD)最小化算法。
A new dynamic heuristic binary decision diagram (BDD) minimization algorithm is proposed.
通过测量用户低压侧三相电流相量，通过特定的算法处理，准确判定用户高计TA的实际变比是否与铭牌一致。
Through measuring three-phase current of low voltage at user side and handling by specific algorithm, TA ratio of HV measuring can be accurately judged whether is consistent with data plate.
结合确定性推理和可能性推理，描述了如何判定访问请求的算法。
Based on certainty and possibility reasoning, an algorithm to determine whether an access request is authorized is proposed.
但是，在利用云模型进行隶属概念的判定的算法中，不论对象是否明确属于某个概念，一律进行不确定性判定，过分地强调了模糊性和随机性。
But, in the algorithm to determine membership conception by making use of cloud mode, all objects would be determined indefinitely, despite that they belongs to certain concept ex.
数值例子表明应用该算法可有效地判定一个给定矩阵是否为非奇异m -矩阵。
Numerical examples show that it is effective to determine whether a given matrix is an M-matrix or not by using the algorithm.
本文提出一种以模式聚类为基础的病态样本判定方法，并给出基于模式相似度计算的投票剔除算法。
The author presented a method for morbid sample recognition that base mode clustering, paper proposed a eliminating algorithm of voting that base mode similarity calculating.
对于科学计算循环中出现的大多数数据相关性判定问题，使用体差不等式测试算法可以获得很好的效果。
Experimental results also show that the dependence difference inequality test algorithm works very well for most of data dependencies appeared in scientific computation programs.
讨论了构造输出函数的二叉判定图BDD的不同方法，并分析了BDD间布尔操作的不同的算法的异同；
The methods to structure the BDDs of outputs are discussed, and two different kinds of algorithms dealing with the boolean operations between BDDs are discussed.
我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的。
Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable .
我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的。
Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable .
应用推荐