繁體版 English 日本語
登录 注册

判定过程的英文

发音:  
"判定过程"怎么读用"判定过程"造句

英文翻译手机手机版

  • decision procedure
  • decision process

例句与用法

  • 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 -矩阵的充分必要条件,所获结果简化了判定过程,只需要对矩阵伴随有向图圈中所涉及到的相关量进行验证即可。
用"判定过程"造句  

其他语种

判定过程的英文翻译,判定过程英文怎么说,怎么用英语翻译判定过程,判定过程的英文意思,判定過程的英文判定过程 meaning in English判定過程的英文判定过程怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。