判定的

The completeness and soundness theorem of this resolution principle are also proved; Secondly, a α-resolution method which can be used to judge that a lattice-valued logic formula is always α-false (i. e. is always less than α) is established, in which the completeness and soundness theorem are also proved.

进一步，类似于经典情形下寻求判定一个公式恒真的半可判定算法，建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法，并证明了其可靠性和完备性。

The second part is the judge method and its improvement method of a matrix is a diagonally dominant matrix: Introduces some basic methods to judge a matrix be a diagonally dominant matrix .Gives some improvement methods, and some number examples.

第二部分为广义严格对角占优矩阵的判定方法及其改进：介绍判定广义严格对角占优矩阵的一些基本方法，给出一些广义严格对角占优矩阵判定方法的改进，并给出数值例子。

The third part is the judge method and its improvement method of a piece matrix is a diagonally dominant matrix: By using the Schur repair property of matrices, gives the sufficient and necessary conditions to judge a piece matrix be a diagonally dominant matrix.

第三部分为分块广义严格对角占优矩阵的判定方法及其改进：利用矩阵Schur补的性质，给出判定分块广义严格对角占优矩阵的充要条件，并利用逐次降阶的方法，使一个任意阶矩阵A逐次降为只需要利用定义判定一个矩阵是否满足要求，从而判定A是否是广义严格对角占优矩阵。

And designs a new algorithm which can judge whether or not a given nonnegative integral vector corresponds to a friable trasition sequence. Then the algorithm is used to analyze the reachability of net system which has unique reachable vector or has no T-invariants.

4对可达性与可达方程可满足性相互等价的证明进行补充，给出一个判定非负整数向量是否为可执行向量的判定算法，最后利用该算法对唯一可达向量网和不含T-不变量的Petri网的可达性进行判定。

Through such a study, it is also shown that when the time delay is long enough such that the stability switches of the equilibrium of system halt, the bifurcation branches originated from the critical time delays cannot be surely stable or unstable in the whole solution space, that is, their stability depends on cases.

利用打靶法的数值结果说明了当系统平衡点不再发生稳定性切换时，源自这些临界时滞处的解支的稳定性在整个解空间的稳定性具有不可判定性，这也说明由多尺度法所得高阶近似判定的解支的稳定性事实上只表示解支在局部中心流形上的稳定性，而非在整个解空间中的稳定性。

Description Logic is a kind of object based knowledge representation formalism, and also a decidable fragment of first order predicate logic, with well-defined semantics and powerful representation capability.

描述逻辑是一种基于对象的知识表示的形式化系统，它是一阶逻辑的一个可判定的子集，具有合适定义的语义，并且具有很强的表示能力。

This paper introduce the classification algorithm of using decision tree ,and to compare and e- valuate for the various decision tree classification algorithm.

介绍了利用判定树分类的算法，并对各种判定树分类算法进行比较和评价，在此基础上提出判定树分类算法的改进方向。

Already courts are being asked to decide what happens when someone perpetrates a fraud in a virtual real estate transaction or whether you can be taxed on the money you make in a virtual transaction.

现在我们的法院已经有了对实施虚拟财产交易诈骗的人进行判决或者针对在虚拟世界赚钱的人是否可以征税的问题进行判定的强烈的需求。

In conclusion, the mutations of rpoB gene in this research are consistent to the other research repots from internal and external coutry.

与DNA测序结果比较，168株中有164株被判定为耐药株，4株判定为敏感株；132株测序未发现突变的菌株中129株被判定为敏感株，3株被判定为耐药株。

For example, in one case decided in October 2005, the ALJ reduced MSHA's proposed penalty from $50,000 to $10,000.41 Although the judge concluded that the gravity of the violation was less than MSHA had originally found, thereby supporting a penalty reduction, he appeared to agree with MSHA's assessment regarding the other five statutory factors, including MSHA's finding that the operator's degree of negligence was high.42

例如，在一个案例中，决定在2005年10月，ALJ减少MSHA提出的点球50，000美元到10，000.41虽然法官判定的引力小于MSHA违反了原本被发现，从而降低了点球，支持他似乎同意MSHA评估对于其他五个法定的因素，包括MSHA的发现操作员的程度的过失是high.42

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。