4) preimage computation
前像计算
1.
This paper presents a preimage computation approach used in unbounded model checking.
提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点。
5) procondition of account
计算前提
6) wavefront computation
波前计算
1.
In adaptive optics system, wavefront computation refers to a class of processing consisting of wavefront slope computation, wavefront reconstruction and wavefront control algorithm.
在自适应光学系统中,波前计算是指由波前斜率计算、波前复原运算以及波前控制算法等组成的一类处理任务。
补充资料:板带轧制速度规程(见板带轧制规程设计)
板带轧制速度规程(见板带轧制规程设计)
speed schedule for plate and strip rolling
bandai zhazhi sudu guieheng板带轧制速度规程(speed seheduxe fo:plateand strip rolling)见板带札制规程设计。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条