1) procondition of account
计算前提
2) ADAR
提前计算陈列雷达
3) planning premise
计划前提
4) accounting prerequisite
会计前提
6) preimage computation
前像计算
1.
This paper presents a preimage computation approach used in unbounded model checking.
提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点。
补充资料:洪水调节计算(见水库调洪计算)
洪水调节计算(见水库调洪计算)
hongshui tiaojie洪水调节计算J ISUan 见水库调洪计算。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条