判定的

Reachability is one of the most basic and important dynamic properties of Petri nets. But the reachability decidability problem has at least exponential space complexity and no effective algorithm is found by now.

可达性是Petri网最基本最重要的动态性质之一，但一般Petri网的可达性判定问题至少具有指数空间复杂度，且目前尚无有效的判定算法。

In this paper we obtain some new determination conditions from three aspects according to some exists theory and the property of αdiagonally dominant matrix, improve the determination conditions and give some numerical example to show our theory is effective.

本文根据α-对角占优矩阵的性质，从三个方面获得了一些新的判定条件，改进了某些已有判定条件的范围，并用数值例子进行了比较。

The key is pair of electron business affairs this or the judgement that the mode of be out of pocket or gain wants to have a clarity, perhaps have the judgement of courage and resource.

要害是对电子商务这个或赔钱或盈利的模式要有一个清楚的判定，或者是有胆略的判定。

Until very recently, most evidentiary determinations were the product of common law tradition.

直到最近，大多数证据的判定仍是普通法传统的结果（大多数证据的判定仍是依据普通法）。

A criterion for the real part positive semidefiniteness matrix is presented,and the algorithm for this criterion is given.

给出了实部半正定矩阵的一种判定方法，并给出了该判定方法的算法。

An algorithm of determining the minimum convex spherical polygon is presented.

继而给出星下点最小凸球面多边形的判定算法；与传统方法不同，该算法无需求解星下点坐标即可判定星下点几何特征，进而计算卫星分布面积，作为星下点几何特征的二维表征。

In this paper,we have a research on the liveness of T-net,which is a kind of structure-simple Petri net.

T-网的活性问题，给出了各类T-网的活性判定定理并给出了判定算法。

A sufficient condition for indentifying redundant subgoals based on the integrity constraints is given and an accompanying algorithm for detecting and eliminating the redundant subgoals in a rule is provided.

本文提出了一个判定规则中基于包含约束条件的多余子目标的充分条件，并提出了建立在该判定条件之上的语义查询优化方法。

Objective To provide important basis for identifying the authenticity of the document by determining the dating of inkpad seals by double solvent extraction method.

摘 要：目的通过双溶剂提取法判定印泥印文的形成时间，为判定文件的真伪提供重要依据。

Objective To provide important basis for identifying the authenticity of the document by determining the dating of inkpad seals by double solvent extraction method.

目的 通过双溶剂提取法判定印泥印文的形成时间，为判定文件的真伪提供重要依据。

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万英镑骗了个精光。