判定过程 meaning in Chinese
decision procedure
decision process
Examples
- Spinger , 1997 . 14 dershowitz n , hanna z , katz j . bounded model checking with qbf . in proc
类似于sat的判定过程，基于搜索的qbf的满足性的决策过程也不存在状态爆炸问题。 - The judgments vary according to different judges . in this chapter , the author try to give general ideas about what should be considered when this principle is applied . about the criterion of proximate cause , judges in common law system suggested one " common sense test "
文章将区分几种情况来介绍近因的判定过程，主要是损失原因单一、多种原因致损、多种原因相继发生并互为因果关系、多种原因相继发生并有新的介入因素等。 - Based on the results , chapter 3 obtains the necessary and sufficient conditions of the positive line a - doubly diagonally dominant matrices being non - singular m - matrices , by means of the nature of the associated digraph of matrices irreducible and weakly irreducible matrices . the results obtained simplify the process of judgment , only making us to check the related quantity involved in the circuit of the associate digraph of matrices
第三章在已有结果的基础上，借助于矩阵的伴随有向图、不可约以及弱不可约矩阵的性质，得到了正线-双对角占优矩阵为非奇异m -矩阵的充分必要条件，所获结果简化了判定过程，只需要对矩阵伴随有向图圈中所涉及到的相关量进行验证即可。