判定的

It is proved that if'sparse NP complete sets under polynomial-time Turing reductions exist'then 'SAT is polynomial-time non-adaptively search reducible to decision', and that if 'P is not equal to NP'then either'SAT is not polynomial-time non-adaptively search reducible to decision'or'SAT is not polynomial-time truth-table reducible to bounded approximable sets', and that if'P is not equal to NP'then'sparse complete sets for NP under polynomial-time disjunctive reductions do not exist'.

因为用现有的证明技术不可能绝对地解决这个假设，本文研究了这个假设与其他关于SAT结构性质的假设之间的关系，证明了如果'NP有多项式时间图灵归约下的稀疏完全集'则'SAT是多项式时间并行地搜索归约为判定'，以及如果假设'P不等于NP'，则要么'SAT不是多项式时间并行地搜索归约为判定'，要么'SAT不能用多项式时间真值表归约归约为有界可近似集'。

This method is based on the theory of stability of linear time-varying systems. It realizes the synchronization by transferring high time-varying systems into low linear constant coefficient system.

该方法基于线性时变连续系统的稳定性理论，通过把高维时变系统的稳定性判定简化为低维定常辅助方程稳定性判定，从而减弱了时变系统的稳定性条件，实现了系统的耦合同步。

In chapter one, firstly, we introduce the properties of αdiagonally dominant matrix and some exists determination conditions of generalized strictly diagonally dominant matrix, then we give some new results for the criteria of generalized strictly diagonally dominant matrix, finally, we show the validity of these conclusions.

在第一章中，首先引述了α-对角占优矩阵的性质及已有的一些判定条件，给出了判定广义严格对角占优矩阵的几个新的结论，最后说明了这些结论的有效性。

In addition, for a class of first-order predicate expression namely first-order predicate expression without free variable and with one quantifier, a necessary and sufficient condition for such first-order predicate expressions to be equivalent and a corresponding judging algorithm are come up with.

另外，对于一阶谓词公式的一个常见子类——无自由变元单量词的一阶谓词公式，提出了一个判定这种一阶谓词公式等价性的充分必要条件和判定算法。

Furthermore, a optimization model is established to get a necessary and suff icient condition. The arithemetic of the second questino fits the third question as well.

对于第二题，本文发现坐标变换时各点之间的欧氏距离不变，利用各点的距离关系，给出一系列的判定条件，最后用优化算法判定。

In this paper a decision method of uniform convergence for function sequence is given, and a few of properties for the uniformly convergent function-sequence are obtained by this method, which is used in the construction of a new uniformly convergent function-sequence by others known.

给出了一个定理用于判定函数列的一致收敛，通过此判定定理，又得出了由一致收敛函数列构造新的一致收敛函数列的几个性质。

Then,two evacuation exits are simulatively set on the north side of the middle fir...

结果表明，基于性能化评估思想的重大火灾隐患判定方法能够对重大火灾隐患单位进行合理的判定，并且提出的整改方案是以达到防火目标为目的，具有科学性、经济性及合理性。

The scientific and technological progress drives the progress of medical treatment relatively, give play to unprecedented efficiency, it produces different size of the voltage because the angle changes to utilize ADXL330 to accelerate the rule, come to examine so that the goal slope, judge because unexpected balance monitoring function going into a coma and falling, and LM35 detecting device can change the voltage with temperature, because the disease has a fever too high and losing the warm hypothermia of causing to judge the body temperature.

科技进步相对带动医疗的进步，发挥前所未有的效能，利用ADXL330加速规因角度改变而产生电压不同大小，来测得目标是否倾斜，判定是否因意外或昏迷跌倒的平衡监测功能，以及LM35感测器能随著温度而改变电压，判定体温是否因疾病发烧过高或失温导致体温过低。

Meanwhile, in the course of constructing knowledge base of the expert system, it adopts judge trees to express the knowledge, on the basis of case and uses algorithm ID3 to prune the judge tree to form producing formula.

同时在构造专家系统知识库的过程中，采用了以实例为基础的判定树式知识表示，并用ID3算法对判定树进行剪枝构造产生式规则，为建立专家系统的核心奠定了基础。

Research includes 3parts: preparation of data and creation of database, studies on the decision rule and mode of formula-syndrome as well as the trial on the sample formula.

研究内容包括三个部分：数据的准备与数据库的创建、方证判定规则与模式研究、样本方的判定试验。

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