validity problem的例句大全

We consider the NP complete problem with superior representative qualification& the decision for the validity of DNF.

我们考虑具有优先代表资格的NP完全问题&析取范式的永真性判定问题。

互联网摘选

Based on the above results, an approximate fast algorithm is obtained for the decision problem of DNF validity. Using this algorithm, most DNF validity problems can be solved in polynomial time.

基于所得结果，对于析取范式永真性判定问题得出了一个近似快速的求解算法，按此算法，对绝大多数的析取范式，其永真性问题，在多项式时间内都可解决。

互联网摘选

Through the research of these methods, this paper solves the problem that the government how to compensate. Finally, this paper takes the profit-making highway asset transfer value calculation through empirical analysis, verifies the practicability and validity of the method and model.

通过这些方法的研究来解决政府究竟补偿多少的问题。论文最后通过实证分析，进行了经营性公路资产转让价值的计算，验证了方法和模型的实用性和正确性。

互联网摘选

The validity of computer program is verified and the high efficiency of the proposed algorithm is also demonstrated by the results of a thick cylinder problem subjected to an internal pressure.

文中给出厚壁圆筒蠕变断裂数值算例，计算结果证明了该算法的高效和正确性。

互联网摘选

The semantic validity and entailment problem of XML documents are further provided and they are reduced to the knowledge base unsatisfiability problem in description logic language ΣΗΟΙΝ(?).

此外，还提出了xml文档的语义有效性和xml文档的推理问题，并把它们规约到描述逻辑语言∑ΗΟΙΝ（？）的知识库不可满足性问题。

互联网摘选

As the external process of legal deduction, substantial reasoning solves the problem of the authenticity, rationality, and validity of the major premise and minor premise of legal deduction.

实质论证解决法律推理大小前提的真实性、合理性问题，它是法律推理的外部证明过程；

互联网摘选

The result demonstrates the validity of the result. Finally, the problem of strictly passive realness for uncertain discrete linear singular systems is investigated by using the linear matrix inequality approach.

最后，利用线性矩阵不等式方法讨论了不确定离散线性广义系统的严格无源性问题。

互联网摘选

Finally, the problem of attribute selection and patterns classification of spearmint essence are employed to verify the validity of this method, the result shows that the method is superior to other methods obviously, and the method is also useful in chemical data mining.

此方法应用于高维留兰香模式的属性筛选与模式分类，效果良好，明显优于其它方法。

互联网摘选