说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 计算前提
1)  procondition of account
计算前提
2)  ADAR
提前计算陈列雷达
3)  planning premise
计划前提
4)  accounting prerequisite
会计前提
5)  lead-time estimation
提前期估算
6)  preimage computation
前像计算
1.
This paper presents a preimage computation approach used in unbounded model checking.
提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点。
补充资料:洪水调节计算(见水库调洪计算)


洪水调节计算(见水库调洪计算)


hongshui tiaojie洪水调节计算J ISUan 见水库调洪计算。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条